Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 701, Thu Aug 31 08:46:43 2000 UTC	revision 771, Sat Dec 30 13:06:09 2000 UTC
#	Line 13	Line 13
13	Description:	Description:
14	----------------------------------------------------------------------	----------------------------------------------------------------------
15	Name: Matthias Blume	Name: Matthias Blume
16		Date: 2000/12/30 22:10:00 JST
17		Tag: blume-20001230-various
18		Description:
19
20		Added proxy libraries for MLRISC and let MLRISC libraries refer
21		to each other using path anchors.  (See CM manual for explanation.)
22
23		Updated CM documentation.
24
25		Fixed some bugs in CM.
26
27		Implemented "proxy" libraries (= syntactic sugar for CM).
28
29		Added "-quiet" option to makeml and changed runtime system accordingly.
30
31		Added cleanup handler for exportML to reset timers and compiler stats.
32
33		----------------------------------------------------------------------
34		Name: Lal George
35		Date: 2000/12/22 22:22:58 EST 2000
36		Tag: Release_110_32
37		Description:
38
39		Infinite precision used throughout MLRISC.
40		see MLRISC/mltree/machine-int.sig
41
42		----------------------------------------------------------------------
43		Name: Matthias Blume
44		Date: 2000/12/22 23:16:00 JST
45		Tag: blume-20001222-warn
46		Description:
47
48		Corrected wording and formatting of some CM warning message which I
49		broke in my previous patch.
50
51		----------------------------------------------------------------------
52		Name: Matthias Blume
53		Date: 2000/12/22 21:20:00 JST
54		Tag: blume-20001222-anchorenv
55		Description:
56
57		Fixed CM's handling of anchor environments in connection with CMB.make.
58
59		----------------------------------------------------------------------
60		Name: Matthias Blume
61		Date: 2000/12/22 13:15:00 JST
62		Tag: blume-20001222-cleanup
63		Description:
64
65		Removed src/cm/ffi which does not (and did not) belong here.
66
67		----------------------------------------------------------------------
68		Name: Matthias Blume
69		Date: 2000/12/21 23:55:00 JST
70		Tag: blume-20001221-exn
71		Description:
72
73		Probably most important: CM no longer silently swallows all exceptions
74		in the compiler.
75		Plus: some other minor CM changes.  For example, CM now reports some
76		sizes for generated binfiles (code, data, envpickle, lambdapickle).
77
78		----------------------------------------------------------------------
79		Name: Matthias Blume
80		Date: 2000/12/15 00:01:05 JST
81		Tag: blume-20001215-dirtool
82		Description:
83
84		- "dir" tool added.
85		- improvements and cleanup to Tools structure
86		- documentation updates
87
88		----------------------------------------------------------------------
89		Name: Allen Leung
90		Date: Thu Dec 14 03:45:24 EST 2000
91		Description:
92		Tag:  leunga-20001214-int-inf
93		Description:
94
95		In IntInf, added these standard functions, which are missing from our
96		implementation:
97
98		andb : int * int -> int
99		xorb : int * int -> int
100		orb  : int * int -> int
101		notb : int -> int
102		<<   : int * word -> int
103		~>>  : int * word -> int
104
105		Not tested, I hope they are correct.
106
107		----------------------------------------------------------------------
108		Name: Allen Leung
109		Date: Fri Dec  8 19:23:26 EST 2000
110		Description:
111		Tag:  leunga-20001208-nowhere
112		Description:
113
114		Slight improvements to the 'nowhere' tool to handle OR-patterns,
115		to generate better error messages etc.  Plus a brief manual.
116
117		----------------------------------------------------------------------
118		Name: Lal George
119		Date: 2000/12/08 09:54:02 EST 2000
120		Tag: Release_110_31
121		Description:
122
123		- Version 110.31
124		----------------------------------------------------------------------
125		Name: Allen Leung
126		Date: Thu Dec  7 22:01:04 EST 2000
127		Tag:  leunga-20001207-cell-monster-hack
128		Description:
129
130		Major MLRISC internal changes.  Affect all clients.
131		Summary:
132
133		1.  Type CELLS.cell = int is now replaced by a datatype.
134		As a result, the old regmap is now gone.  Almost all interfaces
135		in MLRISC change as a consequence.
136
137		2.  A new brand version of machine description tool (v3.0) that generates
138		modules expecting the new interface.  The old version is removed.
139
140		3.  The RA interface has been further abstracted into two new functors.
141		RISC_RA and X86RA.  These functors have much simpler interfaces.
142		[See also directory MLRISC/demo.]
143
144		4.  Some other new source->source code generation tools are available:
145
146		a. MLRISC/Tools/RewriteGen -- generate rewriters from rules.
147		b. MLRISC/Tools/WhereGen -- expands conditional pattern matching rules.
148		I use this tool to generate the peephole optimizers---with the new
149		cell type changes, peephole rules are becoming difficult to write
150		without conditional pattern matching.
151
152		5.  More Intmap -> IntHashTable change.  Previous changes by Matthias didn't
153		cover the entire MLRISC source tree so many things broke.
154
155		6.  CM files have been moved to the subdirectory MLRISC/cm.
156		They are moved because there are a lot of them and they clutter up the
157		root dir.
158
159		7.  More detailed documentation to come...
160
161		NOTE: To rebuild from 110.30 (ftp distribution), you'll have to do
162		a makeml -rebuild first.  This is because of other other
163		changes that Matthias has made (see below).
164
165
166		----------------------------------------------------------------------
167		Name: Matthias Blume
168		Date: 2000/11/30 23:12:00 JST
169		Tag: blume-20001130-filereorg
170		Description:
171
172		Some manual updates and some file reorganizations in CM.
173
174		----------------------------------------------------------------------
175		Name: Matthias Blume
176		Date: 2000/11/24 17:45:00 JST
177		Tag: blume-20001124-link
178		Description:
179
180		Drastically improved link traversal code for the case that the dynamic
181		value was already loaded at bootstrap time.  As a result, CM and CMB
182		now both load blazingly fast -- even on a very slow machine.  Also,
183		memory consumption has been further reduced by this.
184
185		Warning: The format of the PIDMAP file has changed.  THerefore, to
186		bootstrap you have to do this:
187
188		1. Run CMB.make
189		2. Make a symbolic link for the boot directory:
190		ln -s sml.boot.ARCH-OS xxx
191		3. "Rebuild" the boot directory:
192		./makeml -boot xxx -rebuild sml ; rm xxx
193		4. Boot normally:
194		./makeml
195
196		----------------------------------------------------------------------
197		Name: Matthias Blume
198		Date: 2000/11/21 21:20:00 JST
199		Tag: blume-20001121-tools
200		Description:
201
202		Continued hacking on autoloading problem -- with success this time.
203		Also changed tool-plugin mechanism.  See new CM manual.
204
205		----------------------------------------------------------------------
206		Name: Matthias Blume
207		Date: 2000/11/19 14:30:00 JST
208		Tag:  blume-20001119-autoload
209		Description:
210
211		Some hacking to make autoloading faster.  Success for CMB, no success
212		so far for CM.  There is a reduced structure CM' that autoloads faster.
213		(This is a temporary, non-documented hack to be eliminated again when
214		the general problem is solved.)
215
216		----------------------------------------------------------------------
217		Name: Matthias Blume
218		Date: 2000/11/17 14:10:00 JST
219		Tag: blume-20001117-pickle-lib
220		Description:
221
222		1. Eliminated comp-lib.cm
223		2. Made pickle-lib.cm
224		3. Eliminated all uses of intset.sml (from comp-lib.cm)
225		4. Replaced all uses of intmap.{sig,sml} (from comp-lib.cm) with
226		equivalent constructs from smlnj-lib.cm (INtHashTable).
227		5. Point 4. also goes for those uses of intmap.* in MLRISC.
228		Duplicated intmap modules thrown out.
229		6. Hunted down all duplicated SCC code and replaced it with
230		equivalent stuff (GraphSCCFn from smlnj-lib.cm).
231		7. Rewrote Feedback module.
232		8. Moved sortedlist.sml into viscomp-lib.cm.  Eventually it
233		should be thrown out and equivalent modules from smlnj-lib.cm
234		should be used (IntRedBlackSet, IntListSet, ...).
235
236		Confirmed that compiler compiles to fixpoint.
237
238		----------------------------------------------------------------------
239		Name: Allen Leung
240		Date: 2000/11/10 18:00:00
241		Tag: leunga-20001110-new-x86-fp
242
243		A new x86 floating point code generator has been added.
244		By default this is turned off.  To turn this on, do:
245
246		CM.autoload "$smlnj/compiler.cm";
247		Compiler.Control.MLRISC.getFlag "x86-fast-fp" := true;
248
249		Changes:
250
251		1.  Changed FTAN to FPTAN so that the assembly output is correct.
252		2.  Changed the extension callback for FTANGENT to generate:
253
254		fptan
255		fstp  %st(0)
256		instead of
257		fptan
258		fstpl ftempmem
259
260		3.  Numerous assembly fixes for x86.
261
262		5.  Cleaned up the machine code output module x86/x86MC.sml and added
263		support for a whole bunch of instructions and addressing modes:
264
265		fadd/fsub/fsubr/fmul/fdiv/fdivr  %st, %st(n)
266		faddp/fsubp/fsubrp/fmulp/fdivp/fdivrp  %st, %st(n)
267		fadd/fsub/fsubr/fmul/fdiv/fdivr  %st(n), %st
268		fiadd/fisub/fisubr/fimul/fidiv/fidivr mem
269		fxch %st(n)
270		fld %st(n)
271		fst %st(n)
272		fst mem
273		fstp %st(n)
274		fucom %st(n)
275		fucomp %st(n)
276
277		All these are now generated when the fast fp mode is turned on.
278
279		6.  Removed the dedicated registers %st(0), ..., %st(7) from X86CpsRegs
280
281		----------------------------------------------------------------------
282		Name: Matthias Blume
283		Date: 2000/11/09 11:20:00 JST
284		Tag: blume-20001109-scc
285		Description:
286
287		Eliminated some code duplication:
288
289		1. Added "where" clause to GraphSCCFn in SML/NJ Library.
290		(Otherwise the functor is useless.)
291		2. Used GraphSCCFn where SCCUtilFun was used previously.
292		3. Got rid of SCCUtilFun (in comp-lib.cm).
293
294		----------------------------------------------------------------------
295		Name: Lal George
296		Date: 2000/11/06 09:02:21 EST 2000
297		Tag: Release_110_30
298		Description:
299
300		- Version 110.30
301		----------------------------------------------------------------------
302		Name: Matthias Blume
303		Date: 2000/11/04 14:45:00
304		Tag: blume-20001104-mlbuild
305		Description:
306
307		- Made ml-build faster on startup.
308		- Documentation fixes.
309
310		----------------------------------------------------------------------
311		Name: Matthias Blume
312		Date: 2000/11/02 17:00:00 JST
313		Tag: blume-20001102-condcomp
314		Description:
315
316		- Small tweaks to pickler -- new BOOTFILES!
317		- Version bumped to 110.29.2.
318		- Added conditional compilation facility to init.cmi (see comment there).
319		----------------------------------------------------------------------
320		Name: Allen Leung
321		Date: 2000/10/23 19:31:00
322		Tag: leunga-20001023-demo-ra
323
324		1. Minor RA changes that improves spilling on x86 (affects Moby and C-- only)
325		2. Test programs for the graph library updated
326		3. Some new MLRISC demo programs added
327
328		----------------------------------------------------------------------
329		Name: Matthias Blume
330		Date: 2000/08/31 22:15:00 JST
331		Tag: blume-20001017-errmsg
332		Description:
333
334		More error message grief: Where there used to be no messages, there
335		now were some that had bogus error regions.  Fixed.
336
337		----------------------------------------------------------------------
338		Name: Matthias Blume
339		Date: 2000/08/31 17:30:00 JST
340		Tag: blume-20001017-v110p29p1
341		Description:
342
343		I made a version 110.29.1 with new bootfiles.
344
345		Changes:  Modified pickler/unpickler for faster and leaner unpickling.
346		CM documentation changes and a small bugfix in CM's error reporting.
347
348		----------------------------------------------------------------------
349		Name: Lal George
350		Date: 2000/09/27 14:42:35 EDT
351		Tag: george-20000927-nodestatus
352		Description:
353
354		Changed the type of the nodestatus, so that:
355
356		SPILLED(~1)             is now SPILLED
357		SPILLED(m) where m>=0   is now MEMREG(m)
358		SPILLED(s) where s<~1   is now SPILL_LOC(~s)
359
360		----------------------------------------------------------------------
361		Name: Matthias Blume
362		Date: 2000/09/07 14:45:00 JST
363		Tag: blume-20000907-cmerrmsg
364		Description:
365
366		Small tweak to CM to avoid getting ML syntax error messages twice.
367
368		----------------------------------------------------------------------
369		Name: Matthias Blume
370	Date: 2000/08/31 18:00:00 JST	Date: 2000/08/31 18:00:00 JST
371	Tag: blume-20000831-cvsbootfiles	Tag: blume-20000831-cvsbootfiles
372	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.701   changed lines   Added in v.771

---

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