Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 595, Wed Apr 5 03:30:17 2000 UTC	revision 653, Wed Jun 7 07:59:06 2000 UTC
#	Line 13	Line 13
13	Description:	Description:
14	----------------------------------------------------------------------	----------------------------------------------------------------------
15	Name: Matthias Blume	Name: Matthias Blume
16		Date: 2000/06/07 17:00:00 JST
17		Tag: blume-20000607-no-implicit-anchors
18		Description:
19
20		1. This update changes the default setting for
21		CM.Control.implicit_anchors from true to false.  This means that
22		implicit anchors are no longer permitted by default.  I also tried to
23		make sure that nothing else still relies on implicit anchors.
24		(This is the next step on the schedule towards a CM that does not even
25		have the notion of implicit anchors anymore.)
26
27		2. More CM manual updates.
28
29		3. I managed to track down and fix the pickling bug I mentioned last
30		time.  Because of the previously existing workaround, this entails no
31		immediate practical changes.
32
33		----------------------------------------------------------------------
34		Name: Matthias Blume
35		Date: 2000/06/06 11:15:00 JST
36		Tag: blume-20000606-lazierpickle
37		Description:
38
39		!!!! NEW BOOT FILES !!!!
40
41		* The main purpose of this update is to make library pickles lazier in
42		order to reduce the initial space penalty for autoloading a library.
43		As a result, it is now possible to have $smlnj/compiler.cm
44		pre-registered.  This should take care of the many complaints or
45		inquiries about missing structure Compiler.  This required changes to
46		CM's internal data structures and small tweaks to some algorithms.
47
48		As a neat additional effect, it is no longer necessary (for the sake
49		of lean heap image files) to distinguish between a "minimal" CM and a
50		"full" CM.  Now, there is only one CM (i.e., the "full" version:
51		$smlnj/cm.cm aka $smlnj/cm/full.cm), and it is always available at the
52		interactive top level. ($smlnj/cm/minimal.cm is gone.)
53
54		To make the life of compiler-hackers easier, "makeml" now also
55		pre-registers $smlnj/cmb.cm (aka $smlnj/cmb/current.cm).  In other
56		words, after you bootstrap a new sml for the first time, you will not
57		have to autoload $smlnj/cmb.cm again afterwards.  (The first time
58		around you will still have to do it, though.)
59
60		* A second change consists of major updates to the CM manual.  There
61		are now several appendices with summary information and also a full
62		specification of the CM description file syntax.
63
64		* In directory src/system I added the script "allcross".  This script
65		invokes sml and cross-compiles the compiler for all supported
66		architectures.  (Useful when providing a new set of boot files.)
67
68		* There seems to be a latent bug in my "lazy pickles" mechanism.  I
69		added a small tweak to pickle-util.sml to work around this problem,
70		but it is not a proper fix yet.  I will investigate further.  (The
71		effect of the bug was an inflation of library pickle size.)
72
73		* Version number increased to 110.28.1 (to avoid compatibility problems).
74
75		----------------------------------------------------------------------
76		Name: Allen Leung
77		Date: 2000/05/25 17:28 EDT
78		Tag: leunga-20000525-ra
79		Description:
80
81		Fixed a bug in freezing phase of the register allocator.
82
83		----------------------------------------------------------------------
84		Name: Allen Leung
85		Date: 2000/05/15 22:53 EDT
86		Tag: leunga-20000515-alpha-x86-ra
87		Description:
88
89		1. Alpha
90
91		Slight cleanup.  Removed the instruction SGNXL
92
93		2. X86
94
95		Added the following instructions to the instruction set:
96
97		ROLx, RORx,
98		BTx, BTSx, BTLx, BTRx,
99		XCHGx, and variants with the LOCK prefix
100
101		3. Register Allocation
102
103		The module ra-rewrite-with-renaming has been improved.
104
105		These have no effect on SML/NJ.
106
107		----------------------------------------------------------------------
108		Name: Matthias Blume
109		Date: 2000/05/15 16:20:00 JST
110		Tag: blume-20000515-lightrebuild
111		Description:
112
113		1. I added an alternative to "-rebuild" to "makeml".  The difference is
114		that prior to calling CMB.make' the CM-variable "LIGHT" will be
115		defined.  In effect, the command will not build any cross-compiler
116		backends and therefore finish more quickly.
117
118		The "fixpt" script also takes a "-light" switch to be able to use
119		this new facility while compiling for a fixpoint.
120
121		2. I replaced all mentions of anchored paths in group owner specifications
122		with simple relative paths (usually starting with "..").
123		The rationale is that a library's internal workings should not be
124		compromised by the lack of some anchor.  (An anchor is necessary
125		for someone who wants to refer to the library by an anchored path,
126		but it should not be necessary to build the same library in the first
127		place.)
128
129		3. I changed the way CM's tool mechanism determines the shell command
130		string used for things like ml-yacc etc. so that it does not break
131		when CM.Control.implicit_anchors is turned off.
132
133		----------------------------------------------------------------------
134		Name: Matthias Blume
135		Date: 2000/05/12 18:20:00 JST
136		Tag: blume-20000512-ml-build
137		Description:
138
139		Fixed a bug in config/_ml-build that prevented ml-yacc and ml-lex from
140		getting installed properly (by config/install.sh).
141
142		----------------------------------------------------------------------
143		Name: Matthias Blume
144		Date: 2000/05/12 17:30:00 JST
145		Tag: blume-20000512-anchors
146		Description:
147
148		!!! NEW BOOT FILES !!!
149
150		This change is in preparation of fading out support for "implicitly
151		anchored path names".  I went through all sources and used the
152		explicit (and relatively new) $-notation.  See system/README and the
153		CM manual for more info on this.
154
155		I also modified the anchoring scheme for some things such as "smlnj",
156		"MLRISC", "cm", etc. to take advantage of the fact that explicit
157		anchors are more expressive: anchor name and first arc do not have to
158		coincide.  This entails the following user-visible change:
159
160		You have to write $smlnj/foo/bar instead of smlnj/foo/bar.  In
161		particular, when you fire up sml with a command-line argument, say,
162		e.g.:
163
164		sml '$smlnj/cmb.cm'
165
166		At the ML toplevel prompt:
167
168		CM.autoload "$smlnj/cmb.cm";
169
170		There is also a new controller in CM.Control that can be used to turn
171		off all remaining support for implicit anchors by saying:
172
173		CM.autoload "$smlnj/
174		#set CM.Control.implicit_anchors false;
175
176		This causes CM to reject implicitly anchored paths.  This is (for the
177		time being) less permissive than the "final" version where there will
178		be no more such implicit anchors and relative paths will be just that:
179		relative.
180
181		The next step (version after next version?) will be to make the
182		default for CM.Control.implicit_anchors false.  After the dust has
183		settled, I can then produce the "final" version of this...
184
185		Note: Since bootstrapping is a bit tricky, I provided new boot files.
186
187		----------------------------------------------------------------------
188		Name: Matthias Blume
189		Date: 2000/05/11 16:30:00 JST
190		Tag: blume-20000511-sources
191		Description:
192
193		The main change is that I added function CM.sources as a generalized
194		version of the earlier CM.makedepend.  This entails the following
195		additional changes:
196
197		- CM.makedepend has been dropped.
198
199		- CM manual has been updated.
200
201		- TOOLS signature and API have been changed.
202
203		----------------------------------------------------------------------
204		Name: Allen Leung
205		Date: 2000/05/10 21:17 EDT
206		Tag: leunga-20000510-moby-c--ssa
207		Description:
208
209		Various bug fixes and new features for C--, Moby and MLRISC optimizations.
210		None of these affect SML/NJ.
211
212		1. Register Allocation
213
214		a. A new ra spilling module (ra/ra-spill-with-renaming) is implemented.
215		This module tries to remove local (i.e. basic block level) redundancies
216		during spilling.
217
218		b. A new framework for performing region based register allocation.
219		Not yet entirely functional.
220
221		2. X86
222
223		a. DefUse for POP was missing the stack pointer [found by Lal]
224		b. Reload for CALL was incorrect in X86Spill [found by John]
225		c. Various fixes in X86Spill so that it can be used correctly for
226		the new spilling module.
227
228		3. SSA/IR
229
230		a. New module ir/dj-dataflow.sml implements elimination based
231		data flow analysis.
232
233		4. MLRiscGen
234
235		a. Fix for gc type annotation
236
237		5. MDGen
238
239		Various fixes for machine description -> ml code translation.  For ssa
240		only.
241
242		----------------------------------------------------------------------
243		Name: Allen Leung
244		Date: 2000/05/08 22:17 EDT
245		Tag: leunga-20000508-labexp
246		Description:
247
248		Fermin has found a few assembly problems with constant expressions
249		generated in LabelExp.  Mostly, the problems involve extra parentheses,
250		which choke on dumb assemblers.  This is his fix.
251
252		----------------------------------------------------------------------
253		Name: Dave MacQueen
254		Date: 2000/04/09 14:00 EDT
255		Tag: dbm-20000502-Version_110_28
256		Description:
257
258		1. Updated src/compiler/TopLevel/main/version.sml to version 110.28
259
260		2. Updated config/version to 110.28
261
262		3. Updated config/srcarchiveurl
263
264		3. New boot files!
265		ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.28/
266
267		----------------------------------------------------------------------
268		Name: Matthias Blume
269		Date: 2000/05/01 19:05:00 JST
270		Tag: blume-20000501-noweb
271		Description:
272
273		A new noweb tool has been added.  The existing system is entirely
274		unaffected by this, but some CM users have asked for renewed noweb
275		support.  Everything is documented in the CM manual.
276
277		New (plugin) libraries:
278
279		noweb-tool.cm
280		nw-ext.cm
281
282		----------------------------------------------------------------------
283		Name: Dave MacQueen
284		Date: 2000/04/30 12:40PM EDT
285		Tag: dbm-20000430-bug_fixes
286		Description:
287
288		1. Fix for bug 1498
289		smlnj/src/system/Basis/Implementation/Unsafe/object.sig
290		smlnj/src/system/Basis/Implementation/Unsafe/object.sml
291		added toRealArray function
292		smlnj/src/compiler/MiscUtil/print/ppobj.sml
293		added check for tag Obj.RealArray to array printing case in ppObj
294
295		2. Fix for bug 1510
296		smlnj/src/compiler/Semant/types/typesutil.sml
297		fixed definition of dummyargs (used by equalTycon) so that
298		dummy args are distinct types
299
300		----------------------------------------------------------------------
301		Name: Matthias Blume
302		Date: 2000/04/30 01:00:00 JST
303		Tag: blume-20000430-versions
304		Description:
305
306		1. CM version numbering added.  This is an implementation of Lal's
307		proposal for adding version numbers and version checking to .cm
308		files.  Lal said that his proposal was just that -- a proposal.
309		For the time being I went ahead and implemented it so that people
310		can comment on it.  Everything is completely backward-compatible
311		(except for the stable library format, i.e., new bootfiles!).
312
313		As usual, see the CM manual for details.
314
315		2. An alternative syntax for anchored paths has been implemented.
316		Dave has recently voiced the same concerns that I had when I did
317		this, so there should be some support.  My take is that eventually
318		I will let support for the current syntax (where anchors are
319		"implicit") fade out in favor of the new, explicit syntax.
320		In order to be backward-compatible, both old and new syntax are
321		currently supported.
322
323		Again, see the CM manual for details.
324
325		3. Parallel make is trying to be slightly smarter:  When the master
326		process finds a "bottleneck", i.e., when there is only one
327		compilation unit that can be compiled and everybody else is
328		waiting on it, then it will simply compile it directly instead
329		of clumsily telling one of the slaves to do it.
330
331		4. Support for "unsharing" added.  This is necessary in order to be
332		able to have two different versions of the same library running
333		at the same time (e.g., for trying out a new MLRISC while still
334		having the old MLRISC linked into the current compiler, etc.)
335		See the CM manual.
336
337		5. Simple "makedepend" functionality added for generating Makefile
338		dependency information.  (This is rather crude at the moment.
339		Expect some changes here in the future.)
340
341		6. ".fun" added as a recognized suffix for ML files. Also documented
342		explicitly in the manual that the fallback behavior (unknown suffix
343		-> ML file) is not an official feature!
344
345		7. Small changes to the pickler for stable libraries.
346
347		8. Several internal changes to CM (for cleanup/improvement).
348
349
350		!!!! NEW BINFILES !!!!
351
352		----------------------------------------------------------------------
353		Name: Matthias Blume
354		Date: 2000/04/28 17:30:00 JST
355		Tag: blume-20000428-pathconfig
356		Description:
357
358		1. I changed config/install.sh to remove duplicate entries from the
359		lib/pathconfig file at the end.  Moreover, the final version of
360		lib/pathconfig is sorted alphabetically.  The same (sorting) is done
361		in src/system/installml.
362
363		2. The config/install.sh script now consistently uses relative
364		pathnames in lib/pathconfig whenever the anchor is in the lib
365		directory.  (So far this was true for the libraries that come
366		pre-compiled and bundled as part of the bootfiles but not for
367		libraries that are compiled by the script itself.)
368
369		----------------------------------------------------------------------
370		Name: Matthias Blume
371		Date: 2000/04/26 13:10:00 JST
372		Tag: blume-20000426-fun_suffix
373		Description:
374
375		Added ".fun" as a recognized file name suffix (for ML code).
376
377		----------------------------------------------------------------------
378		Name: Allen Leung
379		Date: 2000/04/25 17:00:00 EST
380		Tag: leunga-20000425-alpha-ra
381		Description:
382
383		1. Alpha
384
385		PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
386		in C--.
387
388		2. RA
389
390		Added a flag "ra-dump-size" to print out the size of the flowgraph
391		and the interference graph.
392
393		----------------------------------------------------------------------
394		Name: Dave MacQueen
395		Date: 2000/04/25/
396		Tag: dbm-20000425-mlyacc_doc_examples
397		Description:
398		Updated mlyacc.tex sections 5 and 7 for SML '97 and CM.
399		Updated all three examples in src/ml-yacc/examples to run
400		under 110.* using CM.make.
401
402		----------------------------------------------------------------------
403		Name: Allen Leung
404		Date: 2000/04/20 23:04:00 EST
405		Tag: leunga-20000420-ssa-c---stuff
406		Description:
407
408		This update synchronizes my repository with Yale's.  Most of these
409		changes, however, do not affect SML/NJ at all (the RA is an exception).
410
411		1. Register Allocator
412
413		a. An improvement in the interference graph construction:
414		Given a copy
415
416		s <- t
417
418		no interference edge between s and t is added for this definition of s.
419
420		b. I've added two new spill heuristic modules that Fermin and I developed
421		(in the new library RA.cm). These are unused in SML/NJ but maybe
422		useful for others (Moby?)
423
424		2. X86
425
426		a. Various fixes in the backend provided by Fermin [C--] and Lal.
427
428		3. Alpha
429
430		a. Added the BSR instruction and code generation that goes with it [C--]
431		b. Other fixes too numerous to recount provided by Fermin [C--]
432
433		4. Regmaps
434
435		a. The regmaps are not initialized with the identity physical bindings
436		at creation time.  This is unneeded.
437
438		5. MLRISC Optimizations
439
440		a. The DJ-Graph module can now compute the iterated dominance frontiers
441		intersects with liveness incrementally in linear time! Woohoo!
442		This is now used in my new SSA construction algorithm.
443
444		b. THe branch reorganization module is now smarter about linear chains of
445		basic blocks.
446
447
448		----------------------------------------------------------------------
449		Name: Matthias Blume
450		Date: 2000/04/12 13:52:00 JST
451		Tag: blume_main_v110p27_1
452		Description:
453
454		Changed install.sh script to handle archive files without version number
455		and to use "boot.<arch>-<os>" instead of "sml.boot.<arch>-<os>" for the
456		name of the boot file archive.
457
458		----------------------------------------------------------------------
459		Name: Dave MacQueen
460		Date: 2000/04/09 14:00 EDT
461		Tag: dbm-20000410-Version_110_27
462		Description:
463
464		1. Updated src/compiler/TopLevel/main/version.sml to version 110.27
465
466		2. Updated src/config/version to 110.27
467
468		3. New boot files!
469
470		----------------------------------------------------------------------
471		Name: Allen Leung
472		Date: 2000/04/09 19:09:00 EST
473		Tag: leunga-20000409-misc
474		Description:
475
476		1.  Yet another fix for x86 assembly for idivl, imull, mull and friends.
477
478		2.  Miscellaneous improvements to MLRISC (unused in sml/nj)
479
480		----------------------------------------------------------------------
481		Name: Stefan
482		Date: 2000/04/07 10:00:00 EDT
483		Tag: monnier-20000406-branch-handling
484		Description:
485
486		Improved handling of branches (mostly those generated from
487		polymorphic equality), removed switchoff and changed the
488		default optimization settings (more cpsopt and less flintopt).
489
490		----------------------------------------------------------------------
491		Name: Allen Leung
492		Date: 2000/04/06 01:30:00 EST
493		Tag: leunga-20000406-peephole-x86-SSA-2
494		Description:
495
496		Forgot a few files.
497
498		----------------------------------------------------------------------
499		Name: Allen Leung
500		Date: 2000/04/06 00:36:00 EST
501		Tag: leunga-20000406-peephole-x86-SSA
502		Description:
503
504		1.  New Peephole code
505
506		2.  Minor improvement to X86 instruction selection
507
508		3.  Various fixes to SSA and machine description -> code translator
509
510		----------------------------------------------------------------------
511		Name: Matthias Blume
512	Date: 2000/04/05 12:30:00 JST	Date: 2000/04/05 12:30:00 JST
513	Tag: blume_main_v110p26p2_3	Tag: blume_main_v110p26p2_3
514	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.595   changed lines   Added in v.653

---

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