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

Legend:
Removed from v.587  
changed lines
  Added in v.627

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