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 838, Tue Jun 5 19:10:21 2001 UTC revision 852, Tue Jun 26 02:56:11 2001 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume  Name: Matthias Blume
17    Date: 2001/06/25 22:55:00 EDT
18    Tag: blume-20010625-x86pc
19    Description:
20    
21    Fixed a nasty bug in the X86 assembly code that caused signal
22    handlers to fail (crash) randomly.
23    
24    ----------------------------------------------------------------------
25    Name: Matthias Blume
26    Date: 2001/06/25 12:05:00 EDT
27    Tag: blume-20010625-nlffigen
28    Description:
29    
30    This update fixes a number of minor bugs in ml-nlffigen as reported by
31    Nick Carter <nbc@andrew.cmu.edu>.
32    
33      1. Silly but ok typedefs of the form "typedef void myvoid;" are now accepted.
34      2. Default names for generated files are now derived from the name of
35         the C file *without its directory*.  In particular, this causes generated
36         files to be placed locally even if the C file is in some system directory.
37      3. Default names for generated signatures and structures are also derived
38         from the C file name without its directory.  This avoids silly things
39         like "structure GL/GL".
40         (Other silly names are still possible because ml-nlffigen does not do
41          a thorough check of whether generated names are legal ML identifiers.
42          When in doubt, use command line arguments to force particular names.)
43    
44    ----------------------------------------------------------------------
45    Name: Matthias Blume
46    Date: 2001/06/21 12:25:00 EDT
47    Tag: blume-20010621-eXene
48    Description:
49    
50    eXene now compiles and (sort of) works again.
51    
52    The library name (for version > 110.33) is $/eXene.cm.
53    
54    I also added an new example in src/eXene/examples/nbody.  See the
55    README file there for details.
56    
57    ----------------------------------------------------------------------
58    Name: Matthias Blume
59    Date: 2001/06/20 16:40:00 EDT
60    Tag: blume-20010620-cml
61    Description:
62    
63    CML now compiles and works again.
64    
65    Libraries (for version > 110.33):
66    
67      $cml/cml.cm            Main CML library.
68      $cml/basis.cm          CML's version of $/basis.cm.
69      $cml/cml-internal.cm   Internal helper library.
70      $cml/core-cml.cm       Internal helper library.
71      $cml-lib/trace-cml.cm  Tracing facility.
72      $cml-lib/smlnj-lib.cm  CML's version of $/smlnj-lib.cm
73    
74    The installer (config/install.sh) has been taught how to properly
75    install this stuff.
76    
77    ----------------------------------------------------------------------
78    Name: Matthias Blume
79    Date: 2001/06/19 17:55:00 EDT
80    Tag: blume-20010619-instantiate
81    Description:
82    
83    This un-breaks the fix for bug 1432.
84    (The bug was originally fixed in 110.9 but I broke it again some
85    time after that.)
86    
87    ----------------------------------------------------------------------
88    Name: Matthias Blume
89    Date: 2001/06/19 17:25:00 EDT
90    Tag: blume-20010619-signals
91    Description:
92    
93    This should (hopefully) fix the long-standing signal handling bug.
94    (The runtime system was constructing a continuation record with an
95    incorrect descriptor which would cause the GC to drop data on the floor...)
96    
97    ----------------------------------------------------------------------
98    Name: Matthias Blume
99    Date: 2001/06/15 15:05:00 EDT
100    Tag: blume-20010615-moresparc
101    Description:
102    
103    Here is a short late-hour update related to Sparc c-calls:
104    
105     -- made handling of double-word arguments a bit smarter
106    
107     -- instruction selection phase tries to collapse certain clumsily
108        constructed ML-Trees; typical example:
109    
110            ADD(ty,ADD(_,e,LI d1),LI d2)  ->  ADD(ty,e,LI(d1+d2))
111    
112        This currently has no further impact on SML/NJ since mlriscGen does
113        not seem to generate such patterns in the first place, and c-calls
114        (which did generate them in the beginning) has meanwhile been fixed
115        so as to avoid them as well.
116    
117    ----------------------------------------------------------------------
118    Name: Matthias Blume
119    Date: 2001/06/15 15:05:00 EDT
120    Tag: blume-20010615-sparc
121    Description:
122    
123    The purpose of this update is to provide an implementation of NLFFI
124    on Sparc machines.
125    
126    Here are the changes in detail:
127    
128       * src/MLRISC/sparc/c-calls/sparc-c-calls.sml is a new file containing
129       the Sparc implementation of the c-calls API.
130       * The Sparc backend of SML/NJ has been modified to uniformely use %fp
131       for accessing the ML frame.  Thus, we have a real frame pointer and
132       can freely modify %sp without need for an omit-frame-ptr phase.
133       The vfp logic in src/compiler/CodeGen/* has been changed to accomodate
134       this case.
135       * ml-nlffigen has been taught to produce code for different architectures
136       and calling conventions.
137       * In a way similar to what was done in the x86 case, the Sparc
138       backend uses its own specific extension to mltree.  (For example,
139       it needs to be able to generate UNIMP instructions which are part
140       of the calling convention.)
141       * ml-nlffi-lib was reorganized to make it more modular (in particular,
142       to make it easier to plug in new machine- and os-dependent parts).
143    
144    There are some other fairly unrelated bug fixes and cleanups as well:
145    
146       * I further hacked the .cm files for MLRISC tools (like MDLGen) so
147       that they properly share their libraries with existing SML/NJ libraries.
148       * I fixed a minor cosmetic bug in CM, supressing certain spurious
149       follow-up error messages.
150       * Updates to CM/CMB documentation.
151    
152    TODO items:
153    
154       * MLRISC should use a different register as its asmTemp on the Sparc.
155         (The current %o2 is a really bad choice because it is part of the
156         calling conventions, so things might interfere in unexpected ways.)
157    
158    ----------------------------------------------------------------------
159    Name: Matthias Blume
160    Date: 2001/06/07
161    Tag: blume-20010607-calls
162    Description:
163    
164    A number of internal changes related to C calls and calling conventions:
165    
166    1. ML-Tree CALL statements now carry a "pops" field.  It indicates the
167       number of bytes popped implicitly (by the callee).  In most cases
168       this field is 0 but on x86/win32 it is some non-zero value.  This
169       is information provided for the benefit of the "omit-frameptr" pass.
170    2. The CALL instruction on the x86 carries a similar "pops" field.
171       The instruction selection phase copies its value from the ML-Tree
172       CALL statement.
173    3. On all other architectures, the instruction selection phase checks
174       whether "pops=0" and complains if not.
175    4. The c-calls implementation for x86 now accepts two calling conventions:
176       "ccall" and "stdcall".  When "ccall" is selected, the caller cleans
177       up after the call and pops is set to 0.  For "stdcall", the caller
178       does nothing, leaving the cleanup to the callee; pops is set to
179       the number of bytes that were pushed onto the stack.
180    5. The cproto decoder (compiler/Semant/types/cproto.sml) now can
181       distinguish between "ccall" and "stdcall".
182    6. The UNIMP instruction has been added to the supported Sparc instruction
183       set. (This is needed for implementing the official C calling convention
184       on this architecture.)
185    7. I fixed some of the .cm files under src/MLRISC/Tools to make them
186       work with the latest CM.
187    
188    ----------------------------------------------------------------------
189    Name: Matthias Blume
190  Date: 2001/06/05 15:10:00 EDT  Date: 2001/06/05 15:10:00 EDT
191  Tag: blume-20010605-cm-index  Tag: blume-20010605-cm-index
192  Description:  Description:

Legend:
Removed from v.838  
changed lines
  Added in v.852

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