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

Legend:
Removed from v.927  
changed lines
  Added in v.993

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