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 679, Thu Jun 29 07:03:20 2000 UTC revision 713, Mon Oct 23 23:38:38 2000 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 Blumen  Name: Allen Leung
17    Date: 2000/10/23 19:31:00
18    Tag: leunga-20001023-demo-ra
19    
20    1. Minor RA changes that improves spilling on x86 (affects Moby and C-- only)
21    2. Test programs for the graph library updated
22    3. Some new MLRISC demo programs added
23    
24    ----------------------------------------------------------------------
25    Name: Matthias Blume
26    Date: 2000/08/31 22:15:00 JST
27    Tag: blume-20001017-errmsg
28    Description:
29    
30    More error message grief: Where there used to be no messages, there
31    now were some that had bogus error regions.  Fixed.
32    
33    ----------------------------------------------------------------------
34    Name: Matthias Blume
35    Date: 2000/08/31 17:30:00 JST
36    Tag: blume-20001017-v110p29p1
37    Description:
38    
39    I made a version 110.29.1 with new bootfiles.
40    
41    Changes:  Modified pickler/unpickler for faster and leaner unpickling.
42              CM documentation changes and a small bugfix in CM's error reporting.
43    
44    ----------------------------------------------------------------------
45    Name: Lal George
46    Date: 2000/09/27 14:42:35 EDT
47    Tag: george-20000927-nodestatus
48    Description:
49    
50    Changed the type of the nodestatus, so that:
51    
52            SPILLED(~1)             is now SPILLED
53            SPILLED(m) where m>=0   is now MEMREG(m)
54            SPILLED(s) where s<~1   is now SPILL_LOC(~s)
55    
56    ----------------------------------------------------------------------
57    Name: Matthias Blume
58    Date: 2000/09/07 14:45:00 JST
59    Tag: blume-20000907-cmerrmsg
60    Description:
61    
62    Small tweak to CM to avoid getting ML syntax error messages twice.
63    
64    ----------------------------------------------------------------------
65    Name: Matthias Blume
66    Date: 2000/08/31 18:00:00 JST
67    Tag: blume-20000831-cvsbootfiles
68    Description:
69    
70    New URL for boot files (because the 110.29 files on the BL server do
71    now work correctly with my updated install scripts for yacc and lex).
72    
73    ----------------------------------------------------------------------
74    Name: Matthias Blume
75    Date: 2000/08/08 12:33:00 JST
76    Tag: blume-20000808-manual
77    Description:
78    
79    Tiny update to CM manual.
80    
81    ----------------------------------------------------------------------
82    Name: Allen Leung
83    Date: 2000/08/7 19:31:00
84    Tag: leunga-20000807-a-whole-bunch-of-stuff
85    
86      Moby, C--, SSA, x86, machine descriptions etc.  Should only affect C--
87    and Mobdy.
88    
89    1.  x86
90    
91       a.  Fixes to peephole module by John and Dan.
92       b.  Assembly fix to SETcc by Allen.
93       c.  Fix to c-call by John.
94       d.  Fix to spilling by John.  (This one deals with the missing FSTPT case)
95       e.  Instruction selection optimization to SETcc as suggested by John.
96    
97           For example,
98    
99            MV(32, x, COND(32, CMP(32, LT, a, b), LI 1, LI 0))
100    
101           should generate:
102    
103            MOVL a, x
104            SUBL b, x
105            SHRL 31, x
106    
107    2.  IR stuff
108    
109         A bunch of new DJ-graph related algorithms added.  These
110         speed up SSA construction.
111    
112    3.  SSA + Scheduling
113    
114         Added code for SSA and scheduling to the repository
115    
116    ----------------------------------------------------------------------
117    Name: Lal George
118    Date: 2000/07/27 11:53:14 EDT
119    
120    Tag: lal-20000727-linux-ppc
121    Description:
122    
123     Made changes to support Linux PPC.
124     p.s. I have confirmation that the 110.29 boot files work fine.
125    
126    ----------------------------------------------------------------------
127    Name: Matthias Blume
128    Date: 2000/07/27 17:40:00 JST
129    Tag: blume-20000727-scripts
130    Description:
131    
132    !!!! WARNING !!!!
133    You must recompile the runtime system!
134    !!!! WARNING !!!!
135    
136    This is basically another round of script-enhancements:
137    
138    1. sml, ml-build, and ml-makedepend accept options -D and -U to define
139       and undefine CM preprocessor symbols.
140    
141    2. ml-build avoids generating a new heap image if it finds that the
142       existing one is still ok.  (The condition is that no ML file had to
143       be recompiled and all ML files are found to be older that the heap
144       file.)
145    
146       To make this work smoothly, I also hacked the runtime system as
147       well as SMLofNJ.SysInfo to get access to the heap image suffix
148       (.sparc-solaris, ...) that is currently being used.
149    
150       Moreover, the signature of CM.mk_standalone has changed.  See the
151       CM manual.
152    
153    3. ml-makedepend accepts additional options -n, -a, and -o.  (See the
154       CM manual for details.)
155    
156    4. More CM manual updates:
157        - all of the above has been documented.
158        - there is now a section describing the (CM-related) command line
159          arguments that are accepted by the "sml" command
160    
161    ----------------------------------------------------------------------
162    Name: Matthias Blume
163    Date: 2000/07/25 16:20:00 JST
164    Tag: blume-20000725-makedepend
165    Description:
166    
167    Added a script called ml-makedepend.  This can be used in makefiles
168    for Unix' make in a way very similar to the "makedepend" command for
169    C.
170    
171    The script internally uses function CM.sources.
172    
173    Synopsis:
174    
175        ml-makedepend [-f makefile] cmfile targetname
176    
177    The default for the makefile is "makefile" (or "Makefile" should
178    "makefile" not exist).
179    
180    ml-makedepend adds a cmfile/targetname-specific section to this
181    makefile (after removing the previous version of this section).  The
182    section contains a single dependency specification with targetname on
183    the LHS (targetname is an arbitrary name), and a list of files derived
184    from the cmfile on the RHS.  Some of the files on the RHS are
185    ARCH/OPSYS-specific.  Therefore, ml-makedepend inserts references to
186    "make" variables $(ARCH) and $(OPSYS) in place of the corresponding
187    path names.  The makefile writer is responsible for making sure that
188    these variables have correct at the time "make" is invoked.
189    
190    ----------------------------------------------------------------------
191    Name: Matthias Blume
192    Date: 2000/07/22 23:30:00 JST
193    Tag: blume-20000722-urlupdate
194    Description:
195    
196    Changed BOOT and config/srcarchiveurl to point to BL server:
197    
198        ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.29/
199    
200    ----------------------------------------------------------------------
201    Name: Matthias Blume
202    Date: 2000/07/18 18:00:00 JST
203    Tag: blume-20000718-Version_110_29
204    Description:
205    
206    1. Updated src/compiler/TopLevel/main/version.sml to version 110.29
207    
208    2. Updated config/version to 110.29
209    
210    3. Updated config/srcarchiveurl
211    
212    3. New boot files!
213       ftp://ftp.cs.princeton.edu/pub/people/blume/sml/110.29-autofetch
214    
215    ----------------------------------------------------------------------
216    Name: Matthias Blume
217    Date: 2000/07/11 13:58:00 JST
218    Tag: blume-20000711-doctypo
219    Description:
220    
221    Fixed a few typos in CM manual.
222    
223    ----------------------------------------------------------------------
224    Name: Allen Leung
225    Date: 2000/06/15 00:38:00
226    Tag: leunga-20000704-sparc-x86
227    
228    1. x86 peephole improvement sp += k; sp -= k => nop  [from John]
229    2. fix to x86 RET bug [found by Dan Grossman]
230    3. sparc assembly bug fix for ticc instructions [found by Fermin]
231    
232       Affects c-- and moby only
233    
234    ----------------------------------------------------------------------
235    Name: Matthias Blume
236    Date: 2000/07/04 15:26:00
237    Tag: blume-20000704-trigger
238    Description:
239    
240    1. Improvements to CM manual.
241    2. SMLofNJ.Internals.BTrace.trigger reinstated as an alternative way
242       of getting a back-trace.  The function, when called, raises an
243       internal exception which explicitly carries the full back-trace history,
244       so it is unaffected by any intervening handle-raise pairs ("trivial"
245       or not).  The interactive loop will print that history once it arrives
246       at top level.
247       Short of having all exceptions implicitly carry the full history, the
248       recommended way of using this facility is:
249         - compile your program with instrumentation "on"
250         - run it, when it raises an exception, look at the history
251         - if the history is "cut off" because of some handler, go and modify
252           your program so that it explicitly calls BTrace.trigger
253         - recompile (still instrumented), and rerun; look at the full history
254    
255    ----------------------------------------------------------------------
256    Name: Matthias Blume
257    Date: 2000/07/03 15:36:00 JST
258    Tag: blume-20000702-manual
259    Description:
260    
261    Small corrections and updates to CM manual.
262    
263    ----------------------------------------------------------------------
264    Name: Matthias Blume
265  Date: 2000/06/29 16:04:00 JST  Date: 2000/06/29 16:04:00 JST
266  Tag: blume-20000629-yacctool  Tag: blume-20000629-yacctool
267  Description:  Description:

Legend:
Removed from v.679  
changed lines
  Added in v.713

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