Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 773, Mon Jan 8 16:18:37 2001 UTC	revision 836, Fri May 25 19:28:51 2001 UTC
#	Line 11	Line 11
11	Date:	Date:
12	Tag: <post-commit CVS tag>	Tag: <post-commit CVS tag>
13	Description:	Description:
14
15		----------------------------------------------------------------------
16		Name: Matthias Blume
17		Date: 2001/05/25 15:30:00 EDT
18		Tag: blume-20010525-iptr
19		Description:
20
21		- put the official 110.33-README (as it appears on the ftp server) under
22		CVS
23		- fixed a small bug related to incomplete pointer types in
24		ml-nlffigen
25		- small cosmetic change to the ml-nlffi-lib's "arr" type constructor
26		(it does not need the 'f type parameter)
27
28		----------------------------------------------------------------------
29		Name: Matthias Blume
30		Date: 2001/05/23 14:30:00 EDT
31		Tag: Release_110_33
32		Description:
33
34		New version number (110.33).  New bootfiles.
35
36		----------------------------------------------------------------------
37		Name: Matthias Blume
38		Date: 2001/05/22 18:06:00 EDT
39		Tag: blume-20010522-targets
40		Description:
41
42		Made install.sh use file config/targets.customized if it exists, falling
43		back to config/targets if it doesn't.  This way one can have a customized
44		version of the targets file without touching the "real thing", thus
45		eliminating the constant fear of accidentally checking something bogus
46		back into the CVS repository...  (File config/targets.customized must
47		not be added to the repository!)
48
49		----------------------------------------------------------------------
50		Name: Matthias Blume
51		Date: 2001/05/22 16:30:00 EDT
52		Tag: blume-20010522-minitut
53		Description:
54
55		1. Bug fix in ml-nlffigen; now (hopefully) correctly handling
56		struct returns.
57		2. Added src/ml-nlffi-lib/Doc/mini-tutorial.txt.  This is some very
58		incomplete, preliminary documentation for NLFFI.
59
60		----------------------------------------------------------------------
61		Name: Matthias Blume
62		Date: 2001/05/14 11:30:00 EDT
63		Tag: blume-20010514-script
64		Description:
65
66		Some bugs in install script fixed.
67
68		In addition to that I also made a slight change to the NLFFI API:
69		Functors generated by ml-nlffigen now take the dynamic library as a
70		straight functor argument, not as a suspended one.  (The original
71		functor code used to force the suspension right away anyway, so there
72		was nothing gained by this complication of the interface.)
73
74		----------------------------------------------------------------------
75		Name: Matthias Blume
76		Date: 2001/05/11 14:35:00 EDT
77		Tag: blume-20010511-ml-nlffi
78		Description:
79
80		I finally took the plunge and added my new FFI code to the main
81		repository.  For x86-linux it is now ready for prime-time.
82
83		There are two new subdirectories of "src":
84
85		- ml-nlffi-lib:
86		The utility library for programs using the FFI interface.
87		Here is the implementation of $/c.cm and its associated low-level
88		partners $/c-int.cm and $/memory.cm.
89		- ml-nlffigen:
90		A stand-alone program for generating ML glue code from C source
91		code.
92
93		Building ml-nlffigen requires $/ckit-lib.cm.
94
95		The config/install.sh script has been updates to do the Right Thing
96		(hopefully).
97
98		Notice that the source tree for the C-Kit will not be put under "src"
99		but directly under the installation root directory.  (This is the
100		structure that currently exists on the CVS server when you check out
101		module "sml".)  Fortunately, config/install.sh knows about this oddity.
102
103		Bugs: No documentation yet.
104
105		----------------------------------------------------------------------
106		Name: Matthias Blume
107		Date: 2001/05/09 16:35:00 EDT
108		Tag: blume-20010509-cpscontract
109		Description:
110
111		Fixed a bug in the accounting code in cpsopt/contract.sml.  (The
112		wrapper/unwrapper elimination did not decrement usage counts and some
113		dead variables got overlooked by the dead-up logic.)
114
115		----------------------------------------------------------------------
116		Name: Lal George
117		Date: 2001/05/08  17:26:09 EDT
118		Tag: george-20010508-omit-frameptr
119		Description:
120
121		Changes to implement the omit-frame-pointer optimization to support
122		raw C calls. For now, there is only support on the Intel x86, but
123		other architectures will follow as more experience is gained with this.
124
125
126		----------------------------------------------------------------------
127		Name: Matthias Blume
128		Date: 2001/05/07 14:40:00 EDT
129		Tag: blume-20010507-proxies
130		Description:
131
132		I made into "proxy libraries" all libraries that qualify for such a
133		change.  (A qualifying library is a library that has another library or
134		groups as its sole member and repeats that member's export list
135		verbatim.  A proxy library avoids this repetition by omitting its export
136		list, effectively inheriting the list that its (only) member exports.
137		See the CM manual for more explanation.)
138		The main effect is that explicit export lists for these libraries
139		do not have to be kepts in sync, making maintenance a bit easier.
140
141		I also added copyright notices to many .cm-files.
142
143		Last but not least, I made a new set of bootfiles.
144
145		----------------------------------------------------------------------
146		Name: Matthias Blume
147		Date: 2001/05/04 17:00:00 EDT
148		Tag: blume-20010504-cm-lsplit
149		Description:
150
151		0. John merged pending changes to $/smlnj-lib.cm
152
153		1. Allen's previous change accidentally backed out of one of Lal's
154		earlier changes.  I undid this mistake (re-introducing Lal's change).
155
156		2. I used the new topOrder' function from graph-scc.sml (from $/smlnj-lib.cm)
157		within the compiler where applicable.  There is some code simplification
158		because of that.
159
160		3. The "split" phase (in FLINT) is now part of the default list of phases.
161		Compiler.Control.LambdaSplitting.* can be used to globally control the
162		lambda-splitting (cross-module-inlining) engine.  In addition to that,
163		it can now also be controlled on a per-source basis: CM has been taught
164		a new tool parameter applicable to ML source files.
165
166		- To turn lambda-splitting off completely:
167		local open Compiler.Control.LambdaSplitting in
168		val _ = set Off
169		end
170		- To make "no lambda-splitting" the global default (but allow per-source
171		overriding); this is the initial setting:
172		local open Compiler.Control.LambdaSplitting in
173		val _ = set (Default NONE)
174		end
175		- To make "lambda-splitting with aggressiveness a" the global default
176		(and allow per-source overriding):
177		local open Compiler.Control.LambdaSplitting in
178		val _ = set (Default (SOME a))
179		end
180
181		- To turn lambda-splitting off for a given ML souce file (say: a.sml)
182		write (in the respective .cm-file):
183		a.sml (lambdasplitting:off)
184		- To turn lambda-splitting for a.sml on with minimal aggressiveness:
185		a.sml (lambdasplitting:on)
186		- To turn lambda-splitting for a.sml on with aggressiveness <a> (where
187		<a> is a decimal non-negative integer):
188		a.sml (lambdasplitting:<a>)
189		- To turn lambda-splitting for a.sml on with maximal aggressiveness:
190		a.sml (lambdasplitting:infinity)
191		- To use the global default for a.sml:
192		a.sml (lambdasplitting:default)
193		or simply
194		a.sml
195
196		----------------------------------------------------------------------
197		Name: Allen Leung
198		Date: 2001/05/04 01:57:00 EDT
199		Tag: leunga-20010504-sync
200		Description:
201
202		MLRISC features.
203
204		1. Fix to CMPXCHG instructions.
205		2. Changed RA interface to allow annotations in callbacks.
206		3. Added a new method to the stream interface to allow annotations updates.
207
208		----------------------------------------------------------------------
209		Name: Matthias Blume
210		Date: 2001/05/01 11:45:00 EDT
211		Tag: blume-20010501-pcedittmp
212		Description:
213
214		Changed install.sh to use the current working directory instead of
215		/usr/tmp for a temporary file (pcedittmp).  The previous choice
216		of /usr/tmp caused trouble with MacOS X because of file premission
217		problems.
218
219		----------------------------------------------------------------------
220		Name: Matthias Blume
221		Date: 2001/04/20 11:10:00 EDT
222		Tag: blume-20010420-inMLflag
223		Description:
224
225		- added vp_limitPtrMask to vproc-state.h
226		(for use by the raw-C-calls mechanism to implement proper interrupt
227		handling)
228		- made the ML compiler aware of various data-structure offsets so it
229		can generate code for accessing the vp_inML flag and vp_limitPtrMask
230		- tweaked mlriscGen.sml to have it emit interrupt-handling code for
231		raw C-calls
232
233		----------------------------------------------------------------------
234		Name: Lal George
235		Date: 2001/04/20 09:15:28 EDT
236		Tag: george-20010420-macosX
237		Description:
238
239		- Changes to port to Mac OS X; Darwin.
240
241		- In the process I found that sqrt was broken on the PPC, because the
242		fsqrt instruction is not implemented.
243
244		----------------------------------------------------------------------
245		Name: Matthias Blume
246		Date: 2001/04/18 12:45:00 EDT
247		Tag: blume-20010418-ccalls
248		Description:
249
250		- fixed two off-by-4 errors in the x86-specific c-calls implementation
251		(this bug prevented structure arguments containing pointers from being
252		passed correctly)
253		- changed the raw-C-call code in mlriscGen.sml in such a way that
254		structure arguments are represented as a pointer to the beginning
255		of the structure (instead of having a series of synthesized arguments,
256		one for each structure member)
257
258		- made makeml script's verbosity level configurable via environment
259		variable (MAKEML_VERBOSITY)
260
261		- eliminated placeholder implementations for f32l, w16s, i16s, and f32s
262		in rawmem-x86.sml; we are now using the real thing
263
264		----------------------------------------------------------------------
265		Name: Matthias Blume
266		Date: 2001/03/22 16:25:00 EST
267		Tag: blume-20010322-bootfiles
268		Description:
269
270		Created a new set of bootfiles (for your automatic installation convenience).
271
272		----------------------------------------------------------------------
273		Name: Matthias Blume
274		Date: 2001/03/22 15:10:00 EST
275		Tag: blume-20010322-rawmem-parcm
276		Description:
277
278		1. All "raw memory access" primitives for the new FFI are implemented now
279		(at least on the x86).
280		2. Some further cleanup of CM's parallel make mechanism.
281
282		----------------------------------------------------------------------
283		Name: Matthias Blume
284		Date: 2001/03/19 17:53:00 EST
285		Tag: blume-20010319-parallel
286		Description:
287
288		Parallel make (using compile servers) now works again.
289
290		To this end, CM.stabilize and CMB.make have been modified to work in
291		two passes when compile servers are attached:
292		1. Compile everything, do not perform stabilization; this pass
293		uses compile servers
294		2. Stabilize everything; this pass does not use compile servers
295		If there are no compile servers, the two passes are combined into one
296		(as before).  Splitting the passes increases the inherent parallelism
297		in the dependency graph because the entire graph including all
298		libraries is available at the same time.  This, in turn, improves
299		server utilization.  The downside is that the master process will
300		have to do some extra work after compilation is done (because for
301		technical reasons it must re-read all the binfiles during stabilization).
302
303		----------------------------------------------------------------------
304		Name: Matthias Blume
305		Date: 2001/03/16 12:22:00 EST
306		Tag: blume-20010316-bootfiles
307		Description:
308
309		Created a new set of bootfiles (for your automatic installation convenience).
310
311		----------------------------------------------------------------------
312		Name: Matthias Blume
313		Date: 2001/03/16 11:00:00 EST
314		Tag: blume-20010316-MLTREE-fixup
315		Description:
316
317		This is a minor fixup for an (untagged) earlier commit by Allen.
318		(A file was missing).
319
320		----------------------------------------------------------------------
321		Name: Allen Leung
322		Date: Mon Mar  5 18:54:57 EST 2001
323		Tag: leunga-20010305-cut-support
324
325		1. New support for alternative control-flow in MLTREE.
326		Currently we support
327
328		FLOW_TO(CALL ...., [k1,...,kn])
329
330		This is needed for 'cuts to' in C-- and try/handle-like constructs
331		in Moby
332
333		New assembler flag "asm-show-cutsto" to turn on control-flow debugging.
334
335		2. Register Allocator
336
337		Changes in interface [from Fermin, John]
338
339		3. Alpha 8-bit SLL support [Fermin]
340
341		4. All architectures
342
343		A new module (ClusterExpandCopies) for expanding parallel copies.
344
345		----------------------------------------------------------------------
346		Name: Allen Leung
347		Date: 2001/02/27 23:07:00 EST
348		Tag: leunga-20010227-minor-stuff
349
350		1. Alpha bug fix for CMOVNE
351		2. Handle mltree COND(..,FCMP ...,...)
352		3. Bug fix in simplifier
353
354		----------------------------------------------------------------------
355		Name: Matthias Blume
356		Date: 2001/01/30 17:50:00 EST
357		Tag: blume-20010130-sync
358		Description:
359
360		This is just a minor update to sync my devel branch with the main brach.
361		The only visible change is the addition of some README files.
362
363		----------------------------------------------------------------------
364		Name: Matthias Blume
365		Date: 2001/01/12 23:30:00 JST
366		Tag: blume-20010112-bootfiles
367		Description:
368
369		Made a new set of bootfiles that goes with the current state of the
370		repository.
371
372		----------------------------------------------------------------------
373		Name: Matthias Blume
374		Date: 2001/01/12 21:20:00 JST
375		Tag: blume-20010112-sync
376		Description:
377
378		I am just flushing out some minor changes that had accumulated in
379		my private branch in order to sync with the main tree.  (This is
380		mainly because I had CVS trouble when trying to merge _into_ my
381		private branch.)
382
383		Most people should be completely unaffected by this.
384
385		----------------------------------------------------------------------
386		Name: Allen Leung
387		Date: Thu Jan 11 21:03:00 EST 2001
388		Tag: leunga-20010111-labexp=mltree
389		Description:
390
391		1.  Removed the type LabelExp and replace it by MLTree.
392		2.  Rewritten mltree-simplify with the pattern matcher tool.
393		3.  There were some bugs in alpha code generator which would break
394		64-bit code generation.
395		4.  Redo the tools to generate code with the
396		5.  The CM files in MLRISC (and in src/system/smlnj/MLRISC)
397		are now generated by perl scripts.
398
399		----------------------------------------------------------------------
400		Name: Matthias Blume
401		Date: 2001/01/10 21:55:00 JST
402		Tag: blume-20010110-rcc
403		Description:
404
405		The RCC stuff now seems to work (but only on the x86).
406		This required hacking of the c-calls interface (and -implementation) in
407		MLRISC.
408
409		Normal compiler users should be unaffected.
410
411	----------------------------------------------------------------------	----------------------------------------------------------------------
412	Name: Matthias Blume	Name: Matthias Blume
413	Date: 2001/01/09 01:20:00 JST	Date: 2001/01/09 01:20:00 JST

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.773   changed lines   Added in v.836

---

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