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/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

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

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

Legend:
Removed from v.697  
changed lines
  Added in v.759

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