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

Legend:
Removed from v.909  
changed lines
  Added in v.977

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