14 |
|
|
15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
16 |
Name: Matthias Blume |
Name: Matthias Blume |
17 |
|
Date: 2001/08/24 13:47:18 EDT 2001 |
18 |
|
Tag: george-20010824-MLRISC-graphs |
19 |
|
Description: |
20 |
|
|
21 |
|
removed clusters from MLRISC completely and replaced with graphs. |
22 |
|
|
23 |
|
---------------------------------------------------------------------- |
24 |
|
Name: Matthias Blume |
25 |
|
Date: 2001/08/23 17:50:00 EDT |
26 |
|
Tag: blume-20010823-toplevel |
27 |
|
Description: |
28 |
|
|
29 |
|
- some reorganization of the code that implements various kinds of |
30 |
|
environments in the compiler (static, dynamic, symbolic, combined) |
31 |
|
- re-implemented the EnvRef module so that evalStream works properly |
32 |
|
(if the stream contains references to "use", "CM.make", etc.) |
33 |
|
- cleaned up evalloop.sml and interact.sml (but they need more cleaning) |
34 |
|
|
35 |
|
---------------------------------------------------------------------- |
36 |
|
Name: Matthias Blume |
37 |
|
Date: 2001/08/20 15:50 EDT |
38 |
|
Tag: blume20010820-slipup |
39 |
|
Description: |
40 |
|
|
41 |
|
I forgot to commit a few files. Here they are... |
42 |
|
|
43 |
|
---------------------------------------------------------------------- |
44 |
|
Name: Matthias Blume |
45 |
|
Date: 2001/08/20 15:35:00 EDT |
46 |
|
Tag: blume-20010820-debugprof |
47 |
|
Description: |
48 |
|
|
49 |
|
!!!! NEW BOOTFILES !!!! |
50 |
|
|
51 |
|
This is another round of reorganizing the compiler sources. This |
52 |
|
time the main goal was to factor out all the "instrumentation" |
53 |
|
passes (for profiling and backtracing) into their own library. |
54 |
|
The difficulty was to do it in such a way that it does not depend |
55 |
|
on elaborate.cm but only on elabdata.cm. |
56 |
|
|
57 |
|
Therefore there have been further changes to both elaborate.cm and |
58 |
|
elabdata.cm -- more "generic" things have been moved from the former |
59 |
|
to the latter. As a result, I was forced to split the assignment |
60 |
|
of numbers indicating "primtyc"s into two portions: SML-generic and |
61 |
|
SML/NJ-specific. Since it would have been awkward to maintain, |
62 |
|
I bit the bullet and actually _changed_ the mapping between these |
63 |
|
numbers and primtycs. The bottom line of this is that you need |
64 |
|
a new set of bin- and bootfiles. |
65 |
|
|
66 |
|
I have built new bootfiles for all architectures, so doing a fresh |
67 |
|
checkout and config/install.sh should be all you need. |
68 |
|
|
69 |
|
The newly created library's name is |
70 |
|
|
71 |
|
$smlnj/viscomp/debugprof.cm |
72 |
|
|
73 |
|
and its sources live under |
74 |
|
|
75 |
|
src/compiler/DebugProf |
76 |
|
|
77 |
|
---------------------------------------------------------------------- |
78 |
|
Name: Matthias Blume |
79 |
|
Date: 2001/08/15 17:15:00 EDT |
80 |
|
Tag: blume-20010815-compreorg |
81 |
|
Description: |
82 |
|
|
83 |
|
This is a first cut at reorganizing the CM libraries that make up the |
84 |
|
core of the compiler. The idea is to separate out pieces that could |
85 |
|
be used independently by tools, e.g., the parser, the typechecker, etc. |
86 |
|
|
87 |
|
The current status is a step in this direction, but it is not quite |
88 |
|
satisfactory yet. Expect more changes in the future. |
89 |
|
|
90 |
|
Here is the current (new) organization... |
91 |
|
|
92 |
|
What used to be $smlnj/viscomp/core.cm is now divided into |
93 |
|
six CM libraries: |
94 |
|
|
95 |
|
$smlnj/viscomp/basics.cm |
96 |
|
/parser.cm |
97 |
|
/elabdata.cm |
98 |
|
/elaborate.cm |
99 |
|
/execute.cm |
100 |
|
/core.cm |
101 |
|
|
102 |
|
The CM files for these libraries live under src/system/smlnj/viscomp. |
103 |
|
All these libraries are proxy libraries that contain precisely |
104 |
|
one CM library component. Here are the locations of the components |
105 |
|
(all within the src/compiler tree): |
106 |
|
|
107 |
|
Basics/basics.cm |
108 |
|
Parse/parser.cm |
109 |
|
ElabData/elabdata.cm |
110 |
|
Elaborator/elaborate.cm |
111 |
|
Execution/execute.cm |
112 |
|
core.cm |
113 |
|
|
114 |
|
[This organization is the same that has been used already |
115 |
|
for a while for the architecture-specific parts of the visible |
116 |
|
compiler and for the old version of core.cm.] |
117 |
|
|
118 |
|
As you will notice, many source files have been moved from their |
119 |
|
respective original locations to a new home in one of the above |
120 |
|
subtrees. |
121 |
|
|
122 |
|
The division of labor between the new libraries is the following: |
123 |
|
|
124 |
|
basics.cm: |
125 |
|
- Simple, basic definitions that pertain to many (or all) of |
126 |
|
the other libraries. |
127 |
|
parser.cm: |
128 |
|
- The SML parser, producing output of type Ast.dec. |
129 |
|
- The type family for Ast is also defined and exported here. |
130 |
|
elabdata.cm: |
131 |
|
- The datatypes that describe input and output of the elaborator. |
132 |
|
This includes types, absyn, and static environments. |
133 |
|
elaborator.cm: |
134 |
|
- The SML/NJ type checker and elaborator. |
135 |
|
This maps an Ast.dec (with a given static environment) to |
136 |
|
an Absyn.dec (with a new static environment). |
137 |
|
- This libraries implements certain modules that used to be |
138 |
|
structures as functors (to remove dependencies on FLINT). |
139 |
|
execute.cm: |
140 |
|
- Everything having to do with executing binary code objects. |
141 |
|
- Dynamic environments. |
142 |
|
core.cm: |
143 |
|
- SML/NJ-specific instantiations of the elaborator and MLRISC. |
144 |
|
- Top-level modules. |
145 |
|
- FLINT (this should eventually become its own library) |
146 |
|
|
147 |
|
Notes: |
148 |
|
|
149 |
|
I am not 100% happy with the way I separated the elaborator (and its |
150 |
|
data structures) from FLINT. Two instances of the same problem: |
151 |
|
|
152 |
|
1. Data structures contain certain fields that carry FLINT-specific |
153 |
|
information. I hacked around this using exn and the property list |
154 |
|
module from smlnj-lib. But the fact that there are middle-end |
155 |
|
specific fields around at all is a bit annoying. |
156 |
|
|
157 |
|
2. The elaborator calculates certain FLINT-related information. I tried |
158 |
|
to make this as abstract as I could using functorization, but, again, |
159 |
|
the fact that the elaborator has to perform calculations on behalf |
160 |
|
of the middle-end at all is not nice. |
161 |
|
|
162 |
|
3. Having to used exn and property lists is unfortunate because it |
163 |
|
weakens type checking. The other alternative (parameterizing |
164 |
|
nearly *everything*) is not appealing, though. |
165 |
|
|
166 |
|
I removed the "rebinding =" warning hack because due to the new organization |
167 |
|
it was awkward to maintain it. As a result, the compiler now issues some of |
168 |
|
these warnings when compiling init.cmi during bootstrap compilation. On |
169 |
|
the plus side, you also get a warning when you do, for example: |
170 |
|
val op = = Int32.+ |
171 |
|
which was not the case up to now. |
172 |
|
|
173 |
|
I placed "assign" and "deref" into the _Core structure so that the |
174 |
|
code that deals with the "lazy" keyword can find them there. This |
175 |
|
removes the need for having access to the primitive environment |
176 |
|
during elaboration. |
177 |
|
|
178 |
|
---------------------------------------------------------------------- |
179 |
|
Name: Matthias Blume |
180 |
|
Date: 2001/08/13 |
181 |
|
Tag: blume-20010813-closures |
182 |
|
Description: |
183 |
|
|
184 |
|
This fix was sent to us by Zhong Shao. It is supposed to improve the |
185 |
|
performance of certain loops by avoiding needless closure allocation. |
186 |
|
|
187 |
|
---------------------------------------------------------------------- |
188 |
|
Name: Lal George |
189 |
|
Date: 2001/07/31 10:03:23 EDT 2001 |
190 |
|
Tag: george-20010731-x86-fmalloc |
191 |
|
Description: Fixed bug in x86 calls |
192 |
|
|
193 |
|
There was a bug where call instructions would mysteriously |
194 |
|
vanish. The call instruction had to be one that returned |
195 |
|
a floating point value. |
196 |
|
|
197 |
|
---------------------------------------------------------------------- |
198 |
|
Name: Lal George |
199 |
|
Date: 2001/07/19 16:36:29 EDT 2001 |
200 |
|
Tag: george-20010719-simple-cells |
201 |
|
Description: |
202 |
|
|
203 |
|
I have dramatically simplified the interface for CELLS in MLRISC. |
204 |
|
|
205 |
|
In summary, the cells interface is broken up into three parts: |
206 |
|
|
207 |
|
1. CellsBasis : CELLS_BASIS |
208 |
|
|
209 |
|
CellsBasis is a top level structure and common for all |
210 |
|
architectures. it contains the definitions of basic datatypes |
211 |
|
and utility functions over these types. |
212 |
|
|
213 |
|
2. functor Cells() : CELLS |
214 |
|
|
215 |
|
Cells generates an interface for CELLS that incorporates the |
216 |
|
specific resources on the target architecture, such as the |
217 |
|
presence of special register classes, their number and size, |
218 |
|
and various useful substructures. |
219 |
|
|
220 |
|
3. <ARCH>CELLS |
221 |
|
|
222 |
|
e.g. SparcCells: SPARCCELLS |
223 |
|
|
224 |
|
<ARCH>CELLS usually contains additional bindings for special |
225 |
|
registers on the architecture, such as: |
226 |
|
|
227 |
|
val r0 : cell (* register zero *) |
228 |
|
val y : cell (* Y register *) |
229 |
|
val psr : cell (* processor status register *) |
230 |
|
... |
231 |
|
|
232 |
|
The structure returned by applying the Cells functor is opened |
233 |
|
in this interface. |
234 |
|
|
235 |
|
The main implication of all this is that the datatypes for cells is |
236 |
|
split between CellsBasis and CELLS -- a fairly simple change for user |
237 |
|
code. |
238 |
|
|
239 |
|
In the old scheme the CELLS interface had a definitional binding of |
240 |
|
the form: |
241 |
|
|
242 |
|
signature CELLS = sig |
243 |
|
|
244 |
|
structure CellsBasis = CellsBasis |
245 |
|
|
246 |
|
... |
247 |
|
|
248 |
|
end |
249 |
|
|
250 |
|
With all the sharing constraints that goes on in MLRISC, this old |
251 |
|
design quickly leads to errors such as: |
252 |
|
|
253 |
|
"structure definition spec inside of sharing ... " |
254 |
|
|
255 |
|
|
256 |
|
and appears to require an unacceptable amount of sharing and where |
257 |
|
constraint hackery. |
258 |
|
|
259 |
|
I think this error message (the interaction of definitional specs and |
260 |
|
sharing) requires more explanation on our web page. |
261 |
|
|
262 |
|
---------------------------------------------------------------------- |
263 |
|
Name: Matthias Blume |
264 |
|
Date: 2001/07/19 15:00:00 EDT |
265 |
|
Tag: blume-20010719-libreorg |
266 |
|
Description: |
267 |
|
|
268 |
|
This update puts together a fairly extensive but straightforward change |
269 |
|
to the way the libraries that implement the interactive system are |
270 |
|
organized: |
271 |
|
|
272 |
|
The biggest change is the elimination of structure Compiler. As a |
273 |
|
replacement for this structure, there is now a CM library |
274 |
|
(known as $smlnj/compiler.cm or $smlnj/compiler/current.cm) |
275 |
|
that exports all the substructures of the original structure Compiler |
276 |
|
directly. So instead of saying Compiler.Foo.bar one now simply |
277 |
|
says Foo.bar. (The CM libraries actually export a collection of |
278 |
|
structures that is richer than the collection of substructures of |
279 |
|
structure Compiler.) |
280 |
|
|
281 |
|
To make the transition smooth, there is a separate library called |
282 |
|
$smlnj/compiler/compiler.cm which puts together and exports the |
283 |
|
original structure Compiler (or at least something very close to it). |
284 |
|
|
285 |
|
There are five members of the original structure Compiler |
286 |
|
that are not exported directly but which instead became members |
287 |
|
of a new structure Backend (described by signature BACKEND). These are: |
288 |
|
structure Profile (: PROFILE), structure Compile (: COMPILE), structure |
289 |
|
Interact (: INTERACT), structure Machine (: MACHINE), and val |
290 |
|
architecture (: string). |
291 |
|
|
292 |
|
Structure Compiler.Version has become structure CompilerVersion. |
293 |
|
|
294 |
|
Cross-compilers for alpha32, hppa, ppc, sparc, and x86 are provided |
295 |
|
by $smlnj/compiler/<arch>.cm where <arch> is alpha32, hppa, ppc, sparc, |
296 |
|
or x86, respectively. |
297 |
|
Each of these exports the same frontend structures that |
298 |
|
$smlnj/compiler.cm exports. But they do not have a structure Backend |
299 |
|
and instead export some structure <Arch>Backend where <Arch> is Alpha32, |
300 |
|
Hppa, PPC, Sparc, or X86, respectively. |
301 |
|
|
302 |
|
Library $smlnj/compiler/all.cm exports the union of the exports of |
303 |
|
$smlnj/compiler/<arch>.cm |
304 |
|
|
305 |
|
There are no structures <Arch>Compiler anymore, use |
306 |
|
$smlnj/compiler/<arch>.cm instead. |
307 |
|
|
308 |
|
Library host-compiler-0.cm is gone. Instead, the internal library |
309 |
|
that instantiates CM is now called cm0.cm. Selection of the host |
310 |
|
compiler (backend) is no longer done here but. (Responsibility for it |
311 |
|
now lies with $smlnj/compiler/current.cm. This seems to be more |
312 |
|
logical.) |
313 |
|
|
314 |
|
Many individual files have been moved or renamed. Some files have |
315 |
|
been split into multiple files, and some "dead" files have been deleted. |
316 |
|
|
317 |
|
Aside from these changes to library organization, there are also changes |
318 |
|
to the way the code itself is organized: |
319 |
|
|
320 |
|
Structure Binfile has been re-implemented in such a way that it no |
321 |
|
longer needs any knowledge of the compiler. It exclusively deals |
322 |
|
with the details of binfile layout. It no longer invokes the |
323 |
|
compiler (for the purpose of creating new prospective binfile |
324 |
|
content), and it no longer has any knowledge of how to interpret |
325 |
|
pickles. |
326 |
|
|
327 |
|
Structure Compile (: COMPILE) has been stripped down to the bare |
328 |
|
essentials of compilation. It no longer deals with linking/execution. |
329 |
|
The interface has been cleaned up considerably. |
330 |
|
|
331 |
|
Utility routines for dealing with linking and execution have been |
332 |
|
moved into their own substructures. |
333 |
|
|
334 |
|
(The ultimate goal of these changes is to provide a light-weight |
335 |
|
binfile loader/linker (at least for, e.g., stable libraries) that |
336 |
|
does not require CM or the compiler to be present.) |
337 |
|
|
338 |
|
CM documentation has been updated to reflect the changes to library |
339 |
|
organization. |
340 |
|
|
341 |
|
---------------------------------------------------------------------- |
342 |
|
Name: Matthias Blume |
343 |
|
Date: 2001/07/10 17:30:00 EDT |
344 |
|
Tag: Release_110_34 |
345 |
|
Description: |
346 |
|
|
347 |
|
Minor tweak to 110.34 (re-tagged): |
348 |
|
|
349 |
|
- README.html file added to CVS repository |
350 |
|
- runtime compiles properly under FreeBSD 3.X and 4.X |
351 |
|
|
352 |
|
---------------------------------------------------------------------- |
353 |
|
Name: Matthias Blume |
354 |
|
Date: 2001/07/10 17:30:00 EDT |
355 |
|
Tag: Release_110_34 |
356 |
|
Description: |
357 |
|
|
358 |
|
New version number (110.34). New bootfiles. |
359 |
|
|
360 |
|
---------------------------------------------------------------------- |
361 |
|
Name: Matthias Blume |
362 |
|
Date: 2001/07/09 16:00:00 EDT |
363 |
|
Tag: blume-20010709-more-varargs |
364 |
|
Description: |
365 |
|
|
366 |
|
I changed the handling of varargs in ml-nlffigen again: |
367 |
|
The ellipsis ... will now simply be ignored (with an accompanying warning). |
368 |
|
|
369 |
|
The immediate effect is that you can actually call a varargs function |
370 |
|
from ML -- but you can't actually supply any arguments beyond the ones |
371 |
|
specified explicitly. (For example, you can call printf with its format |
372 |
|
string, but you cannot pass additional arguments.) |
373 |
|
|
374 |
|
This behavior is only marginally more useful than the one before, but |
375 |
|
it has the advantage that a function or, more importantly, a function |
376 |
|
type never gets dropped on the floor, thus avoiding follow-up problems with |
377 |
|
other types that refer to the offending one. |
378 |
|
|
379 |
|
---------------------------------------------------------------------- |
380 |
|
Name: Matthias Blume |
381 |
|
Date: 2001/07/09 11:25:00 EDT |
382 |
|
Tag: blume-20010709-varargs |
383 |
|
Description: |
384 |
|
|
385 |
|
1. ckit-lib.cm now exports structure Error |
386 |
|
2. ml-nlffigen reports occurences of "..." (i.e., varargs function types) |
387 |
|
with a warning accompanied by a source location. Moreover, it |
388 |
|
merely skips the offending function or type and proceeds with the |
389 |
|
rest of its work.u As a result, one can safely feed C code containing |
390 |
|
"..." to ml-nlffigen. |
391 |
|
3. There are some internal improvements to CM, providing slightly |
392 |
|
more general string substitutions in the tools subsystem. |
393 |
|
|
394 |
|
---------------------------------------------------------------------- |
395 |
|
Name: Matthias Blume |
396 |
|
Date: 2001/06/27 15:10:00 EDT |
397 |
|
Tag: blume-20010627-concur |
398 |
|
Description: |
399 |
|
|
400 |
|
Fixed a small bug in CM's handling of parallel compilation. |
401 |
|
(You could observe the bug by Control-C-interrupting an ordinary |
402 |
|
CMB.make or CM.stabilize and then attaching some compile servers. |
403 |
|
The result was that all of a sudden the previously interrupted |
404 |
|
compilation would continue on its own. This was because of |
405 |
|
an over-optimization: CM did not bother to clean out certain queues |
406 |
|
when no servers were attached "anyway", resulting in the contents |
407 |
|
of these queues to grab control when new servers did get attached.) |
408 |
|
|
409 |
|
There is also another minor update to the CM manual. |
410 |
|
|
411 |
|
---------------------------------------------------------------------- |
412 |
|
Name: Matthias Blume |
413 |
|
Date: 2001/06/26 16:15:00 EDT |
414 |
|
Tag: blume-20010626-cmdoc |
415 |
|
Description: |
416 |
|
|
417 |
|
Minor typo fixed in CM manual (syntax diagram for libraries). |
418 |
|
|
419 |
|
---------------------------------------------------------------------- |
420 |
|
Name: Matthias Blume |
421 |
|
Date: 2001/06/25 22:55:00 EDT |
422 |
|
Tag: blume-20010625-x86pc |
423 |
|
Description: |
424 |
|
|
425 |
|
Fixed a nasty bug in the X86 assembly code that caused signal |
426 |
|
handlers to fail (crash) randomly. |
427 |
|
|
428 |
|
---------------------------------------------------------------------- |
429 |
|
Name: Matthias Blume |
430 |
|
Date: 2001/06/25 12:05:00 EDT |
431 |
|
Tag: blume-20010625-nlffigen |
432 |
|
Description: |
433 |
|
|
434 |
|
This update fixes a number of minor bugs in ml-nlffigen as reported by |
435 |
|
Nick Carter <nbc@andrew.cmu.edu>. |
436 |
|
|
437 |
|
1. Silly but ok typedefs of the form "typedef void myvoid;" are now accepted. |
438 |
|
2. Default names for generated files are now derived from the name of |
439 |
|
the C file *without its directory*. In particular, this causes generated |
440 |
|
files to be placed locally even if the C file is in some system directory. |
441 |
|
3. Default names for generated signatures and structures are also derived |
442 |
|
from the C file name without its directory. This avoids silly things |
443 |
|
like "structure GL/GL". |
444 |
|
(Other silly names are still possible because ml-nlffigen does not do |
445 |
|
a thorough check of whether generated names are legal ML identifiers. |
446 |
|
When in doubt, use command line arguments to force particular names.) |
447 |
|
|
448 |
|
---------------------------------------------------------------------- |
449 |
|
Name: Matthias Blume |
450 |
|
Date: 2001/06/21 12:25:00 EDT |
451 |
|
Tag: blume-20010621-eXene |
452 |
|
Description: |
453 |
|
|
454 |
|
eXene now compiles and (sort of) works again. |
455 |
|
|
456 |
|
The library name (for version > 110.33) is $/eXene.cm. |
457 |
|
|
458 |
|
I also added an new example in src/eXene/examples/nbody. See the |
459 |
|
README file there for details. |
460 |
|
|
461 |
|
---------------------------------------------------------------------- |
462 |
|
Name: Matthias Blume |
463 |
|
Date: 2001/06/20 16:40:00 EDT |
464 |
|
Tag: blume-20010620-cml |
465 |
|
Description: |
466 |
|
|
467 |
|
CML now compiles and works again. |
468 |
|
|
469 |
|
Libraries (for version > 110.33): |
470 |
|
|
471 |
|
$cml/cml.cm Main CML library. |
472 |
|
$cml/basis.cm CML's version of $/basis.cm. |
473 |
|
$cml/cml-internal.cm Internal helper library. |
474 |
|
$cml/core-cml.cm Internal helper library. |
475 |
|
$cml-lib/trace-cml.cm Tracing facility. |
476 |
|
$cml-lib/smlnj-lib.cm CML's version of $/smlnj-lib.cm |
477 |
|
|
478 |
|
The installer (config/install.sh) has been taught how to properly |
479 |
|
install this stuff. |
480 |
|
|
481 |
|
---------------------------------------------------------------------- |
482 |
|
Name: Matthias Blume |
483 |
|
Date: 2001/06/19 17:55:00 EDT |
484 |
|
Tag: blume-20010619-instantiate |
485 |
|
Description: |
486 |
|
|
487 |
|
This un-breaks the fix for bug 1432. |
488 |
|
(The bug was originally fixed in 110.9 but I broke it again some |
489 |
|
time after that.) |
490 |
|
|
491 |
|
---------------------------------------------------------------------- |
492 |
|
Name: Matthias Blume |
493 |
|
Date: 2001/06/19 17:25:00 EDT |
494 |
|
Tag: blume-20010619-signals |
495 |
|
Description: |
496 |
|
|
497 |
|
This should (hopefully) fix the long-standing signal handling bug. |
498 |
|
(The runtime system was constructing a continuation record with an |
499 |
|
incorrect descriptor which would cause the GC to drop data on the floor...) |
500 |
|
|
501 |
|
---------------------------------------------------------------------- |
502 |
|
Name: Matthias Blume |
503 |
|
Date: 2001/06/15 15:05:00 EDT |
504 |
|
Tag: blume-20010615-moresparc |
505 |
|
Description: |
506 |
|
|
507 |
|
Here is a short late-hour update related to Sparc c-calls: |
508 |
|
|
509 |
|
-- made handling of double-word arguments a bit smarter |
510 |
|
|
511 |
|
-- instruction selection phase tries to collapse certain clumsily |
512 |
|
constructed ML-Trees; typical example: |
513 |
|
|
514 |
|
ADD(ty,ADD(_,e,LI d1),LI d2) -> ADD(ty,e,LI(d1+d2)) |
515 |
|
|
516 |
|
This currently has no further impact on SML/NJ since mlriscGen does |
517 |
|
not seem to generate such patterns in the first place, and c-calls |
518 |
|
(which did generate them in the beginning) has meanwhile been fixed |
519 |
|
so as to avoid them as well. |
520 |
|
|
521 |
|
---------------------------------------------------------------------- |
522 |
|
Name: Matthias Blume |
523 |
|
Date: 2001/06/15 15:05:00 EDT |
524 |
|
Tag: blume-20010615-sparc |
525 |
|
Description: |
526 |
|
|
527 |
|
The purpose of this update is to provide an implementation of NLFFI |
528 |
|
on Sparc machines. |
529 |
|
|
530 |
|
Here are the changes in detail: |
531 |
|
|
532 |
|
* src/MLRISC/sparc/c-calls/sparc-c-calls.sml is a new file containing |
533 |
|
the Sparc implementation of the c-calls API. |
534 |
|
* The Sparc backend of SML/NJ has been modified to uniformely use %fp |
535 |
|
for accessing the ML frame. Thus, we have a real frame pointer and |
536 |
|
can freely modify %sp without need for an omit-frame-ptr phase. |
537 |
|
The vfp logic in src/compiler/CodeGen/* has been changed to accomodate |
538 |
|
this case. |
539 |
|
* ml-nlffigen has been taught to produce code for different architectures |
540 |
|
and calling conventions. |
541 |
|
* In a way similar to what was done in the x86 case, the Sparc |
542 |
|
backend uses its own specific extension to mltree. (For example, |
543 |
|
it needs to be able to generate UNIMP instructions which are part |
544 |
|
of the calling convention.) |
545 |
|
* ml-nlffi-lib was reorganized to make it more modular (in particular, |
546 |
|
to make it easier to plug in new machine- and os-dependent parts). |
547 |
|
|
548 |
|
There are some other fairly unrelated bug fixes and cleanups as well: |
549 |
|
|
550 |
|
* I further hacked the .cm files for MLRISC tools (like MDLGen) so |
551 |
|
that they properly share their libraries with existing SML/NJ libraries. |
552 |
|
* I fixed a minor cosmetic bug in CM, supressing certain spurious |
553 |
|
follow-up error messages. |
554 |
|
* Updates to CM/CMB documentation. |
555 |
|
|
556 |
|
TODO items: |
557 |
|
|
558 |
|
* MLRISC should use a different register as its asmTemp on the Sparc. |
559 |
|
(The current %o2 is a really bad choice because it is part of the |
560 |
|
calling conventions, so things might interfere in unexpected ways.) |
561 |
|
|
562 |
|
---------------------------------------------------------------------- |
563 |
|
Name: Matthias Blume |
564 |
|
Date: 2001/06/07 |
565 |
|
Tag: blume-20010607-calls |
566 |
|
Description: |
567 |
|
|
568 |
|
A number of internal changes related to C calls and calling conventions: |
569 |
|
|
570 |
|
1. ML-Tree CALL statements now carry a "pops" field. It indicates the |
571 |
|
number of bytes popped implicitly (by the callee). In most cases |
572 |
|
this field is 0 but on x86/win32 it is some non-zero value. This |
573 |
|
is information provided for the benefit of the "omit-frameptr" pass. |
574 |
|
2. The CALL instruction on the x86 carries a similar "pops" field. |
575 |
|
The instruction selection phase copies its value from the ML-Tree |
576 |
|
CALL statement. |
577 |
|
3. On all other architectures, the instruction selection phase checks |
578 |
|
whether "pops=0" and complains if not. |
579 |
|
4. The c-calls implementation for x86 now accepts two calling conventions: |
580 |
|
"ccall" and "stdcall". When "ccall" is selected, the caller cleans |
581 |
|
up after the call and pops is set to 0. For "stdcall", the caller |
582 |
|
does nothing, leaving the cleanup to the callee; pops is set to |
583 |
|
the number of bytes that were pushed onto the stack. |
584 |
|
5. The cproto decoder (compiler/Semant/types/cproto.sml) now can |
585 |
|
distinguish between "ccall" and "stdcall". |
586 |
|
6. The UNIMP instruction has been added to the supported Sparc instruction |
587 |
|
set. (This is needed for implementing the official C calling convention |
588 |
|
on this architecture.) |
589 |
|
7. I fixed some of the .cm files under src/MLRISC/Tools to make them |
590 |
|
work with the latest CM. |
591 |
|
|
592 |
|
---------------------------------------------------------------------- |
593 |
|
Name: Matthias Blume |
594 |
|
Date: 2001/06/05 15:10:00 EDT |
595 |
|
Tag: blume-20010605-cm-index |
596 |
|
Description: |
597 |
|
|
598 |
|
0. The "lambdasplit" parameter for class "sml" in CM has been documented. |
599 |
|
|
600 |
|
1. CM can now generate "index files". These are human-readable files |
601 |
|
that list on a per-.cm-file basis each toplevel symbol defined or |
602 |
|
imported. The location of the index file for |
603 |
|
<p>/<d>.cm is <p>/CM/INDEX/<d>.cm. |
604 |
|
To enable index-file generation, set CM.Control.generate_index to true |
605 |
|
or export an environment-symbol: export CM_GENERATE_INDEX=true. |
606 |
|
|
607 |
|
The CM manual has been updated accordingly. |
608 |
|
|
609 |
|
2. I made some slight modifications to the c-calls API in MLRISC. |
610 |
|
|
611 |
|
a) There is now a callback to support saving/restoring of |
612 |
|
dedicated but caller-save registers around the actual call |
613 |
|
instruction. |
614 |
|
b) One can optionally specify a comment-annotation for the |
615 |
|
call instruction. |
616 |
|
|
617 |
|
3. SML/NJ (mlriscGen.sml) uses this new API for the rawccall primop. |
618 |
|
(For example, the comment annotation shows the C prototype of |
619 |
|
the function being called.) |
620 |
|
|
621 |
|
---------------------------------------------------------------------- |
622 |
|
Name: Matthias Blume |
623 |
|
Date: 2001/06/01 13:30:00 EDT |
624 |
|
Tag: blume-20010601-nlffi-cleanup |
625 |
|
Description: |
626 |
|
|
627 |
|
This is mostly a cleanup of MLFFI stuff: |
628 |
|
|
629 |
|
- some signature files have been put into a more exposed place |
630 |
|
- the ugly 'f type parameter is gone (simplifies types tremendously!) |
631 |
|
- ml-nlffigen changed accordingly |
632 |
|
- tutorial updated |
633 |
|
|
634 |
|
Other changes: |
635 |
|
|
636 |
|
- author's affiliation in CM manual(s) updated |
637 |
|
- some more recognized keywords added to Allen's sml.sty |
638 |
|
|
639 |
|
---------------------------------------------------------------------- |
640 |
|
Name: Matthias Blume |
641 |
|
Date: 2001/05/25 15:30:00 EDT |
642 |
|
Tag: blume-20010525-iptr |
643 |
|
Description: |
644 |
|
|
645 |
|
- put the official 110.33-README (as it appears on the ftp server) under |
646 |
|
CVS |
647 |
|
- fixed a small bug related to incomplete pointer types in |
648 |
|
ml-nlffigen |
649 |
|
- small cosmetic change to the ml-nlffi-lib's "arr" type constructor |
650 |
|
(it does not need the 'f type parameter) |
651 |
|
|
652 |
|
---------------------------------------------------------------------- |
653 |
|
Name: Matthias Blume |
654 |
|
Date: 2001/05/23 14:30:00 EDT |
655 |
|
Tag: Release_110_33 |
656 |
|
Description: |
657 |
|
|
658 |
|
New version number (110.33). New bootfiles. |
659 |
|
|
660 |
|
---------------------------------------------------------------------- |
661 |
|
Name: Matthias Blume |
662 |
|
Date: 2001/05/22 18:06:00 EDT |
663 |
|
Tag: blume-20010522-targets |
664 |
|
Description: |
665 |
|
|
666 |
|
Made install.sh use file config/targets.customized if it exists, falling |
667 |
|
back to config/targets if it doesn't. This way one can have a customized |
668 |
|
version of the targets file without touching the "real thing", thus |
669 |
|
eliminating the constant fear of accidentally checking something bogus |
670 |
|
back into the CVS repository... (File config/targets.customized must |
671 |
|
not be added to the repository!) |
672 |
|
|
673 |
|
---------------------------------------------------------------------- |
674 |
|
Name: Matthias Blume |
675 |
|
Date: 2001/05/22 16:30:00 EDT |
676 |
|
Tag: blume-20010522-minitut |
677 |
|
Description: |
678 |
|
|
679 |
|
1. Bug fix in ml-nlffigen; now (hopefully) correctly handling |
680 |
|
struct returns. |
681 |
|
2. Added src/ml-nlffi-lib/Doc/mini-tutorial.txt. This is some very |
682 |
|
incomplete, preliminary documentation for NLFFI. |
683 |
|
|
684 |
|
---------------------------------------------------------------------- |
685 |
|
Name: Matthias Blume |
686 |
Date: 2001/05/14 11:30:00 EDT |
Date: 2001/05/14 11:30:00 EDT |
687 |
Tag: blume-20010514-script |
Tag: blume-20010514-script |
688 |
Description: |
Description: |