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 1021, Wed Jan 16 20:33:57 2002 UTC revision 1055, Thu Feb 7 20:38:59 2002 UTC
# Line 11  Line 11 
11  Date: yyyy/mm/dd  Date: yyyy/mm/dd
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14    
15    ----------------------------------------------------------------------
16    Name: Lal George
17    Date: 2002/02/07 15:34:13 EST 2002
18    Tag: <none>
19    Description:
20    
21    Compilers that generate assembly code may produce  global labels
22    whose value is resolved at link time. The various peephole optimization
23    modules did not take this in account.
24    
25    TODO. The Labels.addrOf function should really return an option
26    type so that clients are forced to deal with this issue, rather
27    than an exception being raised.
28    
29    ----------------------------------------------------------------------
30    Name: Lal George
31    Date: 2002/02/06 13:55:02 EST
32    Tag: george-20020206-ra-breakup
33    Description:
34    
35    1. A bug fix from Allen.
36    
37        A typo causes extra fstp %st(0)'s to be generated at compensation
38        edges, which might cause stack underflow traps at runtime.  This
39        occurs in fft where there are extraneous fstps right before the 'into'
40        trap instruction (in this case they are harmless since none of the
41        integers overflow.)
42    
43    2. Pulled out various utility modules that were embedded in the modules
44       of the register allocator. I need these modules for other purposes, but
45       they are not complete enough to put into a library (just yet).
46    ----------------------------------------------------------------------
47    Name: Matthias Blume
48    Date: 2002/01/31 16:05:00 EST
49    Tag: blume-20020131-sparc-ccalls
50    Description:
51    
52    1. C-calls on Sparc needlessly allocated a huge chunk (96 bytes)
53       of extra stack space by mistake.  Fixed.
54    
55    2. Bug in logic of handling of command-line options in ml-nlffigen fixed.
56    
57    ----------------------------------------------------------------------
58    Name: Allen Leung
59    Date: 2002/01/30
60    Tag: leunga-20020130-nowhere-bug-fix
61    Description:
62    
63       MLRISC bug fixes:
64       1. Fixed a bindings computation bug in the 'nowhere' program generator tool.
65       2. MachineInt.fromString was negating its value.
66    
67    ----------------------------------------------------------------------
68    Name: Matthias Blume
69    Date: 2002/01/29
70    Tag: blume-20020129-INSTALL
71    Description:
72    
73    - Added somewhat detailed installation instructions (file INSTALL).
74    - Fixed curl-detection bug in config/install.sh.
75    - It is now possible to select the URL getter using the URLGETTER
76      environment variable:
77    
78          not set / "unknown"      --> automatic detection (script tries wget,
79                                       curl, and lynx)
80          "wget" / "curl" / "lynx" --> use the specified program (script "knows"
81                                       how to properly invoke them)
82          other                    --> use $URLGETTER directly, it must take
83                                       precisely two command-line arguments
84                                       (source URL and destination file name)
85    
86    ----------------------------------------------------------------------
87    Name: Matthias Blume
88    Date: 2002/01/28
89    Tag: blume-20020128-sparc-ccalls
90    Description:
91    
92    - Fixed problem with calculation of "used" registers in sparc-c-calls.
93    - Make use of the allocParam argument in sparc-c-calls.
94    
95    ----------------------------------------------------------------------
96    Name: Matthias Blume
97    Date: 2002/01/28
98    Tag: blume-20020128-allocParam
99    Description:
100    
101    John Reppy:  Changes c-calls API to accept client-callback for
102    allocating extra stack space.
103    me: Corresponding changes to mlriscGen (using a dummy argument that
104        does not change the current behavior).
105    
106    ----------------------------------------------------------------------
107    Name: Matthias Blume
108    Date: 2002/01/28 12:00:00
109    Tag: Release_110_38
110    Description:
111    
112    This time for real!!!
113    
114    ----------------------------------------------------------------------
115    Name: Matthias Blume
116    Date: 2002/01/28 10:56:00 EST
117    Tag: blume-20020128-retraction
118    Description:
119    
120    0. Retracted earlier 110.38.  (The Release_110_38 tag has been replaced
121       with blume-Release_110_38-retracted.)
122    
123    1. Fixed a problem with incorrect rounding modes in real64.sml.
124       (Thanks to Andrew Mccreight <andrew.mccreight@yale.edu>.)
125    
126    2. A bug in ml-nlffigen related to the handling of unnamed structs, unions,
127       and enums fixed.  The naming of corresponding ML identifiers should
128       now be consistent again.
129    
130    ----------------------------------------------------------------------
131    Name: Allen Leung
132    Date: 2002/01/27
133    Tag: leunga-20020127-nowhere
134    Description:
135    
136       Added a target called nowhere in the configuration scripts.
137       Enabling this will build the MLRISC 'nowhere' tool (for translating
138       programs with where-clauses into legal SML code) during installation.
139    
140    ----------------------------------------------------------------------
141    Name: Matthias Blume
142    Date: 2002/01/25 21:27:00 EST
143    Tag: blume-Release_110_38-retracted
144    Description:
145    
146    Call it a (working) release!  Version is 110.38. Bootfiles are ready.
147    
148    README will be added later.
149    
150    !!! NOTE:  Re-tagged as blume-Release_110_38-retracted. Original tag
151    (Release_110_38) removed.  Reason: Last-minute bug fixes.
152    
153    ----------------------------------------------------------------------
154    Name: Matthias Blume
155    Date: 2002/01/25
156    Tag: blume-20020125-ffi
157    Description:
158    
159    A large number of tweaks and improvements to ml-nlffi-lib and
160    ml-nlffigen:
161    
162       - ML represenation types have been streamlined
163       - getter and setter functions work with concrete values, not abstract
164         ones where possible
165       - ml-nlffigen command line more flexible (see README file there)
166       - some bugs have been fixed (hopefully)
167    
168    ----------------------------------------------------------------------
169    Name: Lal George
170    Date: 2002/01/24
171    Tag: george-20020124-risc-ra-interface
172    Description:
173    
174       There is a dramatic simplification in the interface to the
175       register allocator for RISC architectures as a result of making
176       parallel copy instructions explicit.
177    
178    ----------------------------------------------------------------------
179    Name: Matthias Blume
180    Date: 2002/01/22
181    Tag: blume-20020122-x86-ccalls
182    Description:
183    
184    Bug fix for c-calls on x86 (having to do with how char- and
185    short-arguments are being handled).
186    
187    ----------------------------------------------------------------------
188    Name: Matthias Blume
189    Date: 2002/01/21
190    Tag: blume-20020121-ff
191    Description:
192    
193    Another day of fiddling with the FFI...
194    
195    1. Bug fix/workaround:  CKIT does not complain about negative array
196       dimensions, so ml-nlffigen has to guard itself against this possibility.
197       (Otherwise a negative dimension would send it into an infinite loop.)
198    
199    2. Some of the abstract types (light objects, light pointers, most "base"
200       types) in structure C are now eqtypes.
201    
202    3. Added constructors and test functions for NULL function pointers.
203    
204    ----------------------------------------------------------------------
205    Name: Matthias Blume
206    Date: 2002/01/18
207    Tag: blume-20020118-ready-for-new-release
208    Description:
209    
210    Made config/srcarchiveurl point to a new place.  (Will provide boot
211    files shortly.)
212    
213    Maybe we christen this to be 110.38?
214    
215    ----------------------------------------------------------------------
216    Name: Matthias Blume
217    Date: 2002/01/18
218    Tag: blume-20020118-more-ffifiddle
219    Description:
220    
221    Today's FFI fiddling:
222    
223      - Provided a structure CGetSet with "convenient" versions of C.Get.* and
224        C.Set.* that use concrete (MLRep.*) arguments and results instead
225        of abstract ones.
226    
227      - Provided word-style bit operations etc. for "int" representation
228        types in MLRep.S<Foo>Bitops where <Foo> ranges over Char, Int, Short,
229        and Long.
230    
231    ----------------------------------------------------------------------
232    Name: Matthias Blume
233    Date: 2002/01/18
234    Tag: blume-20020118-use-x86-fp
235    Description:
236    
237    Now that x86-fast-fp seems to be working, I turned it back on again
238    by default.  (Seems to work fine now, even with the FFI.)
239    
240    Other than that, I added some documentation about the FFI to
241    src/ml-nlffigen/README and updated the FFI test examples in
242    src/ml-nlffi-lib/Tests/*.
243    
244    ----------------------------------------------------------------------
245    Name: Allen Leung
246    Date: 2002/01/17
247    Tag: leunga-20020117-x86-fast-fp-call
248    Description:
249    
250       1. Fixed a problem with handling return fp values when x86's fast fp
251          mode is turned on.
252    
253       2. Minor pretty printing fix for cellset.  Print %st(0) as %st(0) instead
254          of %f32.
255    
256       3. Added a constructor INT32lit to the ast of MLRISC tools.
257    
258  ----------------------------------------------------------------------  ----------------------------------------------------------------------
259  Name: Matthias Blume  Name: Matthias Blume
260  Date: 2002/01/16  Date: 2002/01/16
# Line 420  Line 664 
664    
665  ----------------------------------------------------------------------  ----------------------------------------------------------------------
666  Name: Matthias Blume  Name: Matthias Blume
 >>>>>>> 1.169  
667  Date: 2001/09/18 15:35:00 EDT  Date: 2001/09/18 15:35:00 EDT
668  Tag: blume-20010918-readme11036  Tag: blume-20010918-readme11036
669  Description:  Description:

Legend:
Removed from v.1021  
changed lines
  Added in v.1055

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