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 984, Wed Nov 21 19:00:08 2001 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Lal George  Name: Lal George
17    Date: 2001/11/21  13:56:18 EST
18    Tag: george-2001121-pseudo-ops
19    Description:
20    
21      Implemented a complete redesign of MLRISC pseudo-ops. Now there
22      ought to never be any question of incompatabilities with
23      pseudo-op syntax expected by host assemblers.
24    
25      For now, only modules supporting GAS syntax are implemented
26      but more should follow, such as MASM, and vendor assembler
27      syntax, e.g. IBM as, Sun as, etc.
28    
29    ----------------------------------------------------------------------
30    Name: Matthias Blume
31    Date: 2001/11/14 11:52:00 EST
32    Tag: blume-20011114-srcname
33    Description:
34    
35    1. Routed the name of the current source file to mlriscgen where it
36       should be directly emitted into the code object.  (This last part
37       is yet to be done.)
38    
39    2. Some cleanup of the pgraph code to make it match the proposal that
40       I put out the other day.  (The proposal notwithstanding, things are
41       still in flux here.)
42    
43    ----------------------------------------------------------------------
44    Name: Lal George
45    Date: 2001/11/14 09:44:04 EST
46    Tag:
47    Description:
48    
49      Fix for a backpatching bug reported by Allen.
50    
51      Because the boundary between short and long span-dependent
52      instructions is +/- 128, there are an astounding number of
53      span-dependent instructions whose size is over estimated.
54    
55      Allen came up with the idea of letting the size of span
56      dependent instructions be non-monotonic, for a maxIter
57      number of times, after which the size must be monotonically
58      increasing.
59    
60      This table shows the number of span-dependent instructions
61      whose size was over-estimated as a function of maxIter, for the
62      file Parse/parse/ml.grm.sml:
63    
64         maxIter            # of instructions:
65            10                      687
66            20                      438
67            30                      198
68            40                        0
69    
70      In compiling the compiler, there is no significant difference in
71      compilation speed between maxIter=10 and maxIter=40. Actually,
72      my measurements showed that maxIter=40 was a tad faster than
73      maxIter=10! Also 96% of the  files in the compiler reach a fix
74      point within 13 iterations, so fixing maxIter at 40, while high,
75      is okay.
76    
77    ----------------------------------------------------------------------
78    Name: Matthias Blume
79    Date: 2001/10/31 15:25:00 EST
80    Tag: blume-20011031-pgraph
81    Description:
82    
83    CKIT:
84    * Changed the "Function" constructor of type Ast.ctype to carry optional
85      argument identifiers.
86    * Changed the return type of TypeUtil.getFunction accordingly.
87    * Type equality ignores the argument names.
88    * TypeUtil.composite tries to preserve argument names but gives up quickly
89      if there is a mismatch.
90    
91    installation script:
92    * attempts to use "curl" if available (unless "wget" is available as well)
93    
94    CM:
95    * has an experimental implementation of "portable graphs" which I will
96      soon propose as an implementation-independent library format
97    * there are also new libraries $/pgraph.cm and $/pgraph-util.cm
98    
99    NLFFI-LIB:
100    * some cleanup (all cosmetic)
101    
102    NLFFIGEN:
103    * temporarily disabled the mechanism that suppresses ML output for
104      C definitions whose identifiers start with an underscore character
105    * generate val bindings for enum constants
106    * user can request that only one style (light or heavy) is being used;
107      default is to use both (command-line arguments: -heavy and -light)
108    * fixed bug in handling of function types involving incomplete pointers
109    * generate ML entry points that take record arguments (i.e., using
110      named arguments) for C functions that have a prototype with named
111      arguments
112      (see changes to CKIT)
113    
114    ----------------------------------------------------------------------
115    Name: Allen Leung
116    Date: 2001/10/27 20:34:00 EDT
117    Tag: leunga-20011027-x86-fast-fp-call
118    Description:
119    
120       Fixed the bug described in blume-20010920-slowfp.
121    
122       The fix involves
123          1. generating FCOPYs in FSTP in ia32-svid
124          2. marking a CALL with the appropriate annotation
125    
126    ----------------------------------------------------------------------
127    Name: Matthias Blume
128    Date: 2001/10/16 11:32:00 EDT
129    Tag: blume-20011016-netbsd
130    Description:
131    
132    Underscore patch from Chris Richards (fixing problem with compiling
133    runtime system under recent NetBSD).
134    
135    ----------------------------------------------------------------------
136    Name: Allen Leung
137    Date: 2001/10/12 17:18:32 EDT 2001
138    Tag: leung-20011012-x86-printflowgraph
139    Description:
140    
141    X86RA now uses a valid (instead of dummy) PrintFlowgraph module.
142    
143    ----------------------------------------------------------------------
144    Name: Lal George
145    Date: 2001/10/11 23:51:34 EDT
146    Tag: george-20011011-too-many-instrs
147    Description:
148    
149    The representation of a program point never expected to see more
150    than 65536 instructions in a basic block!
151    
152    ----------------------------------------------------------------------
153    Name: Lal George
154  Date: 2001/10/09 09:41:37 EDT  Date: 2001/10/09 09:41:37 EDT
155  Tag: george-20011008-mlrisc-labels  Tag: george-20011008-mlrisc-labels
156  Description:  Description:

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

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