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

Legend:
Removed from v.589  
changed lines
  Added in v.629

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