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 921, Tue Sep 11 23:20:45 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  Name: Matthias Blume
235  Date: 2001/08/28 14:03:00 EDT  Date: 2001/08/28 14:03:00 EDT
236  Tag: blume-20010828-ml-lex  Tag: blume-20010828-ml-lex

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

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