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 758, Fri Dec 22 04:12:36 2000 UTC revision 800, Fri Mar 16 17:22:47 2001 UTC
# Line 11  Line 11 
11  Date:  Date:
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14    
15    ----------------------------------------------------------------------
16    Name: Matthias Blume
17    Date: 2001/03/16 12:22:00 EST
18    Tag: blume-20010316-bootfiles
19    Description:
20    
21    Created a new set of bootfiles (for your automatic installation convenience).
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume
25    Date: 2001/03/16 11:00:00 EST
26    Tag: blume-20010316-MLTREE-fixup
27    Description:
28    
29    This is a minor fixup for an (untagged) earlier commit by Allen.
30    (A file was missing).
31    
32    ----------------------------------------------------------------------
33    Name: Allen Leung
34    Date: Mon Mar  5 18:54:57 EST 2001
35    Tag: leunga-20010305-cut-support
36    
37    1. New support for alternative control-flow in MLTREE.
38       Currently we support
39    
40          FLOW_TO(CALL ...., [k1,...,kn])
41    
42       This is needed for 'cuts to' in C-- and try/handle-like constructs
43       in Moby
44    
45       New assembler flag "asm-show-cutsto" to turn on control-flow debugging.
46    
47    2. Register Allocator
48    
49       Changes in interface [from Fermin, John]
50    
51    3. Alpha 8-bit SLL support [Fermin]
52    
53    4. All architectures
54    
55       A new module (ClusterExpandCopies) for expanding parallel copies.
56    
57    ----------------------------------------------------------------------
58    Name: Allen Leung
59    Date: 2001/02/27 23:07:00 EST
60    Tag: leunga-20010227-minor-stuff
61    
62    1. Alpha bug fix for CMOVNE
63    2. Handle mltree COND(..,FCMP ...,...)
64    3. Bug fix in simplifier
65    
66    ----------------------------------------------------------------------
67    Name: Matthias Blume
68    Date: 2001/01/30 17:50:00 EST
69    Tag: blume-20010130-sync
70    Description:
71    
72    This is just a minor update to sync my devel branch with the main brach.
73    The only visible change is the addition of some README files.
74    
75    ----------------------------------------------------------------------
76    Name: Matthias Blume
77    Date: 2001/01/12 23:30:00 JST
78    Tag: blume-20010112-bootfiles
79    Description:
80    
81    Made a new set of bootfiles that goes with the current state of the
82    repository.
83    
84    ----------------------------------------------------------------------
85    Name: Matthias Blume
86    Date: 2001/01/12 21:20:00 JST
87    Tag: blume-20010112-sync
88    Description:
89    
90    I am just flushing out some minor changes that had accumulated in
91    my private branch in order to sync with the main tree.  (This is
92    mainly because I had CVS trouble when trying to merge _into_ my
93    private branch.)
94    
95    Most people should be completely unaffected by this.
96    
97    ----------------------------------------------------------------------
98    Name: Allen Leung
99    Date: Thu Jan 11 21:03:00 EST 2001
100    Tag: leunga-20010111-labexp=mltree
101    Description:
102    
103    1.  Removed the type LabelExp and replace it by MLTree.
104    2.  Rewritten mltree-simplify with the pattern matcher tool.
105    3.  There were some bugs in alpha code generator which would break
106        64-bit code generation.
107    4.  Redo the tools to generate code with the
108    5.  The CM files in MLRISC (and in src/system/smlnj/MLRISC)
109        are now generated by perl scripts.
110    
111    ----------------------------------------------------------------------
112    Name: Matthias Blume
113    Date: 2001/01/10 21:55:00 JST
114    Tag: blume-20010110-rcc
115    Description:
116    
117    The RCC stuff now seems to work (but only on the x86).
118    This required hacking of the c-calls interface (and -implementation) in
119    MLRISC.
120    
121    Normal compiler users should be unaffected.
122    
123    ----------------------------------------------------------------------
124    Name: Matthias Blume
125    Date: 2001/01/09 01:20:00 JST
126    Tag: blume-20010109-rcc
127    Description:
128    
129    This is a fairly big patch, flushing out a large number of pending
130    changes that I made to my development copy over the last couple of days.
131    
132    Of practical relevance at this moment is a workaround for a pickling
133    bug that Allen ran into the other day.  The cause of the bug itself is
134    still unknown and it might be hard to fix it properly, but the
135    workaround has some merits of its own (namely somewhat reducing pickling
136    overhead for certain libraries).  Therefore, I think this solution should
137    be satisfactory at this time.
138    
139    The rest of the changes (i.e., the vast majority) has to do with my
140    ongoing efforts of providing direct support for C function calls from
141    ML.  At the moment there is a new primop "RAW_CCALL", typing magic
142    in types/cproto.sml (invoked from FLINT/trans/translate.sml), a new
143    case in the FLINT CPS datatype (RCC), changes to cps/convert.sml to
144    translate uses of RAW_CCALL into RCC, and changes to mlriscGen.sml to
145    handle RCC.
146    
147    The last part (the changes to mlriscGen.sml) are still known to be
148    wrong on the x86 and not implemented on all other architectures.  But
149    the infrastructure is in place. I had to change a few functor
150    signatures in the backend to be able to route the CCalls interface
151    from MLRISC there, and I had to specialize the mltree type (on the
152    x86) to include the necessary extensions. (The extensions themselves
153    were already there and redy to go in MLRISC/x86).
154    
155    Everything should be very happy as soon as someone helps me with
156    mlriscGen.sml...
157    
158    In any case, nothing of this should matter to anyone as long as the
159    new primop is not being used (which is going to be the case unless you
160    find it where I hid it :). The rest of the compiler is completely
161    unaffected.
162    
163    ----------------------------------------------------------------------
164    Name: Matthias Blume
165    Date: 2001/01/05 00:30:00 JST
166    Tag: blume-20010105-primops
167    Description:
168    
169    Added some experimental support for work that I am doing right now.
170    These changes mostly concern added primops, but there is also a new
171    experimental C library in the runtime system (but currently not enabled
172    anywhere except on Linux/X86).
173    
174    In the course of adding primops (and playing with them), I discovered that
175    Zhong's INL_PRIM hack (no type info for certain primops) was, in fact, badly
176    broken.  (Zhong was very right he labeled this stuff as "major gross hack".)
177    To recover, I made type information in INL_PRIM mandatory and changed
178    prim.sml as well as built-in.sml accordingly.  The InLine structure now
179    has complete, correct type information (i.e., no bottom types).
180    
181    Since all these changes mean that we need new binfiles, I also bumped the
182    version number to 110.32.1.
183    
184    ----------------------------------------------------------------------
185    Name: Matthias Blume
186    Date: 2000/12/30 22:10:00 JST
187    Tag: blume-20001230-various
188    Description:
189    
190    Added proxy libraries for MLRISC and let MLRISC libraries refer
191    to each other using path anchors.  (See CM manual for explanation.)
192    
193    Updated CM documentation.
194    
195    Fixed some bugs in CM.
196    
197    Implemented "proxy" libraries (= syntactic sugar for CM).
198    
199    Added "-quiet" option to makeml and changed runtime system accordingly.
200    
201    Added cleanup handler for exportML to reset timers and compiler stats.
202    
203    ----------------------------------------------------------------------
204    Name: Lal George
205    Date: 2000/12/22 22:22:58 EST 2000
206    Tag: Release_110_32
207    Description:
208    
209            Infinite precision used throughout MLRISC.
210            see MLRISC/mltree/machine-int.sig
211    
212    ----------------------------------------------------------------------
213    Name: Matthias Blume
214    Date: 2000/12/22 23:16:00 JST
215    Tag: blume-20001222-warn
216    Description:
217    
218    Corrected wording and formatting of some CM warning message which I
219    broke in my previous patch.
220    
221    ----------------------------------------------------------------------
222    Name: Matthias Blume
223    Date: 2000/12/22 21:20:00 JST
224    Tag: blume-20001222-anchorenv
225    Description:
226    
227    Fixed CM's handling of anchor environments in connection with CMB.make.
228    
229  ----------------------------------------------------------------------  ----------------------------------------------------------------------
230  Name: Matthias Blume  Name: Matthias Blume
231  Date: 2000/12/22 13:15:00 JST  Date: 2000/12/22 13:15:00 JST

Legend:
Removed from v.758  
changed lines
  Added in v.800

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