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

Legend:
Removed from v.590  
changed lines
  Added in v.606

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