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 729, Thu Nov 9 02:16:17 2000 UTC revision 757, Thu Dec 21 14:54:56 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/21 23:55:00 JST
17    Tag: blume-20001221-exn
18    Description:
19    
20    Probably most important: CM no longer silently swallows all exceptions
21    in the compiler.
22    Plus: some other minor CM changes.  For example, CM now reports some
23    sizes for generated binfiles (code, data, envpickle, lambdapickle).
24    
25    ----------------------------------------------------------------------
26    Name: Matthias Blume
27    Date: 2000/12/15 00:01:05 JST
28    Tag: blume-20001215-dirtool
29    Description:
30    
31    - "dir" tool added.
32    - improvements and cleanup to Tools structure
33    - documentation updates
34    
35    ----------------------------------------------------------------------
36    Name: Allen Leung
37    Date: Thu Dec 14 03:45:24 EST 2000
38    Description:
39    Tag:  leunga-20001214-int-inf
40    Description:
41    
42       In IntInf, added these standard functions, which are missing from our
43    implementation:
44    
45        andb : int * int -> int
46        xorb : int * int -> int
47        orb  : int * int -> int
48        notb : int -> int
49         <<   : int * word -> int
50        ~>>  : int * word -> int
51    
52       Not tested, I hope they are correct.
53    
54    ----------------------------------------------------------------------
55    Name: Allen Leung
56    Date: Fri Dec  8 19:23:26 EST 2000
57    Description:
58    Tag:  leunga-20001208-nowhere
59    Description:
60    
61      Slight improvements to the 'nowhere' tool to handle OR-patterns,
62    to generate better error messages etc.  Plus a brief manual.
63    
64    ----------------------------------------------------------------------
65    Name: Lal George
66    Date: 2000/12/08 09:54:02 EST 2000
67    Tag: Release_110_31
68    Description:
69    
70    - Version 110.31
71    ----------------------------------------------------------------------
72    Name: Allen Leung
73    Date: Thu Dec  7 22:01:04 EST 2000
74    Tag:  leunga-20001207-cell-monster-hack
75    Description:
76    
77    Major MLRISC internal changes.  Affect all clients.
78    Summary:
79    
80    1.  Type CELLS.cell = int is now replaced by a datatype.
81        As a result, the old regmap is now gone.  Almost all interfaces
82        in MLRISC change as a consequence.
83    
84    2.  A new brand version of machine description tool (v3.0) that generates
85        modules expecting the new interface.  The old version is removed.
86    
87    3.  The RA interface has been further abstracted into two new functors.
88        RISC_RA and X86RA.  These functors have much simpler interfaces.
89        [See also directory MLRISC/demo.]
90    
91    4.  Some other new source->source code generation tools are available:
92    
93        a. MLRISC/Tools/RewriteGen -- generate rewriters from rules.
94        b. MLRISC/Tools/WhereGen -- expands conditional pattern matching rules.
95           I use this tool to generate the peephole optimizers---with the new
96           cell type changes, peephole rules are becoming difficult to write
97           without conditional pattern matching.
98    
99    5.  More Intmap -> IntHashTable change.  Previous changes by Matthias didn't
100        cover the entire MLRISC source tree so many things broke.
101    
102    6.  CM files have been moved to the subdirectory MLRISC/cm.
103        They are moved because there are a lot of them and they clutter up the
104        root dir.
105    
106    7.  More detailed documentation to come...
107    
108        NOTE: To rebuild from 110.30 (ftp distribution), you'll have to do
109        a makeml -rebuild first.  This is because of other other
110        changes that Matthias has made (see below).
111    
112    
113    ----------------------------------------------------------------------
114    Name: Matthias Blume
115    Date: 2000/11/30 23:12:00 JST
116    Tag: blume-20001130-filereorg
117    Description:
118    
119    Some manual updates and some file reorganizations in CM.
120    
121    ----------------------------------------------------------------------
122    Name: Matthias Blume
123    Date: 2000/11/24 17:45:00 JST
124    Tag: blume-20001124-link
125    Description:
126    
127    Drastically improved link traversal code for the case that the dynamic
128    value was already loaded at bootstrap time.  As a result, CM and CMB
129    now both load blazingly fast -- even on a very slow machine.  Also,
130    memory consumption has been further reduced by this.
131    
132    Warning: The format of the PIDMAP file has changed.  THerefore, to
133    bootstrap you have to do this:
134    
135    1. Run CMB.make
136    2. Make a symbolic link for the boot directory:
137         ln -s sml.boot.ARCH-OS xxx
138    3. "Rebuild" the boot directory:
139         ./makeml -boot xxx -rebuild sml ; rm xxx
140    4. Boot normally:
141          ./makeml
142    
143    ----------------------------------------------------------------------
144    Name: Matthias Blume
145    Date: 2000/11/21 21:20:00 JST
146    Tag: blume-20001121-tools
147    Description:
148    
149    Continued hacking on autoloading problem -- with success this time.
150    Also changed tool-plugin mechanism.  See new CM manual.
151    
152    ----------------------------------------------------------------------
153    Name: Matthias Blume
154    Date: 2000/11/19 14:30:00 JST
155    Tag:  blume-20001119-autoload
156    Description:
157    
158    Some hacking to make autoloading faster.  Success for CMB, no success
159    so far for CM.  There is a reduced structure CM' that autoloads faster.
160    (This is a temporary, non-documented hack to be eliminated again when
161    the general problem is solved.)
162    
163    ----------------------------------------------------------------------
164    Name: Matthias Blume
165    Date: 2000/11/17 14:10:00 JST
166    Tag: blume-20001117-pickle-lib
167    Description:
168    
169    1. Eliminated comp-lib.cm
170    2. Made pickle-lib.cm
171    3. Eliminated all uses of intset.sml (from comp-lib.cm)
172    4. Replaced all uses of intmap.{sig,sml} (from comp-lib.cm) with
173       equivalent constructs from smlnj-lib.cm (INtHashTable).
174    5. Point 4. also goes for those uses of intmap.* in MLRISC.
175       Duplicated intmap modules thrown out.
176    6. Hunted down all duplicated SCC code and replaced it with
177       equivalent stuff (GraphSCCFn from smlnj-lib.cm).
178    7. Rewrote Feedback module.
179    8. Moved sortedlist.sml into viscomp-lib.cm.  Eventually it
180       should be thrown out and equivalent modules from smlnj-lib.cm
181       should be used (IntRedBlackSet, IntListSet, ...).
182    
183    Confirmed that compiler compiles to fixpoint.
184    
185    ----------------------------------------------------------------------
186    Name: Allen Leung
187    Date: 2000/11/10 18:00:00
188    Tag: leunga-20001110-new-x86-fp
189    
190    A new x86 floating point code generator has been added.
191    By default this is turned off.  To turn this on, do:
192    
193        CM.autoload "$smlnj/compiler.cm";
194        Compiler.Control.MLRISC.getFlag "x86-fast-fp" := true;
195    
196    Changes:
197    
198    1.  Changed FTAN to FPTAN so that the assembly output is correct.
199    2.  Changed the extension callback for FTANGENT to generate:
200    
201              fptan
202              fstp  %st(0)
203        instead of
204              fptan
205              fstpl ftempmem
206    
207    3.  Numerous assembly fixes for x86.
208    
209    5.  Cleaned up the machine code output module x86/x86MC.sml and added
210        support for a whole bunch of instructions and addressing modes:
211    
212          fadd/fsub/fsubr/fmul/fdiv/fdivr  %st, %st(n)
213          faddp/fsubp/fsubrp/fmulp/fdivp/fdivrp  %st, %st(n)
214          fadd/fsub/fsubr/fmul/fdiv/fdivr  %st(n), %st
215          fiadd/fisub/fisubr/fimul/fidiv/fidivr mem
216          fxch %st(n)
217          fld %st(n)
218          fst %st(n)
219          fst mem
220          fstp %st(n)
221          fucom %st(n)
222          fucomp %st(n)
223    
224        All these are now generated when the fast fp mode is turned on.
225    
226    6.  Removed the dedicated registers %st(0), ..., %st(7) from X86CpsRegs
227    
228  ----------------------------------------------------------------------  ----------------------------------------------------------------------
229  Name: Matthias Blume  Name: Matthias Blume

Legend:
Removed from v.729  
changed lines
  Added in v.757

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