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

Legend:
Removed from v.591  
changed lines
  Added in v.631

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