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

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

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