Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 984, Wed Nov 21 19:00:08 2001 UTC revision 1047, Tue Jan 29 21:31:50 2002 UTC
# Line 8  Line 8 
8  The form of an entry should be:  The form of an entry should be:
9    
10  Name:  Name:
11  Date:  Date: yyyy/mm/dd
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume
17    Date: 2002/01/29
18    Tag: blume-20020129-INSTALL
19    Description:
20    
21    - Added somewhat detailed installation instructions (file INSTALL).
22    - Fixed curl-detection bug in config/install.sh.
23    - It is now possible to select the URL getter using the URLGETTER
24      environment variable:
25    
26          not set / "unknown"      --> automatic detection (script tries wget,
27                                       curl, and lynx)
28          "wget" / "curl" / "lynx" --> use the specified program (script "knows"
29                                       how to properly invoke them)
30          other                    --> use $URLGETTER directly, it must take
31                                       precisely two command-line arguments
32                                       (source URL and destination file name)
33    
34    ----------------------------------------------------------------------
35    Name: Matthias Blume
36    Date: 2002/01/28
37    Tag: blume-20020128-sparc-ccalls
38    Description:
39    
40    - Fixed problem with calculation of "used" registers in sparc-c-calls.
41    - Make use of the allocParam argument in sparc-c-calls.
42    
43    ----------------------------------------------------------------------
44    Name: Matthias Blume
45    Date: 2002/01/28
46    Tag: blume-20020128-allocParam
47    Description:
48    
49    John Reppy:  Changes c-calls API to accept client-callback for
50    allocating extra stack space.
51    me: Corresponding changes to mlriscGen (using a dummy argument that
52        does not change the current behavior).
53    
54    ----------------------------------------------------------------------
55    Name: Matthias Blume
56    Date: 2002/01/28 12:00:00
57    Tag: Release_110_38
58    Description:
59    
60    This time for real!!!
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume
64    Date: 2002/01/28 10:56:00 EST
65    Tag: blume-20020128-retraction
66    Description:
67    
68    0. Retracted earlier 110.38.  (The Release_110_38 tag has been replaced
69       with blume-Release_110_38-retracted.)
70    
71    1. Fixed a problem with incorrect rounding modes in real64.sml.
72       (Thanks to Andrew Mccreight <andrew.mccreight@yale.edu>.)
73    
74    2. A bug in ml-nlffigen related to the handling of unnamed structs, unions,
75       and enums fixed.  The naming of corresponding ML identifiers should
76       now be consistent again.
77    
78    ----------------------------------------------------------------------
79    Name: Allen Leung
80    Date: 2002/01/27
81    Tag: leunga-20020127-nowhere
82    Description:
83    
84       Added a target called nowhere in the configuration scripts.
85       Enabling this will build the MLRISC 'nowhere' tool (for translating
86       programs with where-clauses into legal SML code) during installation.
87    
88    ----------------------------------------------------------------------
89    Name: Matthias Blume
90    Date: 2002/01/25 21:27:00 EST
91    Tag: blume-Release_110_38-retracted
92    Description:
93    
94    Call it a (working) release!  Version is 110.38. Bootfiles are ready.
95    
96    README will be added later.
97    
98    !!! NOTE:  Re-tagged as blume-Release_110_38-retracted. Original tag
99    (Release_110_38) removed.  Reason: Last-minute bug fixes.
100    
101    ----------------------------------------------------------------------
102    Name: Matthias Blume
103    Date: 2002/01/25
104    Tag: blume-20020125-ffi
105    Description:
106    
107    A large number of tweaks and improvements to ml-nlffi-lib and
108    ml-nlffigen:
109    
110       - ML represenation types have been streamlined
111       - getter and setter functions work with concrete values, not abstract
112         ones where possible
113       - ml-nlffigen command line more flexible (see README file there)
114       - some bugs have been fixed (hopefully)
115    
116    ----------------------------------------------------------------------
117    Name: Lal George
118    Date: 2002/01/24
119    Tag: george-20020124-risc-ra-interface
120    Description:
121    
122       There is a dramatic simplification in the interface to the
123       register allocator for RISC architectures as a result of making
124       parallel copy instructions explicit.
125    
126    ----------------------------------------------------------------------
127    Name: Matthias Blume
128    Date: 2002/01/22
129    Tag: blume-20020122-x86-ccalls
130    Description:
131    
132    Bug fix for c-calls on x86 (having to do with how char- and
133    short-arguments are being handled).
134    
135    ----------------------------------------------------------------------
136    Name: Matthias Blume
137    Date: 2002/01/21
138    Tag: blume-20020121-ff
139    Description:
140    
141    Another day of fiddling with the FFI...
142    
143    1. Bug fix/workaround:  CKIT does not complain about negative array
144       dimensions, so ml-nlffigen has to guard itself against this possibility.
145       (Otherwise a negative dimension would send it into an infinite loop.)
146    
147    2. Some of the abstract types (light objects, light pointers, most "base"
148       types) in structure C are now eqtypes.
149    
150    3. Added constructors and test functions for NULL function pointers.
151    
152    ----------------------------------------------------------------------
153    Name: Matthias Blume
154    Date: 2002/01/18
155    Tag: blume-20020118-ready-for-new-release
156    Description:
157    
158    Made config/srcarchiveurl point to a new place.  (Will provide boot
159    files shortly.)
160    
161    Maybe we christen this to be 110.38?
162    
163    ----------------------------------------------------------------------
164    Name: Matthias Blume
165    Date: 2002/01/18
166    Tag: blume-20020118-more-ffifiddle
167    Description:
168    
169    Today's FFI fiddling:
170    
171      - Provided a structure CGetSet with "convenient" versions of C.Get.* and
172        C.Set.* that use concrete (MLRep.*) arguments and results instead
173        of abstract ones.
174    
175      - Provided word-style bit operations etc. for "int" representation
176        types in MLRep.S<Foo>Bitops where <Foo> ranges over Char, Int, Short,
177        and Long.
178    
179    ----------------------------------------------------------------------
180    Name: Matthias Blume
181    Date: 2002/01/18
182    Tag: blume-20020118-use-x86-fp
183    Description:
184    
185    Now that x86-fast-fp seems to be working, I turned it back on again
186    by default.  (Seems to work fine now, even with the FFI.)
187    
188    Other than that, I added some documentation about the FFI to
189    src/ml-nlffigen/README and updated the FFI test examples in
190    src/ml-nlffi-lib/Tests/*.
191    
192    ----------------------------------------------------------------------
193    Name: Allen Leung
194    Date: 2002/01/17
195    Tag: leunga-20020117-x86-fast-fp-call
196    Description:
197    
198       1. Fixed a problem with handling return fp values when x86's fast fp
199          mode is turned on.
200    
201       2. Minor pretty printing fix for cellset.  Print %st(0) as %st(0) instead
202          of %f32.
203    
204       3. Added a constructor INT32lit to the ast of MLRISC tools.
205    
206    ----------------------------------------------------------------------
207    Name: Matthias Blume
208    Date: 2002/01/16
209    Tag: blume-20020116-ffifiddle
210    Description:
211    
212    More fiddling with the FFI interface:
213    
214     - Make constness 'c instead of rw wherever possible.  This eliminates
215       the need for certain explicit coercions.  (However, due to ML's
216       value polymorphism, there will still be many cases where explicit
217       coercions are necessary.  Phantom types are not the whole answer
218       to modeling a subtyping relationship in ML.)
219    
220     - ro/rw coersions for pointers added.  (Avoids the detour through */&.)
221    
222     - "printf" test example added to src/ml-nlffi-lib/Tests.  (Demonstrates
223       clumsy workaround for varargs problem.)
224    
225    ----------------------------------------------------------------------
226    Name: Lal George
227    Date: 2002/01/15
228    Tag: <none>
229    Description:
230    
231    1. Since COPY instructions are no longer native to the architecture,
232       a generic functor can be used to implement the expandCopies function.
233    
234    2. Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
235       TEXT segment.
236    
237    ----------------------------------------------------------------------
238    Name: Matthias Blume
239    Date: 2002/01/15
240    Tag: blume-20020115-ffiupdates
241    Description:
242    
243    1. Fix for bug resulting in single-precision float values being returned
244       incorrectly from FFI calls.
245    
246    2. Small modifications to C FFI API:
247    
248        - memory-allocation routines return straight objects (no options)
249          and raise an exception in out-of-memory situations
250        - unsafe extensions to cast between function pointers and pointers
251          from/to ints
252        - added structure C_Debug as an alternative to structure C where
253          pointer-dereferencing (|*| and |*!) always check for null-pointers
254        - added open_lib' to DynLinkage;  open_lib' works like open_lib
255          but also takes a (possibly empty) list of existing library handles
256          that the current library depends on
257    
258    ----------------------------------------------------------------------
259    Name: Matthias Blume
260    Date: 2002/01/10
261    Tag: blume-20020110-newffigen
262    Description:
263    
264    1. Updates to portable graph code.
265    
266    2. Major update to ml-nlffigen and ml-nlffi-lib.  Things are much
267       more scalable now so that even huge interfaces such as the one
268       for GTK compile in finite time and space. :-)
269       See src/ml-nlffigen/README for details on what's new.
270    
271    ----------------------------------------------------------------------
272    Name: Lal George
273    Date: 2001/01/09 14:31:35 EST 2002
274    Tag: george-20011206-rm-native-copy
275    Description:
276    
277            Removed the native COPY and FCOPY instructions
278            from all the architectures and replaced it with the
279            explicit COPY instruction from the previous commit.
280    
281            It is now possible to simplify many of the optimizations
282            modules that manipulate copies. This has not been
283            done in this change.
284    
285    ----------------------------------------------------------------------
286    Name: Lal George
287    Date: 2001/12/06 16:50:13 EST 2001
288    Tag: george-20011206-mlrisc-instruction
289    Description:
290    
291    Changed the representation of instructions from being fully abstract
292    to being partially concrete. That is to say:
293    
294      from
295            type instruction
296    
297      to
298            type instr                              (* machine instruction *)
299    
300            datatype instruction =
301                LIVE of {regs: C.cellset, spilled: C.cellset}
302              | KILL of {regs: C.cellset, spilled: C.cellset}
303              | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}
304              | ANNOTATION of {i: instruction, a: Annotations.annotation}
305              | INSTR of instr
306    
307    This makes the handling of certain special instructions that appear on
308    all architectures easier and uniform.
309    
310    LIVE and KILL say that a list of registers are live or killed at the
311    program point where they appear. No spill code is generated when an
312    element of the 'regs' field is spilled, but the register is moved to
313    the 'spilled' (which is present, more for debugging than anything else).
314    
315    LIVE replaces the (now deprecated) DEFFREG instruction on the alpha.
316    We used to generate:
317    
318            DEFFREG f1
319            f1 := f2 + f3
320            trapb
321    
322    but now generate:
323    
324            f1 := f2 + f3
325            trapb
326            LIVE {regs=[f1,f2,f3], spilled=[]}
327    
328    Furthermore, the DEFFREG (hack) required that all floating point instruction
329    use all registers mentioned in the instruction. Therefore f1 := f2 + f3,
330    defines f1 and uses [f1,f2,f3]! This hack is no longer required resulting
331    in a cleaner alpha implementation. (Hopefully, intel will not get rid of
332    this architecture).
333    
334    COPYXXX is intended to replace the parallel COPY and FCOPY  available on
335    all the architectures. This will result in further simplification of the
336    register allocator that must be aware of them for coalescing purposes, and
337    will also simplify certain aspects of the machine description that provides
338    callbacks related to parallel copies.
339    
340    ANNOTATION should be obvious, and now INSTR represents the honest to God
341    machine instruction set!
342    
343    The <arch>/instructions/<arch>Instr.sml files define certain utility
344    functions for making porting easier -- essentially converting upper case
345    to lower case. All machine instructions (of type instr) are in upper case,
346    and the lower case form generates an MLRISC instruction. For example on
347    the alpha we have:
348    
349      datatype instr =
350         LDA of {r:cell, b:cell, d:operand}
351       | ...
352    
353      val lda : {r:cell, b:cell, d:operand} -> instruction
354        ...
355    
356    where lda is just (INSTR o LDA), etc.
357    
358    ----------------------------------------------------------------------
359    Name: Matthias Blume
360    Date: 2001/11/22 21:40:00 EST
361    Tag: Release_110_37
362    Description:
363    
364    Release 110.37.  This time for real.
365    
366    ----------------------------------------------------------------------
367    Name: Matthias Blume
368    Date: 2001/11/21 16:35:00 EST
369    Tag: blume-20011121-foot-in-mouth
370    Description:
371    
372    Removed the "Release_110_37" tag because of a serious bug.
373    This will be re-tagged once the bug is fixed.
374    
375    ----------------------------------------------------------------------
376    Name: Matthias Blume
377    Date: 2001/11/21 16:14:00 EST
378    Tag: blume-20011121-forgottenfile
379    Description:
380    
381    Forgot to add a file.  (Just a .tex-file -- part of
382    the CM manual source.)
383    
384    ----------------------------------------------------------------------
385    Name: Matthias Blume
386    Date: 2001/11/21 16:10:00 EST
387    Tag: blume-20011121-invalid_110_37
388    Description:
389    
390    Note: I removed the original tag "Release_110_37" from this commit
391          because we found a serious bug in all non-x86 backends.
392          - Matthias
393    
394    1. Modifications to the SML/NJ code generator and to the runtime system
395       so that code object name strings are directly inserted into code
396       objects at code generation time.  The only business the runtime system
397       has with this is now to read the name strings on occasions.
398       (The encoding of the name string has also changed somewhat.)
399    
400    2. CM now implements a simple "set calculus" for specifying export lists.
401       In particular, it is now possible to refer to the export lists of
402       other libraries/groups/sources and form unions as well as differences.
403       See the latest CM manual for details.
404    
405    3. An separate notion of "proxy" libraries has again be eliminated from
406       CM's model.  (Proxy libraries are now simply a special case of using
407       the export list calculus.)
408    
409    4. Some of the existing libraries now take advantage of the new set
410       calculus.
411       (Notice that not all libraries have been converted because some
412       of the existing .cm-files are supposed to be backward compatible
413       with 110.0.x.)
414    
415    5. Some cleanup in stand-alone programs.  (Don't use "exnMessage" -- use
416       "General.exnMessage"!  The former relies on a certain hook to be
417       initialized, and that often does not happen in the stand-alone case.)
418    
419    ----------------------------------------------------------------------
420  Name: Lal George  Name: Lal George
421  Date: 2001/11/21  13:56:18 EST  Date: 2001/11/21  13:56:18 EST
422  Tag: george-2001121-pseudo-ops  Tag: george-2001121-pseudo-ops

Legend:
Removed from v.984  
changed lines
  Added in v.1047

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