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 958, Fri Oct 12 03:54:43 2001 UTC revision 993, Fri Nov 23 02:37:10 2001 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume
17    Date: 2001/11/22 21:40:00 EST
18    Tag: Release_110_37
19    Description:
20    
21    Release 110.37.  This time for real.
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume
25    Date: 2001/11/21 16:35:00 EST
26    Tag: blume-20011121-foot-in-mouth
27    Description:
28    
29    Removed the "Release_110_37" tag because of a serious bug.
30    This will be re-tagged once the bug is fixed.
31    
32    ----------------------------------------------------------------------
33    Name: Matthias Blume
34    Date: 2001/11/21 16:14:00 EST
35    Tag: blume-20011121-forgottenfile
36    Description:
37    
38    Forgot to add a file.  (Just a .tex-file -- part of
39    the CM manual source.)
40    
41    ----------------------------------------------------------------------
42    Name: Matthias Blume
43    Date: 2001/11/21 16:10:00 EST
44    Tag: blume-20011121-invalid_110_37
45    Description:
46    
47    Note: I removed the original tag "Release_110_37" from this commit
48          because we found a serious bug in all non-x86 backends.
49          - Matthias
50    
51    1. Modifications to the SML/NJ code generator and to the runtime system
52       so that code object name strings are directly inserted into code
53       objects at code generation time.  The only business the runtime system
54       has with this is now to read the name strings on occasions.
55       (The encoding of the name string has also changed somewhat.)
56    
57    2. CM now implements a simple "set calculus" for specifying export lists.
58       In particular, it is now possible to refer to the export lists of
59       other libraries/groups/sources and form unions as well as differences.
60       See the latest CM manual for details.
61    
62    3. An separate notion of "proxy" libraries has again be eliminated from
63       CM's model.  (Proxy libraries are now simply a special case of using
64       the export list calculus.)
65    
66    4. Some of the existing libraries now take advantage of the new set
67       calculus.
68       (Notice that not all libraries have been converted because some
69       of the existing .cm-files are supposed to be backward compatible
70       with 110.0.x.)
71    
72    5. Some cleanup in stand-alone programs.  (Don't use "exnMessage" -- use
73       "General.exnMessage"!  The former relies on a certain hook to be
74       initialized, and that often does not happen in the stand-alone case.)
75    
76    ----------------------------------------------------------------------
77    Name: Lal George
78    Date: 2001/11/21  13:56:18 EST
79    Tag: george-2001121-pseudo-ops
80    Description:
81    
82      Implemented a complete redesign of MLRISC pseudo-ops. Now there
83      ought to never be any question of incompatabilities with
84      pseudo-op syntax expected by host assemblers.
85    
86      For now, only modules supporting GAS syntax are implemented
87      but more should follow, such as MASM, and vendor assembler
88      syntax, e.g. IBM as, Sun as, etc.
89    
90    ----------------------------------------------------------------------
91    Name: Matthias Blume
92    Date: 2001/11/14 11:52:00 EST
93    Tag: blume-20011114-srcname
94    Description:
95    
96    1. Routed the name of the current source file to mlriscgen where it
97       should be directly emitted into the code object.  (This last part
98       is yet to be done.)
99    
100    2. Some cleanup of the pgraph code to make it match the proposal that
101       I put out the other day.  (The proposal notwithstanding, things are
102       still in flux here.)
103    
104    ----------------------------------------------------------------------
105    Name: Lal George
106    Date: 2001/11/14 09:44:04 EST
107    Tag:
108    Description:
109    
110      Fix for a backpatching bug reported by Allen.
111    
112      Because the boundary between short and long span-dependent
113      instructions is +/- 128, there are an astounding number of
114      span-dependent instructions whose size is over estimated.
115    
116      Allen came up with the idea of letting the size of span
117      dependent instructions be non-monotonic, for a maxIter
118      number of times, after which the size must be monotonically
119      increasing.
120    
121      This table shows the number of span-dependent instructions
122      whose size was over-estimated as a function of maxIter, for the
123      file Parse/parse/ml.grm.sml:
124    
125         maxIter            # of instructions:
126            10                      687
127            20                      438
128            30                      198
129            40                        0
130    
131      In compiling the compiler, there is no significant difference in
132      compilation speed between maxIter=10 and maxIter=40. Actually,
133      my measurements showed that maxIter=40 was a tad faster than
134      maxIter=10! Also 96% of the  files in the compiler reach a fix
135      point within 13 iterations, so fixing maxIter at 40, while high,
136      is okay.
137    
138    ----------------------------------------------------------------------
139    Name: Matthias Blume
140    Date: 2001/10/31 15:25:00 EST
141    Tag: blume-20011031-pgraph
142    Description:
143    
144    CKIT:
145    * Changed the "Function" constructor of type Ast.ctype to carry optional
146      argument identifiers.
147    * Changed the return type of TypeUtil.getFunction accordingly.
148    * Type equality ignores the argument names.
149    * TypeUtil.composite tries to preserve argument names but gives up quickly
150      if there is a mismatch.
151    
152    installation script:
153    * attempts to use "curl" if available (unless "wget" is available as well)
154    
155    CM:
156    * has an experimental implementation of "portable graphs" which I will
157      soon propose as an implementation-independent library format
158    * there are also new libraries $/pgraph.cm and $/pgraph-util.cm
159    
160    NLFFI-LIB:
161    * some cleanup (all cosmetic)
162    
163    NLFFIGEN:
164    * temporarily disabled the mechanism that suppresses ML output for
165      C definitions whose identifiers start with an underscore character
166    * generate val bindings for enum constants
167    * user can request that only one style (light or heavy) is being used;
168      default is to use both (command-line arguments: -heavy and -light)
169    * fixed bug in handling of function types involving incomplete pointers
170    * generate ML entry points that take record arguments (i.e., using
171      named arguments) for C functions that have a prototype with named
172      arguments
173      (see changes to CKIT)
174    
175    ----------------------------------------------------------------------
176    Name: Allen Leung
177    Date: 2001/10/27 20:34:00 EDT
178    Tag: leunga-20011027-x86-fast-fp-call
179    Description:
180    
181       Fixed the bug described in blume-20010920-slowfp.
182    
183       The fix involves
184          1. generating FCOPYs in FSTP in ia32-svid
185          2. marking a CALL with the appropriate annotation
186    
187    ----------------------------------------------------------------------
188    Name: Matthias Blume
189    Date: 2001/10/16 11:32:00 EDT
190    Tag: blume-20011016-netbsd
191    Description:
192    
193    Underscore patch from Chris Richards (fixing problem with compiling
194    runtime system under recent NetBSD).
195    
196    ----------------------------------------------------------------------
197    Name: Allen Leung
198    Date: 2001/10/12 17:18:32 EDT 2001
199    Tag: leung-20011012-x86-printflowgraph
200    Description:
201    
202    X86RA now uses a valid (instead of dummy) PrintFlowgraph module.
203    
204    ----------------------------------------------------------------------
205  Name: Lal George  Name: Lal George
206  Date: 2001/10/11 23:51:34 EDT  Date: 2001/10/11 23:51:34 EDT
207  Tag: george-20011011-too-many-instrs  Tag: george-20011011-too-many-instrs

Legend:
Removed from v.958  
changed lines
  Added in v.993

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