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 680, Mon Jul 3 06:35:55 2000 UTC revision 731, Fri Nov 10 22:57:45 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/11/10 18:00:00
18    Tag: leunga-20001110-new-x86-fp
19    
20    A new x86 floating point code generator has been added.
21    By default this is turned off.  To turn this on, do:
22    
23        CM.autoload "$smlnj/compiler.cm";
24        Compiler.Control.MLRISC.getFlag "x86-fast-fp" := true;
25    
26    Changes:
27    
28    1.  Changed FTAN to FPTAN so that the assembly output is correct.
29    2.  Changed the extension callback for FTANGENT to generate:
30    
31              fptan
32              fstp  %st(0)
33        instead of
34              fptan
35              fstpl ftempmem
36    
37    3.  Numerous assembly fixes for x86.
38    
39    5.  Cleaned up the machine code output module x86/x86MC.sml and added
40        support for a whole bunch of instructions and addressing modes:
41    
42          fadd/fsub/fsubr/fmul/fdiv/fdivr  %st, %st(n)
43          faddp/fsubp/fsubrp/fmulp/fdivp/fdivrp  %st, %st(n)
44          fadd/fsub/fsubr/fmul/fdiv/fdivr  %st(n), %st
45          fiadd/fisub/fisubr/fimul/fidiv/fidivr mem
46          fxch %st(n)
47          fld %st(n)
48          fst %st(n)
49          fst mem
50          fstp %st(n)
51          fucom %st(n)
52          fucomp %st(n)
53    
54        All these are now generated when the fast fp mode is turned on.
55    
56    6.  Removed the dedicated registers %st(0), ..., %st(7) from X86CpsRegs
57    
58    ----------------------------------------------------------------------
59    Name: Matthias Blume
60    Date: 2000/11/09 11:20:00 JST
61    Tag: blume-20001109-scc
62    Description:
63    
64    Eliminated some code duplication:
65    
66    1. Added "where" clause to GraphSCCFn in SML/NJ Library.
67       (Otherwise the functor is useless.)
68    2. Used GraphSCCFn where SCCUtilFun was used previously.
69    3. Got rid of SCCUtilFun (in comp-lib.cm).
70    
71    ----------------------------------------------------------------------
72    Name: Lal George
73    Date: 2000/11/06 09:02:21 EST 2000
74    Tag: Release_110_30
75    Description:
76    
77    - Version 110.30
78    ----------------------------------------------------------------------
79    Name: Matthias Blume
80    Date: 2000/11/04 14:45:00
81    Tag: blume-20001104-mlbuild
82    Description:
83    
84    - Made ml-build faster on startup.
85    - Documentation fixes.
86    
87    ----------------------------------------------------------------------
88    Name: Matthias Blume
89    Date: 2000/11/02 17:00:00 JST
90    Tag: blume-20001102-condcomp
91    Description:
92    
93    - Small tweaks to pickler -- new BOOTFILES!
94    - Version bumped to 110.29.2.
95    - Added conditional compilation facility to init.cmi (see comment there).
96    ----------------------------------------------------------------------
97    Name: Allen Leung
98    Date: 2000/10/23 19:31:00
99    Tag: leunga-20001023-demo-ra
100    
101    1. Minor RA changes that improves spilling on x86 (affects Moby and C-- only)
102    2. Test programs for the graph library updated
103    3. Some new MLRISC demo programs added
104    
105    ----------------------------------------------------------------------
106    Name: Matthias Blume
107    Date: 2000/08/31 22:15:00 JST
108    Tag: blume-20001017-errmsg
109    Description:
110    
111    More error message grief: Where there used to be no messages, there
112    now were some that had bogus error regions.  Fixed.
113    
114    ----------------------------------------------------------------------
115    Name: Matthias Blume
116    Date: 2000/08/31 17:30:00 JST
117    Tag: blume-20001017-v110p29p1
118    Description:
119    
120    I made a version 110.29.1 with new bootfiles.
121    
122    Changes:  Modified pickler/unpickler for faster and leaner unpickling.
123              CM documentation changes and a small bugfix in CM's error reporting.
124    
125    ----------------------------------------------------------------------
126    Name: Lal George
127    Date: 2000/09/27 14:42:35 EDT
128    Tag: george-20000927-nodestatus
129    Description:
130    
131    Changed the type of the nodestatus, so that:
132    
133            SPILLED(~1)             is now SPILLED
134            SPILLED(m) where m>=0   is now MEMREG(m)
135            SPILLED(s) where s<~1   is now SPILL_LOC(~s)
136    
137    ----------------------------------------------------------------------
138    Name: Matthias Blume
139    Date: 2000/09/07 14:45:00 JST
140    Tag: blume-20000907-cmerrmsg
141    Description:
142    
143    Small tweak to CM to avoid getting ML syntax error messages twice.
144    
145    ----------------------------------------------------------------------
146    Name: Matthias Blume
147    Date: 2000/08/31 18:00:00 JST
148    Tag: blume-20000831-cvsbootfiles
149    Description:
150    
151    New URL for boot files (because the 110.29 files on the BL server do
152    now work correctly with my updated install scripts for yacc and lex).
153    
154    ----------------------------------------------------------------------
155    Name: Matthias Blume
156    Date: 2000/08/08 12:33:00 JST
157    Tag: blume-20000808-manual
158    Description:
159    
160    Tiny update to CM manual.
161    
162    ----------------------------------------------------------------------
163    Name: Allen Leung
164    Date: 2000/08/7 19:31:00
165    Tag: leunga-20000807-a-whole-bunch-of-stuff
166    
167      Moby, C--, SSA, x86, machine descriptions etc.  Should only affect C--
168    and Mobdy.
169    
170    1.  x86
171    
172       a.  Fixes to peephole module by John and Dan.
173       b.  Assembly fix to SETcc by Allen.
174       c.  Fix to c-call by John.
175       d.  Fix to spilling by John.  (This one deals with the missing FSTPT case)
176       e.  Instruction selection optimization to SETcc as suggested by John.
177    
178           For example,
179    
180            MV(32, x, COND(32, CMP(32, LT, a, b), LI 1, LI 0))
181    
182           should generate:
183    
184            MOVL a, x
185            SUBL b, x
186            SHRL 31, x
187    
188    2.  IR stuff
189    
190         A bunch of new DJ-graph related algorithms added.  These
191         speed up SSA construction.
192    
193    3.  SSA + Scheduling
194    
195         Added code for SSA and scheduling to the repository
196    
197    ----------------------------------------------------------------------
198    Name: Lal George
199    Date: 2000/07/27 11:53:14 EDT
200    
201    Tag: lal-20000727-linux-ppc
202    Description:
203    
204     Made changes to support Linux PPC.
205     p.s. I have confirmation that the 110.29 boot files work fine.
206    
207    ----------------------------------------------------------------------
208    Name: Matthias Blume
209    Date: 2000/07/27 17:40:00 JST
210    Tag: blume-20000727-scripts
211    Description:
212    
213    !!!! WARNING !!!!
214    You must recompile the runtime system!
215    !!!! WARNING !!!!
216    
217    This is basically another round of script-enhancements:
218    
219    1. sml, ml-build, and ml-makedepend accept options -D and -U to define
220       and undefine CM preprocessor symbols.
221    
222    2. ml-build avoids generating a new heap image if it finds that the
223       existing one is still ok.  (The condition is that no ML file had to
224       be recompiled and all ML files are found to be older that the heap
225       file.)
226    
227       To make this work smoothly, I also hacked the runtime system as
228       well as SMLofNJ.SysInfo to get access to the heap image suffix
229       (.sparc-solaris, ...) that is currently being used.
230    
231       Moreover, the signature of CM.mk_standalone has changed.  See the
232       CM manual.
233    
234    3. ml-makedepend accepts additional options -n, -a, and -o.  (See the
235       CM manual for details.)
236    
237    4. More CM manual updates:
238        - all of the above has been documented.
239        - there is now a section describing the (CM-related) command line
240          arguments that are accepted by the "sml" command
241    
242  ----------------------------------------------------------------------  ----------------------------------------------------------------------
243  Name: Matthias Blume  Name: Matthias Blume
244  Date: 2000/07/02 15:36:00 JST  Date: 2000/07/25 16:20:00 JST
245    Tag: blume-20000725-makedepend
246    Description:
247    
248    Added a script called ml-makedepend.  This can be used in makefiles
249    for Unix' make in a way very similar to the "makedepend" command for
250    C.
251    
252    The script internally uses function CM.sources.
253    
254    Synopsis:
255    
256        ml-makedepend [-f makefile] cmfile targetname
257    
258    The default for the makefile is "makefile" (or "Makefile" should
259    "makefile" not exist).
260    
261    ml-makedepend adds a cmfile/targetname-specific section to this
262    makefile (after removing the previous version of this section).  The
263    section contains a single dependency specification with targetname on
264    the LHS (targetname is an arbitrary name), and a list of files derived
265    from the cmfile on the RHS.  Some of the files on the RHS are
266    ARCH/OPSYS-specific.  Therefore, ml-makedepend inserts references to
267    "make" variables $(ARCH) and $(OPSYS) in place of the corresponding
268    path names.  The makefile writer is responsible for making sure that
269    these variables have correct at the time "make" is invoked.
270    
271    ----------------------------------------------------------------------
272    Name: Matthias Blume
273    Date: 2000/07/22 23:30:00 JST
274    Tag: blume-20000722-urlupdate
275    Description:
276    
277    Changed BOOT and config/srcarchiveurl to point to BL server:
278    
279        ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.29/
280    
281    ----------------------------------------------------------------------
282    Name: Matthias Blume
283    Date: 2000/07/18 18:00:00 JST
284    Tag: blume-20000718-Version_110_29
285    Description:
286    
287    1. Updated src/compiler/TopLevel/main/version.sml to version 110.29
288    
289    2. Updated config/version to 110.29
290    
291    3. Updated config/srcarchiveurl
292    
293    3. New boot files!
294       ftp://ftp.cs.princeton.edu/pub/people/blume/sml/110.29-autofetch
295    
296    ----------------------------------------------------------------------
297    Name: Matthias Blume
298    Date: 2000/07/11 13:58:00 JST
299    Tag: blume-20000711-doctypo
300    Description:
301    
302    Fixed a few typos in CM manual.
303    
304    ----------------------------------------------------------------------
305    Name: Allen Leung
306    Date: 2000/06/15 00:38:00
307    Tag: leunga-20000704-sparc-x86
308    
309    1. x86 peephole improvement sp += k; sp -= k => nop  [from John]
310    2. fix to x86 RET bug [found by Dan Grossman]
311    3. sparc assembly bug fix for ticc instructions [found by Fermin]
312    
313       Affects c-- and moby only
314    
315    ----------------------------------------------------------------------
316    Name: Matthias Blume
317    Date: 2000/07/04 15:26:00
318    Tag: blume-20000704-trigger
319    Description:
320    
321    1. Improvements to CM manual.
322    2. SMLofNJ.Internals.BTrace.trigger reinstated as an alternative way
323       of getting a back-trace.  The function, when called, raises an
324       internal exception which explicitly carries the full back-trace history,
325       so it is unaffected by any intervening handle-raise pairs ("trivial"
326       or not).  The interactive loop will print that history once it arrives
327       at top level.
328       Short of having all exceptions implicitly carry the full history, the
329       recommended way of using this facility is:
330         - compile your program with instrumentation "on"
331         - run it, when it raises an exception, look at the history
332         - if the history is "cut off" because of some handler, go and modify
333           your program so that it explicitly calls BTrace.trigger
334         - recompile (still instrumented), and rerun; look at the full history
335    
336    ----------------------------------------------------------------------
337    Name: Matthias Blume
338    Date: 2000/07/03 15:36:00 JST
339  Tag: blume-20000702-manual  Tag: blume-20000702-manual
340  Description:  Description:
341    
342  Small corrections and updates to CM manual.  Small corrections and updates to CM manual.
343    
344  ----------------------------------------------------------------------  ----------------------------------------------------------------------
345  Name: Matthias Blumen  Name: Matthias Blume
346  Date: 2000/06/29 16:04:00 JST  Date: 2000/06/29 16:04:00 JST
347  Tag: blume-20000629-yacctool  Tag: blume-20000629-yacctool
348  Description:  Description:

Legend:
Removed from v.680  
changed lines
  Added in v.731

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