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 632, Sat Apr 29 15:50:42 2000 UTC
# Line 13  Line 13 
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15  Name: Matthias Blume  Name: Matthias Blume
16    Date: 2000/04/30 01:00:00 JST
17    Tag: blume-20000430-versions
18    Description:
19    
20    1. CM version numbering added.  This is an implementation of Lal's
21       proposal for adding version numbers and version checking to .cm
22       files.  Lal said that his proposal was just that -- a proposal.
23       For the time being I went ahead and implemented it so that people
24       can comment on it.  Everything is completely backward-compatible
25       (except for the stable library format, i.e., new bootfiles!).
26    
27       As usual, see the CM manual for details.
28    
29    2. An alternative syntax for anchored paths has been implemented.
30       Dave has recently voiced the same concerns that I had when I did
31       this, so there should be some support.  My take is that eventually
32       I will let support for the current syntax (where anchors are
33       "implicit") fade out in favor of the new, explicit syntax.
34       In order to be backward-compatible, both old and new syntax are
35       currently supported.
36    
37       Again, see the CM manual for details.
38    
39    3. Parallel make is trying to be slightly smarter:  When the master
40       process finds a "bottleneck", i.e., when there is only one
41       compilation unit that can be compiled and everybody else is
42       waiting on it, then it will simply compile it directly instead
43       of clumsily telling one of the slaves to do it.
44    
45    4. Support for "unsharing" added.  This is necessary in order to be
46       able to have two different versions of the same library running
47       at the same time (e.g., for trying out a new MLRISC while still
48       having the old MLRISC linked into the current compiler, etc.)
49       See the CM manual.
50    
51    5. Simple "makedepend" functionality added for generating Makefile
52       dependency information.  (This is rather crude at the moment.
53       Expect some changes here in the future.)
54    
55    6. ".fun" added as a recognized suffix for ML files. Also documented
56       explicitly in the manual that the fallback behavior (unknown suffix
57       -> ML file) is not an official feature!
58    
59    7. Small changes to the pickler for stable libraries.
60    
61    8. Several internal changes to CM (for cleanup/improvement).
62    
63    
64    !!!! NEW BINFILES !!!!
65    
66    ----------------------------------------------------------------------
67    Name: Matthias Blume
68    Date: 2000/04/28 17:30:00 JST
69    Tag: blume-20000428-pathconfig
70    Description:
71    
72    1. I changed config/install.sh to remove duplicate entries from the
73       lib/pathconfig file at the end.  Moreover, the final version of
74       lib/pathconfig is sorted alphabetically.  The same (sorting) is done
75       in src/system/installml.
76    
77    2. The config/install.sh script now consistently uses relative
78       pathnames in lib/pathconfig whenever the anchor is in the lib
79       directory.  (So far this was true for the libraries that come
80       pre-compiled and bundled as part of the bootfiles but not for
81       libraries that are compiled by the script itself.)
82    
83    ----------------------------------------------------------------------
84    Name: Matthias Blume
85    Date: 2000/04/26 13:10:00 JST
86    Tag: blume-20000426-fun_suffix
87    Description:
88    
89    Added ".fun" as a recognized file name suffix (for ML code).
90    
91    ----------------------------------------------------------------------
92    Name: Allen Leung
93    Date: 2000/04/25 17:00:00 EST
94    Tag: leunga-20000425-alpha-ra
95    Description:
96    
97    1. Alpha
98    
99        PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
100    in C--.
101    
102    2. RA
103    
104       Added a flag "ra-dump-size" to print out the size of the flowgraph
105       and the interference graph.
106    
107    ----------------------------------------------------------------------
108    Name: Dave MacQueen
109    Date: 2000/04/25/
110    Tag: dbm-20000425-mlyacc_doc_examples
111    Description:
112      Updated mlyacc.tex sections 5 and 7 for SML '97 and CM.
113      Updated all three examples in src/ml-yacc/examples to run
114      under 110.* using CM.make.
115    
116    ----------------------------------------------------------------------
117    Name: Allen Leung
118    Date: 2000/04/20 23:04:00 EST
119    Tag: leunga-20000420-ssa-c---stuff
120    Description:
121    
122      This update synchronizes my repository with Yale's.  Most of these
123    changes, however, do not affect SML/NJ at all (the RA is an exception).
124    
125    1. Register Allocator
126    
127       a. An improvement in the interference graph construction:
128          Given a copy
129    
130                s <- t
131    
132          no interference edge between s and t is added for this definition of s.
133    
134       b. I've added two new spill heuristic modules that Fermin and I developed
135          (in the new library RA.cm). These are unused in SML/NJ but maybe
136          useful for others (Moby?)
137    
138    2. X86
139    
140       a. Various fixes in the backend provided by Fermin [C--] and Lal.
141    
142    3. Alpha
143    
144       a. Added the BSR instruction and code generation that goes with it [C--]
145       b. Other fixes too numerous to recount provided by Fermin [C--]
146    
147    4. Regmaps
148    
149       a. The regmaps are not initialized with the identity physical bindings
150          at creation time.  This is unneeded.
151    
152    5. MLRISC Optimizations
153    
154       a. The DJ-Graph module can now compute the iterated dominance frontiers
155          intersects with liveness incrementally in linear time! Woohoo!
156          This is now used in my new SSA construction algorithm.
157    
158       b. THe branch reorganization module is now smarter about linear chains of
159          basic blocks.
160    
161    
162    ----------------------------------------------------------------------
163    Name: Matthias Blume
164    Date: 2000/04/12 13:52:00 JST
165    Tag: blume_main_v110p27_1
166    Description:
167    
168    Changed install.sh script to handle archive files without version number
169    and to use "boot.<arch>-<os>" instead of "sml.boot.<arch>-<os>" for the
170    name of the boot file archive.
171    
172    ----------------------------------------------------------------------
173    Name: Dave MacQueen
174    Date: 2000/04/09 14:00 EDT
175    Tag: dbm-20000410-Version_110_27
176    Description:
177    
178    1. Updated src/compiler/TopLevel/main/version.sml to version 110.27
179    
180    2. Updated src/config/version to 110.27
181    
182    3. New boot files!
183    
184    ----------------------------------------------------------------------
185    Name: Allen Leung
186    Date: 2000/04/09 19:09:00 EST
187    Tag: leunga-20000409-misc
188    Description:
189    
190    1.  Yet another fix for x86 assembly for idivl, imull, mull and friends.
191    
192    2.  Miscellaneous improvements to MLRISC (unused in sml/nj)
193    
194    ----------------------------------------------------------------------
195    Name: Stefan
196    Date: 2000/04/07 10:00:00 EDT
197    Tag: monnier-20000406-branch-handling
198    Description:
199    
200    Improved handling of branches (mostly those generated from
201    polymorphic equality), removed switchoff and changed the
202    default optimization settings (more cpsopt and less flintopt).
203    
204    ----------------------------------------------------------------------
205    Name: Allen Leung
206    Date: 2000/04/06 01:30:00 EST
207    Tag: leunga-20000406-peephole-x86-SSA-2
208    Description:
209    
210       Forgot a few files.
211    
212    ----------------------------------------------------------------------
213    Name: Allen Leung
214    Date: 2000/04/06 00:36:00 EST
215    Tag: leunga-20000406-peephole-x86-SSA
216    Description:
217    
218    1.  New Peephole code
219    
220    2.  Minor improvement to X86 instruction selection
221    
222    3.  Various fixes to SSA and machine description -> code translator
223    
224    ----------------------------------------------------------------------
225    Name: Matthias Blume
226    Date: 2000/04/05 12:30:00 JST
227    Tag: blume_main_v110p26p2_3
228    Description:
229    
230    This update just merges three minor cosmetic updates to CM's sources
231    to get ready for the 110.27 code freeze on Friday.  No functionality
232    has changed.
233    
234    ----------------------------------------------------------------------
235    Name: Allen Leung
236    Date: 2000/04/04 19:39:00 EST
237    Tag: leunga-20000404-x86-asm
238    Description:
239    
240    1.  Fixed a problem in X86 assembly.
241    
242        Things like
243    
244           jmp %eax
245           jmp (%eax)
246    
247        should be output as
248    
249           jmp *%eax
250           jmp *(%eax)
251    
252    2.  Assembly output
253    
254          Added a new flag
255    
256              "asm-indent-copies" (default to false)
257    
258          When this flag is on, parallel copies will be indented an extra level.
259    
260    ----------------------------------------------------------------------
261    Name: Allen Leung
262    Date: 2000/04/04 03:18:00 EST
263    Tag: leunga-20000404-C--Moby
264    Description:
265    
266        All of these fixes are related to C--, Moby, and my own optimization
267        stuff; so they shouldn't affect SML/NJ.
268    
269    1.  X86
270    
271        Various fixes related floating point, and extensions.
272    
273    2.  Alpha
274    
275        Some extra patterns related to loads with signed/zero extension
276        provided by Fermin.
277    
278    3.  Assembly
279    
280        When generating assemby, resolve the value of client defined constants,
281        instead of generating symbolic values.  This is controlled by the
282        new flag "asm-resolve-constants", which is default to true.
283    
284    4.  Machine Descriptions
285    
286        a. The precedence parser was slightly broken when parsing infixr symbols.
287        b. The type generalizing code had the bound variables reversed, resulting
288           in a problem during arity raising.
289        c. Various fixes in machine descriptions.
290    
291    ----------------------------------------------------------------------
292    Name: Matthias Blume
293  Date: 2000/04/03 16:05:00 JST  Date: 2000/04/03 16:05:00 JST
294  Tag: blume_main_v110p26p2_2  Tag: blume_main_v110p26p2_2
295  Description:  Description:

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

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