| 12 |
Tag: <post-commit CVS tag> |
Tag: <post-commit CVS tag> |
| 13 |
Description: |
Description: |
| 14 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
| 15 |
|
Name: Matthias Blume |
| 16 |
|
Date: 2000/12/15 00:01:05 JST |
| 17 |
|
Tag: blume-20001215-dirtool |
| 18 |
|
Description: |
| 19 |
|
|
| 20 |
|
- "dir" tool added. |
| 21 |
|
- improvements and cleanup to Tools structure |
| 22 |
|
- documentation updates |
| 23 |
|
|
| 24 |
|
---------------------------------------------------------------------- |
| 25 |
|
Name: Allen Leung |
| 26 |
|
Date: Thu Dec 14 03:45:24 EST 2000 |
| 27 |
|
Description: |
| 28 |
|
Tag: leunga-20001214-int-inf |
| 29 |
|
Description: |
| 30 |
|
|
| 31 |
|
In IntInf, added these standard functions, which are missing from our |
| 32 |
|
implementation: |
| 33 |
|
|
| 34 |
|
andb : int * int -> int |
| 35 |
|
xorb : int * int -> int |
| 36 |
|
orb : int * int -> int |
| 37 |
|
notb : int -> int |
| 38 |
|
<< : int * word -> int |
| 39 |
|
~>> : int * word -> int |
| 40 |
|
|
| 41 |
|
Not tested, I hope they are correct. |
| 42 |
|
|
| 43 |
|
---------------------------------------------------------------------- |
| 44 |
|
Name: Allen Leung |
| 45 |
|
Date: Fri Dec 8 19:23:26 EST 2000 |
| 46 |
|
Description: |
| 47 |
|
Tag: leunga-20001208-nowhere |
| 48 |
|
Description: |
| 49 |
|
|
| 50 |
|
Slight improvements to the 'nowhere' tool to handle OR-patterns, |
| 51 |
|
to generate better error messages etc. Plus a brief manual. |
| 52 |
|
|
| 53 |
|
---------------------------------------------------------------------- |
| 54 |
|
Name: Lal George |
| 55 |
|
Date: 2000/12/08 09:54:02 EST 2000 |
| 56 |
|
Tag: Release_110_31 |
| 57 |
|
Description: |
| 58 |
|
|
| 59 |
|
- Version 110.31 |
| 60 |
|
---------------------------------------------------------------------- |
| 61 |
|
Name: Allen Leung |
| 62 |
|
Date: Thu Dec 7 22:01:04 EST 2000 |
| 63 |
|
Tag: leunga-20001207-cell-monster-hack |
| 64 |
|
Description: |
| 65 |
|
|
| 66 |
|
Major MLRISC internal changes. Affect all clients. |
| 67 |
|
Summary: |
| 68 |
|
|
| 69 |
|
1. Type CELLS.cell = int is now replaced by a datatype. |
| 70 |
|
As a result, the old regmap is now gone. Almost all interfaces |
| 71 |
|
in MLRISC change as a consequence. |
| 72 |
|
|
| 73 |
|
2. A new brand version of machine description tool (v3.0) that generates |
| 74 |
|
modules expecting the new interface. The old version is removed. |
| 75 |
|
|
| 76 |
|
3. The RA interface has been further abstracted into two new functors. |
| 77 |
|
RISC_RA and X86RA. These functors have much simpler interfaces. |
| 78 |
|
[See also directory MLRISC/demo.] |
| 79 |
|
|
| 80 |
|
4. Some other new source->source code generation tools are available: |
| 81 |
|
|
| 82 |
|
a. MLRISC/Tools/RewriteGen -- generate rewriters from rules. |
| 83 |
|
b. MLRISC/Tools/WhereGen -- expands conditional pattern matching rules. |
| 84 |
|
I use this tool to generate the peephole optimizers---with the new |
| 85 |
|
cell type changes, peephole rules are becoming difficult to write |
| 86 |
|
without conditional pattern matching. |
| 87 |
|
|
| 88 |
|
5. More Intmap -> IntHashTable change. Previous changes by Matthias didn't |
| 89 |
|
cover the entire MLRISC source tree so many things broke. |
| 90 |
|
|
| 91 |
|
6. CM files have been moved to the subdirectory MLRISC/cm. |
| 92 |
|
They are moved because there are a lot of them and they clutter up the |
| 93 |
|
root dir. |
| 94 |
|
|
| 95 |
|
7. More detailed documentation to come... |
| 96 |
|
|
| 97 |
|
NOTE: To rebuild from 110.30 (ftp distribution), you'll have to do |
| 98 |
|
a makeml -rebuild first. This is because of other other |
| 99 |
|
changes that Matthias has made (see below). |
| 100 |
|
|
| 101 |
|
|
| 102 |
|
---------------------------------------------------------------------- |
| 103 |
|
Name: Matthias Blume |
| 104 |
|
Date: 2000/11/30 23:12:00 JST |
| 105 |
|
Tag: blume-20001130-filereorg |
| 106 |
|
Description: |
| 107 |
|
|
| 108 |
|
Some manual updates and some file reorganizations in CM. |
| 109 |
|
|
| 110 |
|
---------------------------------------------------------------------- |
| 111 |
|
Name: Matthias Blume |
| 112 |
|
Date: 2000/11/24 17:45:00 JST |
| 113 |
|
Tag: blume-20001124-link |
| 114 |
|
Description: |
| 115 |
|
|
| 116 |
|
Drastically improved link traversal code for the case that the dynamic |
| 117 |
|
value was already loaded at bootstrap time. As a result, CM and CMB |
| 118 |
|
now both load blazingly fast -- even on a very slow machine. Also, |
| 119 |
|
memory consumption has been further reduced by this. |
| 120 |
|
|
| 121 |
|
Warning: The format of the PIDMAP file has changed. THerefore, to |
| 122 |
|
bootstrap you have to do this: |
| 123 |
|
|
| 124 |
|
1. Run CMB.make |
| 125 |
|
2. Make a symbolic link for the boot directory: |
| 126 |
|
ln -s sml.boot.ARCH-OS xxx |
| 127 |
|
3. "Rebuild" the boot directory: |
| 128 |
|
./makeml -boot xxx -rebuild sml ; rm xxx |
| 129 |
|
4. Boot normally: |
| 130 |
|
./makeml |
| 131 |
|
|
| 132 |
|
---------------------------------------------------------------------- |
| 133 |
|
Name: Matthias Blume |
| 134 |
|
Date: 2000/11/21 21:20:00 JST |
| 135 |
|
Tag: blume-20001121-tools |
| 136 |
|
Description: |
| 137 |
|
|
| 138 |
|
Continued hacking on autoloading problem -- with success this time. |
| 139 |
|
Also changed tool-plugin mechanism. See new CM manual. |
| 140 |
|
|
| 141 |
|
---------------------------------------------------------------------- |
| 142 |
|
Name: Matthias Blume |
| 143 |
|
Date: 2000/11/19 14:30:00 JST |
| 144 |
|
Tag: blume-20001119-autoload |
| 145 |
|
Description: |
| 146 |
|
|
| 147 |
|
Some hacking to make autoloading faster. Success for CMB, no success |
| 148 |
|
so far for CM. There is a reduced structure CM' that autoloads faster. |
| 149 |
|
(This is a temporary, non-documented hack to be eliminated again when |
| 150 |
|
the general problem is solved.) |
| 151 |
|
|
| 152 |
|
---------------------------------------------------------------------- |
| 153 |
|
Name: Matthias Blume |
| 154 |
|
Date: 2000/11/17 14:10:00 JST |
| 155 |
|
Tag: blume-20001117-pickle-lib |
| 156 |
|
Description: |
| 157 |
|
|
| 158 |
|
1. Eliminated comp-lib.cm |
| 159 |
|
2. Made pickle-lib.cm |
| 160 |
|
3. Eliminated all uses of intset.sml (from comp-lib.cm) |
| 161 |
|
4. Replaced all uses of intmap.{sig,sml} (from comp-lib.cm) with |
| 162 |
|
equivalent constructs from smlnj-lib.cm (INtHashTable). |
| 163 |
|
5. Point 4. also goes for those uses of intmap.* in MLRISC. |
| 164 |
|
Duplicated intmap modules thrown out. |
| 165 |
|
6. Hunted down all duplicated SCC code and replaced it with |
| 166 |
|
equivalent stuff (GraphSCCFn from smlnj-lib.cm). |
| 167 |
|
7. Rewrote Feedback module. |
| 168 |
|
8. Moved sortedlist.sml into viscomp-lib.cm. Eventually it |
| 169 |
|
should be thrown out and equivalent modules from smlnj-lib.cm |
| 170 |
|
should be used (IntRedBlackSet, IntListSet, ...). |
| 171 |
|
|
| 172 |
|
Confirmed that compiler compiles to fixpoint. |
| 173 |
|
|
| 174 |
|
---------------------------------------------------------------------- |
| 175 |
|
Name: Allen Leung |
| 176 |
|
Date: 2000/11/10 18:00:00 |
| 177 |
|
Tag: leunga-20001110-new-x86-fp |
| 178 |
|
|
| 179 |
|
A new x86 floating point code generator has been added. |
| 180 |
|
By default this is turned off. To turn this on, do: |
| 181 |
|
|
| 182 |
|
CM.autoload "$smlnj/compiler.cm"; |
| 183 |
|
Compiler.Control.MLRISC.getFlag "x86-fast-fp" := true; |
| 184 |
|
|
| 185 |
|
Changes: |
| 186 |
|
|
| 187 |
|
1. Changed FTAN to FPTAN so that the assembly output is correct. |
| 188 |
|
2. Changed the extension callback for FTANGENT to generate: |
| 189 |
|
|
| 190 |
|
fptan |
| 191 |
|
fstp %st(0) |
| 192 |
|
instead of |
| 193 |
|
fptan |
| 194 |
|
fstpl ftempmem |
| 195 |
|
|
| 196 |
|
3. Numerous assembly fixes for x86. |
| 197 |
|
|
| 198 |
|
5. Cleaned up the machine code output module x86/x86MC.sml and added |
| 199 |
|
support for a whole bunch of instructions and addressing modes: |
| 200 |
|
|
| 201 |
|
fadd/fsub/fsubr/fmul/fdiv/fdivr %st, %st(n) |
| 202 |
|
faddp/fsubp/fsubrp/fmulp/fdivp/fdivrp %st, %st(n) |
| 203 |
|
fadd/fsub/fsubr/fmul/fdiv/fdivr %st(n), %st |
| 204 |
|
fiadd/fisub/fisubr/fimul/fidiv/fidivr mem |
| 205 |
|
fxch %st(n) |
| 206 |
|
fld %st(n) |
| 207 |
|
fst %st(n) |
| 208 |
|
fst mem |
| 209 |
|
fstp %st(n) |
| 210 |
|
fucom %st(n) |
| 211 |
|
fucomp %st(n) |
| 212 |
|
|
| 213 |
|
All these are now generated when the fast fp mode is turned on. |
| 214 |
|
|
| 215 |
|
6. Removed the dedicated registers %st(0), ..., %st(7) from X86CpsRegs |
| 216 |
|
|
| 217 |
|
---------------------------------------------------------------------- |
| 218 |
|
Name: Matthias Blume |
| 219 |
|
Date: 2000/11/09 11:20:00 JST |
| 220 |
|
Tag: blume-20001109-scc |
| 221 |
|
Description: |
| 222 |
|
|
| 223 |
|
Eliminated some code duplication: |
| 224 |
|
|
| 225 |
|
1. Added "where" clause to GraphSCCFn in SML/NJ Library. |
| 226 |
|
(Otherwise the functor is useless.) |
| 227 |
|
2. Used GraphSCCFn where SCCUtilFun was used previously. |
| 228 |
|
3. Got rid of SCCUtilFun (in comp-lib.cm). |
| 229 |
|
|
| 230 |
|
---------------------------------------------------------------------- |
| 231 |
|
Name: Lal George |
| 232 |
|
Date: 2000/11/06 09:02:21 EST 2000 |
| 233 |
|
Tag: Release_110_30 |
| 234 |
|
Description: |
| 235 |
|
|
| 236 |
|
- Version 110.30 |
| 237 |
|
---------------------------------------------------------------------- |
| 238 |
|
Name: Matthias Blume |
| 239 |
|
Date: 2000/11/04 14:45:00 |
| 240 |
|
Tag: blume-20001104-mlbuild |
| 241 |
|
Description: |
| 242 |
|
|
| 243 |
|
- Made ml-build faster on startup. |
| 244 |
|
- Documentation fixes. |
| 245 |
|
|
| 246 |
|
---------------------------------------------------------------------- |
| 247 |
|
Name: Matthias Blume |
| 248 |
|
Date: 2000/11/02 17:00:00 JST |
| 249 |
|
Tag: blume-20001102-condcomp |
| 250 |
|
Description: |
| 251 |
|
|
| 252 |
|
- Small tweaks to pickler -- new BOOTFILES! |
| 253 |
|
- Version bumped to 110.29.2. |
| 254 |
|
- Added conditional compilation facility to init.cmi (see comment there). |
| 255 |
|
---------------------------------------------------------------------- |
| 256 |
|
Name: Allen Leung |
| 257 |
|
Date: 2000/10/23 19:31:00 |
| 258 |
|
Tag: leunga-20001023-demo-ra |
| 259 |
|
|
| 260 |
|
1. Minor RA changes that improves spilling on x86 (affects Moby and C-- only) |
| 261 |
|
2. Test programs for the graph library updated |
| 262 |
|
3. Some new MLRISC demo programs added |
| 263 |
|
|
| 264 |
|
---------------------------------------------------------------------- |
| 265 |
|
Name: Matthias Blume |
| 266 |
|
Date: 2000/08/31 22:15:00 JST |
| 267 |
|
Tag: blume-20001017-errmsg |
| 268 |
|
Description: |
| 269 |
|
|
| 270 |
|
More error message grief: Where there used to be no messages, there |
| 271 |
|
now were some that had bogus error regions. Fixed. |
| 272 |
|
|
| 273 |
|
---------------------------------------------------------------------- |
| 274 |
|
Name: Matthias Blume |
| 275 |
|
Date: 2000/08/31 17:30:00 JST |
| 276 |
|
Tag: blume-20001017-v110p29p1 |
| 277 |
|
Description: |
| 278 |
|
|
| 279 |
|
I made a version 110.29.1 with new bootfiles. |
| 280 |
|
|
| 281 |
|
Changes: Modified pickler/unpickler for faster and leaner unpickling. |
| 282 |
|
CM documentation changes and a small bugfix in CM's error reporting. |
| 283 |
|
|
| 284 |
|
---------------------------------------------------------------------- |
| 285 |
|
Name: Lal George |
| 286 |
|
Date: 2000/09/27 14:42:35 EDT |
| 287 |
|
Tag: george-20000927-nodestatus |
| 288 |
|
Description: |
| 289 |
|
|
| 290 |
|
Changed the type of the nodestatus, so that: |
| 291 |
|
|
| 292 |
|
SPILLED(~1) is now SPILLED |
| 293 |
|
SPILLED(m) where m>=0 is now MEMREG(m) |
| 294 |
|
SPILLED(s) where s<~1 is now SPILL_LOC(~s) |
| 295 |
|
|
| 296 |
|
---------------------------------------------------------------------- |
| 297 |
|
Name: Matthias Blume |
| 298 |
|
Date: 2000/09/07 14:45:00 JST |
| 299 |
|
Tag: blume-20000907-cmerrmsg |
| 300 |
|
Description: |
| 301 |
|
|
| 302 |
|
Small tweak to CM to avoid getting ML syntax error messages twice. |
| 303 |
|
|
| 304 |
|
---------------------------------------------------------------------- |
| 305 |
|
Name: Matthias Blume |
| 306 |
|
Date: 2000/08/31 18:00:00 JST |
| 307 |
|
Tag: blume-20000831-cvsbootfiles |
| 308 |
|
Description: |
| 309 |
|
|
| 310 |
|
New URL for boot files (because the 110.29 files on the BL server do |
| 311 |
|
now work correctly with my updated install scripts for yacc and lex). |
| 312 |
|
|
| 313 |
|
---------------------------------------------------------------------- |
| 314 |
|
Name: Matthias Blume |
| 315 |
|
Date: 2000/08/08 12:33:00 JST |
| 316 |
|
Tag: blume-20000808-manual |
| 317 |
|
Description: |
| 318 |
|
|
| 319 |
|
Tiny update to CM manual. |
| 320 |
|
|
| 321 |
|
---------------------------------------------------------------------- |
| 322 |
|
Name: Allen Leung |
| 323 |
|
Date: 2000/08/7 19:31:00 |
| 324 |
|
Tag: leunga-20000807-a-whole-bunch-of-stuff |
| 325 |
|
|
| 326 |
|
Moby, C--, SSA, x86, machine descriptions etc. Should only affect C-- |
| 327 |
|
and Mobdy. |
| 328 |
|
|
| 329 |
|
1. x86 |
| 330 |
|
|
| 331 |
|
a. Fixes to peephole module by John and Dan. |
| 332 |
|
b. Assembly fix to SETcc by Allen. |
| 333 |
|
c. Fix to c-call by John. |
| 334 |
|
d. Fix to spilling by John. (This one deals with the missing FSTPT case) |
| 335 |
|
e. Instruction selection optimization to SETcc as suggested by John. |
| 336 |
|
|
| 337 |
|
For example, |
| 338 |
|
|
| 339 |
|
MV(32, x, COND(32, CMP(32, LT, a, b), LI 1, LI 0)) |
| 340 |
|
|
| 341 |
|
should generate: |
| 342 |
|
|
| 343 |
|
MOVL a, x |
| 344 |
|
SUBL b, x |
| 345 |
|
SHRL 31, x |
| 346 |
|
|
| 347 |
|
2. IR stuff |
| 348 |
|
|
| 349 |
|
A bunch of new DJ-graph related algorithms added. These |
| 350 |
|
speed up SSA construction. |
| 351 |
|
|
| 352 |
|
3. SSA + Scheduling |
| 353 |
|
|
| 354 |
|
Added code for SSA and scheduling to the repository |
| 355 |
|
|
| 356 |
|
---------------------------------------------------------------------- |
| 357 |
|
Name: Lal George |
| 358 |
|
Date: 2000/07/27 11:53:14 EDT |
| 359 |
|
|
| 360 |
|
Tag: lal-20000727-linux-ppc |
| 361 |
|
Description: |
| 362 |
|
|
| 363 |
|
Made changes to support Linux PPC. |
| 364 |
|
p.s. I have confirmation that the 110.29 boot files work fine. |
| 365 |
|
|
| 366 |
|
---------------------------------------------------------------------- |
| 367 |
|
Name: Matthias Blume |
| 368 |
|
Date: 2000/07/27 17:40:00 JST |
| 369 |
|
Tag: blume-20000727-scripts |
| 370 |
|
Description: |
| 371 |
|
|
| 372 |
|
!!!! WARNING !!!! |
| 373 |
|
You must recompile the runtime system! |
| 374 |
|
!!!! WARNING !!!! |
| 375 |
|
|
| 376 |
|
This is basically another round of script-enhancements: |
| 377 |
|
|
| 378 |
|
1. sml, ml-build, and ml-makedepend accept options -D and -U to define |
| 379 |
|
and undefine CM preprocessor symbols. |
| 380 |
|
|
| 381 |
|
2. ml-build avoids generating a new heap image if it finds that the |
| 382 |
|
existing one is still ok. (The condition is that no ML file had to |
| 383 |
|
be recompiled and all ML files are found to be older that the heap |
| 384 |
|
file.) |
| 385 |
|
|
| 386 |
|
To make this work smoothly, I also hacked the runtime system as |
| 387 |
|
well as SMLofNJ.SysInfo to get access to the heap image suffix |
| 388 |
|
(.sparc-solaris, ...) that is currently being used. |
| 389 |
|
|
| 390 |
|
Moreover, the signature of CM.mk_standalone has changed. See the |
| 391 |
|
CM manual. |
| 392 |
|
|
| 393 |
|
3. ml-makedepend accepts additional options -n, -a, and -o. (See the |
| 394 |
|
CM manual for details.) |
| 395 |
|
|
| 396 |
|
4. More CM manual updates: |
| 397 |
|
- all of the above has been documented. |
| 398 |
|
- there is now a section describing the (CM-related) command line |
| 399 |
|
arguments that are accepted by the "sml" command |
| 400 |
|
|
| 401 |
|
---------------------------------------------------------------------- |
| 402 |
|
Name: Matthias Blume |
| 403 |
|
Date: 2000/07/25 16:20:00 JST |
| 404 |
|
Tag: blume-20000725-makedepend |
| 405 |
|
Description: |
| 406 |
|
|
| 407 |
|
Added a script called ml-makedepend. This can be used in makefiles |
| 408 |
|
for Unix' make in a way very similar to the "makedepend" command for |
| 409 |
|
C. |
| 410 |
|
|
| 411 |
|
The script internally uses function CM.sources. |
| 412 |
|
|
| 413 |
|
Synopsis: |
| 414 |
|
|
| 415 |
|
ml-makedepend [-f makefile] cmfile targetname |
| 416 |
|
|
| 417 |
|
The default for the makefile is "makefile" (or "Makefile" should |
| 418 |
|
"makefile" not exist). |
| 419 |
|
|
| 420 |
|
ml-makedepend adds a cmfile/targetname-specific section to this |
| 421 |
|
makefile (after removing the previous version of this section). The |
| 422 |
|
section contains a single dependency specification with targetname on |
| 423 |
|
the LHS (targetname is an arbitrary name), and a list of files derived |
| 424 |
|
from the cmfile on the RHS. Some of the files on the RHS are |
| 425 |
|
ARCH/OPSYS-specific. Therefore, ml-makedepend inserts references to |
| 426 |
|
"make" variables $(ARCH) and $(OPSYS) in place of the corresponding |
| 427 |
|
path names. The makefile writer is responsible for making sure that |
| 428 |
|
these variables have correct at the time "make" is invoked. |
| 429 |
|
|
| 430 |
|
---------------------------------------------------------------------- |
| 431 |
|
Name: Matthias Blume |
| 432 |
|
Date: 2000/07/22 23:30:00 JST |
| 433 |
|
Tag: blume-20000722-urlupdate |
| 434 |
|
Description: |
| 435 |
|
|
| 436 |
|
Changed BOOT and config/srcarchiveurl to point to BL server: |
| 437 |
|
|
| 438 |
|
ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.29/ |
| 439 |
|
|
| 440 |
|
---------------------------------------------------------------------- |
| 441 |
|
Name: Matthias Blume |
| 442 |
|
Date: 2000/07/18 18:00:00 JST |
| 443 |
|
Tag: blume-20000718-Version_110_29 |
| 444 |
|
Description: |
| 445 |
|
|
| 446 |
|
1. Updated src/compiler/TopLevel/main/version.sml to version 110.29 |
| 447 |
|
|
| 448 |
|
2. Updated config/version to 110.29 |
| 449 |
|
|
| 450 |
|
3. Updated config/srcarchiveurl |
| 451 |
|
|
| 452 |
|
3. New boot files! |
| 453 |
|
ftp://ftp.cs.princeton.edu/pub/people/blume/sml/110.29-autofetch |
| 454 |
|
|
| 455 |
|
---------------------------------------------------------------------- |
| 456 |
|
Name: Matthias Blume |
| 457 |
|
Date: 2000/07/11 13:58:00 JST |
| 458 |
|
Tag: blume-20000711-doctypo |
| 459 |
|
Description: |
| 460 |
|
|
| 461 |
|
Fixed a few typos in CM manual. |
| 462 |
|
|
| 463 |
|
---------------------------------------------------------------------- |
| 464 |
Name: Allen Leung |
Name: Allen Leung |
| 465 |
Date: 2000/06/15 00:38:00 |
Date: 2000/06/15 00:38:00 |
| 466 |
Tag: leunga-20000704-sparc-x86 |
Tag: leunga-20000704-sparc-x86 |
Parent Directory
| 
Revision Log
| 
Patch
