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 952, Tue Oct 9 14:00:40 2001 UTC revision 976, Wed Nov 14 14:54:03 2001 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Lal George  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  Date: 2001/10/09 09:41:37 EDT
127  Tag: george-20011008-mlrisc-labels  Tag: george-20011008-mlrisc-labels
128  Description:  Description:

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

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