13 |
Description: |
Description: |
14 |
|
|
15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
16 |
|
Name: Lal George |
17 |
|
Date: 2002/05/23 12:21:40 EDT |
18 |
|
Tag: george-20020523-visual-labels |
19 |
|
Description: |
20 |
|
|
21 |
|
Labels are now displayed in the graphical output to make |
22 |
|
the fall-through and target blocks obvious. |
23 |
|
|
24 |
|
---------------------------------------------------------------------- |
25 |
|
Name: Matthias Blume |
26 |
|
Date: 2002/05/22 11:03:00 EDT |
27 |
|
Tag: blume-20020522-shrink |
28 |
|
Description: |
29 |
|
|
30 |
|
John tweaked yesterday's fix for 1131 to handle an out-of-memory |
31 |
|
situation that comes up when allocating huge arrays. |
32 |
|
|
33 |
|
---------------------------------------------------------------------- |
34 |
|
Name: Matthias Blume |
35 |
|
Date: 2002/05/21 16:00:00 EDT |
36 |
|
Tag: Release_110_40 |
37 |
|
Description: |
38 |
|
|
39 |
|
New working release (110.40). New bootfiles. |
40 |
|
|
41 |
|
[Also: John Reppy fixed GC bug 1131.] |
42 |
|
|
43 |
|
---------------------------------------------------------------------- |
44 |
|
Name: Matthias Blume |
45 |
|
Date: 2002/05/21 12:35:00 EDT |
46 |
|
Tag: blume-20020521-cmdoc |
47 |
|
Description: |
48 |
|
|
49 |
|
CM documentation update. |
50 |
|
|
51 |
|
---------------------------------------------------------------------- |
52 |
|
Name: Matthias Blume |
53 |
|
Date: 2002/05/21 10:55:00 EDT |
54 |
|
Tag: blume-20020521-misc |
55 |
|
Description: |
56 |
|
|
57 |
|
- John tweaked runtime to be silent on heap export (except when |
58 |
|
GC messages are on). |
59 |
|
- I added a few more things (cross-compiling versions of CMB) to |
60 |
|
config/preloads (as suggestions). |
61 |
|
|
62 |
|
---------------------------------------------------------------------- |
63 |
|
Name: Matthias Blume |
64 |
|
Date: 2002/05/20 22:25:00 EDT |
65 |
|
Tag: blume-20020520-controls |
66 |
|
Description: |
67 |
|
|
68 |
|
- Added ControlUtil structure to control-lib.cm. |
69 |
|
- Use it throughout. |
70 |
|
- Used Controls facility to define MLRISC controls (as opposed to |
71 |
|
registering MLRISC control ref cells with Controls after the fact) |
72 |
|
- Fixed messed-up controls priorities. |
73 |
|
|
74 |
|
* Removed again all the stuff from config/preloads that one wouldn't |
75 |
|
be able to preload at the time the initial heap image is built. |
76 |
|
(Many libraries, e.g., CML, do not exist yet at this time. The |
77 |
|
only libraries that can be preloaded via config/preloads are those |
78 |
|
that come bundled with the bootfiles.) |
79 |
|
|
80 |
|
---------------------------------------------------------------------- |
81 |
|
Name: Matthias Blume |
82 |
|
Date: 2002/05/20 10:59:00 EDT |
83 |
|
Tag: blume-20020520-preloads |
84 |
|
Description: |
85 |
|
|
86 |
|
Added a lot of commented-out suggestions for things to be included |
87 |
|
in config/preloads. |
88 |
|
|
89 |
|
---------------------------------------------------------------------- |
90 |
|
Name: Allen Leung |
91 |
|
Date: 2002/05/18 14:20:00 EDT |
92 |
|
Tag: leunga-20020518-mdl |
93 |
|
Description: |
94 |
|
|
95 |
|
o Made the mdl tool stuff compile and run again. |
96 |
|
o I've disabled all the stuff that depends on RTL specifications; they |
97 |
|
are all badly broken anyway. |
98 |
|
|
99 |
|
---------------------------------------------------------------------- |
100 |
|
Name: Matthias Blume |
101 |
|
Date: 2002/05/17 16:49:00 EDT |
102 |
|
Tag: blume-20020517-controls |
103 |
|
Description: |
104 |
|
|
105 |
|
0. John Reppy made several modifications to the SML/NJ library. |
106 |
|
In particular, there is a shiny new controls-lib.cm. |
107 |
|
|
108 |
|
1. Pushed new controls interface through compiler so that everything |
109 |
|
compiles again. |
110 |
|
|
111 |
|
2. Added FormatComb and FORMAT_COMB to the CML version of the |
112 |
|
SML/NJ library (so that CML compiles again). |
113 |
|
|
114 |
|
3. Modified init scripts because XXX_DEFAULT environment variables |
115 |
|
are no longer with us. (Boot-time initialization is now done |
116 |
|
using the same environment variables that are also used for |
117 |
|
startup-time initialization of controls.) |
118 |
|
|
119 |
|
---------------------------------------------------------------------- |
120 |
|
Name: Lal George |
121 |
|
Date: 2002/05/15 09:20:10 EDT |
122 |
|
Tag: george-20020515-pseudo-op-decls |
123 |
|
Description: |
124 |
|
|
125 |
|
All pseudo-ops emitted before the first segment declaration |
126 |
|
such as TEXT, DATA, and BSS directives are assumed to be global |
127 |
|
declarations and are emitted first in the assembly file. This is |
128 |
|
useful in a number of situations where one has pseudo-ops that are not |
129 |
|
specific to any segment, and also works around the constraint that one |
130 |
|
cannot have client pseudo-ops in the TEXT segment. |
131 |
|
|
132 |
|
Because no segment is associated with these declarations it is |
133 |
|
an error to allocate any space or objects before the first segment |
134 |
|
directive and an exception will be raised. However, we cannot make |
135 |
|
this check for client pseudo-ops. |
136 |
|
|
137 |
|
These top level declarations are a field in the CFG graph_info. |
138 |
|
In theory you can continue to add to this field after the CFG has been |
139 |
|
built -- provided you know what you are doing;-) |
140 |
|
|
141 |
|
---------------------------------------------------------------------- |
142 |
|
Name: Matthias Blume |
143 |
|
Date: 2002/05/13 16:40:00 EDT |
144 |
|
Tag: blume-20020513-pp-etc |
145 |
|
Description: |
146 |
|
|
147 |
|
A few minor bugfixes: |
148 |
|
|
149 |
|
- Stopgap measure for bug recently reported by Elsa Gunter (ppDec). |
150 |
|
(Bogus printouts for redefined bindings still occur. Compiler |
151 |
|
bug should no longer occur now. We need to redo the prettyprinter |
152 |
|
from scratch.) |
153 |
|
|
154 |
|
- CM pathname printer now also adds escape sequences for ( and ) |
155 |
|
|
156 |
|
- commend and docu fixes for ml-nlffi |
157 |
|
|
158 |
|
---------------------------------------------------------------------- |
159 |
|
Name: Matthias Blume |
160 |
|
Date: 2002/05/10 16:40:00 EDT |
161 |
|
Tag: blume-20020510-erg-textio |
162 |
|
Description: |
163 |
|
|
164 |
|
Applied the following bugfix provided by Emden Gansner: |
165 |
|
|
166 |
|
Output is corrupted when outputSubstr is used rather than output. |
167 |
|
|
168 |
|
The problem occurs when a substring |
169 |
|
|
170 |
|
ss = (s, dataStart, dataLen) |
171 |
|
|
172 |
|
where dataStart > 0, fills a stream buffer with avail bytes left. |
173 |
|
avail bytes of s, starting at index dataStart, are copied into the |
174 |
|
buffer, the buffer is flushed, and then the remaining dataLen-avail |
175 |
|
bytes of ss are copied into the beginning of the buffer. Instead of |
176 |
|
starting this copy at index dataStart+avail in s, the current code |
177 |
|
starts the copy at index avail. |
178 |
|
|
179 |
|
Fix: |
180 |
|
In text-io-fn.sml, change line 695 from |
181 |
|
val needsFlush = copyVec(v, avail, dataLen-avail, buf, 0) |
182 |
|
to |
183 |
|
val needsFlush = copyVec(v, dataStart+avail, dataLen-avail, buf, 0) |
184 |
|
|
185 |
|
---------------------------------------------------------------------- |
186 |
|
Name: Matthias Blume |
187 |
|
Date: 2002/04/12 13:55:00 EDT |
188 |
|
Tag: blume-20020412-assyntax |
189 |
|
Description: |
190 |
|
|
191 |
|
1. Grabbed newer assyntax.h from the XFree86 project. |
192 |
|
2. Fiddled with how to compile X86.prim.asm without warnings. |
193 |
|
3. (Very) Minor cleanup in CM. |
194 |
|
|
195 |
|
---------------------------------------------------------------------- |
196 |
|
Name: Matthias Blume |
197 |
|
Date: 2002/04/01 (no joke!) 17:07:00 EST |
198 |
|
Tag: blume-20020401-x86div |
199 |
|
Description: |
200 |
|
|
201 |
|
Added full support for div/mod/rem/quot on the x86, using the machine |
202 |
|
instruction's two results (without clumsily recomputing the remainder) |
203 |
|
directly where appropriate. |
204 |
|
|
205 |
|
Some more extensive power-of-two support was added to the x86 instruction |
206 |
|
selector (avoiding expensive divs, mods, and muls where they can be |
207 |
|
replaced with cheaper shifts and masks). However, this sort of thing |
208 |
|
ought to be done earlier, e.g., within the CPS optimizer so that |
209 |
|
all architectures benefit from it. |
210 |
|
|
211 |
|
The compiler compiles to a fixed point, but changes might be somewhat |
212 |
|
fragile nevertheless. Please, report any strange things that you might |
213 |
|
see wrt. div/mod/quot/rem... |
214 |
|
|
215 |
|
---------------------------------------------------------------------- |
216 |
|
Name: Matthias Blume |
217 |
|
Date: 2002/03/29 17:22:00 |
218 |
|
Tag: blume-20020329-div |
219 |
|
Description: |
220 |
|
|
221 |
|
Fixed my broken div/mod logic. Unfortunately, this means that the |
222 |
|
inline code for div/mod now has one more comparison than before. |
223 |
|
Fast paths (quotient > 0 or remainder = 0) are not affected, though. |
224 |
|
The problem was with quotient = 0, because that alone does not tell |
225 |
|
us which way the rounding went. One then has to look at whether |
226 |
|
remainder and divisor have the same sign... :( |
227 |
|
|
228 |
|
Anyway, I replaced the bootfiles with fresh ones... |
229 |
|
|
230 |
|
---------------------------------------------------------------------- |
231 |
Name: Matthias Blume |
Name: Matthias Blume |
232 |
Date: 2002/03/29 14:10:00 EST |
Date: 2002/03/29 14:10:00 EST |
233 |
Tag: blume-20020329-inlprims |
Tag: blume-20020329-inlprims |