Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/HISTORY
ViewVC logotype

Annotation of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log


Revision 583 - (view) (download)

1 : dbm 570 This is the HISTORY file for the Yale SML/NJ CVS repository.
2 :    
3 :     An entry should be made for _every_ commit to the repository.
4 :     The entries in this file will be used when creating the README
5 :     for new versions, so keep that in mind when writing the
6 :     description.
7 :    
8 :     The form of an entry should be:
9 :    
10 :     Name:
11 :     Date:
12 :     Tag: <post-commit CVS tag>
13 :     Description:
14 : leunga 576 ----------------------------------------------------------------------
15 : leunga 580 Name: Allen Leung
16 : leunga 583 Date: 2000/03/23 16:25:00
17 :     Tag: leunga-20000323-fix_x86_alpha
18 :     Description:
19 :    
20 :     1. X86 fixes/changes
21 :    
22 :     a. The old code generated for SETcc was completely wrong.
23 :     The Intel optimization guide is VERY misleading.
24 :    
25 :     2. ALPHA fixes/changes
26 :    
27 :     a. Added the instructions LDBU, LDWU, STB, STW as per Fermin's suggestion.
28 :     b. Added a new mode byteWordLoadStores to the functor parameter to Alpha()
29 :     c. Added reassociation code for address computation.
30 :    
31 :     ----------------------------------------------------------------------
32 :     Name: Allen Leung
33 : leunga 580 Date: 2000/03/22 01:23:00
34 :     Tag: leunga-20000322-fix_x86_hppa_ra
35 :     Description:
36 :    
37 :     1. X86 fixes/changes
38 :    
39 :     a. x86Rewrite bug with MUL3 (found by Lal)
40 :     b. Added the instructions FSTS, FSTL
41 :    
42 :     2. PA-RISC fixes/changes
43 :    
44 :     a. B label should not be a delay slot candidate! Why did this work?
45 :     b. ADDT(32, REG(32, r), LI n) now generates one instruction instead of two,
46 :     as it should be.
47 :     c. The assembly syntax for fstds and fstdd was wrong.
48 :     d. Added the composite instruction COMICLR/LDO, which is the immediate
49 :     operand variant of COMCLR/LDO.
50 :    
51 :     3. Generic MLRISC
52 :    
53 :     a. shuffle.sml rewritten to be slightly more efficient
54 :     b. DIV bug in mltree-simplify fixed (found by Fermin)
55 :    
56 :     4. Register Allocator
57 :    
58 :     a. I now release the interference graph earlier during spilling.
59 :     May improve memory usage.
60 :    
61 :     ----------------------------------------------------------------------
62 : blume 577 Name: Matthias Blume
63 : blume 578 Date: 2000/03/14 14:15:32
64 :     Tag: blume_main_v110p26p1_2
65 :     Description:
66 :    
67 :     1. Tools.registerStdShellCmdTool (from smlnj/cm/tool.cm) takes an
68 :     additional argument called "template" which is an optional string that
69 :     specifiel the layout of the tool command line. See the CM manual for
70 :     explanation.
71 :    
72 :     2. A special-purpose tool can be "regisitered" by simply dropping the
73 :     corresponding <...>-tool.cm (and/or <...>-ext.cm) into the same
74 :     directory where the .cm file lives that uses this tool. (The
75 :     behavior/misfeature until now was to look for the tool description
76 :     files in the current working directory.) As before, tool description
77 :     files could also be anchored -- in which case they can live anywhere
78 :     they like. Following the recent e-mail discussion, this change should
79 :     make it easier to have special-purpose tools that are shipped together
80 :     with the sources of the program that uses them.
81 :    
82 :     ----------------------------------------------------------------------
83 :     Name: Matthias Blume
84 : blume 577 Date: 2000/03/10 07:48:34
85 :     Tag: blume_main_v110p26p1_1
86 :     Description:
87 :    
88 :     I added a re-written version of Dave's fixpt script to src/system.
89 :     Changes relative to the original version:
90 :     - sh-ified (not everybody has ksh)
91 :     - automatically figures out which architecture it runs on
92 :     - uses ./makeml a bit more cleverly
93 :     - never invokes ./installml (and, thus, does not clobber your
94 :     good and working installation of sml in case something goes wrong)
95 :     - accepts max iteration count using option "-iter <n>"
96 :     - accepts a "base" name using option "-base <base>"
97 :    
98 :     It does not build any extraneous heap images but directly rebuilds
99 :     bin- and boot-hierarchies using makeml's "-rebuild" switch. Finally,
100 :     it can incorporate existing bin- and boot- hierarchies. For example,
101 :     suppose the base is set to "sml" (which is the default). Then it
102 :     successively builds
103 :    
104 :     sml.bin.<arch>-unix and sml.boot.<arch>-unix
105 :     then sml1.bin.<arch>-unix and sml1.boot.<arch>-unix
106 :     then sml2.bin.<arch>-unix and sml2.boot.<arch>-unix
107 :     ...
108 :     then sml<n>.bin.<arch>-unix and sml<n>.boot.<arch>-unix
109 :    
110 :     and so on. If any of these already exist, it will just use what's
111 :     there. In particular, many people will have the initial set of bin
112 :     and boot files around, so this saves time for at least one full
113 :     rebuild. Having sets of the form <base><k>.{bin,boot}.<arch>-unix for
114 :     <k>=1,2,... is normally not a good idea when invoking fixpt. However,
115 :     they might be the result of an earlier partial run of fixpt (which
116 :     perhaps got accidentially killed). In this case, fixpt will quickly
117 :     move through what exists before continuing where it left off earlier,
118 :     and, thus, saves a lot of time.
119 :    
120 :     ----------------------------------------------------------------------
121 : leunga 576 Name: Allen Leung
122 :     Date: 00/03/10 02:20:00
123 :     Tag: leunga-20000310-fix_x86_asm_ra
124 :     Description:
125 : dbm 570
126 : leunga 576 More assembly output problems involving the indexed addressing mode
127 :     on the x86 have been found and corrected. Thanks to Fermin Reig for the
128 :     fix.
129 :    
130 :     The interface and implementation of the register allocator have been changed
131 :     slightly to accommodate the possibility to skip the register allocation
132 :     phases completely and go directly to memory allocation. This is needed
133 :     for C-- use.
134 :    
135 : dbm 570 ----------------------------------------------------------------------
136 : blume 572 Name: Matthias Blume
137 : blume 575 Date: 00/03/09 10:23:53
138 :     Tag: blume_main_v110p26p1_0
139 :     Description:
140 :    
141 :     * Complete re-organization of library names. Many libraries have been
142 :     consolidated so that they share the same path anchor. For example,
143 :     all MLRISC-related libraries are anchored at MLRISC, most libraries that
144 :     are SML/NJ-specific are under "smlnj". Notice that names like
145 :     host-cmb.cm or host-compiler.cm no longer exist. See system/README
146 :     for a complete description of the new naming scheme. Quick reference:
147 :    
148 :     host-cmb.cm -> smlnj/cmb.cm
149 :     host-compiler.cm -> smlnj/compiler.cm
150 :     full-cm.cm -> smlnj/cm.cm
151 :     <arch>-<os>.cm -> smlnj/cmb/<arch>-<os>.cm
152 :     <arch>-compiler.cm -> smlnj/compiler/<arch>.cm
153 :    
154 :     * Bug fixes in CM.
155 :     - exceptions in user code are being passed through (i.e., reach top level)
156 :     - more bugs in paranoia mode fixed
157 :     - bug related to checking group owners fixed
158 :    
159 :     * New install.sh script that automagically fetches archive files:
160 :     The new file config/srcarchiveurl must contain the URL of the
161 :     (remote) directory that contains bin files (or other source archives).
162 :     If install.sh does not find the archive locally, it tries to get
163 :     it from that remote directory.
164 :     This should simplify installation further: For machines that have
165 :     access to the internet, just fetch <version>-config.tgz, unpack it,
166 :     edit config/targets, and go (run config/install.sh). The scipt will
167 :     fetch everything else that it might need all by itself.
168 :    
169 :     For CVS users, this mechanism is not relevant for source archives, but
170 :     it is convenient for getting new sets of binfiles.
171 :    
172 :     Archives should be tar files compressed with either gzip, compress, or
173 :     bzip2. The script recognizes .tgz, .tar, tar.gz, tz, .tar.Z, and .tar.bz2.
174 :    
175 :     ----------------------------------------------------------------------
176 :     Name: Matthias Blume
177 : blume 572 Date: 2000/03/07 04:01:04
178 :     Tag: blume_main_v110_26_2
179 : dbm 570 Description:
180 : blume 572 - size info in BOOTLIST
181 :     * no fixed upper limits for number of bootfiles or length of
182 :     bootfile names in runtime
183 :     * falling back to old behavior if no BOOTLIST size info found
184 :     - allocation size heuristics in .run-sml
185 :     * tries to read cache size from /proc/cpuinfo (this is important for
186 :     small-cache Celeron systems!)
187 :     - install.sh robustified
188 :     - CM manual updates
189 :     - paranoid mode
190 :     * no more CMB.deliver() (i.e., all done by CMB.make())
191 :     * can re-use existing sml.boot.* files
192 :     * init.cmi now treated as library
193 :     * library stamps for consistency checks
194 :     - sml.boot.<arch>-<os>/PIDMAP file
195 :     * This file is read by the CM startup code. This is used to minimize
196 :     the amount of dynamic state that needs to be stowed away for the
197 :     purpose of sharing between interactive system and user code.
198 :     - CM.Anchor.anchor instead of CM.Anchor.{set,cancel}
199 :     * Upon request by Elsa. Anchors now controlled by get-set-pair
200 :     like most other CM state variables.
201 :     - Compiler.CMSA eliminated
202 :     * No longer supported by CM anyway.
203 :     - fixed bugs in pickler that kept biting Stefan
204 :     * past refs to past refs (was caused by the possibility that
205 :     ad-hoc sharing is more discriminating than hash-cons sharing)
206 :     * integer overflow on LargeInt.minInt
207 :     - ml-{lex,yacc} build scripts now use new mechanism
208 :     for building standalone programs
209 :     - fixed several gcc -Wall warnings that were caused by missing header
210 :     files, missing initializations, etc., in runtime (not all warnings
211 :     eliminated, though)

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