Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 601, Thu Apr 6 04:38:14 2000 UTC	revision 641, Thu May 11 01:16:45 2000 UTC
#	Line 13	Line 13
13	Description:	Description:
14	----------------------------------------------------------------------	----------------------------------------------------------------------
15	Name: Allen Leung	Name: Allen Leung
16		Date: 2000/05/10 21:17 EDT
17		Tag: leunga-20000510-moby-c--ssa
18		Description:
19
20		Various bug fixes and new features for C--, Moby and MLRISC optimizations.
21		None of these affect SML/NJ.
22
23		1. Register Allocation
24
25		a. A new ra spilling module (ra/ra-spill-with-renaming) is implemented.
26		This module tries to remove local (i.e. basic block level) redundancies
27		during spilling.
28
29		b. A new framework for performing region based register allocation.
30		Not yet entirely functional.
31
32		2. X86
33
34		a. DefUse for POP was missing the stack pointer [found by Lal]
35		b. Reload for CALL was incorrect in X86Spill [found by John]
36		c. Various fixes in X86Spill so that it can be used correctly for
37		the new spilling module.
38
39		3. SSA/IR
40
41		a. New module ir/dj-dataflow.sml implements elimination based
42		data flow analysis.
43
44		4. MLRiscGen
45
46		a. Fix for gc type annotation
47
48		5. MDGen
49
50		Various fixes for machine description -> ml code translation.  For ssa
51		only.
52
53		----------------------------------------------------------------------
54		Name: Allen Leung
55		Date: 2000/05/08 22:17 EDT
56		Tag: leunga-20000508-labexp
57		Description:
58
59		Fermin has found a few assembly problems with constant expressions
60		generated in LabelExp.  Mostly, the problems involve extra parentheses,
61		which choke on dumb assemblers.  This is his fix.
62
63		----------------------------------------------------------------------
64		Name: Dave MacQueen
65		Date: 2000/04/09 14:00 EDT
66		Tag: dbm-20000502-Version_110_28
67		Description:
68
69		1. Updated src/compiler/TopLevel/main/version.sml to version 110.28
70
71		2. Updated config/version to 110.28
72
73		3. Updated config/srcarchiveurl
74
75		3. New boot files!
76		ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.28/
77
78		----------------------------------------------------------------------
79		Name: Matthias Blume
80		Date: 2000/05/01 19:05:00 JST
81		Tag: blume-20000501-noweb
82		Description:
83
84		A new noweb tool has been added.  The existing system is entirely
85		unaffected by this, but some CM users have asked for renewed noweb
86		support.  Everything is documented in the CM manual.
87
88		New (plugin) libraries:
89
90		noweb-tool.cm
91		nw-ext.cm
92
93		----------------------------------------------------------------------
94		Name: Dave MacQueen
95		Date: 2000/04/30 12:40PM EDT
96		Tag: dbm-20000430-bug_fixes
97		Description:
98
99		1. Fix for bug 1498
100		smlnj/src/system/Basis/Implementation/Unsafe/object.sig
101		smlnj/src/system/Basis/Implementation/Unsafe/object.sml
102		added toRealArray function
103		smlnj/src/compiler/MiscUtil/print/ppobj.sml
104		added check for tag Obj.RealArray to array printing case in ppObj
105
106		2. Fix for bug 1510
107		smlnj/src/compiler/Semant/types/typesutil.sml
108		fixed definition of dummyargs (used by equalTycon) so that
109		dummy args are distinct types
110
111		----------------------------------------------------------------------
112		Name: Matthias Blume
113		Date: 2000/04/30 01:00:00 JST
114		Tag: blume-20000430-versions
115		Description:
116
117		1. CM version numbering added.  This is an implementation of Lal's
118		proposal for adding version numbers and version checking to .cm
119		files.  Lal said that his proposal was just that -- a proposal.
120		For the time being I went ahead and implemented it so that people
121		can comment on it.  Everything is completely backward-compatible
122		(except for the stable library format, i.e., new bootfiles!).
123
124		As usual, see the CM manual for details.
125
126		2. An alternative syntax for anchored paths has been implemented.
127		Dave has recently voiced the same concerns that I had when I did
128		this, so there should be some support.  My take is that eventually
129		I will let support for the current syntax (where anchors are
130		"implicit") fade out in favor of the new, explicit syntax.
131		In order to be backward-compatible, both old and new syntax are
132		currently supported.
133
134		Again, see the CM manual for details.
135
136		3. Parallel make is trying to be slightly smarter:  When the master
137		process finds a "bottleneck", i.e., when there is only one
138		compilation unit that can be compiled and everybody else is
139		waiting on it, then it will simply compile it directly instead
140		of clumsily telling one of the slaves to do it.
141
142		4. Support for "unsharing" added.  This is necessary in order to be
143		able to have two different versions of the same library running
144		at the same time (e.g., for trying out a new MLRISC while still
145		having the old MLRISC linked into the current compiler, etc.)
146		See the CM manual.
147
148		5. Simple "makedepend" functionality added for generating Makefile
149		dependency information.  (This is rather crude at the moment.
150		Expect some changes here in the future.)
151
152		6. ".fun" added as a recognized suffix for ML files. Also documented
153		explicitly in the manual that the fallback behavior (unknown suffix
154		-> ML file) is not an official feature!
155
156		7. Small changes to the pickler for stable libraries.
157
158		8. Several internal changes to CM (for cleanup/improvement).
159
160
161		!!!! NEW BINFILES !!!!
162
163		----------------------------------------------------------------------
164		Name: Matthias Blume
165		Date: 2000/04/28 17:30:00 JST
166		Tag: blume-20000428-pathconfig
167		Description:
168
169		1. I changed config/install.sh to remove duplicate entries from the
170		lib/pathconfig file at the end.  Moreover, the final version of
171		lib/pathconfig is sorted alphabetically.  The same (sorting) is done
172		in src/system/installml.
173
174		2. The config/install.sh script now consistently uses relative
175		pathnames in lib/pathconfig whenever the anchor is in the lib
176		directory.  (So far this was true for the libraries that come
177		pre-compiled and bundled as part of the bootfiles but not for
178		libraries that are compiled by the script itself.)
179
180		----------------------------------------------------------------------
181		Name: Matthias Blume
182		Date: 2000/04/26 13:10:00 JST
183		Tag: blume-20000426-fun_suffix
184		Description:
185
186		Added ".fun" as a recognized file name suffix (for ML code).
187
188		----------------------------------------------------------------------
189		Name: Allen Leung
190		Date: 2000/04/25 17:00:00 EST
191		Tag: leunga-20000425-alpha-ra
192		Description:
193
194		1. Alpha
195
196		PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
197		in C--.
198
199		2. RA
200
201		Added a flag "ra-dump-size" to print out the size of the flowgraph
202		and the interference graph.
203
204		----------------------------------------------------------------------
205		Name: Dave MacQueen
206		Date: 2000/04/25/
207		Tag: dbm-20000425-mlyacc_doc_examples
208		Description:
209		Updated mlyacc.tex sections 5 and 7 for SML '97 and CM.
210		Updated all three examples in src/ml-yacc/examples to run
211		under 110.* using CM.make.
212
213		----------------------------------------------------------------------
214		Name: Allen Leung
215		Date: 2000/04/20 23:04:00 EST
216		Tag: leunga-20000420-ssa-c---stuff
217		Description:
218
219		This update synchronizes my repository with Yale's.  Most of these
220		changes, however, do not affect SML/NJ at all (the RA is an exception).
221
222		1. Register Allocator
223
224		a. An improvement in the interference graph construction:
225		Given a copy
226
227		s <- t
228
229		no interference edge between s and t is added for this definition of s.
230
231		b. I've added two new spill heuristic modules that Fermin and I developed
232		(in the new library RA.cm). These are unused in SML/NJ but maybe
233		useful for others (Moby?)
234
235		2. X86
236
237		a. Various fixes in the backend provided by Fermin [C--] and Lal.
238
239		3. Alpha
240
241		a. Added the BSR instruction and code generation that goes with it [C--]
242		b. Other fixes too numerous to recount provided by Fermin [C--]
243
244		4. Regmaps
245
246		a. The regmaps are not initialized with the identity physical bindings
247		at creation time.  This is unneeded.
248
249		5. MLRISC Optimizations
250
251		a. The DJ-Graph module can now compute the iterated dominance frontiers
252		intersects with liveness incrementally in linear time! Woohoo!
253		This is now used in my new SSA construction algorithm.
254
255		b. THe branch reorganization module is now smarter about linear chains of
256		basic blocks.
257
258
259		----------------------------------------------------------------------
260		Name: Matthias Blume
261		Date: 2000/04/12 13:52:00 JST
262		Tag: blume_main_v110p27_1
263		Description:
264
265		Changed install.sh script to handle archive files without version number
266		and to use "boot.<arch>-<os>" instead of "sml.boot.<arch>-<os>" for the
267		name of the boot file archive.
268
269		----------------------------------------------------------------------
270		Name: Dave MacQueen
271		Date: 2000/04/09 14:00 EDT
272		Tag: dbm-20000410-Version_110_27
273		Description:
274
275		1. Updated src/compiler/TopLevel/main/version.sml to version 110.27
276
277		2. Updated src/config/version to 110.27
278
279		3. New boot files!
280
281		----------------------------------------------------------------------
282		Name: Allen Leung
283		Date: 2000/04/09 19:09:00 EST
284		Tag: leunga-20000409-misc
285		Description:
286
287		1.  Yet another fix for x86 assembly for idivl, imull, mull and friends.
288
289		2.  Miscellaneous improvements to MLRISC (unused in sml/nj)
290
291		----------------------------------------------------------------------
292		Name: Stefan
293		Date: 2000/04/07 10:00:00 EDT
294		Tag: monnier-20000406-branch-handling
295		Description:
296
297		Improved handling of branches (mostly those generated from
298		polymorphic equality), removed switchoff and changed the
299		default optimization settings (more cpsopt and less flintopt).
300
301		----------------------------------------------------------------------
302		Name: Allen Leung
303		Date: 2000/04/06 01:30:00 EST
304		Tag: leunga-20000406-peephole-x86-SSA-2
305		Description:
306
307		Forgot a few files.
308
309		----------------------------------------------------------------------
310		Name: Allen Leung
311	Date: 2000/04/06 00:36:00 EST	Date: 2000/04/06 00:36:00 EST
312	Tag: leunga-20000406-peephole-x86-SSA	Tag: leunga-20000406-peephole-x86-SSA
313	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.601   changed lines   Added in v.641

---

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