Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 701, Thu Aug 31 08:46:43 2000 UTC revision 760, Fri Dec 22 14:15:24 2000 UTC
# Line 13  Line 13 
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15  Name: Matthias Blume  Name: Matthias Blume
16    Date: 2000/12/22 21:20:00 JST
17    Tag: blume-20001222-anchorenv
18    Description:
19    ----------------------------------------------------------------------
20    Name: Matthias Blume
21    Date: 2000/12/22 23:16:00 JST
22    Tag: blume-20001222-warn
23    Description:
24    
25    Corrected wording and formatting of some CM warning message which I
26    broke in my previous patch.
27    
28    ----------------------------------------------------------------------
29    Name: Matthias Blume
30    Date: 2000/12/22 13:15:00 JST
31    Tag: blume-20001222-cleanup
32    Description:
33    
34    Removed src/cm/ffi which does not (and did not) belong here.
35    
36    ----------------------------------------------------------------------
37    Name: Matthias Blume
38    Date: 2000/12/21 23:55:00 JST
39    Tag: blume-20001221-exn
40    Description:
41    
42    Probably most important: CM no longer silently swallows all exceptions
43    in the compiler.
44    Plus: some other minor CM changes.  For example, CM now reports some
45    sizes for generated binfiles (code, data, envpickle, lambdapickle).
46    
47    ----------------------------------------------------------------------
48    Name: Matthias Blume
49    Date: 2000/12/15 00:01:05 JST
50    Tag: blume-20001215-dirtool
51    Description:
52    
53    - "dir" tool added.
54    - improvements and cleanup to Tools structure
55    - documentation updates
56    
57    ----------------------------------------------------------------------
58    Name: Allen Leung
59    Date: Thu Dec 14 03:45:24 EST 2000
60    Description:
61    Tag:  leunga-20001214-int-inf
62    Description:
63    
64       In IntInf, added these standard functions, which are missing from our
65    implementation:
66    
67        andb : int * int -> int
68        xorb : int * int -> int
69        orb  : int * int -> int
70        notb : int -> int
71         <<   : int * word -> int
72        ~>>  : int * word -> int
73    
74       Not tested, I hope they are correct.
75    
76    ----------------------------------------------------------------------
77    Name: Allen Leung
78    Date: Fri Dec  8 19:23:26 EST 2000
79    Description:
80    Tag:  leunga-20001208-nowhere
81    Description:
82    
83      Slight improvements to the 'nowhere' tool to handle OR-patterns,
84    to generate better error messages etc.  Plus a brief manual.
85    
86    ----------------------------------------------------------------------
87    Name: Lal George
88    Date: 2000/12/08 09:54:02 EST 2000
89    Tag: Release_110_31
90    Description:
91    
92    - Version 110.31
93    ----------------------------------------------------------------------
94    Name: Allen Leung
95    Date: Thu Dec  7 22:01:04 EST 2000
96    Tag:  leunga-20001207-cell-monster-hack
97    Description:
98    
99    Major MLRISC internal changes.  Affect all clients.
100    Summary:
101    
102    1.  Type CELLS.cell = int is now replaced by a datatype.
103        As a result, the old regmap is now gone.  Almost all interfaces
104        in MLRISC change as a consequence.
105    
106    2.  A new brand version of machine description tool (v3.0) that generates
107        modules expecting the new interface.  The old version is removed.
108    
109    3.  The RA interface has been further abstracted into two new functors.
110        RISC_RA and X86RA.  These functors have much simpler interfaces.
111        [See also directory MLRISC/demo.]
112    
113    4.  Some other new source->source code generation tools are available:
114    
115        a. MLRISC/Tools/RewriteGen -- generate rewriters from rules.
116        b. MLRISC/Tools/WhereGen -- expands conditional pattern matching rules.
117           I use this tool to generate the peephole optimizers---with the new
118           cell type changes, peephole rules are becoming difficult to write
119           without conditional pattern matching.
120    
121    5.  More Intmap -> IntHashTable change.  Previous changes by Matthias didn't
122        cover the entire MLRISC source tree so many things broke.
123    
124    6.  CM files have been moved to the subdirectory MLRISC/cm.
125        They are moved because there are a lot of them and they clutter up the
126        root dir.
127    
128    7.  More detailed documentation to come...
129    
130        NOTE: To rebuild from 110.30 (ftp distribution), you'll have to do
131        a makeml -rebuild first.  This is because of other other
132        changes that Matthias has made (see below).
133    
134    
135    ----------------------------------------------------------------------
136    Name: Matthias Blume
137    Date: 2000/11/30 23:12:00 JST
138    Tag: blume-20001130-filereorg
139    Description:
140    
141    Some manual updates and some file reorganizations in CM.
142    
143    ----------------------------------------------------------------------
144    Name: Matthias Blume
145    Date: 2000/11/24 17:45:00 JST
146    Tag: blume-20001124-link
147    Description:
148    
149    Drastically improved link traversal code for the case that the dynamic
150    value was already loaded at bootstrap time.  As a result, CM and CMB
151    now both load blazingly fast -- even on a very slow machine.  Also,
152    memory consumption has been further reduced by this.
153    
154    Warning: The format of the PIDMAP file has changed.  THerefore, to
155    bootstrap you have to do this:
156    
157    1. Run CMB.make
158    2. Make a symbolic link for the boot directory:
159         ln -s sml.boot.ARCH-OS xxx
160    3. "Rebuild" the boot directory:
161         ./makeml -boot xxx -rebuild sml ; rm xxx
162    4. Boot normally:
163          ./makeml
164    
165    ----------------------------------------------------------------------
166    Name: Matthias Blume
167    Date: 2000/11/21 21:20:00 JST
168    Tag: blume-20001121-tools
169    Description:
170    
171    Continued hacking on autoloading problem -- with success this time.
172    Also changed tool-plugin mechanism.  See new CM manual.
173    
174    ----------------------------------------------------------------------
175    Name: Matthias Blume
176    Date: 2000/11/19 14:30:00 JST
177    Tag:  blume-20001119-autoload
178    Description:
179    
180    Some hacking to make autoloading faster.  Success for CMB, no success
181    so far for CM.  There is a reduced structure CM' that autoloads faster.
182    (This is a temporary, non-documented hack to be eliminated again when
183    the general problem is solved.)
184    
185    ----------------------------------------------------------------------
186    Name: Matthias Blume
187    Date: 2000/11/17 14:10:00 JST
188    Tag: blume-20001117-pickle-lib
189    Description:
190    
191    1. Eliminated comp-lib.cm
192    2. Made pickle-lib.cm
193    3. Eliminated all uses of intset.sml (from comp-lib.cm)
194    4. Replaced all uses of intmap.{sig,sml} (from comp-lib.cm) with
195       equivalent constructs from smlnj-lib.cm (INtHashTable).
196    5. Point 4. also goes for those uses of intmap.* in MLRISC.
197       Duplicated intmap modules thrown out.
198    6. Hunted down all duplicated SCC code and replaced it with
199       equivalent stuff (GraphSCCFn from smlnj-lib.cm).
200    7. Rewrote Feedback module.
201    8. Moved sortedlist.sml into viscomp-lib.cm.  Eventually it
202       should be thrown out and equivalent modules from smlnj-lib.cm
203       should be used (IntRedBlackSet, IntListSet, ...).
204    
205    Confirmed that compiler compiles to fixpoint.
206    
207    ----------------------------------------------------------------------
208    Name: Allen Leung
209    Date: 2000/11/10 18:00:00
210    Tag: leunga-20001110-new-x86-fp
211    
212    A new x86 floating point code generator has been added.
213    By default this is turned off.  To turn this on, do:
214    
215        CM.autoload "$smlnj/compiler.cm";
216        Compiler.Control.MLRISC.getFlag "x86-fast-fp" := true;
217    
218    Changes:
219    
220    1.  Changed FTAN to FPTAN so that the assembly output is correct.
221    2.  Changed the extension callback for FTANGENT to generate:
222    
223              fptan
224              fstp  %st(0)
225        instead of
226              fptan
227              fstpl ftempmem
228    
229    3.  Numerous assembly fixes for x86.
230    
231    5.  Cleaned up the machine code output module x86/x86MC.sml and added
232        support for a whole bunch of instructions and addressing modes:
233    
234          fadd/fsub/fsubr/fmul/fdiv/fdivr  %st, %st(n)
235          faddp/fsubp/fsubrp/fmulp/fdivp/fdivrp  %st, %st(n)
236          fadd/fsub/fsubr/fmul/fdiv/fdivr  %st(n), %st
237          fiadd/fisub/fisubr/fimul/fidiv/fidivr mem
238          fxch %st(n)
239          fld %st(n)
240          fst %st(n)
241          fst mem
242          fstp %st(n)
243          fucom %st(n)
244          fucomp %st(n)
245    
246        All these are now generated when the fast fp mode is turned on.
247    
248    6.  Removed the dedicated registers %st(0), ..., %st(7) from X86CpsRegs
249    
250    ----------------------------------------------------------------------
251    Name: Matthias Blume
252    Date: 2000/11/09 11:20:00 JST
253    Tag: blume-20001109-scc
254    Description:
255    
256    Eliminated some code duplication:
257    
258    1. Added "where" clause to GraphSCCFn in SML/NJ Library.
259       (Otherwise the functor is useless.)
260    2. Used GraphSCCFn where SCCUtilFun was used previously.
261    3. Got rid of SCCUtilFun (in comp-lib.cm).
262    
263    ----------------------------------------------------------------------
264    Name: Lal George
265    Date: 2000/11/06 09:02:21 EST 2000
266    Tag: Release_110_30
267    Description:
268    
269    - Version 110.30
270    ----------------------------------------------------------------------
271    Name: Matthias Blume
272    Date: 2000/11/04 14:45:00
273    Tag: blume-20001104-mlbuild
274    Description:
275    
276    - Made ml-build faster on startup.
277    - Documentation fixes.
278    
279    ----------------------------------------------------------------------
280    Name: Matthias Blume
281    Date: 2000/11/02 17:00:00 JST
282    Tag: blume-20001102-condcomp
283    Description:
284    
285    - Small tweaks to pickler -- new BOOTFILES!
286    - Version bumped to 110.29.2.
287    - Added conditional compilation facility to init.cmi (see comment there).
288    ----------------------------------------------------------------------
289    Name: Allen Leung
290    Date: 2000/10/23 19:31:00
291    Tag: leunga-20001023-demo-ra
292    
293    1. Minor RA changes that improves spilling on x86 (affects Moby and C-- only)
294    2. Test programs for the graph library updated
295    3. Some new MLRISC demo programs added
296    
297    ----------------------------------------------------------------------
298    Name: Matthias Blume
299    Date: 2000/08/31 22:15:00 JST
300    Tag: blume-20001017-errmsg
301    Description:
302    
303    More error message grief: Where there used to be no messages, there
304    now were some that had bogus error regions.  Fixed.
305    
306    ----------------------------------------------------------------------
307    Name: Matthias Blume
308    Date: 2000/08/31 17:30:00 JST
309    Tag: blume-20001017-v110p29p1
310    Description:
311    
312    I made a version 110.29.1 with new bootfiles.
313    
314    Changes:  Modified pickler/unpickler for faster and leaner unpickling.
315              CM documentation changes and a small bugfix in CM's error reporting.
316    
317    ----------------------------------------------------------------------
318    Name: Lal George
319    Date: 2000/09/27 14:42:35 EDT
320    Tag: george-20000927-nodestatus
321    Description:
322    
323    Changed the type of the nodestatus, so that:
324    
325            SPILLED(~1)             is now SPILLED
326            SPILLED(m) where m>=0   is now MEMREG(m)
327            SPILLED(s) where s<~1   is now SPILL_LOC(~s)
328    
329    ----------------------------------------------------------------------
330    Name: Matthias Blume
331    Date: 2000/09/07 14:45:00 JST
332    Tag: blume-20000907-cmerrmsg
333    Description:
334    
335    Small tweak to CM to avoid getting ML syntax error messages twice.
336    
337    ----------------------------------------------------------------------
338    Name: Matthias Blume
339  Date: 2000/08/31 18:00:00 JST  Date: 2000/08/31 18:00:00 JST
340  Tag: blume-20000831-cvsbootfiles  Tag: blume-20000831-cvsbootfiles
341  Description:  Description:

Legend:
Removed from v.701  
changed lines
  Added in v.760

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0