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

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

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