| 1 : |
blume |
1040 |
S M L / N J
|
| 2 : |
|
|
|
| 3 : |
|
|
1 1 0 . 3 8 N E W S
|
| 4 : |
|
|
|
| 5 : |
|
|
January 28, 2002
|
| 6 : |
|
|
|
| 7 : |
|
|
WARNING
|
| 8 : |
|
|
|
| 9 : |
|
|
This version is intended for compiler hackers. The
|
| 10 : |
|
|
version ought to be stable, however we have not run
|
| 11 : |
|
|
our full regression testing.
|
| 12 : |
|
|
|
| 13 : |
|
|
http://cm.bell-labs.com/cm/cs/what/smlnj/index.html
|
| 14 : |
|
|
|
| 15 : |
|
|
|
| 16 : |
|
|
Summary:
|
| 17 : |
|
|
|
| 18 : |
|
|
Major internal improvements to MLRISC. A re-worked FFI. Bug fixes.
|
| 19 : |
|
|
|
| 20 : |
|
|
--------------------------------------------------------------------------
|
| 21 : |
|
|
|
| 22 : |
|
|
Details:
|
| 23 : |
|
|
|
| 24 : |
|
|
FFI:
|
| 25 : |
|
|
|
| 26 : |
|
|
- A complete overhaul of the library interfaces and the glue-code
|
| 27 : |
|
|
generator (ml-nlffigen). The implementation now scales much better,
|
| 28 : |
|
|
making it possible to target huge C libraries such as gtk+ etc.
|
| 29 : |
|
|
(See the README file under src/ml-nlffigen.)
|
| 30 : |
|
|
|
| 31 : |
|
|
- ML represenation types have been streamlined
|
| 32 : |
|
|
|
| 33 : |
|
|
- Getter and setter functions work with concrete values, not abstract
|
| 34 : |
|
|
ones where possible.
|
| 35 : |
|
|
- WORD-style bit-operations on INTEGER representations added.
|
| 36 : |
|
|
|
| 37 : |
|
|
- Ml-nlffigen command line more flexible (see README file).
|
| 38 : |
|
|
|
| 39 : |
|
|
- C_Debug added as an alternative to structure C. The difference is
|
| 40 : |
|
|
that it always checks for NULL on pointer-dereference operations.
|
| 41 : |
|
|
|
| 42 : |
|
|
- DynLinkage.open_lib' added. This function takes an additional list
|
| 43 : |
|
|
of library handles. This is used for expressing inter-library
|
| 44 : |
|
|
(symbol-resolution-)dependencies.
|
| 45 : |
|
|
|
| 46 : |
|
|
- bug fixes
|
| 47 : |
|
|
|
| 48 : |
|
|
MLRISC:
|
| 49 : |
|
|
|
| 50 : |
|
|
- There is a dramatic simplification in the interface to the
|
| 51 : |
|
|
register allocator for RISC architectures as a result of making
|
| 52 : |
|
|
parallel copy instructions explicit.
|
| 53 : |
|
|
|
| 54 : |
|
|
- Bugs in x86-fast-fp have been fixed. It is now turned on by default
|
| 55 : |
|
|
in SML/NJ.
|
| 56 : |
|
|
|
| 57 : |
|
|
- Changed the representation of instructions from being fully abstract
|
| 58 : |
|
|
to being partially concrete. See HISTORY file for more details.
|
| 59 : |
|
|
|
| 60 : |
|
|
- Removed the native COPY and FCOPY instructions from all the
|
| 61 : |
|
|
architectures and replaced it with the explicit COPY instruction
|
| 62 : |
|
|
from the previous commit.
|
| 63 : |
|
|
|
| 64 : |
|
|
- Since COPY instructions are no longer native to the architecture,
|
| 65 : |
|
|
a generic functor can be used to implement the expandCopies function.
|
| 66 : |
|
|
|
| 67 : |
|
|
- Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
|
| 68 : |
|
|
TEXT segment.
|
| 69 : |
|
|
|
| 70 : |
|
|
- bug fixes
|
| 71 : |
|
|
|
| 72 : |
|
|
misc:
|
| 73 : |
|
|
|
| 74 : |
|
|
- Allen Leung's "nowhere" tool added.
|
| 75 : |
|
|
- Minor modifications to pgraph.
|
| 76 : |
|
|
- rounding mode-related bug fixed in Basis library
|
Parent Directory
| 
Revision Log
