13 |
Description: |
Description: |
14 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
15 |
Name: Matthias Blume |
Name: Matthias Blume |
16 |
|
Date: 2000/06/09 12:40:00 |
17 |
|
Tag: blume-20000609-log |
18 |
|
Description: |
19 |
|
|
20 |
|
- Removed all(?) remaining RCS Log entries from sources. |
21 |
|
|
22 |
|
- Fixed bug in ml-yacc and ml-lex sources (use explicit anchors for |
23 |
|
anchored paths). |
24 |
|
|
25 |
|
---------------------------------------------------------------------- |
26 |
|
Name: Matthias Blume |
27 |
|
Date: 2000/06/07 17:00:00 JST |
28 |
|
Tag: blume-20000607-no-implicit-anchors |
29 |
|
Description: |
30 |
|
|
31 |
|
1. This update changes the default setting for |
32 |
|
CM.Control.implicit_anchors from true to false. This means that |
33 |
|
implicit anchors are no longer permitted by default. I also tried to |
34 |
|
make sure that nothing else still relies on implicit anchors. |
35 |
|
(This is the next step on the schedule towards a CM that does not even |
36 |
|
have the notion of implicit anchors anymore.) |
37 |
|
|
38 |
|
2. More CM manual updates. |
39 |
|
|
40 |
|
3. I managed to track down and fix the pickling bug I mentioned last |
41 |
|
time. Because of the previously existing workaround, this entails no |
42 |
|
immediate practical changes. |
43 |
|
|
44 |
|
---------------------------------------------------------------------- |
45 |
|
Name: Matthias Blume |
46 |
|
Date: 2000/06/06 11:15:00 JST |
47 |
|
Tag: blume-20000606-lazierpickle |
48 |
|
Description: |
49 |
|
|
50 |
|
!!!! NEW BOOT FILES !!!! |
51 |
|
|
52 |
|
* The main purpose of this update is to make library pickles lazier in |
53 |
|
order to reduce the initial space penalty for autoloading a library. |
54 |
|
As a result, it is now possible to have $smlnj/compiler.cm |
55 |
|
pre-registered. This should take care of the many complaints or |
56 |
|
inquiries about missing structure Compiler. This required changes to |
57 |
|
CM's internal data structures and small tweaks to some algorithms. |
58 |
|
|
59 |
|
As a neat additional effect, it is no longer necessary (for the sake |
60 |
|
of lean heap image files) to distinguish between a "minimal" CM and a |
61 |
|
"full" CM. Now, there is only one CM (i.e., the "full" version: |
62 |
|
$smlnj/cm.cm aka $smlnj/cm/full.cm), and it is always available at the |
63 |
|
interactive top level. ($smlnj/cm/minimal.cm is gone.) |
64 |
|
|
65 |
|
To make the life of compiler-hackers easier, "makeml" now also |
66 |
|
pre-registers $smlnj/cmb.cm (aka $smlnj/cmb/current.cm). In other |
67 |
|
words, after you bootstrap a new sml for the first time, you will not |
68 |
|
have to autoload $smlnj/cmb.cm again afterwards. (The first time |
69 |
|
around you will still have to do it, though.) |
70 |
|
|
71 |
|
* A second change consists of major updates to the CM manual. There |
72 |
|
are now several appendices with summary information and also a full |
73 |
|
specification of the CM description file syntax. |
74 |
|
|
75 |
|
* In directory src/system I added the script "allcross". This script |
76 |
|
invokes sml and cross-compiles the compiler for all supported |
77 |
|
architectures. (Useful when providing a new set of boot files.) |
78 |
|
|
79 |
|
* There seems to be a latent bug in my "lazy pickles" mechanism. I |
80 |
|
added a small tweak to pickle-util.sml to work around this problem, |
81 |
|
but it is not a proper fix yet. I will investigate further. (The |
82 |
|
effect of the bug was an inflation of library pickle size.) |
83 |
|
|
84 |
|
* Version number increased to 110.28.1 (to avoid compatibility problems). |
85 |
|
|
86 |
|
---------------------------------------------------------------------- |
87 |
|
Name: Allen Leung |
88 |
|
Date: 2000/05/25 17:28 EDT |
89 |
|
Tag: leunga-20000525-ra |
90 |
|
Description: |
91 |
|
|
92 |
|
Fixed a bug in freezing phase of the register allocator. |
93 |
|
|
94 |
|
---------------------------------------------------------------------- |
95 |
|
Name: Allen Leung |
96 |
|
Date: 2000/05/15 22:53 EDT |
97 |
|
Tag: leunga-20000515-alpha-x86-ra |
98 |
|
Description: |
99 |
|
|
100 |
|
1. Alpha |
101 |
|
|
102 |
|
Slight cleanup. Removed the instruction SGNXL |
103 |
|
|
104 |
|
2. X86 |
105 |
|
|
106 |
|
Added the following instructions to the instruction set: |
107 |
|
|
108 |
|
ROLx, RORx, |
109 |
|
BTx, BTSx, BTLx, BTRx, |
110 |
|
XCHGx, and variants with the LOCK prefix |
111 |
|
|
112 |
|
3. Register Allocation |
113 |
|
|
114 |
|
The module ra-rewrite-with-renaming has been improved. |
115 |
|
|
116 |
|
These have no effect on SML/NJ. |
117 |
|
|
118 |
|
---------------------------------------------------------------------- |
119 |
|
Name: Matthias Blume |
120 |
|
Date: 2000/05/15 16:20:00 JST |
121 |
|
Tag: blume-20000515-lightrebuild |
122 |
|
Description: |
123 |
|
|
124 |
|
1. I added an alternative to "-rebuild" to "makeml". The difference is |
125 |
|
that prior to calling CMB.make' the CM-variable "LIGHT" will be |
126 |
|
defined. In effect, the command will not build any cross-compiler |
127 |
|
backends and therefore finish more quickly. |
128 |
|
|
129 |
|
The "fixpt" script also takes a "-light" switch to be able to use |
130 |
|
this new facility while compiling for a fixpoint. |
131 |
|
|
132 |
|
2. I replaced all mentions of anchored paths in group owner specifications |
133 |
|
with simple relative paths (usually starting with ".."). |
134 |
|
The rationale is that a library's internal workings should not be |
135 |
|
compromised by the lack of some anchor. (An anchor is necessary |
136 |
|
for someone who wants to refer to the library by an anchored path, |
137 |
|
but it should not be necessary to build the same library in the first |
138 |
|
place.) |
139 |
|
|
140 |
|
3. I changed the way CM's tool mechanism determines the shell command |
141 |
|
string used for things like ml-yacc etc. so that it does not break |
142 |
|
when CM.Control.implicit_anchors is turned off. |
143 |
|
|
144 |
|
---------------------------------------------------------------------- |
145 |
|
Name: Matthias Blume |
146 |
|
Date: 2000/05/12 18:20:00 JST |
147 |
|
Tag: blume-20000512-ml-build |
148 |
|
Description: |
149 |
|
|
150 |
|
Fixed a bug in config/_ml-build that prevented ml-yacc and ml-lex from |
151 |
|
getting installed properly (by config/install.sh). |
152 |
|
|
153 |
|
---------------------------------------------------------------------- |
154 |
|
Name: Matthias Blume |
155 |
Date: 2000/05/12 17:30:00 JST |
Date: 2000/05/12 17:30:00 JST |
156 |
Tag: blume-20000512-anchors |
Tag: blume-20000512-anchors |
157 |
Description: |
Description: |