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

Legend:
Removed from v.710  
changed lines
  Added in v.771

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