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

Legend:
Removed from v.915  
changed lines
  Added in v.988

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