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

Legend:
Removed from v.905  
changed lines
  Added in v.976

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