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 677, Mon Jun 26 00:56:56 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: 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
266    Tag: blume-20000629-yacctool
267    Description:
268    
269    Changes:
270    
271    1. Class "mlyacc" now takes separate arguments to pass options to
272       generated .sml- and .sig-files independently.
273    2. Corresponding CM manual updates.
274    3. BTrace module now also reports call sites.  (However, for loop clusters
275       it only shows from where the cluster was entered.)  There are associated
276       modifications to core.sml, internals.{sig,sml}, btrace.sml, and btimp.sml.
277    
278    ----------------------------------------------------------------------
279    Name: Matthias Blume
280    Date: 2000/06/27 16:51:00 JST
281    Tag: blume-20000627-noweb
282    Description:
283    
284    Changes:
285    
286     1. Implemented "subdir" and "witness" options for noweb tool.
287        This caused some slight internal changes in CM's tool implementation.
288     2. Fixed bug in "tool plugin" mechanism.  This is essentially cleaning
289        some remaining issues from earlier path anchor changes.
290     3. Updated CM manual accordingly.
291    
292     4. Changed implementation of back-tracing so that I now consider it
293        ready for prime-time.
294    
295        In particular, you don't have to explicitly trigger the back-trace
296        anymore.  Instead, if you are running BTrace-instrumented code and
297        there is an uncaught exception (regardless of whether or not it was
298        raised in instrumented code), the top-level evalloop will print
299        the back-trace.
300    
301        Features:
302    
303          - Instrumented and uninstrumented code work together seemlessly.
304            (Of course, uninstrumented code is never mentioned in actual
305             back-traces.)
306    
307          - Asymptotic time- and space-complexity of instrumented code is
308            equal to that of uninstrumented code.  (This means that
309            tail-recursion is preserved by the instrumentation phase.)
310    
311          - Modules whose code has been instrumented in different sessions
312            work together without problem.
313    
314          - There is no penalty whatsoever on uninstrumented code.
315    
316          - There is no penalty on "raise" expressions, even in
317            instrumented code.
318    
319        A potential bug (or perhaps it is a feature, too):
320    
321          A back-trace reaches no further than the outermost instrumented
322          non-trivial "raise".  Here, a "trivial" raise is one that is the
323          sole RHS of a "handle" rule.  Thus, back-traces reach trough
324    
325               <exp> handle e => raise e
326    
327          and even
328    
329               <exp> handle Foo => raise Bar
330    
331          and, of course, through
332    
333               <exp> handle Foo => ...
334    
335         if the exception was not Foo.
336    
337         Back-traces always reach right through any un-instrumented code
338         including any of its "handle" expressions, trivial or not.
339    
340       To try this out, do the following:
341    
342         - Erase all existing binfiles for your program.
343           (You may keep binfiles for those modules where you think you
344            definitely don't need back-tracing.)
345         - Turn on back-trace instrumentation:
346              SMLofNJ.Internals.BTrace.mode (SOME true);
347         - Recompile your program.  (I.e., run "CM.make" or "use".)
348         - You may now turn instrumentation off again (if you want):
349              SMLofNJ.Internals.BTrace.mode (SOME false);
350         - Run your program as usual.  If it raises an exception that
351           reaches the interactive toplevel, then a back-trace will
352           automatically be printed.  After that, the toplevel loop
353           will print the exception history as usual.
354    
355  ----------------------------------------------------------------------  ----------------------------------------------------------------------
356  Name: Matthias Blume  Name: Matthias Blume
357  Date: 2000/06/26 09:56:46 JST  Date: 2000/06/26 09:56:46 JST

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

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