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 591, Mon Apr 3 01:19:20 2000 UTC revision 633, Sun Apr 30 16:44:09 2000 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Dave MacQueen
16    Date: 2000/04/30 12:40PM EDT
17    Tag: dbm-20000430-bug_fixes
18    Description:
19    
20    1. Fix for bug 1498
21       smlnj/src/system/Basis/Implementation/Unsafe/object.sig
22       smlnj/src/system/Basis/Implementation/Unsafe/object.sml
23         added toRealArray function
24       smlnj/src/compiler/MiscUtil/print/ppobj.sml
25         added check for tag Obj.RealArray to array printing case in ppObj
26    
27    2. Fix for bug 1510
28       smlnj/src/compiler/Semant/types/typesutil.sml
29         fixed definition of dummyargs (used by equalTycon) so that
30         dummy args are distinct types
31    
32    ----------------------------------------------------------------------
33    Name: Matthias Blume
34    Date: 2000/04/30 01:00:00 JST
35    Tag: blume-20000430-versions
36    Description:
37    
38    1. CM version numbering added.  This is an implementation of Lal's
39       proposal for adding version numbers and version checking to .cm
40       files.  Lal said that his proposal was just that -- a proposal.
41       For the time being I went ahead and implemented it so that people
42       can comment on it.  Everything is completely backward-compatible
43       (except for the stable library format, i.e., new bootfiles!).
44    
45       As usual, see the CM manual for details.
46    
47    2. An alternative syntax for anchored paths has been implemented.
48       Dave has recently voiced the same concerns that I had when I did
49       this, so there should be some support.  My take is that eventually
50       I will let support for the current syntax (where anchors are
51       "implicit") fade out in favor of the new, explicit syntax.
52       In order to be backward-compatible, both old and new syntax are
53       currently supported.
54    
55       Again, see the CM manual for details.
56    
57    3. Parallel make is trying to be slightly smarter:  When the master
58       process finds a "bottleneck", i.e., when there is only one
59       compilation unit that can be compiled and everybody else is
60       waiting on it, then it will simply compile it directly instead
61       of clumsily telling one of the slaves to do it.
62    
63    4. Support for "unsharing" added.  This is necessary in order to be
64       able to have two different versions of the same library running
65       at the same time (e.g., for trying out a new MLRISC while still
66       having the old MLRISC linked into the current compiler, etc.)
67       See the CM manual.
68    
69    5. Simple "makedepend" functionality added for generating Makefile
70       dependency information.  (This is rather crude at the moment.
71       Expect some changes here in the future.)
72    
73    6. ".fun" added as a recognized suffix for ML files. Also documented
74       explicitly in the manual that the fallback behavior (unknown suffix
75       -> ML file) is not an official feature!
76    
77    7. Small changes to the pickler for stable libraries.
78    
79    8. Several internal changes to CM (for cleanup/improvement).
80    
81    
82    !!!! NEW BINFILES !!!!
83    
84    ----------------------------------------------------------------------
85    Name: Matthias Blume
86    Date: 2000/04/28 17:30:00 JST
87    Tag: blume-20000428-pathconfig
88    Description:
89    
90    1. I changed config/install.sh to remove duplicate entries from the
91       lib/pathconfig file at the end.  Moreover, the final version of
92       lib/pathconfig is sorted alphabetically.  The same (sorting) is done
93       in src/system/installml.
94    
95    2. The config/install.sh script now consistently uses relative
96       pathnames in lib/pathconfig whenever the anchor is in the lib
97       directory.  (So far this was true for the libraries that come
98       pre-compiled and bundled as part of the bootfiles but not for
99       libraries that are compiled by the script itself.)
100    
101    ----------------------------------------------------------------------
102    Name: Matthias Blume
103    Date: 2000/04/26 13:10:00 JST
104    Tag: blume-20000426-fun_suffix
105    Description:
106    
107    Added ".fun" as a recognized file name suffix (for ML code).
108    
109    ----------------------------------------------------------------------
110    Name: Allen Leung
111    Date: 2000/04/25 17:00:00 EST
112    Tag: leunga-20000425-alpha-ra
113    Description:
114    
115    1. Alpha
116    
117        PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
118    in C--.
119    
120    2. RA
121    
122       Added a flag "ra-dump-size" to print out the size of the flowgraph
123       and the interference graph.
124    
125    ----------------------------------------------------------------------
126    Name: Dave MacQueen
127    Date: 2000/04/25/
128    Tag: dbm-20000425-mlyacc_doc_examples
129    Description:
130      Updated mlyacc.tex sections 5 and 7 for SML '97 and CM.
131      Updated all three examples in src/ml-yacc/examples to run
132      under 110.* using CM.make.
133    
134    ----------------------------------------------------------------------
135    Name: Allen Leung
136    Date: 2000/04/20 23:04:00 EST
137    Tag: leunga-20000420-ssa-c---stuff
138    Description:
139    
140      This update synchronizes my repository with Yale's.  Most of these
141    changes, however, do not affect SML/NJ at all (the RA is an exception).
142    
143    1. Register Allocator
144    
145       a. An improvement in the interference graph construction:
146          Given a copy
147    
148                s <- t
149    
150          no interference edge between s and t is added for this definition of s.
151    
152       b. I've added two new spill heuristic modules that Fermin and I developed
153          (in the new library RA.cm). These are unused in SML/NJ but maybe
154          useful for others (Moby?)
155    
156    2. X86
157    
158       a. Various fixes in the backend provided by Fermin [C--] and Lal.
159    
160    3. Alpha
161    
162       a. Added the BSR instruction and code generation that goes with it [C--]
163       b. Other fixes too numerous to recount provided by Fermin [C--]
164    
165    4. Regmaps
166    
167       a. The regmaps are not initialized with the identity physical bindings
168          at creation time.  This is unneeded.
169    
170    5. MLRISC Optimizations
171    
172       a. The DJ-Graph module can now compute the iterated dominance frontiers
173          intersects with liveness incrementally in linear time! Woohoo!
174          This is now used in my new SSA construction algorithm.
175    
176       b. THe branch reorganization module is now smarter about linear chains of
177          basic blocks.
178    
179    
180    ----------------------------------------------------------------------
181    Name: Matthias Blume
182    Date: 2000/04/12 13:52:00 JST
183    Tag: blume_main_v110p27_1
184    Description:
185    
186    Changed install.sh script to handle archive files without version number
187    and to use "boot.<arch>-<os>" instead of "sml.boot.<arch>-<os>" for the
188    name of the boot file archive.
189    
190    ----------------------------------------------------------------------
191    Name: Dave MacQueen
192    Date: 2000/04/09 14:00 EDT
193    Tag: dbm-20000410-Version_110_27
194    Description:
195    
196    1. Updated src/compiler/TopLevel/main/version.sml to version 110.27
197    
198    2. Updated src/config/version to 110.27
199    
200    3. New boot files!
201    
202    ----------------------------------------------------------------------
203    Name: Allen Leung
204    Date: 2000/04/09 19:09:00 EST
205    Tag: leunga-20000409-misc
206    Description:
207    
208    1.  Yet another fix for x86 assembly for idivl, imull, mull and friends.
209    
210    2.  Miscellaneous improvements to MLRISC (unused in sml/nj)
211    
212    ----------------------------------------------------------------------
213    Name: Stefan
214    Date: 2000/04/07 10:00:00 EDT
215    Tag: monnier-20000406-branch-handling
216    Description:
217    
218    Improved handling of branches (mostly those generated from
219    polymorphic equality), removed switchoff and changed the
220    default optimization settings (more cpsopt and less flintopt).
221    
222    ----------------------------------------------------------------------
223    Name: Allen Leung
224    Date: 2000/04/06 01:30:00 EST
225    Tag: leunga-20000406-peephole-x86-SSA-2
226    Description:
227    
228       Forgot a few files.
229    
230    ----------------------------------------------------------------------
231    Name: Allen Leung
232    Date: 2000/04/06 00:36:00 EST
233    Tag: leunga-20000406-peephole-x86-SSA
234    Description:
235    
236    1.  New Peephole code
237    
238    2.  Minor improvement to X86 instruction selection
239    
240    3.  Various fixes to SSA and machine description -> code translator
241    
242    ----------------------------------------------------------------------
243    Name: Matthias Blume
244    Date: 2000/04/05 12:30:00 JST
245    Tag: blume_main_v110p26p2_3
246    Description:
247    
248    This update just merges three minor cosmetic updates to CM's sources
249    to get ready for the 110.27 code freeze on Friday.  No functionality
250    has changed.
251    
252    ----------------------------------------------------------------------
253    Name: Allen Leung
254    Date: 2000/04/04 19:39:00 EST
255    Tag: leunga-20000404-x86-asm
256    Description:
257    
258    1.  Fixed a problem in X86 assembly.
259    
260        Things like
261    
262           jmp %eax
263           jmp (%eax)
264    
265        should be output as
266    
267           jmp *%eax
268           jmp *(%eax)
269    
270    2.  Assembly output
271    
272          Added a new flag
273    
274              "asm-indent-copies" (default to false)
275    
276          When this flag is on, parallel copies will be indented an extra level.
277    
278    ----------------------------------------------------------------------
279    Name: Allen Leung
280    Date: 2000/04/04 03:18:00 EST
281    Tag: leunga-20000404-C--Moby
282    Description:
283    
284        All of these fixes are related to C--, Moby, and my own optimization
285        stuff; so they shouldn't affect SML/NJ.
286    
287    1.  X86
288    
289        Various fixes related floating point, and extensions.
290    
291    2.  Alpha
292    
293        Some extra patterns related to loads with signed/zero extension
294        provided by Fermin.
295    
296    3.  Assembly
297    
298        When generating assemby, resolve the value of client defined constants,
299        instead of generating symbolic values.  This is controlled by the
300        new flag "asm-resolve-constants", which is default to true.
301    
302    4.  Machine Descriptions
303    
304        a. The precedence parser was slightly broken when parsing infixr symbols.
305        b. The type generalizing code had the bound variables reversed, resulting
306           in a problem during arity raising.
307        c. Various fixes in machine descriptions.
308    
309    ----------------------------------------------------------------------
310    Name: Matthias Blume
311    Date: 2000/04/03 16:05:00 JST
312    Tag: blume_main_v110p26p2_2
313    Description:
314    
315    I eliminated coreEnv from compInfo.  Access to the "Core" structure is
316    now done via the ordinary static environment that is context to each
317    compilation unit.
318    
319    To this end, I arranged that instead of "structure Core" as "structure
320    _Core" is bound in the pervasive environment.  Core access is done via
321    _Core (which can never be accidentially rebound because _Core is not a
322    legal surface-syntax symbol).
323    
324    The current solution is much cleaner because the core environment is
325    now simply part of the pervasive environment which is part of every
326    compilation unit's context anyway.  In particular, this eliminates all
327    special-case handling that was necessary until now in order to deal
328    with dynamic and symbolic parts of the core environment.
329    
330    Remaining hackery (to bind the "magic" symbol _Core) is localized in the
331    compilation mananger's bootstrap compiler (actually: in the "init group"
332    handling).  See the comments in src/system/smlnj/init/init.cmi for
333    more details.
334    
335    I also tried to track down all mentions of "Core" (as string argument
336    to Symbol.strSymbol) in the compiler and replaced them with a
337    reference to the new CoreSym.coreSym.  Seems cleaner since the actual
338    name appears in one place only.
339    
340    Binfile and bootfile format have not changed, but the switchover from
341    the old "init.cmi" to the new one is a bit tricky, so I supplied new
342    bootfiles anyway.
343    
344    ----------------------------------------------------------------------
345  Name: Allen Leung  Name: Allen Leung
346  Date: 2000/04/02 21:17:00 EST  Date: 2000/04/02 21:17:00 EST
347  Tag: leunga-20000402-mltree  Tag: leunga-20000402-mltree

Legend:
Removed from v.591  
changed lines
  Added in v.633

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