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 592, Mon Apr 3 07:04:12 2000 UTC revision 624, Fri Apr 21 03:06: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/04/20 23:04:00 EST
17    Tag: leunga-20000420-ssa-c---stuff
18    Description:
19    
20      This update synchronizes my repository with Yale's.  Most of these
21    changes, however, do not affect SML/NJ at all (the RA is an exception).
22    
23    1. Register Allocator
24    
25       a. An improvement in the interference graph construction:
26          Given a copy
27    
28                s <- t
29    
30          no interference edge between s and t are added for this definition of s.
31    
32       b. I've added two new spill heuristic modules that Fermin and I developed
33          (in the new library RA.cm). These are unused in SML/NJ but maybe
34          useful for others (Moby?)
35    
36    2. X86
37    
38       a. Various fixes in the backend provided by Fermin [C--] and Lal.
39    
40    3. Alpha
41    
42       a. Added the BSR instruction and code generation that goes with it [C--]
43       b. Other fixes too numerous to recount provided by Fermin [C--]
44    
45    4. Regmaps
46    
47       a. The regmaps are not initialized with the identity physical bindings
48          at creation time.  This is unneeded.
49    
50    5. MLRISC Optimizations
51    
52       a. The DJ-Graph module can now compute the iterated dominance frontiers
53          intersects with liveness incrementally in linear time! Woohoo!
54          This is now used in my new SSA construction algorithm.
55    
56       b. THe branch reorganization module is now smarter about linear chains of
57          basic blocks.
58    
59    
60    ----------------------------------------------------------------------
61    Name: Matthias Blume
62    Date: 2000/04/12 13:52:00 JST
63    Tag: blume_main_v110p27_1
64    Description:
65    
66    Changed install.sh script to handle archive files without version number
67    and to use "boot.<arch>-<os>" instead of "sml.boot.<arch>-<os>" for the
68    name of the boot file archive.
69    
70    ----------------------------------------------------------------------
71    Name: Dave MacQueen
72    Date: 2000/04/09 14:00 EDT
73    Tag: dbm-20000410-Version_110_27
74    Description:
75    
76    1. Updated src/compiler/TopLevel/main/version.sml to version 110.27
77    
78    2. Updated src/config/version to 110.27
79    
80    3. New boot files!
81    
82    ----------------------------------------------------------------------
83    Name: Allen Leung
84    Date: 2000/04/09 19:09:00 EST
85    Tag: leunga-20000409-misc
86    Description:
87    
88    1.  Yet another fix for x86 assembly for idivl, imull, mull and friends.
89    
90    2.  Miscellaneous improvements to MLRISC (unused in sml/nj)
91    
92    ----------------------------------------------------------------------
93    Name: Stefan
94    Date: 2000/04/07 10:00:00 EDT
95    Tag: monnier-20000406-branch-handling
96    Description:
97    
98    Improved handling of branches (mostly those generated from
99    polymorphic equality), removed switchoff and changed the
100    default optimization settings (more cpsopt and less flintopt).
101    
102    ----------------------------------------------------------------------
103    Name: Allen Leung
104    Date: 2000/04/06 01:30:00 EST
105    Tag: leunga-20000406-peephole-x86-SSA-2
106    Description:
107    
108       Forgot a few files.
109    
110    ----------------------------------------------------------------------
111    Name: Allen Leung
112    Date: 2000/04/06 00:36:00 EST
113    Tag: leunga-20000406-peephole-x86-SSA
114    Description:
115    
116    1.  New Peephole code
117    
118    2.  Minor improvement to X86 instruction selection
119    
120    3.  Various fixes to SSA and machine description -> code translator
121    
122    ----------------------------------------------------------------------
123    Name: Matthias Blume
124    Date: 2000/04/05 12:30:00 JST
125    Tag: blume_main_v110p26p2_3
126    Description:
127    
128    This update just merges three minor cosmetic updates to CM's sources
129    to get ready for the 110.27 code freeze on Friday.  No functionality
130    has changed.
131    
132    ----------------------------------------------------------------------
133    Name: Allen Leung
134    Date: 2000/04/04 19:39:00 EST
135    Tag: leunga-20000404-x86-asm
136    Description:
137    
138    1.  Fixed a problem in X86 assembly.
139    
140        Things like
141    
142           jmp %eax
143           jmp (%eax)
144    
145        should be output as
146    
147           jmp *%eax
148           jmp *(%eax)
149    
150    2.  Assembly output
151    
152          Added a new flag
153    
154              "asm-indent-copies" (default to false)
155    
156          When this flag is on, parallel copies will be indented an extra level.
157    
158    ----------------------------------------------------------------------
159    Name: Allen Leung
160    Date: 2000/04/04 03:18:00 EST
161    Tag: leunga-20000404-C--Moby
162    Description:
163    
164        All of these fixes are related to C--, Moby, and my own optimization
165        stuff; so they shouldn't affect SML/NJ.
166    
167    1.  X86
168    
169        Various fixes related floating point, and extensions.
170    
171    2.  Alpha
172    
173        Some extra patterns related to loads with signed/zero extension
174        provided by Fermin.
175    
176    3.  Assembly
177    
178        When generating assemby, resolve the value of client defined constants,
179        instead of generating symbolic values.  This is controlled by the
180        new flag "asm-resolve-constants", which is default to true.
181    
182    4.  Machine Descriptions
183    
184        a. The precedence parser was slightly broken when parsing infixr symbols.
185        b. The type generalizing code had the bound variables reversed, resulting
186           in a problem during arity raising.
187        c. Various fixes in machine descriptions.
188    
189    ----------------------------------------------------------------------
190  Name: Matthias Blume  Name: Matthias Blume
191  Date: 2000/04/03 16:05:00 JST  Date: 2000/04/03 16:05:00 JST
192  Tag: blume_main_v110p26p2_2  Tag: blume_main_v110p26p2_2

Legend:
Removed from v.592  
changed lines
  Added in v.624

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