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

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

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