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

Legend:
Removed from v.918  
changed lines
  Added in v.986

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