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 635, Tue May 2 15:09:12 2000 UTC revision 644, Fri May 12 09:18:31 2000 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Matthias Blume
16    Date: 2000/05/12 18:20:00 JST
17    Tag: blume-20000512-ml-build
18    Description:
19    
20    Fixed a bug in config/_ml-build that prevented ml-yacc and ml-lex from
21    getting installed properly (by config/install.sh).
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume
25    Date: 2000/05/12 17:30:00 JST
26    Tag: blume-20000512-anchors
27    Description:
28    
29    !!! NEW BOOT FILES !!!
30    
31    This change is in preparation of fading out support for "implicitly
32    anchored path names".  I went through all sources and used the
33    explicit (and relatively new) $-notation.  See system/README and the
34    CM manual for more info on this.
35    
36    I also modified the anchoring scheme for some things such as "smlnj",
37    "MLRISC", "cm", etc. to take advantage of the fact that explicit
38    anchors are more expressive: anchor name and first arc do not have to
39    coincide.  This entails the following user-visible change:
40    
41    You have to write $smlnj/foo/bar instead of smlnj/foo/bar.  In
42    particular, when you fire up sml with a command-line argument, say,
43    e.g.:
44    
45       sml '$smlnj/cmb.cm'
46    
47    At the ML toplevel prompt:
48    
49       CM.autoload "$smlnj/cmb.cm";
50    
51    There is also a new controller in CM.Control that can be used to turn
52    off all remaining support for implicit anchors by saying:
53    
54        CM.autoload "$smlnj/
55        #set CM.Control.implicit_anchors false;
56    
57    This causes CM to reject implicitly anchored paths.  This is (for the
58    time being) less permissive than the "final" version where there will
59    be no more such implicit anchors and relative paths will be just that:
60    relative.
61    
62    The next step (version after next version?) will be to make the
63    default for CM.Control.implicit_anchors false.  After the dust has
64    settled, I can then produce the "final" version of this...
65    
66    Note: Since bootstrapping is a bit tricky, I provided new boot files.
67    
68    ----------------------------------------------------------------------
69    Name: Matthias Blume
70    Date: 2000/05/11 16:30:00 JST
71    Tag: blume-20000511-sources
72    Description:
73    
74    The main change is that I added function CM.sources as a generalized
75    version of the earlier CM.makedepend.  This entails the following
76    additional changes:
77    
78      - CM.makedepend has been dropped.
79    
80      - CM manual has been updated.
81    
82      - TOOLS signature and API have been changed.
83    
84    ----------------------------------------------------------------------
85    Name: Allen Leung
86    Date: 2000/05/10 21:17 EDT
87    Tag: leunga-20000510-moby-c--ssa
88    Description:
89    
90      Various bug fixes and new features for C--, Moby and MLRISC optimizations.
91    None of these affect SML/NJ.
92    
93    1. Register Allocation
94    
95        a. A new ra spilling module (ra/ra-spill-with-renaming) is implemented.
96           This module tries to remove local (i.e. basic block level) redundancies
97           during spilling.
98    
99        b. A new framework for performing region based register allocation.
100           Not yet entirely functional.
101    
102    2. X86
103    
104       a. DefUse for POP was missing the stack pointer [found by Lal]
105       b. Reload for CALL was incorrect in X86Spill [found by John]
106       c. Various fixes in X86Spill so that it can be used correctly for
107          the new spilling module.
108    
109    3. SSA/IR
110    
111       a. New module ir/dj-dataflow.sml implements elimination based
112          data flow analysis.
113    
114    4. MLRiscGen
115    
116       a. Fix for gc type annotation
117    
118    5. MDGen
119    
120       Various fixes for machine description -> ml code translation.  For ssa
121       only.
122    
123    ----------------------------------------------------------------------
124    Name: Allen Leung
125    Date: 2000/05/08 22:17 EDT
126    Tag: leunga-20000508-labexp
127    Description:
128    
129      Fermin has found a few assembly problems with constant expressions
130      generated in LabelExp.  Mostly, the problems involve extra parentheses,
131      which choke on dumb assemblers.  This is his fix.
132    
133    ----------------------------------------------------------------------
134  Name: Dave MacQueen  Name: Dave MacQueen
135  Date: 2000/04/09 14:00 EDT  Date: 2000/04/09 14:00 EDT
136  Tag: dbm-20000502-Version_110_28  Tag: dbm-20000502-Version_110_28

Legend:
Removed from v.635  
changed lines
  Added in v.644

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