[MLton-commit] r7449
Matthew Fluet
fluet at mlton.org
Fri Apr 2 11:22:45 PST 2010
Update SML/NJ libraries to 110.72.
----------------------------------------------------------------------
U mlton/trunk/lib/ckit-lib/ckit.patch
U mlton/trunk/lib/ckit-lib/ckit.tgz
U mlton/trunk/lib/mlrisc-lib/MLRISC.patch
U mlton/trunk/lib/mlrisc-lib/MLRISC.tgz
U mlton/trunk/lib/smlnj-lib/smlnj-lib.patch
U mlton/trunk/lib/smlnj-lib/smlnj-lib.tgz
----------------------------------------------------------------------
Modified: mlton/trunk/lib/ckit-lib/ckit.patch
===================================================================
--- mlton/trunk/lib/ckit-lib/ckit.patch 2010-03-25 21:20:41 UTC (rev 7448)
+++ mlton/trunk/lib/ckit-lib/ckit.patch 2010-04-02 19:22:37 UTC (rev 7449)
@@ -1,13 +1,14 @@
diff -N -C 2 -r ckit/README.mlton ckit-mlton/README.mlton
-*** ckit/README.mlton Wed Dec 31 18:00:00 1969
---- ckit-mlton/README.mlton Fri May 18 16:13:58 2007
+*** ckit/README.mlton 1969-12-31 19:00:00.000000000 -0500
+--- ckit-mlton/README.mlton 2010-02-18 11:59:02.000000000 -0500
***************
*** 0 ****
---- 1,13 ----
+--- 1,14 ----
+ The following changes were made to the ckit Library, in addition to
+ deriving the {{{.mlb}}} file from the {{{.cm}}} files:
+ * {{{parser/parse-tree-sig.sml}}} (modified): Rewrote use of (sequential) {{{withtype}}} in signature.
+ * {{{parser/parse-tree.sml}}} (modified): Rewrote use of (sequential) {{{withtype}}}.
++ * {{{parser/grammar/c.lex.sml}}} (modified): Rewrote use of vector literal.
+ * {{{ast/ast-sig.sml}}} (modified): Rewrote use of {{{withtype}}} in signature.
+ * {{{ast/pp/pp-lib.sml}}} (modified): Rewrote use of ''or-patterns''.
+ * {{{ast/pp/pp-ast-ext-sig.sml}}} (modified): Rewrote use of {{{signature}}} in {{{local}}}.
@@ -18,15 +19,15 @@
+ * {{{ast/initializer-normalizer.sml}}} (modified): Rewrote use of ''or-patterns''.
+ * {{{ast/build-ast.sml}}} (modified): Rewrote use of ''or-patterns''.
diff -N -C 2 -r ckit/ckit-lib.mlb ckit-mlton/ckit-lib.mlb
-*** ckit/ckit-lib.mlb Wed Dec 31 18:00:00 1969
---- ckit-mlton/ckit-lib.mlb Fri May 18 16:13:58 2007
+*** ckit/ckit-lib.mlb 1969-12-31 19:00:00.000000000 -0500
+--- ckit-mlton/ckit-lib.mlb 2009-03-27 18:24:18.000000000 -0400
***************
*** 0 ****
--- 1 ----
+ src/ckit-lib.mlb
diff -N -C 2 -r ckit/src/ast/ast-sig.sml ckit-mlton/src/ast/ast-sig.sml
-*** ckit/src/ast/ast-sig.sml Wed Oct 31 14:22:44 2001
---- ckit-mlton/src/ast/ast-sig.sml Fri May 18 16:14:04 2007
+*** ckit/src/ast/ast-sig.sml 2010-02-03 11:40:52.000000000 -0500
+--- ckit-mlton/src/ast/ast-sig.sml 2009-03-27 18:28:04.000000000 -0400
***************
*** 68,72 ****
= TypeDecl of {shadow: {strct:bool} option, tid:tid}
@@ -124,8 +125,8 @@
{name: Symbol.symbol, (* the name of the member *)
uid : Pid.uid, (* unique identifier *)
diff -N -C 2 -r ckit/src/ast/build-ast.sml ckit-mlton/src/ast/build-ast.sml
-*** ckit/src/ast/build-ast.sml Thu Aug 28 16:59:15 2003
---- ckit-mlton/src/ast/build-ast.sml Fri May 18 16:14:04 2007
+*** ckit/src/ast/build-ast.sml 2010-02-03 11:40:52.000000000 -0500
+--- ckit-mlton/src/ast/build-ast.sml 2009-03-27 18:28:04.000000000 -0400
***************
*** 291,295 ****
| _ => false
@@ -290,8 +291,8 @@
if isPartial tid
then SOME{tid=tid, alreadyDefined=false}
diff -N -C 2 -r ckit/src/ast/initializer-normalizer.sml ckit-mlton/src/ast/initializer-normalizer.sml
-*** ckit/src/ast/initializer-normalizer.sml Thu Aug 28 16:59:15 2003
---- ckit-mlton/src/ast/initializer-normalizer.sml Fri May 18 16:14:04 2007
+*** ckit/src/ast/initializer-normalizer.sml 2010-02-03 11:40:52.000000000 -0500
+--- ckit-mlton/src/ast/initializer-normalizer.sml 2009-03-27 18:28:04.000000000 -0400
***************
*** 157,161 ****
| SOME _ => fail "Incomplete type for union ref"
@@ -312,8 +313,8 @@
feed (scalarNorm ctype, inits)
| Ast.Void => fail "Incomplete type: void"
diff -N -C 2 -r ckit/src/ast/pp/pp-ast-adornment-sig.sml ckit-mlton/src/ast/pp/pp-ast-adornment-sig.sml
-*** ckit/src/ast/pp/pp-ast-adornment-sig.sml Wed Apr 5 13:34:51 2000
---- ckit-mlton/src/ast/pp/pp-ast-adornment-sig.sml Fri May 18 16:14:15 2007
+*** ckit/src/ast/pp/pp-ast-adornment-sig.sml 2010-02-03 11:40:52.000000000 -0500
+--- ckit-mlton/src/ast/pp/pp-ast-adornment-sig.sml 2009-03-27 18:29:56.000000000 -0400
***************
*** 1,9 ****
(* Copyright (c) 1998 by Lucent Technologies *)
@@ -345,8 +346,8 @@
end
! (* end *)
diff -N -C 2 -r ckit/src/ast/pp/pp-ast-ext-sig.sml ckit-mlton/src/ast/pp/pp-ast-ext-sig.sml
-*** ckit/src/ast/pp/pp-ast-ext-sig.sml Wed Apr 5 13:34:51 2000
---- ckit-mlton/src/ast/pp/pp-ast-ext-sig.sml Fri May 18 16:14:15 2007
+*** ckit/src/ast/pp/pp-ast-ext-sig.sml 2010-02-03 11:40:52.000000000 -0500
+--- ckit-mlton/src/ast/pp/pp-ast-ext-sig.sml 2009-03-27 18:29:56.000000000 -0400
***************
*** 1,5 ****
(* Copyright (c) 1998 by Lucent Technologies *)
@@ -383,8 +384,8 @@
! (* end *)
diff -N -C 2 -r ckit/src/ast/pp/pp-lib.sml ckit-mlton/src/ast/pp/pp-lib.sml
-*** ckit/src/ast/pp/pp-lib.sml Wed Apr 5 13:34:51 2000
---- ckit-mlton/src/ast/pp/pp-lib.sml Fri May 18 16:14:15 2007
+*** ckit/src/ast/pp/pp-lib.sml 2010-02-03 11:40:52.000000000 -0500
+--- ckit-mlton/src/ast/pp/pp-lib.sml 2009-03-27 18:29:56.000000000 -0400
***************
*** 116,120 ****
fun ppId pps ({name,uid,kind,stClass,global,...}: Ast.id) =
@@ -402,8 +403,8 @@
if !suppressPidGlobalUnderscores then ppSymbol' pps name
else ppSymbol pps (name,uid)
diff -N -C 2 -r ckit/src/ast/sizeof.sml ckit-mlton/src/ast/sizeof.sml
-*** ckit/src/ast/sizeof.sml Wed Apr 5 13:34:51 2000
---- ckit-mlton/src/ast/sizeof.sml Fri May 18 16:14:04 2007
+*** ckit/src/ast/sizeof.sml 2010-02-03 11:40:52.000000000 -0500
+--- ckit-mlton/src/ast/sizeof.sml 2009-03-27 18:28:04.000000000 -0400
***************
*** 322,326 ****
case ty
@@ -420,8 +421,8 @@
processTid sizesErrWarnBug tidtab tid
| Ast.EnumRef _ =>
diff -N -C 2 -r ckit/src/ast/type-util-sig.sml ckit-mlton/src/ast/type-util-sig.sml
-*** ckit/src/ast/type-util-sig.sml Wed Oct 31 14:22:44 2001
---- ckit-mlton/src/ast/type-util-sig.sml Fri May 18 16:14:04 2007
+*** ckit/src/ast/type-util-sig.sml 2010-02-03 11:40:52.000000000 -0500
+--- ckit-mlton/src/ast/type-util-sig.sml 2009-03-27 18:28:04.000000000 -0400
***************
*** 1,9 ****
(* Copyright (c) 1998 by Lucent Technologies *)
@@ -453,8 +454,8 @@
! (* end (* local *) *)
diff -N -C 2 -r ckit/src/ast/type-util.sml ckit-mlton/src/ast/type-util.sml
-*** ckit/src/ast/type-util.sml Wed Oct 31 14:22:44 2001
---- ckit-mlton/src/ast/type-util.sml Fri May 18 16:14:04 2007
+*** ckit/src/ast/type-util.sml 2010-02-03 11:40:52.000000000 -0500
+--- ckit-mlton/src/ast/type-util.sml 2009-03-27 18:28:04.000000000 -0400
***************
*** 283,287 ****
case reduceTypedef tidtab ty
@@ -522,8 +523,8 @@
| (nil, argl, _) => (["Type Warning: function call has too many args"]
, List.map (functionArgConv tidtab) argl
diff -N -C 2 -r ckit/src/ckit-lib.mlb ckit-mlton/src/ckit-lib.mlb
-*** ckit/src/ckit-lib.mlb Wed Dec 31 18:00:00 1969
---- ckit-mlton/src/ckit-lib.mlb Tue Jun 16 10:57:17 2009
+*** ckit/src/ckit-lib.mlb 1969-12-31 19:00:00.000000000 -0500
+--- ckit-mlton/src/ckit-lib.mlb 2010-04-02 15:07:59.000000000 -0400
***************
*** 0 ****
--- 1,888 ----
@@ -1416,8 +1417,8 @@
+
+ end
diff -N -C 2 -r ckit/src/parser/grammar/c.lex.sml ckit-mlton/src/parser/grammar/c.lex.sml
-*** ckit/src/parser/grammar/c.lex.sml Wed Jun 6 21:44:54 2007
---- ckit-mlton/src/parser/grammar/c.lex.sml Mon Aug 13 18:51:19 2007
+*** ckit/src/parser/grammar/c.lex.sml 2010-02-03 11:40:52.000000000 -0500
+--- ckit-mlton/src/parser/grammar/c.lex.sml 2009-03-27 18:29:56.000000000 -0400
***************
*** 230,234 ****
@@ -1432,8 +1433,8 @@
]
diff -N -C 2 -r ckit/src/parser/parse-tree-sig.sml ckit-mlton/src/parser/parse-tree-sig.sml
-*** ckit/src/parser/parse-tree-sig.sml Wed Apr 5 13:34:51 2000
---- ckit-mlton/src/parser/parse-tree-sig.sml Fri May 18 16:14:04 2007
+*** ckit/src/parser/parse-tree-sig.sml 2010-02-03 11:40:53.000000000 -0500
+--- ckit-mlton/src/parser/parse-tree-sig.sml 2009-03-27 18:28:04.000000000 -0400
***************
*** 28,33 ****
| LshiftAssign | RshiftAssign
@@ -1640,8 +1641,8 @@
(specifier, declarator, ctype, decltype, operator, expression, statement)
ParseTreeExt.externalDeclExt
diff -N -C 2 -r ckit/src/parser/parse-tree.sml ckit-mlton/src/parser/parse-tree.sml
-*** ckit/src/parser/parse-tree.sml Wed Apr 5 13:34:51 2000
---- ckit-mlton/src/parser/parse-tree.sml Fri May 18 16:14:04 2007
+*** ckit/src/parser/parse-tree.sml 2010-02-03 11:40:53.000000000 -0500
+--- ckit-mlton/src/parser/parse-tree.sml 2009-03-27 18:28:04.000000000 -0400
***************
*** 24,29 ****
| LshiftAssign | RshiftAssign
Modified: mlton/trunk/lib/ckit-lib/ckit.tgz
===================================================================
(Binary files differ)
Modified: mlton/trunk/lib/mlrisc-lib/MLRISC.patch
===================================================================
--- mlton/trunk/lib/mlrisc-lib/MLRISC.patch 2010-03-25 21:20:41 UTC (rev 7448)
+++ mlton/trunk/lib/mlrisc-lib/MLRISC.patch 2010-04-02 19:22:37 UTC (rev 7449)
@@ -1,6 +1,6 @@
diff -N -C 2 -r MLRISC/Doc/html/mltex2html MLRISC-mlton/Doc/html/mltex2html
-*** MLRISC/Doc/html/mltex2html Thu Jun 1 13:34:03 2000
---- MLRISC-mlton/Doc/html/mltex2html Fri May 18 16:14:03 2007
+*** MLRISC/Doc/html/mltex2html 2010-02-03 11:40:45.000000000 -0500
+--- MLRISC-mlton/Doc/html/mltex2html 2009-10-02 09:51:35.000000000 -0400
***************
*** 1,3 ****
! #!/usr/local/bin/perl
@@ -11,8 +11,8 @@
#
# This tool generates HTML pages in my own format given a stylized Latex file.
diff -N -C 2 -r MLRISC/README.mlton MLRISC-mlton/README.mlton
-*** MLRISC/README.mlton Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/README.mlton Fri May 9 18:01:23 2008
+*** MLRISC/README.mlton 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/README.mlton 2009-10-02 09:51:07.000000000 -0400
***************
*** 0 ****
--- 1,8 ----
@@ -25,8 +25,8 @@
+ * eliminate higher-order functors: Every higher-order functor definition and application could be uncurried in the obvious way.
+ * eliminate {{{where <str> = <str>}}}: Quite painful to expand out all the flexible types in the respective structures. Furthermore, many of the implied type equalities aren't needed, but it's too hard to pick out the right ones.
diff -N -C 2 -r MLRISC/Tools/Parser/mdl.grm.desc MLRISC-mlton/Tools/Parser/mdl.grm.desc
-*** MLRISC/Tools/Parser/mdl.grm.desc Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/Tools/Parser/mdl.grm.desc Fri May 18 16:14:02 2007
+*** MLRISC/Tools/Parser/mdl.grm.desc 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/Tools/Parser/mdl.grm.desc 2009-10-02 09:51:35.000000000 -0400
***************
*** 0 ****
--- 1,28165 ----
@@ -28196,8 +28196,8 @@
+ 16352 of 19587 action table entries left after compaction
+ 2182 goto table entries
diff -N -C 2 -r MLRISC/aliasing/pointsTo.sig MLRISC-mlton/aliasing/pointsTo.sig
-*** MLRISC/aliasing/pointsTo.sig Thu Dec 7 22:11:42 2000
---- MLRISC-mlton/aliasing/pointsTo.sig Fri May 18 16:14:00 2007
+*** MLRISC/aliasing/pointsTo.sig 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/aliasing/pointsTo.sig 2009-10-02 09:51:25.000000000 -0400
***************
*** 8,23 ****
@@ -28243,8 +28243,8 @@
val reset : (unit -> C.cell) -> unit
diff -N -C 2 -r MLRISC/aliasing/pointsTo.sml MLRISC-mlton/aliasing/pointsTo.sml
-*** MLRISC/aliasing/pointsTo.sml Thu Mar 7 15:16:28 2002
---- MLRISC-mlton/aliasing/pointsTo.sml Fri May 18 16:14:00 2007
+*** MLRISC/aliasing/pointsTo.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/aliasing/pointsTo.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 11,24 ****
@@ -28299,8 +28299,8 @@
| greaterKind _ = true
diff -N -C 2 -r MLRISC/alpha/backpatch/alphaJumps.sml MLRISC-mlton/alpha/backpatch/alphaJumps.sml
-*** MLRISC/alpha/backpatch/alphaJumps.sml Thu May 22 17:46:30 2003
---- MLRISC-mlton/alpha/backpatch/alphaJumps.sml Fri May 18 16:14:03 2007
+*** MLRISC/alpha/backpatch/alphaJumps.sml 2010-02-03 11:40:41.000000000 -0500
+--- MLRISC-mlton/alpha/backpatch/alphaJumps.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 6,13 ****
functor AlphaJumps
@@ -28378,8 +28378,8 @@
) : SDI_JUMPS =
struct
diff -N -C 2 -r MLRISC/alpha/emit/alphaAsm.sml MLRISC-mlton/alpha/emit/alphaAsm.sml
-*** MLRISC/alpha/emit/alphaAsm.sml Thu Mar 7 15:16:28 2002
---- MLRISC-mlton/alpha/emit/alphaAsm.sml Fri May 18 16:14:03 2007
+*** MLRISC/alpha/emit/alphaAsm.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/alpha/emit/alphaAsm.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,16 ****
@@ -28480,8 +28480,8 @@
) : INSTRUCTION_EMITTER =
struct
diff -N -C 2 -r MLRISC/alpha/emit/alphaMC.sml MLRISC-mlton/alpha/emit/alphaMC.sml
-*** MLRISC/alpha/emit/alphaMC.sml Wed Mar 5 21:17:28 2008
---- MLRISC-mlton/alpha/emit/alphaMC.sml Fri May 9 11:57:19 2008
+*** MLRISC/alpha/emit/alphaMC.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/alpha/emit/alphaMC.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,11 ****
@@ -28524,8 +28524,8 @@
in loc := i + 1; CodeString.update(i,Word8.fromLargeWord w) end
diff -N -C 2 -r MLRISC/alpha/flowgraph/alphaGasPseudoOps.sml MLRISC-mlton/alpha/flowgraph/alphaGasPseudoOps.sml
-*** MLRISC/alpha/flowgraph/alphaGasPseudoOps.sml Wed Nov 21 12:41:49 2001
---- MLRISC-mlton/alpha/flowgraph/alphaGasPseudoOps.sml Fri May 18 16:14:03 2007
+*** MLRISC/alpha/flowgraph/alphaGasPseudoOps.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/alpha/flowgraph/alphaGasPseudoOps.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 1,5 ****
functor AlphaGasPseudoOps
@@ -28560,8 +28560,8 @@
) : PSEUDO_OPS_BASIS =
diff -N -C 2 -r MLRISC/alpha/instructions/alphaInstr.sml MLRISC-mlton/alpha/instructions/alphaInstr.sml
-*** MLRISC/alpha/instructions/alphaInstr.sml Wed Jan 23 23:45:18 2002
---- MLRISC-mlton/alpha/instructions/alphaInstr.sml Fri May 18 16:14:03 2007
+*** MLRISC/alpha/instructions/alphaInstr.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/alpha/instructions/alphaInstr.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 9,13 ****
sig
@@ -28585,8 +28585,8 @@
structure T : MLTREE
structure Constant: CONSTANT
diff -N -C 2 -r MLRISC/alpha/instructions/alphaProps.sml MLRISC-mlton/alpha/instructions/alphaProps.sml
-*** MLRISC/alpha/instructions/alphaProps.sml Mon Mar 11 21:56:23 2002
---- MLRISC-mlton/alpha/instructions/alphaProps.sml Fri May 18 16:14:03 2007
+*** MLRISC/alpha/instructions/alphaProps.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/alpha/instructions/alphaProps.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,12 ****
functor AlphaProps
@@ -28643,8 +28643,8 @@
):INSN_PROPERTIES =
struct
diff -N -C 2 -r MLRISC/alpha/mltree/alpha.sml MLRISC-mlton/alpha/mltree/alpha.sml
-*** MLRISC/alpha/mltree/alpha.sml Thu Aug 28 16:59:15 2003
---- MLRISC-mlton/alpha/mltree/alpha.sml Fri May 18 16:14:03 2007
+*** MLRISC/alpha/mltree/alpha.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/alpha/mltree/alpha.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 12,20 ****
functor Alpha
@@ -29091,8 +29091,8 @@
| _ => (cond,e1,e2)
in case cond of
diff -N -C 2 -r MLRISC/alpha/mltree/alphaPseudoInstr.sig MLRISC-mlton/alpha/mltree/alphaPseudoInstr.sig
-*** MLRISC/alpha/mltree/alphaPseudoInstr.sig Thu Jul 19 15:35:20 2001
---- MLRISC-mlton/alpha/mltree/alphaPseudoInstr.sig Fri May 18 16:14:03 2007
+*** MLRISC/alpha/mltree/alphaPseudoInstr.sig 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/alpha/mltree/alphaPseudoInstr.sig 2009-10-02 09:51:35.000000000 -0400
***************
*** 5,12 ****
structure I : ALPHAINSTR
@@ -29142,8 +29142,8 @@
type reduceOpnd = I.operand -> CB.cell
diff -N -C 2 -r MLRISC/amd64/amd64.mdl MLRISC-mlton/amd64/amd64.mdl
-*** MLRISC/amd64/amd64.mdl Thu Mar 5 15:34:32 2009
---- MLRISC-mlton/amd64/amd64.mdl Wed Apr 1 15:35:23 2009
+*** MLRISC/amd64/amd64.mdl 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/amd64.mdl 2009-10-02 09:51:25.000000000 -0400
***************
*** 578,582 ****
let val n = size fbinOp
@@ -29197,8 +29197,8 @@
| _ => ``<binOp>\t<src>, <dst>''
)
diff -N -C 2 -r MLRISC/amd64/amd64MC.sml MLRISC-mlton/amd64/amd64MC.sml
-*** MLRISC/amd64/amd64MC.sml Tue May 29 16:02:35 2007
---- MLRISC-mlton/amd64/amd64MC.sml Tue Aug 14 10:16:36 2007
+*** MLRISC/amd64/amd64MC.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/amd64MC.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 1,7 ****
functor AMD64MCEmitter
@@ -29371,8 +29371,8 @@
| I.TESTQ{lsrc, rsrc} => test(64, rsrc, lsrc)
| I.TESTL{lsrc, rsrc} => test(32, rsrc, lsrc)
diff -N -C 2 -r MLRISC/amd64/amd64MCFn.sml MLRISC-mlton/amd64/amd64MCFn.sml
-*** MLRISC/amd64/amd64MCFn.sml Wed Oct 1 21:39:14 2008
---- MLRISC-mlton/amd64/amd64MCFn.sml Wed Apr 1 16:41:36 2009
+*** MLRISC/amd64/amd64MCFn.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/amd64MCFn.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 6,11 ****
functor AMD64MCFn(
@@ -29442,8 +29442,8 @@
(* structure AsmEmitter : INSTRUCTION_EMITTER where I = Instr*)
) : MC_EMIT =
diff -N -C 2 -r MLRISC/amd64/backpatch/amd64Jumps.sml MLRISC-mlton/amd64/backpatch/amd64Jumps.sml
-*** MLRISC/amd64/backpatch/amd64Jumps.sml Tue May 29 16:02:35 2007
---- MLRISC-mlton/amd64/backpatch/amd64Jumps.sml Tue Aug 14 10:16:36 2007
+*** MLRISC/amd64/backpatch/amd64Jumps.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/backpatch/amd64Jumps.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 6,12 ****
functor AMD64Jumps
@@ -29565,8 +29565,8 @@
| I.POP opnd => operand opnd
| _ => false
diff -N -C 2 -r MLRISC/amd64/emit/amd64Asm.sml MLRISC-mlton/amd64/emit/amd64Asm.sml
-*** MLRISC/amd64/emit/amd64Asm.sml Mon Nov 24 16:47:06 2008
---- MLRISC-mlton/amd64/emit/amd64Asm.sml Tue Dec 23 12:03:45 2008
+*** MLRISC/amd64/emit/amd64Asm.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/emit/amd64Asm.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,16 ****
@@ -29757,8 +29757,8 @@
( emit_binaryOp binOp;
emit "\t%cl, ";
diff -N -C 2 -r MLRISC/amd64/flowgraph/amd64-darwin-pseudo-ops.sml MLRISC-mlton/amd64/flowgraph/amd64-darwin-pseudo-ops.sml
-*** MLRISC/amd64/flowgraph/amd64-darwin-pseudo-ops.sml Tue Sep 18 23:14:56 2007
---- MLRISC-mlton/amd64/flowgraph/amd64-darwin-pseudo-ops.sml Fri May 9 17:00:59 2008
+*** MLRISC/amd64/flowgraph/amd64-darwin-pseudo-ops.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/flowgraph/amd64-darwin-pseudo-ops.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 8,12 ****
@@ -29793,8 +29793,8 @@
) : PSEUDO_OPS_BASIS = struct
diff -N -C 2 -r MLRISC/amd64/flowgraph/amd64GasPseudoOps.sml MLRISC-mlton/amd64/flowgraph/amd64GasPseudoOps.sml
-*** MLRISC/amd64/flowgraph/amd64GasPseudoOps.sml Tue Sep 18 14:30:40 2007
---- MLRISC-mlton/amd64/flowgraph/amd64GasPseudoOps.sml Fri May 9 16:32:13 2008
+*** MLRISC/amd64/flowgraph/amd64GasPseudoOps.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/flowgraph/amd64GasPseudoOps.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,11 ****
functor AMD64GasPseudoOps (
@@ -29829,8 +29829,8 @@
) : PSEUDO_OPS_BASIS = struct
structure T = T
diff -N -C 2 -r MLRISC/amd64/instructions/amd64CompInstrExt.sml MLRISC-mlton/amd64/instructions/amd64CompInstrExt.sml
-*** MLRISC/amd64/instructions/amd64CompInstrExt.sml Mon Nov 24 16:47:06 2008
---- MLRISC-mlton/amd64/instructions/amd64CompInstrExt.sml Tue Dec 23 12:03:45 2008
+*** MLRISC/amd64/instructions/amd64CompInstrExt.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/instructions/amd64CompInstrExt.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 8,16 ****
signature AMD64COMP_INSTR_EXT = sig
@@ -29960,8 +29960,8 @@
) : AMD64COMP_INSTR_EXT =
struct
diff -N -C 2 -r MLRISC/amd64/instructions/amd64Instr.sml MLRISC-mlton/amd64/instructions/amd64Instr.sml
-*** MLRISC/amd64/instructions/amd64Instr.sml Mon Nov 24 16:47:06 2008
---- MLRISC-mlton/amd64/instructions/amd64Instr.sml Tue Dec 23 12:03:45 2008
+*** MLRISC/amd64/instructions/amd64Instr.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/instructions/amd64Instr.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 9,13 ****
sig
@@ -29985,8 +29985,8 @@
structure T : MLTREE
structure Constant: CONSTANT
diff -N -C 2 -r MLRISC/amd64/instructions/amd64Peephole.peep MLRISC-mlton/amd64/instructions/amd64Peephole.peep
-*** MLRISC/amd64/instructions/amd64Peephole.peep Tue Oct 2 18:26:36 2007
---- MLRISC-mlton/amd64/instructions/amd64Peephole.peep Fri May 9 11:57:20 2008
+*** MLRISC/amd64/instructions/amd64Peephole.peep 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/instructions/amd64Peephole.peep 2009-10-02 09:51:35.000000000 -0400
***************
*** 21,25 ****
(structure Instr : AMD64INSTR
@@ -30021,8 +30021,8 @@
) : PEEPHOLE =
struct
diff -N -C 2 -r MLRISC/amd64/instructions/amd64Peephole.sml MLRISC-mlton/amd64/instructions/amd64Peephole.sml
-*** MLRISC/amd64/instructions/amd64Peephole.sml Tue May 29 16:53:56 2007
---- MLRISC-mlton/amd64/instructions/amd64Peephole.sml Mon Aug 20 14:45:28 2007
+*** MLRISC/amd64/instructions/amd64Peephole.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/instructions/amd64Peephole.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 13,17 ****
@@ -30057,8 +30057,8 @@
): PEEPHOLE =
struct
diff -N -C 2 -r MLRISC/amd64/instructions/amd64Props.sml MLRISC-mlton/amd64/instructions/amd64Props.sml
-*** MLRISC/amd64/instructions/amd64Props.sml Mon Nov 24 16:47:06 2008
---- MLRISC-mlton/amd64/instructions/amd64Props.sml Wed Apr 1 16:42:08 2009
+*** MLRISC/amd64/instructions/amd64Props.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/instructions/amd64Props.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 16,23 ****
functor AMD64Props (
@@ -30542,8 +30542,8 @@
(* end case *))
| I.FSQRTS _ => 32
diff -N -C 2 -r MLRISC/amd64/mltree/amd64-gen.sml MLRISC-mlton/amd64/mltree/amd64-gen.sml
-*** MLRISC/amd64/mltree/amd64-gen.sml Thu Mar 5 16:12:59 2009
---- MLRISC-mlton/amd64/mltree/amd64-gen.sml Wed Apr 1 15:35:23 2009
+*** MLRISC/amd64/mltree/amd64-gen.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/mltree/amd64-gen.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 6,13 ****
functor AMD64Gen (
@@ -30711,8 +30711,8 @@
(case ty
of 8 => test(ty, I.TESTB, a, b, an)
diff -N -C 2 -r MLRISC/amd64/ra/amd64RegAlloc.sml MLRISC-mlton/amd64/ra/amd64RegAlloc.sml
-*** MLRISC/amd64/ra/amd64RegAlloc.sml Fri Apr 18 20:31:01 2008
---- MLRISC-mlton/amd64/ra/amd64RegAlloc.sml Fri May 9 14:29:10 2008
+*** MLRISC/amd64/ra/amd64RegAlloc.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/ra/amd64RegAlloc.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,19 ****
structure I : AMD64INSTR
@@ -30816,8 +30816,8 @@
val deadRegs = deadRegs
val affectedBlocks = affectedBlocks
diff -N -C 2 -r MLRISC/amd64/ra/amd64SpillInstr.sml MLRISC-mlton/amd64/ra/amd64SpillInstr.sml
-*** MLRISC/amd64/ra/amd64SpillInstr.sml Mon Feb 25 02:46:19 2008
---- MLRISC-mlton/amd64/ra/amd64SpillInstr.sml Fri May 9 17:03:53 2008
+*** MLRISC/amd64/ra/amd64SpillInstr.sml 2010-02-03 11:40:46.000000000 -0500
+--- MLRISC-mlton/amd64/ra/amd64SpillInstr.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,12 ****
functor AMD64SpillInstr (
@@ -30958,13 +30958,13 @@
| multBinOp _ = false
in
***************
-*** 601,605 ****
+*** 610,614 ****
end
(* treat bitwise operators differently, as they require that their source operand is 16-byte aligned *)
! | I.FBINOP {binOp=binOp as (I.XORPS | I.XORPD | I.ANDPS | I.ANDPD | I.ORPS | I.ORPD), src, dst} => if CB.sameColor (r, dst)
then {code=[I.fmove {fmvOp=fmvOp, src=spillLoc, dst=I.FDirect dst},
mark (I.FBINOP {binOp=binOp, src=src, dst=dst}, an)],
---- 667,741 ----
+--- 676,750 ----
end
(* treat bitwise operators differently, as they require that their source operand is 16-byte aligned *)
! | I.FBINOP {binOp=binOp as (I.XORPS), src, dst} => if CB.sameColor (r, dst)
@@ -31041,8 +31041,8 @@
then {code=[I.fmove {fmvOp=fmvOp, src=spillLoc, dst=I.FDirect dst},
mark (I.FBINOP {binOp=binOp, src=src, dst=dst}, an)],
diff -N -C 2 -r MLRISC/backpatch/backpatch.sml MLRISC-mlton/backpatch/backpatch.sml
-*** MLRISC/backpatch/backpatch.sml Mon Mar 11 21:56:23 2002
---- MLRISC-mlton/backpatch/backpatch.sml Fri May 18 16:13:59 2007
+*** MLRISC/backpatch/backpatch.sml 2010-02-03 11:40:43.000000000 -0500
+--- MLRISC-mlton/backpatch/backpatch.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 9,19 ****
functor BBSched2
@@ -31101,8 +31101,8 @@
) =
struct
diff -N -C 2 -r MLRISC/backpatch/sdi-jumps.sig MLRISC-mlton/backpatch/sdi-jumps.sig
-*** MLRISC/backpatch/sdi-jumps.sig Thu Dec 7 22:11:42 2000
---- MLRISC-mlton/backpatch/sdi-jumps.sig Fri May 18 16:13:59 2007
+*** MLRISC/backpatch/sdi-jumps.sig 2010-02-03 11:40:43.000000000 -0500
+--- MLRISC-mlton/backpatch/sdi-jumps.sig 2009-10-02 09:51:25.000000000 -0400
***************
*** 8,12 ****
structure I : INSTRUCTIONS
@@ -31117,8 +31117,8 @@
val branchDelayedArch : bool
diff -N -C 2 -r MLRISC/backpatch/spanDep.sml MLRISC-mlton/backpatch/spanDep.sml
-*** MLRISC/backpatch/spanDep.sml Thu Oct 10 09:48:48 2002
---- MLRISC-mlton/backpatch/spanDep.sml Fri May 18 16:13:59 2007
+*** MLRISC/backpatch/spanDep.sml 2010-02-03 11:40:43.000000000 -0500
+--- MLRISC-mlton/backpatch/spanDep.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 10,25 ****
functor SpanDependencyResolution
@@ -31231,8 +31231,8 @@
D.enableDelaySlot{n=true,nop=false,instr=jmp}
| _ => jmp
diff -N -C 2 -r MLRISC/backpatch/vlBackPatch.sml MLRISC-mlton/backpatch/vlBackPatch.sml
-*** MLRISC/backpatch/vlBackPatch.sml Mon Mar 11 21:56:23 2002
---- MLRISC-mlton/backpatch/vlBackPatch.sml Fri May 18 16:13:59 2007
+*** MLRISC/backpatch/vlBackPatch.sml 2010-02-03 11:40:43.000000000 -0500
+--- MLRISC-mlton/backpatch/vlBackPatch.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 27,38 ****
(structure CodeString : CODE_STRING
@@ -31278,8 +31278,8 @@
struct
structure I = Jumps.I
diff -N -C 2 -r MLRISC/block-placement/block-placement.sml MLRISC-mlton/block-placement/block-placement.sml
-*** MLRISC/block-placement/block-placement.sml Tue May 15 18:20:40 2007
---- MLRISC-mlton/block-placement/block-placement.sml Fri May 18 16:13:59 2007
+*** MLRISC/block-placement/block-placement.sml 2010-02-03 11:40:45.000000000 -0500
+--- MLRISC-mlton/block-placement/block-placement.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 6,13 ****
functor BlockPlacement
@@ -31303,8 +31303,8 @@
struct
diff -N -C 2 -r MLRISC/block-placement/check-placement-fn.sml MLRISC-mlton/block-placement/check-placement-fn.sml
-*** MLRISC/block-placement/check-placement-fn.sml Fri Mar 22 10:59:28 2002
---- MLRISC-mlton/block-placement/check-placement-fn.sml Fri May 18 16:13:59 2007
+*** MLRISC/block-placement/check-placement-fn.sml 2010-02-03 11:40:45.000000000 -0500
+--- MLRISC-mlton/block-placement/check-placement-fn.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 10,15 ****
@@ -31342,8 +31342,8 @@
if adjacentNodes(src, dst)
then ()
diff -N -C 2 -r MLRISC/block-placement/jump-chain-elim-fn.sml MLRISC-mlton/block-placement/jump-chain-elim-fn.sml
-*** MLRISC/block-placement/jump-chain-elim-fn.sml Thu May 22 17:46:30 2003
---- MLRISC-mlton/block-placement/jump-chain-elim-fn.sml Fri May 18 16:13:59 2007
+*** MLRISC/block-placement/jump-chain-elim-fn.sml 2010-02-03 11:40:45.000000000 -0500
+--- MLRISC-mlton/block-placement/jump-chain-elim-fn.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 13,18 ****
@@ -31364,8 +31364,8 @@
(* Control flag that when set true allows jumps to labels outside
diff -N -C 2 -r MLRISC/block-placement/weighted-block-placement-fn.sml MLRISC-mlton/block-placement/weighted-block-placement-fn.sml
-*** MLRISC/block-placement/weighted-block-placement-fn.sml Thu May 22 17:46:30 2003
---- MLRISC-mlton/block-placement/weighted-block-placement-fn.sml Fri May 18 16:13:59 2007
+*** MLRISC/block-placement/weighted-block-placement-fn.sml 2010-02-03 11:40:45.000000000 -0500
+--- MLRISC-mlton/block-placement/weighted-block-placement-fn.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 13,18 ****
@@ -31386,8 +31386,8 @@
) : BLOCK_PLACEMENT = struct
diff -N -C 2 -r MLRISC/c-call/archs/sparc-c-call-fn.sml MLRISC-mlton/c-call/archs/sparc-c-call-fn.sml
-*** MLRISC/c-call/archs/sparc-c-call-fn.sml Thu Sep 18 01:06:40 2008
---- MLRISC-mlton/c-call/archs/sparc-c-call-fn.sml Thu Sep 18 17:00:16 2008
+*** MLRISC/c-call/archs/sparc-c-call-fn.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/c-call/archs/sparc-c-call-fn.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 78,84 ****
@@ -31447,8 +31447,8 @@
SOME (SparcCSizes.sizeOfTy retTy)
| _ => NONE
diff -N -C 2 -r MLRISC/c-call/archs/sparc-c-sizes.sml MLRISC-mlton/c-call/archs/sparc-c-sizes.sml
-*** MLRISC/c-call/archs/sparc-c-sizes.sml Fri Aug 15 13:50:42 2008
---- MLRISC-mlton/c-call/archs/sparc-c-sizes.sml Mon Aug 18 16:31:29 2008
+*** MLRISC/c-call/archs/sparc-c-sizes.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/c-call/archs/sparc-c-sizes.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,19 ****
@@ -31485,8 +31485,8 @@
| sizeOfTy (Ty.C_ARRAY (t, n)) = let val {sz=s, align=a} = sizeOfTy t in {sz=n * s, align=a} end
| sizeOfTy (Ty.C_STRUCT l) =
diff -N -C 2 -r MLRISC/c-call/archs/x86-64-svid-fn.sml MLRISC-mlton/c-call/archs/x86-64-svid-fn.sml
-*** MLRISC/c-call/archs/x86-64-svid-fn.sml Thu Sep 18 01:06:40 2008
---- MLRISC-mlton/c-call/archs/x86-64-svid-fn.sml Thu Sep 18 17:00:16 2008
+*** MLRISC/c-call/archs/x86-64-svid-fn.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/c-call/archs/x86-64-svid-fn.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 76,80 ****
val callerSaveRegs = [C.rax, C.rcx, C.rdx, C.rsi, C.rdi, C.r8, C.r9, C.r10, C.r11]
@@ -31554,8 +31554,8 @@
if (szBOfCTy cTy > 2*8 orelse containsUnalignedFields cTy)
then List.tabulate (szBOfCTy cTy div 8, fn _ => (8*8, STK, 8))
diff -N -C 2 -r MLRISC/c-call/archs/x86-svid-fn.sml MLRISC-mlton/c-call/archs/x86-svid-fn.sml
-*** MLRISC/c-call/archs/x86-svid-fn.sml Thu Sep 18 01:06:40 2008
---- MLRISC-mlton/c-call/archs/x86-svid-fn.sml Thu Sep 18 17:00:16 2008
+*** MLRISC/c-call/archs/x86-svid-fn.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/c-call/archs/x86-svid-fn.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 69,74 ****
@@ -31609,8 +31609,8 @@
| "stdcall" => true
| conv => raise Fail (concat [
diff -N -C 2 -r MLRISC/c-call/gen/c-call-gen-fn.sml MLRISC-mlton/c-call/gen/c-call-gen-fn.sml
-*** MLRISC/c-call/gen/c-call-gen-fn.sml Thu Sep 18 01:06:40 2008
---- MLRISC-mlton/c-call/gen/c-call-gen-fn.sml Thu Sep 18 17:16:07 2008
+*** MLRISC/c-call/gen/c-call-gen-fn.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/c-call/gen/c-call-gen-fn.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 92,99 ****
fun writeLoc arg (off, loc, stms) = (
@@ -31855,8 +31855,8 @@
(* expression to stack (fpr) *)
val tmp = C.newFreg ()
diff -N -C 2 -r MLRISC/c-call/gen/c-call-sig.sml MLRISC-mlton/c-call/gen/c-call-sig.sml
-*** MLRISC/c-call/gen/c-call-sig.sml Thu Sep 18 01:06:40 2008
---- MLRISC-mlton/c-call/gen/c-call-sig.sml Thu Sep 18 17:11:11 2008
+*** MLRISC/c-call/gen/c-call-sig.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/c-call/gen/c-call-sig.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 4,8 ****
structure T : MLTREE
@@ -31891,8 +31891,8 @@
datatype c_arg = datatype Gen.c_arg
diff -N -C 2 -r MLRISC/c-call/gen/c-type.sml MLRISC-mlton/c-call/gen/c-type.sml
-*** MLRISC/c-call/gen/c-type.sml Tue Jul 29 19:03:25 2008
---- MLRISC-mlton/c-call/gen/c-type.sml Mon Aug 18 16:17:40 2008
+*** MLRISC/c-call/gen/c-type.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/c-call/gen/c-type.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 43,48 ****
(* eliminate aggregates in a C type *)
@@ -31909,8 +31909,8 @@
| C_ARRAY (cTy, n) => List.tabulate (n, fn _ => cTy)
| cTy => [cTy])
diff -N -C 2 -r MLRISC/c-calls/c-types.sml MLRISC-mlton/c-calls/c-types.sml
-*** MLRISC/c-calls/c-types.sml Tue May 27 18:48:15 2008
---- MLRISC-mlton/c-calls/c-types.sml Tue Jun 17 08:46:11 2008
+*** MLRISC/c-calls/c-types.sml 2010-02-03 11:40:43.000000000 -0500
+--- MLRISC-mlton/c-calls/c-types.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 43,48 ****
(* eliminate aggregates in a C type *)
@@ -31927,8 +31927,8 @@
| C_ARRAY (cTy, n) => List.tabulate (n, fn _ => cTy)
| cTy => [cTy])
diff -N -C 2 -r MLRISC/c-calls/unimplemented-c-calls.sml MLRISC-mlton/c-calls/unimplemented-c-calls.sml
-*** MLRISC/c-calls/unimplemented-c-calls.sml Wed Jul 28 18:23:13 2004
---- MLRISC-mlton/c-calls/unimplemented-c-calls.sml Fri May 18 16:13:59 2007
+*** MLRISC/c-calls/unimplemented-c-calls.sml 2010-02-03 11:40:43.000000000 -0500
+--- MLRISC-mlton/c-calls/unimplemented-c-calls.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 7,11 ****
functor UnimplementedCCallsFn
@@ -31962,22 +31962,9 @@
! and type T.stm = T.stm =
struct
structure T = T
-diff -N -C 2 -r MLRISC/cm/15385.pre MLRISC-mlton/cm/15385.pre
-*** MLRISC/cm/15385.pre Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/cm/15385.pre Wed Apr 1 16:32:53 2009
-***************
-*** 0 ****
---- 1,7 ----
-+
-+ ann
-+ "nonexhaustiveMatch warn" "redundantMatch warn"
-+ "sequenceNonUnit ignore"
-+ "warnUnused false" "forceUsed"
-+ in
-+
diff -N -C 2 -r MLRISC/cm/proxyLib.cm MLRISC-mlton/cm/proxyLib.cm
-*** MLRISC/cm/proxyLib.cm Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/cm/proxyLib.cm Mon Aug 18 16:08:27 2008
+*** MLRISC/cm/proxyLib.cm 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/cm/proxyLib.cm 2009-10-02 09:51:25.000000000 -0400
***************
*** 0 ****
--- 1,61 ----
@@ -32043,8 +32030,8 @@
+ bind:(anchor:VLIW.cm value:.)
+ )
diff -N -C 2 -r MLRISC/emit/cfgEmit.sml MLRISC-mlton/emit/cfgEmit.sml
-*** MLRISC/emit/cfgEmit.sml Wed May 15 09:02:06 2002
---- MLRISC-mlton/emit/cfgEmit.sml Fri May 18 16:13:59 2007
+*** MLRISC/emit/cfgEmit.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/emit/cfgEmit.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 14,20 ****
functor CFGEmit
@@ -32088,8 +32075,8 @@
struct
structure CFG = CFG
diff -N -C 2 -r MLRISC/flowgraph/buildFlowgraph.sml MLRISC-mlton/flowgraph/buildFlowgraph.sml
-*** MLRISC/flowgraph/buildFlowgraph.sml Wed May 15 09:02:06 2002
---- MLRISC-mlton/flowgraph/buildFlowgraph.sml Fri May 18 16:13:59 2007
+*** MLRISC/flowgraph/buildFlowgraph.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/flowgraph/buildFlowgraph.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 10,16 ****
structure I : INSTRUCTIONS
@@ -32174,8 +32161,8 @@
) : CONTROL_FLOWGRAPH_GEN =
struct
diff -N -C 2 -r MLRISC/flowgraph/cfg.sml MLRISC-mlton/flowgraph/cfg.sml
-*** MLRISC/flowgraph/cfg.sml Wed May 15 09:02:06 2002
---- MLRISC-mlton/flowgraph/cfg.sml Fri May 18 16:13:59 2007
+*** MLRISC/flowgraph/cfg.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/flowgraph/cfg.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 11,16 ****
(structure I : INSTRUCTIONS
@@ -32260,8 +32247,8 @@
| _ => true
diff -N -C 2 -r MLRISC/flowgraph/cfgCountCopies.sml MLRISC-mlton/flowgraph/cfgCountCopies.sml
-*** MLRISC/flowgraph/cfgCountCopies.sml Thu Mar 7 15:16:28 2002
---- MLRISC-mlton/flowgraph/cfgCountCopies.sml Fri May 18 16:13:59 2007
+*** MLRISC/flowgraph/cfgCountCopies.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/flowgraph/cfgCountCopies.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 5,12 ****
functor CFGCountCopies
@@ -32290,8 +32277,8 @@
) : CFG_OPTIMIZATION =
struct
diff -N -C 2 -r MLRISC/flowgraph/cfgExpandCopies.sml MLRISC-mlton/flowgraph/cfgExpandCopies.sml
-*** MLRISC/flowgraph/cfgExpandCopies.sml Tue Jan 15 17:10:06 2002
---- MLRISC-mlton/flowgraph/cfgExpandCopies.sml Fri May 18 16:13:59 2007
+*** MLRISC/flowgraph/cfgExpandCopies.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/flowgraph/cfgExpandCopies.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 8,13 ****
functor CFGExpandCopies
@@ -32312,8 +32299,8 @@
) : CFG_OPTIMIZATION =
struct
diff -N -C 2 -r MLRISC/flowgraph/cfgPeephole.sml MLRISC-mlton/flowgraph/cfgPeephole.sml
-*** MLRISC/flowgraph/cfgPeephole.sml Wed Sep 19 14:31:19 2001
---- MLRISC-mlton/flowgraph/cfgPeephole.sml Fri May 18 16:13:59 2007
+*** MLRISC/flowgraph/cfgPeephole.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/flowgraph/cfgPeephole.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 4,9 ****
functor CFGPeephole
@@ -32334,8 +32321,8 @@
) : CFG_OPTIMIZATION =
struct
diff -N -C 2 -r MLRISC/flowgraph/printFlowgraph.sml MLRISC-mlton/flowgraph/printFlowgraph.sml
-*** MLRISC/flowgraph/printFlowgraph.sml Thu Mar 7 15:04:13 2002
---- MLRISC-mlton/flowgraph/printFlowgraph.sml Fri May 18 16:13:59 2007
+*** MLRISC/flowgraph/printFlowgraph.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/flowgraph/printFlowgraph.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 6,12 ****
sig
@@ -32419,8 +32406,8 @@
) : PRINT_FLOWGRAPH =
struct
diff -N -C 2 -r MLRISC/flowgraph/pseudo-ops-big.sml MLRISC-mlton/flowgraph/pseudo-ops-big.sml
-*** MLRISC/flowgraph/pseudo-ops-big.sml Thu May 22 17:46:30 2003
---- MLRISC-mlton/flowgraph/pseudo-ops-big.sml Fri May 18 16:13:59 2007
+*** MLRISC/flowgraph/pseudo-ops-big.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/flowgraph/pseudo-ops-big.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 8,13 ****
functor PseudoOpsBig
@@ -32456,8 +32443,8 @@
val icache_alignment : int (* cache line size *)
val max_alignment : int option (* maximum alignment for internal labels *)
diff -N -C 2 -r MLRISC/flowgraph/pseudo-ops-little.sml MLRISC-mlton/flowgraph/pseudo-ops-little.sml
-*** MLRISC/flowgraph/pseudo-ops-little.sml Thu May 22 17:46:30 2003
---- MLRISC-mlton/flowgraph/pseudo-ops-little.sml Fri May 18 16:13:59 2007
+*** MLRISC/flowgraph/pseudo-ops-little.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/flowgraph/pseudo-ops-little.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 8,13 ****
functor PseudoOpsLittle
@@ -32493,8 +32480,8 @@
val icache_alignment : int (* cache line size *)
val max_alignment : int option (* maximum alignment for internal labels *)
diff -N -C 2 -r MLRISC/flowgraph/pseudo-ops.sig MLRISC-mlton/flowgraph/pseudo-ops.sig
-*** MLRISC/flowgraph/pseudo-ops.sig Thu Nov 22 08:25:12 2001
---- MLRISC-mlton/flowgraph/pseudo-ops.sig Fri May 18 16:13:59 2007
+*** MLRISC/flowgraph/pseudo-ops.sig 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/flowgraph/pseudo-ops.sig 2009-10-02 09:51:25.000000000 -0400
***************
*** 9,13 ****
signature PSEUDO_OPS = sig
@@ -32529,8 +32516,8 @@
type pseudo_op = (T.labexp, Client.pseudo_op) PseudoOpsBasisTyp.pseudo_op
diff -N -C 2 -r MLRISC/frequencies/compute-freqs-fn.sml MLRISC-mlton/frequencies/compute-freqs-fn.sml
-*** MLRISC/frequencies/compute-freqs-fn.sml Thu May 22 17:46:30 2003
---- MLRISC-mlton/frequencies/compute-freqs-fn.sml Fri May 18 16:13:59 2007
+*** MLRISC/frequencies/compute-freqs-fn.sml 2010-02-03 11:40:43.000000000 -0500
+--- MLRISC-mlton/frequencies/compute-freqs-fn.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 41,47 ****
(***** Representation of equations *****)
@@ -32549,8 +32536,8 @@
val zero = {c = 0.0, terms = []}
diff -N -C 2 -r MLRISC/gc-safety/gc-cells.sig MLRISC-mlton/gc-safety/gc-cells.sig
-*** MLRISC/gc-safety/gc-cells.sig Thu Jul 19 15:35:20 2001
---- MLRISC-mlton/gc-safety/gc-cells.sig Fri May 18 16:13:59 2007
+*** MLRISC/gc-safety/gc-cells.sig 2010-02-03 11:40:41.000000000 -0500
+--- MLRISC-mlton/gc-safety/gc-cells.sig 2009-10-02 09:51:25.000000000 -0400
***************
*** 9,13 ****
structure C : CELLS
@@ -32574,8 +32561,8 @@
(* Generate a virtual register and update the gc info at the same time. *)
diff -N -C 2 -r MLRISC/graphs/bigraph.sig MLRISC-mlton/graphs/bigraph.sig
-*** MLRISC/graphs/bigraph.sig Thu Jun 1 13:34:03 2000
---- MLRISC-mlton/graphs/bigraph.sig Fri May 18 16:13:59 2007
+*** MLRISC/graphs/bigraph.sig 2010-02-03 11:40:41.000000000 -0500
+--- MLRISC-mlton/graphs/bigraph.sig 2009-10-02 09:51:25.000000000 -0400
***************
*** 10,15 ****
include GRAPH
@@ -32599,8 +32586,8 @@
end
diff -N -C 2 -r MLRISC/graphs/digraph.sml MLRISC-mlton/graphs/digraph.sml
-*** MLRISC/graphs/digraph.sml Fri Sep 5 16:34:27 2003
---- MLRISC-mlton/graphs/digraph.sml Fri May 18 16:13:59 2007
+*** MLRISC/graphs/digraph.sml 2010-02-03 11:40:41.000000000 -0500
+--- MLRISC-mlton/graphs/digraph.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 8,12 ****
*)
@@ -32641,8 +32628,8 @@
sig include GRAPH_IMPLEMENTATION
diff -N -C 2 -r MLRISC/graphs/graph.sig MLRISC-mlton/graphs/graph.sig
-*** MLRISC/graphs/graph.sig Fri Mar 1 15:05:07 2002
---- MLRISC-mlton/graphs/graph.sig Fri May 18 16:13:59 2007
+*** MLRISC/graphs/graph.sig 2010-02-03 11:40:41.000000000 -0500
+--- MLRISC-mlton/graphs/graph.sig 2009-10-02 09:51:25.000000000 -0400
***************
*** 26,31 ****
type 'e edge = node_id * node_id * 'e
@@ -32666,8 +32653,8 @@
val unimplemented : 'a -> 'b
diff -N -C 2 -r MLRISC/hppa/backpatch/hppaDelaySlotProps.sml MLRISC-mlton/hppa/backpatch/hppaDelaySlotProps.sml
-*** MLRISC/hppa/backpatch/hppaDelaySlotProps.sml Thu Dec 6 20:45:32 2001
---- MLRISC-mlton/hppa/backpatch/hppaDelaySlotProps.sml Fri May 18 16:14:03 2007
+*** MLRISC/hppa/backpatch/hppaDelaySlotProps.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/hppa/backpatch/hppaDelaySlotProps.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 5,9 ****
functor HppaDelaySlots
@@ -32716,8 +32703,8 @@
| delaySlotCandidate{jmp=I.ANNOTATION{i,...},delaySlot} =
delaySlotCandidate{jmp=i,delaySlot=delaySlot}
diff -N -C 2 -r MLRISC/hppa/backpatch/hppaJumps.sml MLRISC-mlton/hppa/backpatch/hppaJumps.sml
-*** MLRISC/hppa/backpatch/hppaJumps.sml Thu May 22 17:46:30 2003
---- MLRISC-mlton/hppa/backpatch/hppaJumps.sml Fri May 18 16:14:03 2007
+*** MLRISC/hppa/backpatch/hppaJumps.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/hppa/backpatch/hppaJumps.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 6,13 ****
functor HppaJumps
@@ -32803,8 +32790,8 @@
) : SDI_JUMPS =
struct
diff -N -C 2 -r MLRISC/hppa/emit/hppaAsm.sml MLRISC-mlton/hppa/emit/hppaAsm.sml
-*** MLRISC/hppa/emit/hppaAsm.sml Sat May 18 13:21:53 2002
---- MLRISC-mlton/hppa/emit/hppaAsm.sml Fri May 18 16:14:03 2007
+*** MLRISC/hppa/emit/hppaAsm.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/hppa/emit/hppaAsm.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,16 ****
@@ -32913,8 +32900,8 @@
) : INSTRUCTION_EMITTER =
struct
diff -N -C 2 -r MLRISC/hppa/emit/hppaMC.sml MLRISC-mlton/hppa/emit/hppaMC.sml
-*** MLRISC/hppa/emit/hppaMC.sml Wed Mar 5 21:17:28 2008
---- MLRISC-mlton/hppa/emit/hppaMC.sml Fri May 9 11:57:19 2008
+*** MLRISC/hppa/emit/hppaMC.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/hppa/emit/hppaMC.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,11 ****
@@ -32957,8 +32944,8 @@
in loc := i + 1; CodeString.update(i,Word8.fromLargeWord w) end
diff -N -C 2 -r MLRISC/hppa/flowgraph/hppaGasPseudoOps.sml MLRISC-mlton/hppa/flowgraph/hppaGasPseudoOps.sml
-*** MLRISC/hppa/flowgraph/hppaGasPseudoOps.sml Wed Nov 21 12:41:49 2001
---- MLRISC-mlton/hppa/flowgraph/hppaGasPseudoOps.sml Fri May 18 16:14:03 2007
+*** MLRISC/hppa/flowgraph/hppaGasPseudoOps.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/hppa/flowgraph/hppaGasPseudoOps.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 1,5 ****
functor HppaGasPseudoOps
@@ -32993,8 +32980,8 @@
) : PSEUDO_OPS_BASIS =
diff -N -C 2 -r MLRISC/hppa/instructions/hppaInstr.sml MLRISC-mlton/hppa/instructions/hppaInstr.sml
-*** MLRISC/hppa/instructions/hppaInstr.sml Wed Jan 23 23:45:18 2002
---- MLRISC-mlton/hppa/instructions/hppaInstr.sml Fri May 18 16:14:03 2007
+*** MLRISC/hppa/instructions/hppaInstr.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/hppa/instructions/hppaInstr.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 9,13 ****
sig
@@ -33018,8 +33005,8 @@
structure T : MLTREE
structure Constant: CONSTANT
diff -N -C 2 -r MLRISC/hppa/instructions/hppaProps.sml MLRISC-mlton/hppa/instructions/hppaProps.sml
-*** MLRISC/hppa/instructions/hppaProps.sml Thu May 22 17:46:30 2003
---- MLRISC-mlton/hppa/instructions/hppaProps.sml Fri May 18 16:14:03 2007
+*** MLRISC/hppa/instructions/hppaProps.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/hppa/instructions/hppaProps.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 7,12 ****
functor HppaProps
@@ -33096,8 +33083,8 @@
| trapi(_, d, u) = (d, u)
in
diff -N -C 2 -r MLRISC/hppa/mltree/hppa.sml MLRISC-mlton/hppa/mltree/hppa.sml
-*** MLRISC/hppa/mltree/hppa.sml Wed Nov 17 15:07:35 2004
---- MLRISC-mlton/hppa/mltree/hppa.sml Fri May 18 16:14:03 2007
+*** MLRISC/hppa/mltree/hppa.sml 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/hppa/mltree/hppa.sml 2009-10-02 09:51:35.000000000 -0400
***************
*** 15,26 ****
functor Hppa
@@ -33338,8 +33325,8 @@
fun error msg = MLRiscErrorMsg.error("Hppa",msg)
diff -N -C 2 -r MLRISC/hppa/mltree/hppaMillicode.sig MLRISC-mlton/hppa/mltree/hppaMillicode.sig
-*** MLRISC/hppa/mltree/hppaMillicode.sig Thu Jul 19 15:35:20 2001
---- MLRISC-mlton/hppa/mltree/hppaMillicode.sig Fri May 18 16:14:03 2007
+*** MLRISC/hppa/mltree/hppaMillicode.sig 2010-02-03 11:40:44.000000000 -0500
+--- MLRISC-mlton/hppa/mltree/hppaMillicode.sig 2009-10-02 09:51:35.000000000 -0400
***************
*** 1,5 ****
signature HPPA_MILLICODE = sig
@@ -33363,8 +33350,8 @@
val divu : {rs:CB.cell, rt:CB.cell, rd:CB.cell} -> I.instruction list
diff -N -C 2 -r MLRISC/instructions/insnProps.sig MLRISC-mlton/instructions/insnProps.sig
-*** MLRISC/instructions/insnProps.sig Mon Mar 11 21:56:23 2002
---- MLRISC-mlton/instructions/insnProps.sig Fri May 18 16:13:59 2007
+*** MLRISC/instructions/insnProps.sig 2010-02-03 11:40:45.000000000 -0500
+--- MLRISC-mlton/instructions/insnProps.sig 2009-10-02 09:51:25.000000000 -0400
***************
*** 8,12 ****
structure I : INSTRUCTIONS
@@ -33379,8 +33366,8 @@
(* classify instructions *)
diff -N -C 2 -r MLRISC/instructions/instructions.sig MLRISC-mlton/instructions/instructions.sig
-*** MLRISC/instructions/instructions.sig Tue Jan 15 10:23:15 2002
---- MLRISC-mlton/instructions/instructions.sig Fri May 18 16:13:59 2007
+*** MLRISC/instructions/instructions.sig 2010-02-03 11:40:45.000000000 -0500
+--- MLRISC-mlton/instructions/instructions.sig 2009-10-02 09:51:25.000000000 -0400
***************
*** 9,13 ****
sig
@@ -33404,8 +33391,8 @@
type operand (* operands supported by architecture *)
type addressing_mode (* addressing mode *)
diff -N -C 2 -r MLRISC/instructions/mlriscAnnotations.sig MLRISC-mlton/instructions/mlriscAnnotations.sig
-*** MLRISC/instructions/mlriscAnnotations.sig Fri Mar 1 08:07:58 2002
---- MLRISC-mlton/instructions/mlriscAnnotations.sig Fri May 18 16:13:59 2007
+*** MLRISC/instructions/mlriscAnnotations.sig 2010-02-03 11:40:45.000000000 -0500
+--- MLRISC-mlton/instructions/mlriscAnnotations.sig 2009-10-02 09:51:25.000000000 -0400
***************
*** 16,20 ****
sig
@@ -33429,8 +33416,8 @@
(*
diff -N -C 2 -r MLRISC/library/dynamic-array.sml MLRISC-mlton/library/dynamic-array.sml
-*** MLRISC/library/dynamic-array.sml Fri Sep 5 16:34:27 2003
---- MLRISC-mlton/library/dynamic-array.sml Fri May 18 16:13:59 2007
+*** MLRISC/library/dynamic-array.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/library/dynamic-array.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 6,10 ****
@@ -33471,8 +33458,8 @@
val fromArray : 'a Array.array * 'a * int -> 'a array
val baseArray : 'a array -> 'a Array.array
diff -N -C 2 -r MLRISC/library/hash-array.sml MLRISC-mlton/library/hash-array.sml
-*** MLRISC/library/hash-array.sml Fri Sep 5 16:34:27 2003
---- MLRISC-mlton/library/hash-array.sml Fri May 18 16:13:59 2007
+*** MLRISC/library/hash-array.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/library/hash-array.sml 2009-10-02 09:51:25.000000000 -0400
***************
*** 6,10 ****
@@ -33513,8 +33500,8 @@
val array' : int * (int -> 'a) -> 'a array
val array'': int * (int -> 'a) -> 'a array
diff -N -C 2 -r MLRISC/mlb/ALPHA.mlb MLRISC-mlton/mlb/ALPHA.mlb
-*** MLRISC/mlb/ALPHA.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/ALPHA.mlb Tue Jun 16 10:57:31 2009
+*** MLRISC/mlb/ALPHA.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/ALPHA.mlb 2010-04-02 15:08:16.000000000 -0400
***************
*** 0 ****
--- 1,474 ----
@@ -33993,8 +33980,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/AMD64-Peephole.mlb MLRISC-mlton/mlb/AMD64-Peephole.mlb
-*** MLRISC/mlb/AMD64-Peephole.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/AMD64-Peephole.mlb Tue Jun 16 10:57:32 2009
+*** MLRISC/mlb/AMD64-Peephole.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/AMD64-Peephole.mlb 2010-04-02 15:08:17.000000000 -0400
***************
*** 0 ****
--- 1,60 ----
@@ -34059,11 +34046,11 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/AMD64.mlb MLRISC-mlton/mlb/AMD64.mlb
-*** MLRISC/mlb/AMD64.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/AMD64.mlb Tue Jun 16 10:57:31 2009
+*** MLRISC/mlb/AMD64.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/AMD64.mlb 2010-04-02 15:08:16.000000000 -0400
***************
*** 0 ****
---- 1,668 ----
+--- 1,670 ----
+
+ ann
+ "nonexhaustiveMatch warn" "redundantMatch warn"
@@ -34591,24 +34578,31 @@
+ signature gs_79 = ARCH_SPILL_INSTR
+ end
+ local
++ open l9
++ in
++ structure gs_80 = MLRiscAnnotations
++ end
++ local
+ signature AMD64INSN_PROPERTIES = gs_41
+ signature AMD64INSTR = gs_16
+ functor AMD64Instr = gs_17
+ functor AMD64Props = gs_42
+ signature ARCH_SPILL_INSTR = gs_79
++ structure Annotations = gs_9
+ structure CellsBasis = gs_5
+ signature MLRISC_ERROR_MSG = gs_12
++ structure MLRiscAnnotations = gs_80
+ structure MLRiscErrorMsg = gs_13
+ ../amd64/ra/amd64SpillInstr.sml
+ in
-+ functor gs_80 = AMD64SpillInstr
++ functor gs_81 = AMD64SpillInstr
+ end
+ local
+ signature AMD64INSN_PROPERTIES = gs_41
+ signature AMD64INSTR = gs_16
+ functor AMD64Instr = gs_17
+ functor AMD64Props = gs_42
-+ functor AMD64SpillInstr = gs_80
++ functor AMD64SpillInstr = gs_81
+ structure Annotations = gs_9
+ structure Array = gs_74
+ signature CFG_OPTIMIZATION = gs_62
@@ -34635,35 +34629,30 @@
+ functor RegisterAllocator = gs_66
+ ../amd64/ra/amd64RegAlloc.sml
+ in
-+ functor gs_81 = AMD64RegAlloc
++ functor gs_82 = AMD64RegAlloc
+ end
+ local
+ open l9
+ in
-+ functor gs_82 = MLTreeGen
++ functor gs_83 = MLTreeGen
+ end
+ local
+ open l9
+ in
-+ functor gs_83 = MLTreeSize
++ functor gs_84 = MLTreeSize
+ end
+ local
+ open l4
+ in
-+ structure gs_84 = IntInf
++ structure gs_85 = IntInf
+ end
+ local
+ open l34
+ in
-+ signature gs_85 = PROBABILITY
-+ structure gs_86 = Probability
++ signature gs_86 = PROBABILITY
++ structure gs_87 = Probability
+ end
+ local
-+ open l9
-+ in
-+ structure gs_87 = MLRiscAnnotations
-+ end
-+ local
+ open l4
+ in
+ structure gs_88 = ListPair
@@ -34686,20 +34675,20 @@
+ structure CellsBasis = gs_5
+ structure Int32 = gs_8
+ structure Int64 = gs_7
-+ structure IntInf = gs_84
++ structure IntInf = gs_85
+ structure Label = gs_6
+ structure List = gs_38
+ structure ListPair = gs_88
+ signature MLRISC_ERROR_MSG = gs_12
-+ structure MLRiscAnnotations = gs_87
++ structure MLRiscAnnotations = gs_80
+ structure MLRiscErrorMsg = gs_13
+ signature MLTREECOMP = gs_89
+ signature MLTREE_EXTENSION_COMP = gs_90
+ signature MLTREE_UTILS = gs_91
-+ functor MLTreeGen = gs_82
-+ functor MLTreeSize = gs_83
-+ signature PROBABILITY = gs_85
-+ structure Probability = gs_86
++ functor MLTreeGen = gs_83
++ functor MLTreeSize = gs_84
++ signature PROBABILITY = gs_86
++ structure Probability = gs_87
+ functor Shuffle = gs_26
+ structure Word = gs_24
+ structure Word32 = gs_20
@@ -34724,17 +34713,17 @@
+ functor AMD64MCFn = gs_29
+ functor AMD64Opcodes = gs_18
+ functor AMD64Props = gs_42
-+ functor AMD64RegAlloc = gs_81
++ functor AMD64RegAlloc = gs_82
+ signature AMD64SHUFFLE = gs_27
+ functor AMD64Shuffle = gs_28
-+ functor AMD64SpillInstr = gs_80
++ functor AMD64SpillInstr = gs_81
+ end
+ end
+
+ end
diff -N -C 2 -r MLRISC/mlb/CCall-sparc.mlb MLRISC-mlton/mlb/CCall-sparc.mlb
-*** MLRISC/mlb/CCall-sparc.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/CCall-sparc.mlb Tue Jun 16 10:57:33 2009
+*** MLRISC/mlb/CCall-sparc.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/CCall-sparc.mlb 2010-04-02 15:08:17.000000000 -0400
***************
*** 0 ****
--- 1,118 ----
@@ -34857,8 +34846,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/CCall-x86-64.mlb MLRISC-mlton/mlb/CCall-x86-64.mlb
-*** MLRISC/mlb/CCall-x86-64.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/CCall-x86-64.mlb Tue Jun 16 10:57:33 2009
+*** MLRISC/mlb/CCall-x86-64.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/CCall-x86-64.mlb 2010-04-02 15:08:18.000000000 -0400
***************
*** 0 ****
--- 1,125 ----
@@ -34988,8 +34977,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/CCall-x86.mlb MLRISC-mlton/mlb/CCall-x86.mlb
-*** MLRISC/mlb/CCall-x86.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/CCall-x86.mlb Tue Jun 16 10:57:34 2009
+*** MLRISC/mlb/CCall-x86.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/CCall-x86.mlb 2010-04-02 15:08:19.000000000 -0400
***************
*** 0 ****
--- 1,155 ----
@@ -35149,8 +35138,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/CCall.mlb MLRISC-mlton/mlb/CCall.mlb
-*** MLRISC/mlb/CCall.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/CCall.mlb Tue Jun 16 10:57:32 2009
+*** MLRISC/mlb/CCall.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/CCall.mlb 2010-04-02 15:08:17.000000000 -0400
***************
*** 0 ****
--- 1,96 ----
@@ -35251,8 +35240,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/Control.mlb MLRISC-mlton/mlb/Control.mlb
-*** MLRISC/mlb/Control.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/Control.mlb Tue Jun 16 10:57:34 2009
+*** MLRISC/mlb/Control.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/Control.mlb 2010-04-02 15:08:19.000000000 -0400
***************
*** 0 ****
--- 1,104 ----
@@ -35361,8 +35350,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/Graphs.mlb MLRISC-mlton/mlb/Graphs.mlb
-*** MLRISC/mlb/Graphs.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/Graphs.mlb Tue Jun 16 10:57:34 2009
+*** MLRISC/mlb/Graphs.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/Graphs.mlb 2010-04-02 15:08:19.000000000 -0400
***************
*** 0 ****
--- 1,708 ----
@@ -36075,8 +36064,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/HPPA.mlb MLRISC-mlton/mlb/HPPA.mlb
-*** MLRISC/mlb/HPPA.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/HPPA.mlb Tue Jun 16 10:57:35 2009
+*** MLRISC/mlb/HPPA.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/HPPA.mlb 2010-04-02 15:08:20.000000000 -0400
***************
*** 0 ****
--- 1,492 ----
@@ -36573,8 +36562,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/IA32-Peephole.mlb MLRISC-mlton/mlb/IA32-Peephole.mlb
-*** MLRISC/mlb/IA32-Peephole.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/IA32-Peephole.mlb Tue Jun 16 10:57:35 2009
+*** MLRISC/mlb/IA32-Peephole.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/IA32-Peephole.mlb 2010-04-02 15:08:20.000000000 -0400
***************
*** 0 ****
--- 1,60 ----
@@ -36639,8 +36628,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/IA32.mlb MLRISC-mlton/mlb/IA32.mlb
-*** MLRISC/mlb/IA32.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/IA32.mlb Tue Jun 16 10:57:35 2009
+*** MLRISC/mlb/IA32.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/IA32.mlb 2010-04-02 15:08:20.000000000 -0400
***************
*** 0 ****
--- 1,800 ----
@@ -37445,8 +37434,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/Lib.mlb MLRISC-mlton/mlb/Lib.mlb
-*** MLRISC/mlb/Lib.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/Lib.mlb Tue Jun 16 10:57:35 2009
+*** MLRISC/mlb/Lib.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/Lib.mlb 2010-04-02 15:08:20.000000000 -0400
***************
*** 0 ****
--- 1,263 ----
@@ -37714,8 +37703,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/MLRISC.mlb MLRISC-mlton/mlb/MLRISC.mlb
-*** MLRISC/mlb/MLRISC.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/MLRISC.mlb Tue Jun 16 10:57:36 2009
+*** MLRISC/mlb/MLRISC.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/MLRISC.mlb 2010-04-02 15:08:20.000000000 -0400
***************
*** 0 ****
--- 1,1746 ----
@@ -39466,8 +39455,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/MLTREE.mlb MLRISC-mlton/mlb/MLTREE.mlb
-*** MLRISC/mlb/MLTREE.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/MLTREE.mlb Tue Jun 16 10:57:36 2009
+*** MLRISC/mlb/MLTREE.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/MLTREE.mlb 2010-04-02 15:08:20.000000000 -0400
***************
*** 0 ****
--- 1,209 ----
@@ -39681,8 +39670,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/PPC.mlb MLRISC-mlton/mlb/PPC.mlb
-*** MLRISC/mlb/PPC.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/PPC.mlb Tue Jun 16 10:57:37 2009
+*** MLRISC/mlb/PPC.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/PPC.mlb 2010-04-02 15:08:21.000000000 -0400
***************
*** 0 ****
--- 1,573 ----
@@ -40260,8 +40249,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/Peephole.mlb MLRISC-mlton/mlb/Peephole.mlb
-*** MLRISC/mlb/Peephole.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/Peephole.mlb Tue Jun 16 10:57:36 2009
+*** MLRISC/mlb/Peephole.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/Peephole.mlb 2010-04-02 15:08:21.000000000 -0400
***************
*** 0 ****
--- 1,61 ----
@@ -40327,8 +40316,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/RA.mlb MLRISC-mlton/mlb/RA.mlb
-*** MLRISC/mlb/RA.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/RA.mlb Tue Jun 16 10:57:37 2009
+*** MLRISC/mlb/RA.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/RA.mlb 2010-04-02 15:08:21.000000000 -0400
***************
*** 0 ****
--- 1,152 ----
@@ -40485,8 +40474,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/SPARC.mlb MLRISC-mlton/mlb/SPARC.mlb
-*** MLRISC/mlb/SPARC.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/SPARC.mlb Tue Jun 16 10:57:37 2009
+*** MLRISC/mlb/SPARC.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/SPARC.mlb 2010-04-02 15:08:22.000000000 -0400
***************
*** 0 ****
--- 1,538 ----
@@ -41029,8 +41018,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/StagedAlloc.mlb MLRISC-mlton/mlb/StagedAlloc.mlb
-*** MLRISC/mlb/StagedAlloc.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/StagedAlloc.mlb Tue Jun 16 10:57:37 2009
+*** MLRISC/mlb/StagedAlloc.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/StagedAlloc.mlb 2010-04-02 15:08:22.000000000 -0400
***************
*** 0 ****
--- 1,91 ----
@@ -41126,8 +41115,8 @@
+
+ end
diff -N -C 2 -r MLRISC/mlb/Visual.mlb MLRISC-mlton/mlb/Visual.mlb
-*** MLRISC/mlb/Visual.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlb/Visual.mlb Tue Jun 16 10:57:37 2009
+*** MLRISC/mlb/Visual.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlb/Visual.mlb 2010-04-02 15:08:22.000000000 -0400
***************
*** 0 ****
--- 1,252 ----
@@ -41383,10 +41372,9 @@
+ end
+
+ end
-Binary files MLRISC/mlrisc-lib and MLRISC-mlton/mlrisc-lib differ
diff -N -C 2 -r MLRISC/mlrisc-lib.mlb MLRISC-mlton/mlrisc-lib.mlb
-*** MLRISC/mlrisc-lib.mlb Wed Dec 31 18:00:00 1969
---- MLRISC-mlton/mlrisc-lib.mlb Tue Jun 16 10:57:37 2009
+*** MLRISC/mlrisc-lib.mlb 1969-12-31 19:00:00.000000000 -0500
+--- MLRISC-mlton/mlrisc-lib.mlb 2010-04-02 15:08:22.000000000 -0400
***************
*** 0 ****
--- 1,24 ----
@@ -41415,8 +41403,8 @@
+ mlb/Visual.mlb
+ in end
diff -N -C 2 -r MLRISC/mltree/instr-gen.sig MLRISC-mlton/mltree/instr-gen.sig
-*** MLRISC/mltree/instr-gen.sig Fri Aug 24 12:48:53 2001
---- MLRISC-mlton/mltree/instr-gen.sig Fri May 18 16:13:59 2007
+*** MLRISC/mltree/instr-gen.sig 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/mltree/instr-gen.sig 2009-10-02 09:51:26.000000000 -0400
***************
*** 9,14 ****
structure CFG : CONTROL_FLOW_GRAPH
@@ -41454,8 +41442,8 @@
(*
diff -N -C 2 -r MLRISC/mltree/instr-gen.sml MLRISC-mlton/mltree/instr-gen.sml
-*** MLRISC/mltree/instr-gen.sml Wed Sep 19 14:31:19 2001
---- MLRISC-mlton/mltree/instr-gen.sml Fri May 18 16:13:59 2007
+*** MLRISC/mltree/instr-gen.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/mltree/instr-gen.sml 2009-10-02 09:51:26.000000000 -0400
***************
*** 5,11 ****
(structure I : INSTRUCTIONS
@@ -41498,8 +41486,8 @@
) : INSTR_GEN =
struct
diff -N -C 2 -r MLRISC/mltree/mltree-check-ty.sml MLRISC-mlton/mltree/mltree-check-ty.sml
-*** MLRISC/mltree/mltree-check-ty.sml Thu May 29 01:38:23 2008
---- MLRISC-mlton/mltree/mltree-check-ty.sml Mon Aug 18 16:14:44 2008
+*** MLRISC/mltree/mltree-check-ty.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/mltree/mltree-check-ty.sml 2009-10-02 09:51:26.000000000 -0400
***************
*** 102,106 ****
and checkCCexpB cce = (case cce
@@ -41520,8 +41508,8 @@
checkCCexpB cce1 andalso checkCCexpB cce2
| T.CMP (ty, _, e1, e2) => ty = checkRexp e1 andalso ty = checkRexp e2
diff -N -C 2 -r MLRISC/mltree/mltree-gen.sig MLRISC-mlton/mltree/mltree-gen.sig
-*** MLRISC/mltree/mltree-gen.sig Wed Sep 19 14:31:19 2001
---- MLRISC-mlton/mltree/mltree-gen.sig Fri May 18 16:13:59 2007
+*** MLRISC/mltree/mltree-gen.sig 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/mltree/mltree-gen.sig 2009-10-02 09:51:26.000000000 -0400
***************
*** 10,15 ****
@@ -41557,8 +41545,8 @@
val condOf : T.ccexp -> T.Basis.cond
diff -N -C 2 -r MLRISC/mltree/mltree-mult.sig MLRISC-mlton/mltree/mltree-mult.sig
-*** MLRISC/mltree/mltree-mult.sig Wed Sep 19 14:31:19 2001
---- MLRISC-mlton/mltree/mltree-mult.sig Fri May 18 16:13:59 2007
+*** MLRISC/mltree/mltree-mult.sig 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/mltree/mltree-mult.sig 2009-10-02 09:51:26.000000000 -0400
***************
*** 9,13 ****
structure T : MLTREE
@@ -41573,8 +41561,8 @@
exception TooComplex
diff -N -C 2 -r MLRISC/mltree/mltree-mult.sml MLRISC-mlton/mltree/mltree-mult.sml
-*** MLRISC/mltree/mltree-mult.sml Thu Aug 28 16:59:15 2003
---- MLRISC-mlton/mltree/mltree-mult.sml Fri May 18 16:13:59 2007
+*** MLRISC/mltree/mltree-mult.sml 2010-02-03 11:40:42.000000000 -0500
+--- MLRISC-mlton/mltree/mltree-mult.sml 2009-10-02 09:51:26.000000000 -0400
***************
*** 9,13 ****
structure T : MLTREE
@@ -41628,8 +41616,8 @@
) : MLTREE_MULT_DIV =
struct
diff -N -C 2 -r MLRISC/mltree/mltree-simplify.in MLRISC-mlton/mltree/mltree-simplify.in
-*** MLRISC/mltree/mltree-simplify.in Fri Mar 29 13:09:48 2002
---- MLRISC-mlton/mltree/mltree-simpli
More information about the MLton-commit
mailing list