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 588, Fri Mar 31 09:00:02 2000 UTC revision 605, Fri Apr 7 14:06:42 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    Name: Stefan
16    Date: 2000/04/07 10:00:00 EDT
17    Tag: monnier-20000406-branch-handling
18    Description:
19    
20    Improved handling of branches (mostly those generated from
21    polymorphic equality), removed switchoff and changed the
22    default optimization settings (more cpsopt and less flintopt).
23    
24    ----------------------------------------------------------------------
25    Name: Allen Leung
26    Date: 2000/04/06 01:30:00 EST
27    Tag: leunga-20000406-peephole-x86-SSA-2
28    Description:
29    
30       Forgot a few files.
31    
32    ----------------------------------------------------------------------
33    Name: Allen Leung
34    Date: 2000/04/06 00:36:00 EST
35    Tag: leunga-20000406-peephole-x86-SSA
36    Description:
37    
38    1.  New Peephole code
39    
40    2.  Minor improvement to X86 instruction selection
41    
42    3.  Various fixes to SSA and machine description -> code translator
43    
44    ----------------------------------------------------------------------
45    Name: Matthias Blume
46    Date: 2000/04/05 12:30:00 JST
47    Tag: blume_main_v110p26p2_3
48    Description:
49    
50    This update just merges three minor cosmetic updates to CM's sources
51    to get ready for the 110.27 code freeze on Friday.  No functionality
52    has changed.
53    
54    ----------------------------------------------------------------------
55    Name: Allen Leung
56    Date: 2000/04/04 19:39:00 EST
57    Tag: leunga-20000404-x86-asm
58    Description:
59    
60    1.  Fixed a problem in X86 assembly.
61    
62        Things like
63    
64           jmp %eax
65           jmp (%eax)
66    
67        should be output as
68    
69           jmp *%eax
70           jmp *(%eax)
71    
72    2.  Assembly output
73    
74          Added a new flag
75    
76              "asm-indent-copies" (default to false)
77    
78          When this flag is on, parallel copies will be indented an extra level.
79    
80    ----------------------------------------------------------------------
81    Name: Allen Leung
82    Date: 2000/04/04 03:18:00 EST
83    Tag: leunga-20000404-C--Moby
84    Description:
85    
86        All of these fixes are related to C--, Moby, and my own optimization
87        stuff; so they shouldn't affect SML/NJ.
88    
89    1.  X86
90    
91        Various fixes related floating point, and extensions.
92    
93    2.  Alpha
94    
95        Some extra patterns related to loads with signed/zero extension
96        provided by Fermin.
97    
98    3.  Assembly
99    
100        When generating assemby, resolve the value of client defined constants,
101        instead of generating symbolic values.  This is controlled by the
102        new flag "asm-resolve-constants", which is default to true.
103    
104    4.  Machine Descriptions
105    
106        a. The precedence parser was slightly broken when parsing infixr symbols.
107        b. The type generalizing code had the bound variables reversed, resulting
108           in a problem during arity raising.
109        c. Various fixes in machine descriptions.
110    
111    ----------------------------------------------------------------------
112    Name: Matthias Blume
113    Date: 2000/04/03 16:05:00 JST
114    Tag: blume_main_v110p26p2_2
115    Description:
116    
117    I eliminated coreEnv from compInfo.  Access to the "Core" structure is
118    now done via the ordinary static environment that is context to each
119    compilation unit.
120    
121    To this end, I arranged that instead of "structure Core" as "structure
122    _Core" is bound in the pervasive environment.  Core access is done via
123    _Core (which can never be accidentially rebound because _Core is not a
124    legal surface-syntax symbol).
125    
126    The current solution is much cleaner because the core environment is
127    now simply part of the pervasive environment which is part of every
128    compilation unit's context anyway.  In particular, this eliminates all
129    special-case handling that was necessary until now in order to deal
130    with dynamic and symbolic parts of the core environment.
131    
132    Remaining hackery (to bind the "magic" symbol _Core) is localized in the
133    compilation mananger's bootstrap compiler (actually: in the "init group"
134    handling).  See the comments in src/system/smlnj/init/init.cmi for
135    more details.
136    
137    I also tried to track down all mentions of "Core" (as string argument
138    to Symbol.strSymbol) in the compiler and replaced them with a
139    reference to the new CoreSym.coreSym.  Seems cleaner since the actual
140    name appears in one place only.
141    
142    Binfile and bootfile format have not changed, but the switchover from
143    the old "init.cmi" to the new one is a bit tricky, so I supplied new
144    bootfiles anyway.
145    
146    ----------------------------------------------------------------------
147    Name: Allen Leung
148    Date: 2000/04/02 21:17:00 EST
149    Tag: leunga-20000402-mltree
150    Description:
151    
152       1. Renamed the constructor CALL in MLTREE by popular demand.
153       2. Added a bunch of files from my repository.  These are currently
154          used by other non-SMLNJ backends.
155    
156    ----------------------------------------------------------------------
157    Name: Allen Leung
158    Date: 2000/03/31 21:15:00 EST
159    Tag: leunga-20000331-aliasing
160    Description:
161    
162    This update contains a rewritten (and hopefully more correct) module
163    for extracting aliasing information from CPS.
164    
165       To turn on this feature:
166    
167            Compiler.Control.CG.memDisambiguate := true
168    
169       To pretty print the region information with assembly
170    
171           Compiler.Control.MLRISC.getFlag "asm-show-region" := true;
172    
173       To control how many levels of aliasing information are printed, use:
174    
175           Compiler.Control.MLRISC.getInt "points-to-show-level" := n
176    
177       The default of n is 3.
178    
179    ----------------------------------------------------------------------
180    Name: David MacQueen
181    Date: 2000/03/31 11:15:00 EST
182    Tag: dbm-20000331-runtime_fix
183    Description:
184    
185    This update contains:
186    
187    1. runtime/c-lib/c-libraries.c
188       includes added in revision 1.2 caused compilation errors on hppa-hpux
189    
190    2. fix for bug 1556
191       system/Basis/Implementation/NJ/internal-signals.sml
192    
193  ----------------------------------------------------------------------  ----------------------------------------------------------------------
194  Name: Matthias Blume  Name: Matthias Blume

Legend:
Removed from v.588  
changed lines
  Added in v.605

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