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

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

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