Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 920, Tue Aug 28 18:03:37 2001 UTC	revision 987, Wed Nov 21 21:14:44 2001 UTC
#	Line 14	Line 14
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16	Name: Matthias Blume	Name: Matthias Blume
17		Date: 2001/11/21 16:14:00 EST
18		Tag: blume-20011121-forgottenfile
19		Description:
20
21		Forgot to add a file.  (Just a .tex-file -- part of
22		the CM manual source.)
23
24		----------------------------------------------------------------------
25		Name: Matthias Blume
26		Date: 2001/11/21 16:10:00 EST
27		Tag: Release_110_37
28		Description:
29
30		1. Modifications to the SML/NJ code generator and to the runtime system
31		so that code object name strings are directly inserted into code
32		objects at code generation time.  The only business the runtime system
33		has with this is now to read the name strings on occasions.
34		(The encoding of the name string has also changed somewhat.)
35
36		2. CM now implements a simple "set calculus" for specifying export lists.
37		In particular, it is now possible to refer to the export lists of
38		other libraries/groups/sources and form unions as well as differences.
39		See the latest CM manual for details.
40
41		3. An separate notion of "proxy" libraries has again be eliminated from
42		CM's model.  (Proxy libraries are now simply a special case of using
43		the export list calculus.)
44
45		4. Some of the existing libraries now take advantage of the new set
46		calculus.
47		(Notice that not all libraries have been converted because some
48		of the existing .cm-files are supposed to be backward compatible
49		with 110.0.x.)
50
51		5. Some cleanup in stand-alone programs.  (Don't use "exnMessage" -- use
52		"General.exnMessage"!  The former relies on a certain hook to be
53		initialized, and that often does not happen in the stand-alone case.)
54
55		----------------------------------------------------------------------
56		Name: Lal George
57		Date: 2001/11/21  13:56:18 EST
58		Tag: george-2001121-pseudo-ops
59		Description:
60
61		Implemented a complete redesign of MLRISC pseudo-ops. Now there
62		ought to never be any question of incompatabilities with
63		pseudo-op syntax expected by host assemblers.
64
65		For now, only modules supporting GAS syntax are implemented
66		but more should follow, such as MASM, and vendor assembler
67		syntax, e.g. IBM as, Sun as, etc.
68
69		----------------------------------------------------------------------
70		Name: Matthias Blume
71		Date: 2001/11/14 11:52:00 EST
72		Tag: blume-20011114-srcname
73		Description:
74
75		1. Routed the name of the current source file to mlriscgen where it
76		should be directly emitted into the code object.  (This last part
77		is yet to be done.)
78
79		2. Some cleanup of the pgraph code to make it match the proposal that
80		I put out the other day.  (The proposal notwithstanding, things are
81		still in flux here.)
82
83		----------------------------------------------------------------------
84		Name: Lal George
85		Date: 2001/11/14 09:44:04 EST
86		Tag:
87		Description:
88
89		Fix for a backpatching bug reported by Allen.
90
91		Because the boundary between short and long span-dependent
92		instructions is +/- 128, there are an astounding number of
93		span-dependent instructions whose size is over estimated.
94
95		Allen came up with the idea of letting the size of span
96		dependent instructions be non-monotonic, for a maxIter
97		number of times, after which the size must be monotonically
98		increasing.
99
100		This table shows the number of span-dependent instructions
101		whose size was over-estimated as a function of maxIter, for the
102		file Parse/parse/ml.grm.sml:
103
104		maxIter            # of instructions:
105		10                      687
106		20                      438
107		30                      198
108		40                        0
109
110		In compiling the compiler, there is no significant difference in
111		compilation speed between maxIter=10 and maxIter=40. Actually,
112		my measurements showed that maxIter=40 was a tad faster than
113		maxIter=10! Also 96% of the  files in the compiler reach a fix
114		point within 13 iterations, so fixing maxIter at 40, while high,
115		is okay.
116
117		----------------------------------------------------------------------
118		Name: Matthias Blume
119		Date: 2001/10/31 15:25:00 EST
120		Tag: blume-20011031-pgraph
121		Description:
122
123		CKIT:
124		* Changed the "Function" constructor of type Ast.ctype to carry optional
125		argument identifiers.
126		* Changed the return type of TypeUtil.getFunction accordingly.
127		* Type equality ignores the argument names.
128		* TypeUtil.composite tries to preserve argument names but gives up quickly
129		if there is a mismatch.
130
131		installation script:
132		* attempts to use "curl" if available (unless "wget" is available as well)
133
134		CM:
135		* has an experimental implementation of "portable graphs" which I will
136		soon propose as an implementation-independent library format
137		* there are also new libraries $/pgraph.cm and $/pgraph-util.cm
138
139		NLFFI-LIB:
140		* some cleanup (all cosmetic)
141
142		NLFFIGEN:
143		* temporarily disabled the mechanism that suppresses ML output for
144		C definitions whose identifiers start with an underscore character
145		* generate val bindings for enum constants
146		* user can request that only one style (light or heavy) is being used;
147		default is to use both (command-line arguments: -heavy and -light)
148		* fixed bug in handling of function types involving incomplete pointers
149		* generate ML entry points that take record arguments (i.e., using
150		named arguments) for C functions that have a prototype with named
151		arguments
152		(see changes to CKIT)
153
154		----------------------------------------------------------------------
155		Name: Allen Leung
156		Date: 2001/10/27 20:34:00 EDT
157		Tag: leunga-20011027-x86-fast-fp-call
158		Description:
159
160		Fixed the bug described in blume-20010920-slowfp.
161
162		The fix involves
163		1. generating FCOPYs in FSTP in ia32-svid
164		2. marking a CALL with the appropriate annotation
165
166		----------------------------------------------------------------------
167		Name: Matthias Blume
168		Date: 2001/10/16 11:32:00 EDT
169		Tag: blume-20011016-netbsd
170		Description:
171
172		Underscore patch from Chris Richards (fixing problem with compiling
173		runtime system under recent NetBSD).
174
175		----------------------------------------------------------------------
176		Name: Allen Leung
177		Date: 2001/10/12 17:18:32 EDT 2001
178		Tag: leung-20011012-x86-printflowgraph
179		Description:
180
181		X86RA now uses a valid (instead of dummy) PrintFlowgraph module.
182
183		----------------------------------------------------------------------
184		Name: Lal George
185		Date: 2001/10/11 23:51:34 EDT
186		Tag: george-20011011-too-many-instrs
187		Description:
188
189		The representation of a program point never expected to see more
190		than 65536 instructions in a basic block!
191
192		----------------------------------------------------------------------
193		Name: Lal George
194		Date: 2001/10/09 09:41:37 EDT
195		Tag: george-20011008-mlrisc-labels
196		Description:
197
198		Changed the machine description files to support printing of
199		local and global labels in assembly code, based on host assembler
200		conventions.
201
202		----------------------------------------------------------------------
203		Name: Matthias Blume
204		Date: 2001/09/25 15:25:00 EDT
205		Tag: blume-20010925-exninfo
206		Description:
207
208		I provided a non-hook implementation of exnName (at the toplevel) and
209		made the "dummy" implementation of exnMessage (at the toplevel) more
210		useful: if nothing gets "hooked in", then at least you are going to
211		see the exception name and a message indicating why you don't see more.
212
213		[For the time being, programs that need exnMessage and want to use
214		ml-build should either use General.exnMessage (strongly recommended) or
215		refer to structure General at some other point so that CM sees a
216		static dependency.]
217
218		[Similar remarks go for "print" and "use":  If you want to use their
219		functionality in stand-alone programs generated by ml-build, then use
220		TextIO.output and Backend.Interact.useFile (from $smlnj/compiler.cm).]
221
222		----------------------------------------------------------------------
223		Name: Matthias Blume
224		Date: 2001/09/20 17:28:00 EDT
225		Tag: blume-20010920-slowfp
226		Description:
227
228		Allen says that x86-fast-fp is not safe yet, so I turned it off again...
229
230		----------------------------------------------------------------------
231		Name: Matthias Blume
232		Date: 2001/09/20 17:20:00 EDT
233		Tag: blume-20010920-canonicalpaths
234		Description:
235
236		0. Updated the BOOT file (something that I forgot to do earlier).
237
238		1. Small internal change to CM so that it avoids "/../" in filenames
239		as much as possible (but only where it is safe).
240
241		2. Changed config/_run-sml (resulting in a changed bin/.run-sml) so
242		that arguments that contain delimiters are passed through correctly.
243		This change also means that all "special" arguments of the form
244		@SMLxxx... must come first.
245
246		3. Changed install script to put relative anchor names for tool commands
247		into pathconfig.
248
249		----------------------------------------------------------------------
250		Name: Matthias Blume
251		>>>>>>> 1.169
252		Date: 2001/09/18 15:35:00 EDT
253		Tag: blume-20010918-readme11036
254		Description:
255
256		Added README files.
257
258		----------------------------------------------------------------------
259		Name: Matthias Blume
260		Date: 2001/09/18 11:45:00 EDT
261		Tag: Release_110_36 (retag)
262		Description:
263
264		Fixed mistake in config/preloads. Retagged as 110.36.
265
266		----------------------------------------------------------------------
267		Name: Matthias Blume
268		Date: 2001/09/18 09:40:00 EDT
269		Tag: Release_110_36_orig (tag changed)
270		Description:
271
272		New version (110.36).  New bootfiles.
273
274		----------------------------------------------------------------------
275		Name: Matthias Blume
276		Date: 2001/09/14 16:15:00 EDT
277		Tag: blume-20010914-x86fastfp
278		Description:
279
280		John committed some changes that Allen made, in particular a (hopefully)
281		correctly working version of the x86-fp module.
282
283		I changed the default setting of the Control.MLRISC.getFlag "x86-fast-fp"
284		flag to "true".  Everything seems to compile to a fixpoint ok, and
285		"mandelbrot" speeds up by about 15%.
286
287		----------------------------------------------------------------------
288		Name: Matthias Blume
289		Date: 2001/09/13 11:20:00 EDT
290		Tag: blume-20010913-minimal
291		Description:
292
293		1. Stefan Monnier's patch to fix a miscompilation problem that
294		was brought to light by John Reppy's work on Moby.
295
296		2. Implemented a minimal "structure Compiler" that contains just
297		"version" and "architecture".  The minimal version will be
298		available when the full version is not.  This is for backward-
299		compatibility with code that wants to test Compiler.version.
300
301		----------------------------------------------------------------------
302		Name: Matthias Blume
303	Date: 2001/08/28 14:03:00 EDT	Date: 2001/08/28 14:03:00 EDT
304	Tag: blume-20010828-ml-lex	Tag: blume-20010828-ml-lex
305	Description:	Description:
#	Line 2939	Line 3225
3225	elaborator). There were a lot of changes during my "linkpath" trials	elaborator). There were a lot of changes during my "linkpath" trials
3226	that could have been reverted to their original state but weren't.	that could have been reverted to their original state but weren't.
3227	Please, don't be too harsh on me for messing with this code a bit more	Please, don't be too harsh on me for messing with this code a bit more
3228	than what was strictly necessary...  (I _did_ resist the tempation	than what was strictly necessary...  (I _did_ resist the temptation
3229	of doing any "global reformatting" to avoid an untimely death at	of doing any "global reformatting" to avoid an untimely death at
3230	Dave's hands. :)	Dave's hands. :)
3231

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.920   changed lines   Added in v.987

---

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