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 632, Sat Apr 29 15:50:42 2000 UTC revision 646, Tue May 16 02:52:54 2000 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Allen Leung
16    Date: 2000/05/15 16:02 EDT
17    Tag: leunga-20000515-alpha-x86-ra
18    Description:
19    
20      1. Alpha
21    
22          Slight cleanup.  Removed the instruction SGNXL
23    
24      2. X86
25    
26          Added the following instructions to the instruction set:
27    
28            ROLx, RORx,
29            BTx, BTSx, BTLx, BTRx,
30            XCHGx, and variants with the LOCK prefix
31    
32      3. Register Allocation
33    
34          The module ra-rewrite-with-renaming has been improved.
35    
36    ----------------------------------------------------------------------
37    Name: Matthias Blume
38    Date: 2000/05/15 16:20:00 JST
39    Tag: blume-20000515-lightrebuild
40    Description:
41    
42    1. I added an alternative to "-rebuild" to "makeml".  The difference is
43       that prior to calling CMB.make' the CM-variable "LIGHT" will be
44       defined.  In effect, the command will not build any cross-compiler
45       backends and therefore finish more quickly.
46    
47       The "fixpt" script also takes a "-light" switch to be able to use
48       this new facility while compiling for a fixpoint.
49    
50    2. I replaced all mentions of anchored paths in group owner specifications
51       with simple relative paths (usually starting with "..").
52       The rationale is that a library's internal workings should not be
53       compromised by the lack of some anchor.  (An anchor is necessary
54       for someone who wants to refer to the library by an anchored path,
55       but it should not be necessary to build the same library in the first
56       place.)
57    
58    3. I changed the way CM's tool mechanism determines the shell command
59       string used for things like ml-yacc etc. so that it does not break
60       when CM.Control.implicit_anchors is turned off.
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume
64    Date: 2000/05/12 18:20:00 JST
65    Tag: blume-20000512-ml-build
66    Description:
67    
68    Fixed a bug in config/_ml-build that prevented ml-yacc and ml-lex from
69    getting installed properly (by config/install.sh).
70    
71    ----------------------------------------------------------------------
72    Name: Matthias Blume
73    Date: 2000/05/12 17:30:00 JST
74    Tag: blume-20000512-anchors
75    Description:
76    
77    !!! NEW BOOT FILES !!!
78    
79    This change is in preparation of fading out support for "implicitly
80    anchored path names".  I went through all sources and used the
81    explicit (and relatively new) $-notation.  See system/README and the
82    CM manual for more info on this.
83    
84    I also modified the anchoring scheme for some things such as "smlnj",
85    "MLRISC", "cm", etc. to take advantage of the fact that explicit
86    anchors are more expressive: anchor name and first arc do not have to
87    coincide.  This entails the following user-visible change:
88    
89    You have to write $smlnj/foo/bar instead of smlnj/foo/bar.  In
90    particular, when you fire up sml with a command-line argument, say,
91    e.g.:
92    
93       sml '$smlnj/cmb.cm'
94    
95    At the ML toplevel prompt:
96    
97       CM.autoload "$smlnj/cmb.cm";
98    
99    There is also a new controller in CM.Control that can be used to turn
100    off all remaining support for implicit anchors by saying:
101    
102        CM.autoload "$smlnj/
103        #set CM.Control.implicit_anchors false;
104    
105    This causes CM to reject implicitly anchored paths.  This is (for the
106    time being) less permissive than the "final" version where there will
107    be no more such implicit anchors and relative paths will be just that:
108    relative.
109    
110    The next step (version after next version?) will be to make the
111    default for CM.Control.implicit_anchors false.  After the dust has
112    settled, I can then produce the "final" version of this...
113    
114    Note: Since bootstrapping is a bit tricky, I provided new boot files.
115    
116    ----------------------------------------------------------------------
117    Name: Matthias Blume
118    Date: 2000/05/11 16:30:00 JST
119    Tag: blume-20000511-sources
120    Description:
121    
122    The main change is that I added function CM.sources as a generalized
123    version of the earlier CM.makedepend.  This entails the following
124    additional changes:
125    
126      - CM.makedepend has been dropped.
127    
128      - CM manual has been updated.
129    
130      - TOOLS signature and API have been changed.
131    
132    ----------------------------------------------------------------------
133    Name: Allen Leung
134    Date: 2000/05/10 21:17 EDT
135    Tag: leunga-20000510-moby-c--ssa
136    Description:
137    
138      Various bug fixes and new features for C--, Moby and MLRISC optimizations.
139    None of these affect SML/NJ.
140    
141    1. Register Allocation
142    
143        a. A new ra spilling module (ra/ra-spill-with-renaming) is implemented.
144           This module tries to remove local (i.e. basic block level) redundancies
145           during spilling.
146    
147        b. A new framework for performing region based register allocation.
148           Not yet entirely functional.
149    
150    2. X86
151    
152       a. DefUse for POP was missing the stack pointer [found by Lal]
153       b. Reload for CALL was incorrect in X86Spill [found by John]
154       c. Various fixes in X86Spill so that it can be used correctly for
155          the new spilling module.
156    
157    3. SSA/IR
158    
159       a. New module ir/dj-dataflow.sml implements elimination based
160          data flow analysis.
161    
162    4. MLRiscGen
163    
164       a. Fix for gc type annotation
165    
166    5. MDGen
167    
168       Various fixes for machine description -> ml code translation.  For ssa
169       only.
170    
171    ----------------------------------------------------------------------
172    Name: Allen Leung
173    Date: 2000/05/08 22:17 EDT
174    Tag: leunga-20000508-labexp
175    Description:
176    
177      Fermin has found a few assembly problems with constant expressions
178      generated in LabelExp.  Mostly, the problems involve extra parentheses,
179      which choke on dumb assemblers.  This is his fix.
180    
181    ----------------------------------------------------------------------
182    Name: Dave MacQueen
183    Date: 2000/04/09 14:00 EDT
184    Tag: dbm-20000502-Version_110_28
185    Description:
186    
187    1. Updated src/compiler/TopLevel/main/version.sml to version 110.28
188    
189    2. Updated config/version to 110.28
190    
191    3. Updated config/srcarchiveurl
192    
193    3. New boot files!
194       ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.28/
195    
196    ----------------------------------------------------------------------
197    Name: Matthias Blume
198    Date: 2000/05/01 19:05:00 JST
199    Tag: blume-20000501-noweb
200    Description:
201    
202    A new noweb tool has been added.  The existing system is entirely
203    unaffected by this, but some CM users have asked for renewed noweb
204    support.  Everything is documented in the CM manual.
205    
206    New (plugin) libraries:
207    
208       noweb-tool.cm
209       nw-ext.cm
210    
211    ----------------------------------------------------------------------
212    Name: Dave MacQueen
213    Date: 2000/04/30 12:40PM EDT
214    Tag: dbm-20000430-bug_fixes
215    Description:
216    
217    1. Fix for bug 1498
218       smlnj/src/system/Basis/Implementation/Unsafe/object.sig
219       smlnj/src/system/Basis/Implementation/Unsafe/object.sml
220         added toRealArray function
221       smlnj/src/compiler/MiscUtil/print/ppobj.sml
222         added check for tag Obj.RealArray to array printing case in ppObj
223    
224    2. Fix for bug 1510
225       smlnj/src/compiler/Semant/types/typesutil.sml
226         fixed definition of dummyargs (used by equalTycon) so that
227         dummy args are distinct types
228    
229    ----------------------------------------------------------------------
230  Name: Matthias Blume  Name: Matthias Blume
231  Date: 2000/04/30 01:00:00 JST  Date: 2000/04/30 01:00:00 JST
232  Tag: blume-20000430-versions  Tag: blume-20000430-versions

Legend:
Removed from v.632  
changed lines
  Added in v.646

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