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 594, Tue Apr 4 23:41:47 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/04 19:39:00 EST
17    Tag: leunga-20000404-x86-asm
18    Description:
19    
20    1.  Fixed a problem in X86 assembly.
21    
22        Things like
23    
24           jmp %eax
25           jmp (%eax)
26    
27        should be output as
28    
29           jmp *%eax
30           jmp *(%eax)
31    
32    2.  Assembly output
33    
34          Added a new flag
35    
36              "asm-indent-copies" (default to false)
37    
38          When this flag is on, parallel copies will be indented an extra level.
39    
40    ----------------------------------------------------------------------
41    Name: Allen Leung
42    Date: 2000/04/04 03:18:00 EST
43    Tag: leunga-20000404-C--Moby
44    Description:
45    
46        All of these fixes are related to C--, Moby, and my own optimization
47        stuff; so they shouldn't affect SML/NJ.
48    
49    1.  X86
50    
51        Various fixes related floating point, and extensions.
52    
53    2.  Alpha
54    
55        Some extra patterns related to loads with signed/zero extension
56        provided by Fermin.
57    
58    3.  Assembly
59    
60        When generating assemby, resolve the value of client defined constants,
61        instead of generating symbolic values.  This is controlled by the
62        new flag "asm-resolve-constants", which is default to true.
63    
64    4.  Machine Descriptions
65    
66        a. The precedence parser was slightly broken when parsing infixr symbols.
67        b. The type generalizing code had the bound variables reversed, resulting
68           in a problem during arity raising.
69        c. Various fixes in machine descriptions.
70    
71    ----------------------------------------------------------------------
72    Name: Matthias Blume
73    Date: 2000/04/03 16:05:00 JST
74    Tag: blume_main_v110p26p2_2
75    Description:
76    
77    I eliminated coreEnv from compInfo.  Access to the "Core" structure is
78    now done via the ordinary static environment that is context to each
79    compilation unit.
80    
81    To this end, I arranged that instead of "structure Core" as "structure
82    _Core" is bound in the pervasive environment.  Core access is done via
83    _Core (which can never be accidentially rebound because _Core is not a
84    legal surface-syntax symbol).
85    
86    The current solution is much cleaner because the core environment is
87    now simply part of the pervasive environment which is part of every
88    compilation unit's context anyway.  In particular, this eliminates all
89    special-case handling that was necessary until now in order to deal
90    with dynamic and symbolic parts of the core environment.
91    
92    Remaining hackery (to bind the "magic" symbol _Core) is localized in the
93    compilation mananger's bootstrap compiler (actually: in the "init group"
94    handling).  See the comments in src/system/smlnj/init/init.cmi for
95    more details.
96    
97    I also tried to track down all mentions of "Core" (as string argument
98    to Symbol.strSymbol) in the compiler and replaced them with a
99    reference to the new CoreSym.coreSym.  Seems cleaner since the actual
100    name appears in one place only.
101    
102    Binfile and bootfile format have not changed, but the switchover from
103    the old "init.cmi" to the new one is a bit tricky, so I supplied new
104    bootfiles anyway.
105    
106    ----------------------------------------------------------------------
107    Name: Allen Leung
108    Date: 2000/04/02 21:17:00 EST
109    Tag: leunga-20000402-mltree
110    Description:
111    
112       1. Renamed the constructor CALL in MLTREE by popular demand.
113       2. Added a bunch of files from my repository.  These are currently
114          used by other non-SMLNJ backends.
115    
116  ----------------------------------------------------------------------  ----------------------------------------------------------------------
117  Name: Allen Leung  Name: Allen Leung

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

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