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

Legend:
Removed from v.903  
changed lines
  Added in v.987

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