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

Legend:
Removed from v.634  
changed lines
  Added in v.648

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