| 1 : |
blume |
780 |
|
| 2 : |
|
|
S M L / N J
|
| 3 : |
|
|
|
| 4 : |
|
|
1 1 0 . 3 1 N E W S
|
| 5 : |
|
|
|
| 6 : |
|
|
December 8, 2000
|
| 7 : |
|
|
|
| 8 : |
|
|
WARNING
|
| 9 : |
|
|
|
| 10 : |
|
|
This version is intended for compiler hackers. The
|
| 11 : |
|
|
version ought to be usable, however we have not run
|
| 12 : |
|
|
our full regression testing.
|
| 13 : |
|
|
|
| 14 : |
|
|
http://cm.bell-labs.com/cm/cs/what/smlnj/index.html
|
| 15 : |
|
|
|
| 16 : |
|
|
|
| 17 : |
|
|
Summary:
|
| 18 : |
|
|
A couple of bug fixes and internal changes.
|
| 19 : |
|
|
|
| 20 : |
|
|
Bug Fixes:
|
| 21 : |
|
|
1514. sockets c-library broken
|
| 22 : |
|
|
1582. SysErr exception connecting to socket
|
| 23 : |
|
|
1585. getpeername in sockets
|
| 24 : |
|
|
|
| 25 : |
|
|
MLRISC:
|
| 26 : |
|
|
|
| 27 : |
|
|
Intel X86:
|
| 28 : |
|
|
|
| 29 : |
|
|
Internal Changes:
|
| 30 : |
|
|
|
| 31 : |
|
|
1. Interface to CELLS and the type of cell, cellkind, cellset etc.
|
| 32 : |
|
|
|
| 33 : |
|
|
2. No more regmaps!! The attributes of cells, including its current color,
|
| 34 : |
|
|
are accessible from CELLS interface. Cells can now take arbitrary
|
| 35 : |
|
|
annotations. [They will also have a width attribute in the next
|
| 36 : |
|
|
go around.]
|
| 37 : |
|
|
|
| 38 : |
|
|
3. Interface of STREAM etc have changed (again, no more regmap).
|
| 39 : |
|
|
|
| 40 : |
|
|
4. Some MLTREE constructors, like, IF, BCC, JMP, CALL, etc have
|
| 41 : |
|
|
been simplified. CVTI2I has been renamed into SX and ZX respectively,
|
| 42 : |
|
|
following the lambda rtl convention.
|
| 43 : |
|
|
|
| 44 : |
|
|
5. The old RA interface was getting too complicated. There are now
|
| 45 : |
|
|
two functors, RISC_RA (in ra/risc_ra.sml) and X86RA (in x86/ra/x86RA.sml)
|
| 46 : |
|
|
which abstract out from all the ugly business. The first is for
|
| 47 : |
|
|
RISC machines, and the second is for x86. Please let us know if you
|
| 48 : |
|
|
use these functors.
|
| 49 : |
|
|
|
| 50 : |
|
|
6. The cell change broke the peephole phases, because they used to
|
| 51 : |
|
|
pattern match on specific cell number. I (Allen) hacked up a simple
|
| 52 : |
|
|
tool to translate fake SML with where clauses into real ML. This makes
|
| 53 : |
|
|
it much easier to write the rules. Seems to work. (See Tools/WhereGen)
|
Parent Directory
| 
Revision Log
