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

Legend:
Removed from v.589  
changed lines
  Added in v.602

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