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 590, Sat Apr 1 02:24:08 2000 UTC revision 628, Tue Apr 25 21:03:34 2000 UTC
# Line 11  Line 11 
11  Date:  Date:
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14    ----------------------------------------------------------------------
15    Name: Allen Leung
16    Date: 2000/04/25 17:00:00 EST
17    Tag: leunga-20000425-alpha-ra
18    Description:
19    
20    1. Alpha
21    
22        PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
23    in C--.
24    
25    2. RA
26    
27       Added a flag "ra-dump-size" to print out the size of the flowgraph
28       and the interference graph.
29    
30    ----------------------------------------------------------------------
31    Name: Dave MacQueen
32    Date: 2000/04/25/
33    Tag: dbm-20000425-mlyacc_doc_examples
34    Description:
35      Updated mlyacc.tex sections 5 and 7 for SML '97 and CM.
36      Updated all three examples in src/ml-yacc/examples to run
37      under 110.* using CM.make.
38    
39    ----------------------------------------------------------------------
40    Name: Allen Leung
41    Date: 2000/04/20 23:04:00 EST
42    Tag: leunga-20000420-ssa-c---stuff
43    Description:
44    
45      This update synchronizes my repository with Yale's.  Most of these
46    changes, however, do not affect SML/NJ at all (the RA is an exception).
47    
48    1. Register Allocator
49    
50       a. An improvement in the interference graph construction:
51          Given a copy
52    
53                s <- t
54    
55          no interference edge between s and t is added for this definition of s.
56    
57       b. I've added two new spill heuristic modules that Fermin and I developed
58          (in the new library RA.cm). These are unused in SML/NJ but maybe
59          useful for others (Moby?)
60    
61    2. X86
62    
63       a. Various fixes in the backend provided by Fermin [C--] and Lal.
64    
65    3. Alpha
66    
67       a. Added the BSR instruction and code generation that goes with it [C--]
68       b. Other fixes too numerous to recount provided by Fermin [C--]
69    
70    4. Regmaps
71    
72       a. The regmaps are not initialized with the identity physical bindings
73          at creation time.  This is unneeded.
74    
75    5. MLRISC Optimizations
76    
77       a. The DJ-Graph module can now compute the iterated dominance frontiers
78          intersects with liveness incrementally in linear time! Woohoo!
79          This is now used in my new SSA construction algorithm.
80    
81       b. THe branch reorganization module is now smarter about linear chains of
82          basic blocks.
83    
84    
85    ----------------------------------------------------------------------
86    Name: Matthias Blume
87    Date: 2000/04/12 13:52:00 JST
88    Tag: blume_main_v110p27_1
89    Description:
90    
91    Changed install.sh script to handle archive files without version number
92    and to use "boot.<arch>-<os>" instead of "sml.boot.<arch>-<os>" for the
93    name of the boot file archive.
94    
95    ----------------------------------------------------------------------
96    Name: Dave MacQueen
97    Date: 2000/04/09 14:00 EDT
98    Tag: dbm-20000410-Version_110_27
99    Description:
100    
101    1. Updated src/compiler/TopLevel/main/version.sml to version 110.27
102    
103    2. Updated src/config/version to 110.27
104    
105    3. New boot files!
106    
107    ----------------------------------------------------------------------
108    Name: Allen Leung
109    Date: 2000/04/09 19:09:00 EST
110    Tag: leunga-20000409-misc
111    Description:
112    
113    1.  Yet another fix for x86 assembly for idivl, imull, mull and friends.
114    
115    2.  Miscellaneous improvements to MLRISC (unused in sml/nj)
116    
117    ----------------------------------------------------------------------
118    Name: Stefan
119    Date: 2000/04/07 10:00:00 EDT
120    Tag: monnier-20000406-branch-handling
121    Description:
122    
123    Improved handling of branches (mostly those generated from
124    polymorphic equality), removed switchoff and changed the
125    default optimization settings (more cpsopt and less flintopt).
126    
127    ----------------------------------------------------------------------
128    Name: Allen Leung
129    Date: 2000/04/06 01:30:00 EST
130    Tag: leunga-20000406-peephole-x86-SSA-2
131    Description:
132    
133       Forgot a few files.
134    
135    ----------------------------------------------------------------------
136    Name: Allen Leung
137    Date: 2000/04/06 00:36:00 EST
138    Tag: leunga-20000406-peephole-x86-SSA
139    Description:
140    
141    1.  New Peephole code
142    
143    2.  Minor improvement to X86 instruction selection
144    
145    3.  Various fixes to SSA and machine description -> code translator
146    
147    ----------------------------------------------------------------------
148    Name: Matthias Blume
149    Date: 2000/04/05 12:30:00 JST
150    Tag: blume_main_v110p26p2_3
151    Description:
152    
153    This update just merges three minor cosmetic updates to CM's sources
154    to get ready for the 110.27 code freeze on Friday.  No functionality
155    has changed.
156    
157    ----------------------------------------------------------------------
158    Name: Allen Leung
159    Date: 2000/04/04 19:39:00 EST
160    Tag: leunga-20000404-x86-asm
161    Description:
162    
163    1.  Fixed a problem in X86 assembly.
164    
165        Things like
166    
167           jmp %eax
168           jmp (%eax)
169    
170        should be output as
171    
172           jmp *%eax
173           jmp *(%eax)
174    
175    2.  Assembly output
176    
177          Added a new flag
178    
179              "asm-indent-copies" (default to false)
180    
181          When this flag is on, parallel copies will be indented an extra level.
182    
183    ----------------------------------------------------------------------
184    Name: Allen Leung
185    Date: 2000/04/04 03:18:00 EST
186    Tag: leunga-20000404-C--Moby
187    Description:
188    
189        All of these fixes are related to C--, Moby, and my own optimization
190        stuff; so they shouldn't affect SML/NJ.
191    
192    1.  X86
193    
194        Various fixes related floating point, and extensions.
195    
196    2.  Alpha
197    
198        Some extra patterns related to loads with signed/zero extension
199        provided by Fermin.
200    
201    3.  Assembly
202    
203        When generating assemby, resolve the value of client defined constants,
204        instead of generating symbolic values.  This is controlled by the
205        new flag "asm-resolve-constants", which is default to true.
206    
207    4.  Machine Descriptions
208    
209        a. The precedence parser was slightly broken when parsing infixr symbols.
210        b. The type generalizing code had the bound variables reversed, resulting
211           in a problem during arity raising.
212        c. Various fixes in machine descriptions.
213    
214    ----------------------------------------------------------------------
215    Name: Matthias Blume
216    Date: 2000/04/03 16:05:00 JST
217    Tag: blume_main_v110p26p2_2
218    Description:
219    
220    I eliminated coreEnv from compInfo.  Access to the "Core" structure is
221    now done via the ordinary static environment that is context to each
222    compilation unit.
223    
224    To this end, I arranged that instead of "structure Core" as "structure
225    _Core" is bound in the pervasive environment.  Core access is done via
226    _Core (which can never be accidentially rebound because _Core is not a
227    legal surface-syntax symbol).
228    
229    The current solution is much cleaner because the core environment is
230    now simply part of the pervasive environment which is part of every
231    compilation unit's context anyway.  In particular, this eliminates all
232    special-case handling that was necessary until now in order to deal
233    with dynamic and symbolic parts of the core environment.
234    
235    Remaining hackery (to bind the "magic" symbol _Core) is localized in the
236    compilation mananger's bootstrap compiler (actually: in the "init group"
237    handling).  See the comments in src/system/smlnj/init/init.cmi for
238    more details.
239    
240    I also tried to track down all mentions of "Core" (as string argument
241    to Symbol.strSymbol) in the compiler and replaced them with a
242    reference to the new CoreSym.coreSym.  Seems cleaner since the actual
243    name appears in one place only.
244    
245    Binfile and bootfile format have not changed, but the switchover from
246    the old "init.cmi" to the new one is a bit tricky, so I supplied new
247    bootfiles anyway.
248    
249    ----------------------------------------------------------------------
250    Name: Allen Leung
251    Date: 2000/04/02 21:17:00 EST
252    Tag: leunga-20000402-mltree
253    Description:
254    
255       1. Renamed the constructor CALL in MLTREE by popular demand.
256       2. Added a bunch of files from my repository.  These are currently
257          used by other non-SMLNJ backends.
258    
259  ----------------------------------------------------------------------  ----------------------------------------------------------------------
260  Name: Allen Leung  Name: Allen Leung

Legend:
Removed from v.590  
changed lines
  Added in v.628

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