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

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

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