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 749, Fri Dec 8 15:16:36 2000 UTC revision 815, Fri May 4 05:09:10 2001 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Allen Leung
16    Date: 2001/05/04 01:57:00 EDT
17    Tag: leunga-20010504-sync
18    Description:
19    
20      MLRISC features.
21    
22      1. Fix to CMPXCHG instructions.
23      2. Changed RA interface to allow annotations in callbacks.
24      3. Added a new method to the stream interface to allow annotations updates.
25    
26    ----------------------------------------------------------------------
27    Name: Matthias Blume
28    Date: 2001/05/01 11:45:00 EDT
29    Tag: blume-20010501-pcedittmp
30    Description:
31    
32    Changed install.sh to use the current working directory instead of
33    /usr/tmp for a temporary file (pcedittmp).  The previous choice
34    of /usr/tmp caused trouble with MacOS X because of file premission
35    problems.
36    
37    ----------------------------------------------------------------------
38    Name: Matthias Blume
39    Date: 2001/04/20 11:10:00 EDT
40    Tag: blume-20010420-inMLflag
41    Description:
42    
43     - added vp_limitPtrMask to vproc-state.h
44       (for use by the raw-C-calls mechanism to implement proper interrupt
45        handling)
46     - made the ML compiler aware of various data-structure offsets so it
47       can generate code for accessing the vp_inML flag and vp_limitPtrMask
48     - tweaked mlriscGen.sml to have it emit interrupt-handling code for
49       raw C-calls
50    
51    ----------------------------------------------------------------------
52    Name: Lal George
53    Date: 2001/04/20 09:15:28 EDT
54    Tag: george-20010420-macosX
55    Description:
56    
57     - Changes to port to Mac OS X; Darwin.
58    
59     - In the process I found that sqrt was broken on the PPC, because the
60       fsqrt instruction is not implemented.
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume
64    Date: 2001/04/18 12:45:00 EDT
65    Tag: blume-20010418-ccalls
66    Description:
67    
68     - fixed two off-by-4 errors in the x86-specific c-calls implementation
69       (this bug prevented structure arguments containing pointers from being
70        passed correctly)
71     - changed the raw-C-call code in mlriscGen.sml in such a way that
72       structure arguments are represented as a pointer to the beginning
73       of the structure (instead of having a series of synthesized arguments,
74       one for each structure member)
75    
76     - made makeml script's verbosity level configurable via environment
77       variable (MAKEML_VERBOSITY)
78    
79     - eliminated placeholder implementations for f32l, w16s, i16s, and f32s
80       in rawmem-x86.sml; we are now using the real thing
81    
82    ----------------------------------------------------------------------
83    Name: Matthias Blume
84    Date: 2001/03/22 16:25:00 EST
85    Tag: blume-20010322-bootfiles
86    Description:
87    
88    Created a new set of bootfiles (for your automatic installation convenience).
89    
90    ----------------------------------------------------------------------
91    Name: Matthias Blume
92    Date: 2001/03/22 15:10:00 EST
93    Tag: blume-20010322-rawmem-parcm
94    Description:
95    
96    1. All "raw memory access" primitives for the new FFI are implemented now
97       (at least on the x86).
98    2. Some further cleanup of CM's parallel make mechanism.
99    
100    ----------------------------------------------------------------------
101    Name: Matthias Blume
102    Date: 2001/03/19 17:53:00 EST
103    Tag: blume-20010319-parallel
104    Description:
105    
106    Parallel make (using compile servers) now works again.
107    
108    To this end, CM.stabilize and CMB.make have been modified to work in
109    two passes when compile servers are attached:
110       1. Compile everything, do not perform stabilization; this pass
111          uses compile servers
112       2. Stabilize everything; this pass does not use compile servers
113    If there are no compile servers, the two passes are combined into one
114    (as before).  Splitting the passes increases the inherent parallelism
115    in the dependency graph because the entire graph including all
116    libraries is available at the same time.  This, in turn, improves
117    server utilization.  The downside is that the master process will
118    have to do some extra work after compilation is done (because for
119    technical reasons it must re-read all the binfiles during stabilization).
120    
121    ----------------------------------------------------------------------
122    Name: Matthias Blume
123    Date: 2001/03/16 12:22:00 EST
124    Tag: blume-20010316-bootfiles
125    Description:
126    
127    Created a new set of bootfiles (for your automatic installation convenience).
128    
129    ----------------------------------------------------------------------
130    Name: Matthias Blume
131    Date: 2001/03/16 11:00:00 EST
132    Tag: blume-20010316-MLTREE-fixup
133    Description:
134    
135    This is a minor fixup for an (untagged) earlier commit by Allen.
136    (A file was missing).
137    
138    ----------------------------------------------------------------------
139    Name: Allen Leung
140    Date: Mon Mar  5 18:54:57 EST 2001
141    Tag: leunga-20010305-cut-support
142    
143    1. New support for alternative control-flow in MLTREE.
144       Currently we support
145    
146          FLOW_TO(CALL ...., [k1,...,kn])
147    
148       This is needed for 'cuts to' in C-- and try/handle-like constructs
149       in Moby
150    
151       New assembler flag "asm-show-cutsto" to turn on control-flow debugging.
152    
153    2. Register Allocator
154    
155       Changes in interface [from Fermin, John]
156    
157    3. Alpha 8-bit SLL support [Fermin]
158    
159    4. All architectures
160    
161       A new module (ClusterExpandCopies) for expanding parallel copies.
162    
163    ----------------------------------------------------------------------
164    Name: Allen Leung
165    Date: 2001/02/27 23:07:00 EST
166    Tag: leunga-20010227-minor-stuff
167    
168    1. Alpha bug fix for CMOVNE
169    2. Handle mltree COND(..,FCMP ...,...)
170    3. Bug fix in simplifier
171    
172    ----------------------------------------------------------------------
173    Name: Matthias Blume
174    Date: 2001/01/30 17:50:00 EST
175    Tag: blume-20010130-sync
176    Description:
177    
178    This is just a minor update to sync my devel branch with the main brach.
179    The only visible change is the addition of some README files.
180    
181    ----------------------------------------------------------------------
182    Name: Matthias Blume
183    Date: 2001/01/12 23:30:00 JST
184    Tag: blume-20010112-bootfiles
185    Description:
186    
187    Made a new set of bootfiles that goes with the current state of the
188    repository.
189    
190    ----------------------------------------------------------------------
191    Name: Matthias Blume
192    Date: 2001/01/12 21:20:00 JST
193    Tag: blume-20010112-sync
194    Description:
195    
196    I am just flushing out some minor changes that had accumulated in
197    my private branch in order to sync with the main tree.  (This is
198    mainly because I had CVS trouble when trying to merge _into_ my
199    private branch.)
200    
201    Most people should be completely unaffected by this.
202    
203    ----------------------------------------------------------------------
204    Name: Allen Leung
205    Date: Thu Jan 11 21:03:00 EST 2001
206    Tag: leunga-20010111-labexp=mltree
207    Description:
208    
209    1.  Removed the type LabelExp and replace it by MLTree.
210    2.  Rewritten mltree-simplify with the pattern matcher tool.
211    3.  There were some bugs in alpha code generator which would break
212        64-bit code generation.
213    4.  Redo the tools to generate code with the
214    5.  The CM files in MLRISC (and in src/system/smlnj/MLRISC)
215        are now generated by perl scripts.
216    
217    ----------------------------------------------------------------------
218    Name: Matthias Blume
219    Date: 2001/01/10 21:55:00 JST
220    Tag: blume-20010110-rcc
221    Description:
222    
223    The RCC stuff now seems to work (but only on the x86).
224    This required hacking of the c-calls interface (and -implementation) in
225    MLRISC.
226    
227    Normal compiler users should be unaffected.
228    
229    ----------------------------------------------------------------------
230    Name: Matthias Blume
231    Date: 2001/01/09 01:20:00 JST
232    Tag: blume-20010109-rcc
233    Description:
234    
235    This is a fairly big patch, flushing out a large number of pending
236    changes that I made to my development copy over the last couple of days.
237    
238    Of practical relevance at this moment is a workaround for a pickling
239    bug that Allen ran into the other day.  The cause of the bug itself is
240    still unknown and it might be hard to fix it properly, but the
241    workaround has some merits of its own (namely somewhat reducing pickling
242    overhead for certain libraries).  Therefore, I think this solution should
243    be satisfactory at this time.
244    
245    The rest of the changes (i.e., the vast majority) has to do with my
246    ongoing efforts of providing direct support for C function calls from
247    ML.  At the moment there is a new primop "RAW_CCALL", typing magic
248    in types/cproto.sml (invoked from FLINT/trans/translate.sml), a new
249    case in the FLINT CPS datatype (RCC), changes to cps/convert.sml to
250    translate uses of RAW_CCALL into RCC, and changes to mlriscGen.sml to
251    handle RCC.
252    
253    The last part (the changes to mlriscGen.sml) are still known to be
254    wrong on the x86 and not implemented on all other architectures.  But
255    the infrastructure is in place. I had to change a few functor
256    signatures in the backend to be able to route the CCalls interface
257    from MLRISC there, and I had to specialize the mltree type (on the
258    x86) to include the necessary extensions. (The extensions themselves
259    were already there and redy to go in MLRISC/x86).
260    
261    Everything should be very happy as soon as someone helps me with
262    mlriscGen.sml...
263    
264    In any case, nothing of this should matter to anyone as long as the
265    new primop is not being used (which is going to be the case unless you
266    find it where I hid it :). The rest of the compiler is completely
267    unaffected.
268    
269    ----------------------------------------------------------------------
270    Name: Matthias Blume
271    Date: 2001/01/05 00:30:00 JST
272    Tag: blume-20010105-primops
273    Description:
274    
275    Added some experimental support for work that I am doing right now.
276    These changes mostly concern added primops, but there is also a new
277    experimental C library in the runtime system (but currently not enabled
278    anywhere except on Linux/X86).
279    
280    In the course of adding primops (and playing with them), I discovered that
281    Zhong's INL_PRIM hack (no type info for certain primops) was, in fact, badly
282    broken.  (Zhong was very right he labeled this stuff as "major gross hack".)
283    To recover, I made type information in INL_PRIM mandatory and changed
284    prim.sml as well as built-in.sml accordingly.  The InLine structure now
285    has complete, correct type information (i.e., no bottom types).
286    
287    Since all these changes mean that we need new binfiles, I also bumped the
288    version number to 110.32.1.
289    
290    ----------------------------------------------------------------------
291    Name: Matthias Blume
292    Date: 2000/12/30 22:10:00 JST
293    Tag: blume-20001230-various
294    Description:
295    
296    Added proxy libraries for MLRISC and let MLRISC libraries refer
297    to each other using path anchors.  (See CM manual for explanation.)
298    
299    Updated CM documentation.
300    
301    Fixed some bugs in CM.
302    
303    Implemented "proxy" libraries (= syntactic sugar for CM).
304    
305    Added "-quiet" option to makeml and changed runtime system accordingly.
306    
307    Added cleanup handler for exportML to reset timers and compiler stats.
308    
309    ----------------------------------------------------------------------
310    Name: Lal George
311    Date: 2000/12/22 22:22:58 EST 2000
312    Tag: Release_110_32
313    Description:
314    
315            Infinite precision used throughout MLRISC.
316            see MLRISC/mltree/machine-int.sig
317    
318    ----------------------------------------------------------------------
319    Name: Matthias Blume
320    Date: 2000/12/22 23:16:00 JST
321    Tag: blume-20001222-warn
322    Description:
323    
324    Corrected wording and formatting of some CM warning message which I
325    broke in my previous patch.
326    
327    ----------------------------------------------------------------------
328    Name: Matthias Blume
329    Date: 2000/12/22 21:20:00 JST
330    Tag: blume-20001222-anchorenv
331    Description:
332    
333    Fixed CM's handling of anchor environments in connection with CMB.make.
334    
335    ----------------------------------------------------------------------
336    Name: Matthias Blume
337    Date: 2000/12/22 13:15:00 JST
338    Tag: blume-20001222-cleanup
339    Description:
340    
341    Removed src/cm/ffi which does not (and did not) belong here.
342    
343    ----------------------------------------------------------------------
344    Name: Matthias Blume
345    Date: 2000/12/21 23:55:00 JST
346    Tag: blume-20001221-exn
347    Description:
348    
349    Probably most important: CM no longer silently swallows all exceptions
350    in the compiler.
351    Plus: some other minor CM changes.  For example, CM now reports some
352    sizes for generated binfiles (code, data, envpickle, lambdapickle).
353    
354    ----------------------------------------------------------------------
355    Name: Matthias Blume
356    Date: 2000/12/15 00:01:05 JST
357    Tag: blume-20001215-dirtool
358    Description:
359    
360    - "dir" tool added.
361    - improvements and cleanup to Tools structure
362    - documentation updates
363    
364    ----------------------------------------------------------------------
365    Name: Allen Leung
366    Date: Thu Dec 14 03:45:24 EST 2000
367    Description:
368    Tag:  leunga-20001214-int-inf
369    Description:
370    
371       In IntInf, added these standard functions, which are missing from our
372    implementation:
373    
374        andb : int * int -> int
375        xorb : int * int -> int
376        orb  : int * int -> int
377        notb : int -> int
378         <<   : int * word -> int
379        ~>>  : int * word -> int
380    
381       Not tested, I hope they are correct.
382    
383    ----------------------------------------------------------------------
384    Name: Allen Leung
385    Date: Fri Dec  8 19:23:26 EST 2000
386    Description:
387    Tag:  leunga-20001208-nowhere
388    Description:
389    
390      Slight improvements to the 'nowhere' tool to handle OR-patterns,
391    to generate better error messages etc.  Plus a brief manual.
392    
393    ----------------------------------------------------------------------
394  Name: Lal George  Name: Lal George
395  Date: 2000/12/08 09:54:02 EST 2000  Date: 2000/12/08 09:54:02 EST 2000
396  Tag: Release_110_31  Tag: Release_110_31

Legend:
Removed from v.749  
changed lines
  Added in v.815

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