diff --git a/basis/compiler/cfg/alias-analysis/alias-analysis-tests.factor b/basis/compiler/cfg/alias-analysis/alias-analysis-tests.factor
index 77385a13d6..0b98ba8450 100644
--- a/basis/compiler/cfg/alias-analysis/alias-analysis-tests.factor
+++ b/basis/compiler/cfg/alias-analysis/alias-analysis-tests.factor
@@ -12,13 +12,13 @@ IN: compiler.cfg.alias-analysis.tests
! Redundant load elimination
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##copy f 2 1 any-rep }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##slot-imm f 2 0 1 0 }
} test-alias-analysis
@@ -27,15 +27,15 @@ IN: compiler.cfg.alias-analysis.tests
! Store-load forwarding
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##copy f 2 1 any-rep }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##slot-imm f 2 0 1 0 }
} test-alias-analysis
@@ -44,16 +44,16 @@ IN: compiler.cfg.alias-analysis.tests
! Dead store elimination
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##set-slot-imm f 2 0 1 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##set-slot-imm f 2 0 1 0 }
} test-alias-analysis
@@ -61,18 +61,18 @@ IN: compiler.cfg.alias-analysis.tests
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##set-slot-imm f 3 0 1 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##set-slot-imm f 2 0 1 0 }
T{ ##set-slot-imm f 3 0 1 0 }
@@ -82,12 +82,12 @@ IN: compiler.cfg.alias-analysis.tests
! Redundant store elimination
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##slot-imm f 1 0 1 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##set-slot-imm f 1 0 1 0 }
} test-alias-analysis
@@ -95,13 +95,13 @@ IN: compiler.cfg.alias-analysis.tests
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##copy f 2 1 any-rep }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##copy f 2 1 any-rep }
T{ ##set-slot-imm f 2 0 1 0 }
@@ -111,16 +111,16 @@ IN: compiler.cfg.alias-analysis.tests
! Not a redundant load
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##set-slot-imm f 0 1 1 0 }
T{ ##slot-imm f 2 0 1 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##set-slot-imm f 0 1 1 0 }
T{ ##slot-imm f 2 0 1 0 }
@@ -130,20 +130,20 @@ IN: compiler.cfg.alias-analysis.tests
! Not a redundant store
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##set-slot-imm f 2 1 1 0 }
T{ ##slot-imm f 4 0 1 0 }
T{ ##set-slot-imm f 3 1 1 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##set-slot-imm f 2 1 1 0 }
T{ ##slot-imm f 4 0 1 0 }
T{ ##set-slot-imm f 3 1 1 0 }
@@ -153,10 +153,10 @@ IN: compiler.cfg.alias-analysis.tests
! There's a redundant load, but not a redundant store
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##slot-imm f 4 0 1 0 }
T{ ##set-slot-imm f 2 0 1 0 }
T{ ##slot f 5 0 3 0 0 }
@@ -165,10 +165,10 @@ IN: compiler.cfg.alias-analysis.tests
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##slot-imm f 4 0 1 0 }
T{ ##set-slot-imm f 2 0 1 0 }
T{ ##slot f 5 0 3 0 0 }
@@ -182,9 +182,9 @@ IN: compiler.cfg.alias-analysis.tests
! Redundant load elimination
{
V{
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##allot f 4 16 array }
T{ ##set-slot-imm f 3 4 1 0 }
T{ ##set-slot-imm f 2 1 1 0 }
@@ -192,9 +192,9 @@ IN: compiler.cfg.alias-analysis.tests
}
} [
V{
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##allot f 4 16 array }
T{ ##set-slot-imm f 3 4 1 0 }
T{ ##set-slot-imm f 2 1 1 0 }
@@ -205,18 +205,18 @@ IN: compiler.cfg.alias-analysis.tests
! Redundant store elimination
{
V{
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##allot f 4 16 array }
T{ ##slot-imm f 5 1 1 0 }
T{ ##set-slot-imm f 3 4 1 0 }
}
} [
V{
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##allot f 4 16 array }
T{ ##set-slot-imm f 1 4 1 0 }
T{ ##slot-imm f 5 1 1 0 }
@@ -228,10 +228,10 @@ IN: compiler.cfg.alias-analysis.tests
! can now alias the new ac
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##allot f 4 16 array }
T{ ##set-slot-imm f 0 4 1 0 }
T{ ##set-slot-imm f 4 2 1 0 }
@@ -241,10 +241,10 @@ IN: compiler.cfg.alias-analysis.tests
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
- T{ ##peek f 3 d: 3 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
+ T{ ##peek f 3 d: 3 }
T{ ##allot f 4 16 array }
T{ ##set-slot-imm f 0 4 1 0 }
T{ ##set-slot-imm f 4 2 1 0 }
@@ -257,13 +257,13 @@ IN: compiler.cfg.alias-analysis.tests
! Compares between objects which cannot alias are eliminated
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##allot f 1 16 array }
T{ ##load-reference f 2 f }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##allot f 1 16 array }
T{ ##compare f 2 0 1 cc= }
} test-alias-analysis
@@ -292,14 +292,14 @@ IN: compiler.cfg.alias-analysis.tests
! instructions which can call back into Factor code
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
@@ -308,16 +308,16 @@ IN: compiler.cfg.alias-analysis.tests
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
@@ -326,18 +326,18 @@ IN: compiler.cfg.alias-analysis.tests
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 2 0 1 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 2 0 1 0 }
@@ -346,14 +346,14 @@ IN: compiler.cfg.alias-analysis.tests
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 1 0 1 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 1 0 1 0 }
@@ -381,7 +381,7 @@ IN: compiler.cfg.alias-analysis.tests
{
V{
T{ ##allot f 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 1 d: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##copy f 2 1 any-rep }
@@ -389,7 +389,7 @@ IN: compiler.cfg.alias-analysis.tests
} [
V{
T{ ##allot f 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 1 d: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
@@ -399,8 +399,8 @@ IN: compiler.cfg.alias-analysis.tests
{
V{
T{ ##allot f 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 2 0 1 0 }
@@ -408,8 +408,8 @@ IN: compiler.cfg.alias-analysis.tests
} [
V{
T{ ##allot f 0 }
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 2 0 1 0 }
diff --git a/basis/compiler/cfg/builder/alien/alien-tests.factor b/basis/compiler/cfg/builder/alien/alien-tests.factor
index e395aab909..4420840fa5 100644
--- a/basis/compiler/cfg/builder/alien/alien-tests.factor
+++ b/basis/compiler/cfg/builder/alien/alien-tests.factor
@@ -33,7 +33,7 @@ IN: compiler.cfg.builder.alien.tests
T{ ##load-integer { dst 2 } { val 3 } }
T{ ##copy { dst 4 } { src 1 } { rep any-rep } }
T{ ##copy { dst 3 } { src 2 } { rep any-rep } }
- T{ ##inc { loc d: 2 } }
+ T{ ##inc { loc d: 2 } }
T{ ##branch }
}
} [
diff --git a/basis/compiler/cfg/builder/builder-docs.factor b/basis/compiler/cfg/builder/builder-docs.factor
index 5084b02980..d62c66c131 100644
--- a/basis/compiler/cfg/builder/builder-docs.factor
+++ b/basis/compiler/cfg/builder/builder-docs.factor
@@ -37,7 +37,7 @@ T{ basic-block
CONSTANT: ex-make-input-map [[
USING: compiler.cfg.builder prettyprint ;
T{ #shuffle { in-d { 37 81 92 } } } make-input-map .
-{ { 37 d: 2 } { 81 d: 1 } { 92 d: 0 } }
+{ { 37 d: 2 } { 81 d: 1 } { 92 d: 0 } }
]]
>>
diff --git a/basis/compiler/cfg/builder/builder-tests.factor b/basis/compiler/cfg/builder/builder-tests.factor
index e18c090a69..93cbabe0d4 100644
--- a/basis/compiler/cfg/builder/builder-tests.factor
+++ b/basis/compiler/cfg/builder/builder-tests.factor
@@ -368,9 +368,9 @@ SYMBOL: foo
! ! #shuffle
{
T{ height-state f 0 0 1 0 }
- H{ { d: -1 4 } { d: 0 4 } }
+ H{ { d: -1 4 } { d: 0 4 } }
} [
- 4 d: 0 replace-loc
+ 4 d: 0 replace-loc
f T{ #shuffle
{ mapping { { 2 4 } { 3 4 } } }
{ in-d V{ 4 } }
@@ -405,21 +405,21 @@ SYMBOL: foo
! make-input-map
{
- { { 37 d: 2 } { 81 d: 1 } { 92 d: 0 } }
+ { { 37 d: 2 } { 81 d: 1 } { 92 d: 0 } }
} [
T{ #shuffle { in-d { 37 81 92 } } } make-input-map
] unit-test
! store-shuffle
{
- H{ { d: 2 1 } }
+ H{ { d: 2 1 } }
} [
f T{ #shuffle { in-d { 7 3 0 } } { out-d { 55 } } { mapping { { 55 3 } } } }
emit-node drop replaces get
] cfg-unit-test
{
- H{ { d: -1 1 } { d: 0 1 } }
+ H{ { d: -1 1 } { d: 0 1 } }
} [
f T{ #shuffle
{ in-d { 7 } }
diff --git a/basis/compiler/cfg/copy-prop/copy-prop-tests.factor b/basis/compiler/cfg/copy-prop/copy-prop-tests.factor
index fc1c8d982d..20b0f4c8ca 100644
--- a/basis/compiler/cfg/copy-prop/copy-prop-tests.factor
+++ b/basis/compiler/cfg/copy-prop/copy-prop-tests.factor
@@ -13,12 +13,12 @@ V{
} 0 test-bb
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##branch }
} 1 test-bb
V{
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 1 d: 1 }
T{ ##branch }
} 2 test-bb
@@ -36,9 +36,9 @@ V{
V{
T{ ##copy f 6 4 any-rep }
- T{ ##replace f 3 d: 0 }
- T{ ##replace f 5 d: 1 }
- T{ ##replace f 6 d: 2 }
+ T{ ##replace f 3 d: 0 }
+ T{ ##replace f 5 d: 1 }
+ T{ ##replace f 6 d: 2 }
T{ ##branch }
} 5 test-bb
@@ -57,9 +57,9 @@ V{
{
V{
- T{ ##replace f 0 d: 0 }
- T{ ##replace f 4 d: 1 }
- T{ ##replace f 4 d: 2 }
+ T{ ##replace f 0 d: 0 }
+ T{ ##replace f 4 d: 1 }
+ T{ ##replace f 4 d: 2 }
T{ ##branch }
}
} [ 5 get instructions>> ] unit-test
@@ -71,7 +71,7 @@ V{
} 0 test-bb
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##branch }
} 1 test-bb
@@ -82,7 +82,7 @@ V{
} 2 test-bb
V{
- T{ ##replace f 2 d: 1 }
+ T{ ##replace f 2 d: 1 }
T{ ##branch }
} 3 test-bb
@@ -100,7 +100,7 @@ V{
{
V{
- T{ ##replace f 0 d: 1 }
+ T{ ##replace f 0 d: 1 }
T{ ##branch }
}
} [ 3 get instructions>> ] unit-test
diff --git a/basis/compiler/cfg/dce/dce-tests.factor b/basis/compiler/cfg/dce/dce-tests.factor
index cc51d25b93..6cb7790550 100644
--- a/basis/compiler/cfg/dce/dce-tests.factor
+++ b/basis/compiler/cfg/dce/dce-tests.factor
@@ -11,12 +11,12 @@ IN: compiler.cfg.dce.tests
T{ ##load-integer { dst 1 } { val 8 } }
T{ ##load-integer { dst 2 } { val 16 } }
T{ ##add { dst 3 } { src1 1 } { src2 2 } }
- T{ ##replace { src 3 } { loc d: 0 } }
+ T{ ##replace { src 3 } { loc d: 0 } }
} } [ V{
T{ ##load-integer { dst 1 } { val 8 } }
T{ ##load-integer { dst 2 } { val 16 } }
T{ ##add { dst 3 } { src1 1 } { src2 2 } }
- T{ ##replace { src 3 } { loc d: 0 } }
+ T{ ##replace { src 3 } { loc d: 0 } }
} test-dce ] unit-test
{ V{ } } [ V{
@@ -40,30 +40,30 @@ IN: compiler.cfg.dce.tests
T{ ##load-integer { dst 3 } { val 8 } }
T{ ##allot { dst 1 } { temp 2 } }
T{ ##set-slot-imm { obj 1 } { src 3 } }
- T{ ##replace { src 1 } { loc d: 0 } }
+ T{ ##replace { src 1 } { loc d: 0 } }
} } [ V{
T{ ##load-integer { dst 3 } { val 8 } }
T{ ##allot { dst 1 } { temp 2 } }
T{ ##set-slot-imm { obj 1 } { src 3 } }
- T{ ##replace { src 1 } { loc d: 0 } }
+ T{ ##replace { src 1 } { loc d: 0 } }
} test-dce ] unit-test
{ V{
T{ ##allot { dst 1 } { temp 2 } }
- T{ ##replace { src 1 } { loc d: 0 } }
+ T{ ##replace { src 1 } { loc d: 0 } }
} } [ V{
T{ ##allot { dst 1 } { temp 2 } }
- T{ ##replace { src 1 } { loc d: 0 } }
+ T{ ##replace { src 1 } { loc d: 0 } }
} test-dce ] unit-test
{ V{
T{ ##allot { dst 1 } { temp 2 } }
- T{ ##replace { src 1 } { loc d: 0 } }
+ T{ ##replace { src 1 } { loc d: 0 } }
T{ ##load-integer { dst 3 } { val 8 } }
T{ ##set-slot-imm { obj 1 } { src 3 } }
} } [ V{
T{ ##allot { dst 1 } { temp 2 } }
- T{ ##replace { src 1 } { loc d: 0 } }
+ T{ ##replace { src 1 } { loc d: 0 } }
T{ ##load-integer { dst 3 } { val 8 } }
T{ ##set-slot-imm { obj 1 } { src 3 } }
} test-dce ] unit-test
diff --git a/basis/compiler/cfg/def-use/def-use-docs.factor b/basis/compiler/cfg/def-use/def-use-docs.factor
index 56c5861b89..bca6abfbf3 100644
--- a/basis/compiler/cfg/def-use/def-use-docs.factor
+++ b/basis/compiler/cfg/def-use/def-use-docs.factor
@@ -19,7 +19,7 @@ HELP: defs-vregs
{ $examples
{ $example
"USING: compiler.cfg.def-use compiler.cfg.instructions compiler.cfg.registers prettyprint ;"
- "T{ ##peek f 37 d: 0 0 } defs-vregs ."
+ "T{ ##peek f 37 d: 0 0 } defs-vregs ."
"{ 37 }"
}
}
@@ -44,7 +44,7 @@ HELP: uses-vregs
{ $examples
{ $example
"USING: compiler.cfg.def-use compiler.cfg.instructions compiler.cfg.registers prettyprint ;"
- "T{ ##replace f 37 d: 1 6 } uses-vregs ."
+ "T{ ##replace f 37 d: 1 6 } uses-vregs ."
"{ 37 }"
}
} ;
diff --git a/basis/compiler/cfg/def-use/def-use-tests.factor b/basis/compiler/cfg/def-use/def-use-tests.factor
index 811737f7f3..e364374464 100644
--- a/basis/compiler/cfg/def-use/def-use-tests.factor
+++ b/basis/compiler/cfg/def-use/def-use-tests.factor
@@ -7,23 +7,23 @@ IN: compiler.cfg.def-use.tests
! compute-insns
{
- T{ ##peek f 123 d: 0 f }
+ T{ ##peek f 123 d: 0 f }
} [
- { T{ ##peek f 123 d: 0 } } 0 insns>block block>cfg compute-insns
+ { T{ ##peek f 123 d: 0 } } 0 insns>block block>cfg compute-insns
123 insn-of
] unit-test
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 0 }
- T{ ##peek f 2 d: 0 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 0 }
+ T{ ##peek f 2 d: 0 }
} 1 test-bb
V{
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} 2 test-bb
1 2 edge
V{
- T{ ##replace f 0 d: 0 }
+ T{ ##replace f 0 d: 0 }
} 3 test-bb
2 3 edge
V{ } 4 test-bb
diff --git a/basis/compiler/cfg/gc-checks/gc-checks-tests.factor b/basis/compiler/cfg/gc-checks/gc-checks-tests.factor
index 002caf8ef2..cffef83992 100644
--- a/basis/compiler/cfg/gc-checks/gc-checks-tests.factor
+++ b/basis/compiler/cfg/gc-checks/gc-checks-tests.factor
@@ -144,7 +144,7 @@ IN: compiler.cfg.gc-checks.tests
V{
T{ ##inc f 3 }
- T{ ##replace f 0 d: 1 }
+ T{ ##replace f 0 d: 1 }
} 0 test-bb
V{
@@ -181,8 +181,8 @@ V{
} 0 test-bb
V{
- T{ ##peek f 2 d: 0 }
- T{ ##inc { loc d: 3 } }
+ T{ ##peek f 2 d: 0 }
+ T{ ##inc { loc d: 3 } }
T{ ##branch }
} 1 test-bb
@@ -196,7 +196,7 @@ V{
} 3 test-bb
V{
- T{ ##replace f 2 d: 1 }
+ T{ ##replace f 2 d: 1 }
T{ ##branch }
} 4 test-bb
diff --git a/basis/compiler/cfg/intrinsics/fixnum/fixnum-tests.factor b/basis/compiler/cfg/intrinsics/fixnum/fixnum-tests.factor
index 13ca7c2b56..3430cb025f 100644
--- a/basis/compiler/cfg/intrinsics/fixnum/fixnum-tests.factor
+++ b/basis/compiler/cfg/intrinsics/fixnum/fixnum-tests.factor
@@ -42,7 +42,7 @@ IN: compiler.cfg.intrinsics.fixnum.tests
{ src 321 }
{ rep any-rep }
}
- T{ ##inc { loc d: -1 } }
+ T{ ##inc { loc d: -1 } }
T{ ##branch }
}
77
diff --git a/basis/compiler/cfg/intrinsics/fixnum/fixnum.factor b/basis/compiler/cfg/intrinsics/fixnum/fixnum.factor
index 8fa2840d60..8e6051baef 100644
--- a/basis/compiler/cfg/intrinsics/fixnum/fixnum.factor
+++ b/basis/compiler/cfg/intrinsics/fixnum/fixnum.factor
@@ -41,7 +41,7 @@ IN: compiler.cfg.intrinsics.fixnum
'[ _ ^^compare-integer ] binary-op ;
: emit-no-overflow-case ( dst block -- final-bb )
- [ swap d: -2 inc-stack ds-push ] with-branch ;
+ [ swap d: -2 inc-stack ds-push ] with-branch ;
: emit-overflow-case ( word block -- final-bb )
[ -1 swap [ emit-call-block ] keep ] with-branch ;
diff --git a/basis/compiler/cfg/intrinsics/simd/backend/backend.factor b/basis/compiler/cfg/intrinsics/simd/backend/backend.factor
index a3fa130d41..29dded7e3b 100644
--- a/basis/compiler/cfg/intrinsics/simd/backend/backend.factor
+++ b/basis/compiler/cfg/intrinsics/simd/backend/backend.factor
@@ -131,10 +131,10 @@ CONSTANT: binary/param [ [ -2 <ds-loc> inc-stack 2inputs ] dip ]
CONSTANT: quaternary
[
ds-drop
- d: 3 peek-loc
- d: 2 peek-loc
- d: 1 peek-loc
- d: 0 peek-loc
+ d: 3 peek-loc
+ d: 2 peek-loc
+ d: 1 peek-loc
+ d: 0 peek-loc
-4 <ds-loc> inc-stack
]
diff --git a/basis/compiler/cfg/linear-scan/assignment/assignment-tests.factor b/basis/compiler/cfg/linear-scan/assignment/assignment-tests.factor
index 682e6b0c55..cc5d711b04 100644
--- a/basis/compiler/cfg/linear-scan/assignment/assignment-tests.factor
+++ b/basis/compiler/cfg/linear-scan/assignment/assignment-tests.factor
@@ -56,27 +56,27 @@ IN: compiler.cfg.linear-scan.assignment.tests
} [
H{ { 37 RAX } } pending-interval-assoc set
{ { 37 int-rep 37 f } } setup-vreg-spills
- T{ ##peek f 37 d: 0 0 } [ assign-insn-defs ] keep
+ T{ ##peek f 37 d: 0 0 } [ assign-insn-defs ] keep
] unit-test
! assign-all-registers
{
- T{ ##replace-imm f 20 d: 0 f }
- T{ ##replace f RAX d: 0 f }
+ T{ ##replace-imm f 20 d: 0 f }
+ T{ ##replace f RAX d: 0 f }
} [
! It doesn't do anything because ##replace-imm isn't a vreg-insn.
- T{ ##replace-imm { src 20 } { loc d: 0 } } [ assign-all-registers ] keep
+ T{ ##replace-imm { src 20 } { loc d: 0 } } [ assign-all-registers ] keep
! This one does something.
H{ { 37 RAX } } pending-interval-assoc set
H{ { 37 37 } } leader-map set
- T{ ##replace { src 37 } { loc d: 0 } } clone
+ T{ ##replace { src 37 } { loc d: 0 } } clone
[ assign-all-registers ] keep
] unit-test
! assign-registers
{ } [
- V{ T{ ##inc { loc d: 3 } { insn# 7 } } } 0 insns>block block>cfg { }
+ V{ T{ ##inc { loc d: 3 } { insn# 7 } } } 0 insns>block block>cfg { }
assign-registers
] unit-test
@@ -85,7 +85,7 @@ IN: compiler.cfg.linear-scan.assignment.tests
V{ T{ ##inc { loc T{ ds-loc { n 3 } } } { insn# 7 } } }
} [
{ } init-assignment
- V{ T{ ##inc { loc d: 3 } { insn# 7 } } } 0 insns>block
+ V{ T{ ##inc { loc d: 3 } { insn# 7 } } } 0 insns>block
[ assign-registers-in-block ] keep instructions>>
] unit-test
diff --git a/basis/compiler/cfg/linear-scan/linear-scan-tests.factor b/basis/compiler/cfg/linear-scan/linear-scan-tests.factor
index 272c697b22..f2290b4670 100644
--- a/basis/compiler/cfg/linear-scan/linear-scan-tests.factor
+++ b/basis/compiler/cfg/linear-scan/linear-scan-tests.factor
@@ -33,7 +33,7 @@ check-numbering? on
! live range
{
T{ ##load-integer f 1 0 }
- T{ ##replace-imm f d: 0 "hi" }
+ T{ ##replace-imm f d: 0 "hi" }
T{ ##branch }
} insns>cfg
[ cfg set ] [ number-instructions ] [ compute-live-intervals ] tri
diff --git a/basis/compiler/cfg/liveness/liveness-tests.factor b/basis/compiler/cfg/liveness/liveness-tests.factor
index be316855c5..fe7b3606d6 100644
--- a/basis/compiler/cfg/liveness/liveness-tests.factor
+++ b/basis/compiler/cfg/liveness/liveness-tests.factor
@@ -75,17 +75,17 @@ IN: compiler.cfg.liveness.tests
! gen-uses
{ H{ { 37 37 } } } [
- H{ } clone [ T{ ##replace f 37 d: 0 0 } gen-uses ] keep
+ H{ } clone [ T{ ##replace f 37 d: 0 0 } gen-uses ] keep
] unit-test
! kill-defs
{ H{ } } [
- H{ } dup T{ ##peek f 37 d: 0 0 } kill-defs
+ H{ } dup T{ ##peek f 37 d: 0 0 } kill-defs
] unit-test
{ H{ { 3 3 } } } [
H{ { 37 99 } { 99 99 } { 2 99 } } leader-map set
- H{ { 37 37 } { 3 3 } } dup T{ ##peek f 2 d: 0 0 } kill-defs
+ H{ { 37 37 } { 3 3 } } dup T{ ##peek f 2 d: 0 0 } kill-defs
] unit-test
! liveness-step
@@ -108,21 +108,21 @@ IN: compiler.cfg.liveness.tests
cpu x86.64? [
{ f } [
H{ } base-pointers set
- H{ { 123 T{ ##peek { dst RCX } { loc d: 1 } { insn# 6 } } } } insns set
+ H{ { 123 T{ ##peek { dst RCX } { loc d: 1 } { insn# 6 } } } } insns set
123 lookup-base-pointer
] unit-test
] when
! lookup-base-pointer*
{ f } [
- 456 T{ ##peek f 123 d: 0 } lookup-base-pointer*
+ 456 T{ ##peek f 123 d: 0 } lookup-base-pointer*
] unit-test
! transfer-liveness
{
H{ { 37 37 } }
} [
- H{ } clone dup { T{ ##replace f 37 d: 1 6 } T{ ##peek f 37 d: 0 0 } }
+ H{ } clone dup { T{ ##replace f 37 d: 1 6 } T{ ##peek f 37 d: 0 0 } }
transfer-liveness
] unit-test
@@ -141,12 +141,12 @@ cpu x86.64? [
! visit-insn
{ H{ } } [
- H{ } clone [ T{ ##peek f 0 d: 0 } visit-insn ] keep
+ H{ } clone [ T{ ##peek f 0 d: 0 } visit-insn ] keep
] unit-test
{ H{ { 48 48 } { 37 37 } } } [
H{ { 48 tagged-rep } } representations set
- H{ { 48 48 } } clone [ T{ ##replace f 37 d: 1 6 } visit-insn ] keep
+ H{ { 48 48 } } clone [ T{ ##replace f 37 d: 1 6 } visit-insn ] keep
] unit-test
{
@@ -167,20 +167,20 @@ cpu x86.64? [
! Sanity check...
V{
- T{ ##peek f 0 d: 0 }
- T{ ##replace f 0 d: 0 }
- T{ ##replace f 1 d: 1 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##replace f 0 d: 0 }
+ T{ ##replace f 1 d: 1 }
+ T{ ##peek f 1 d: 1 }
T{ ##branch }
} 1 test-bb
V{
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
T{ ##branch }
} 2 test-bb
V{
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
T{ ##return }
} 3 test-bb
@@ -201,7 +201,7 @@ unit-test
! Tricky case; defs must be killed before uses
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##branch }
} 1 test-bb
@@ -223,12 +223,12 @@ V{
} 0 test-bb
V{
- T{ ##inc { loc r: 2 } }
- T{ ##inc { loc d: -2 } }
- T{ ##peek f 21 d: -1 }
- T{ ##peek f 22 d: -2 }
- T{ ##replace f 21 r: 0 }
- T{ ##replace f 22 r: 1 }
+ T{ ##inc { loc r: 2 } }
+ T{ ##inc { loc d: -2 } }
+ T{ ##peek f 21 d: -1 }
+ T{ ##peek f 22 d: -2 }
+ T{ ##replace f 21 r: 0 }
+ T{ ##replace f 22 r: 1 }
T{ ##branch }
} 1 test-bb
@@ -238,10 +238,10 @@ V{
} 2 test-bb
V{
- T{ ##inc { loc r: -1 } }
- T{ ##inc { loc d: 1 } }
- T{ ##peek f 25 r: -1 }
- T{ ##replace f 25 d: 0 }
+ T{ ##inc { loc r: -1 } }
+ T{ ##inc { loc d: 1 } }
+ T{ ##peek f 25 r: -1 }
+ T{ ##replace f 25 d: 0 }
T{ ##branch }
} 3 test-bb
@@ -251,35 +251,35 @@ V{
} 4 test-bb
V{
- T{ ##inc f r: -1 }
- T{ ##inc f d: 2 }
- T{ ##peek f 27 r: -1 }
- T{ ##peek f 28 d: 2 }
- T{ ##peek f 29 d: 3 }
+ T{ ##inc f r: -1 }
+ T{ ##inc f d: 2 }
+ T{ ##peek f 27 r: -1 }
+ T{ ##peek f 28 d: 2 }
+ T{ ##peek f 29 d: 3 }
T{ ##load-integer f 30 1 }
T{ ##load-integer f 31 0 }
T{ ##compare-imm-branch f 27 f cc/= }
} 5 test-bb
V{
- T{ ##inc f d: -1 }
+ T{ ##inc f d: -1 }
T{ ##branch }
} 6 test-bb
V{
- T{ ##inc f d: -1 }
+ T{ ##inc f d: -1 }
T{ ##branch }
} 7 test-bb
V{
T{ ##phi f 36 H{ { 6 30 } { 7 31 } } }
- T{ ##inc f d: -2 }
+ T{ ##inc f d: -2 }
T{ ##unbox f 37 29 "alien_offset" int-rep }
T{ ##unbox f 38 28 "to_double" double-rep }
T{ ##unbox f 39 36 "to_cell" int-rep }
T{ ##alien-invoke f f V{ } V{ { 37 int-rep 0 } { 38 double-rep 4 } { 39 int-rep 12 } } { { 40 int-rep EAX } } { } 0 16 "CFRunLoopRunInMode" f T{ gc-map } }
T{ ##box f 41 40 "from_signed_cell" int-rep T{ gc-map } }
- T{ ##replace f 41 d: 0 }
+ T{ ##replace f 41 d: 0 }
T{ ##branch }
} 8 test-bb
@@ -334,7 +334,7 @@ V{
} 5 test-bb
V{
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
T{ ##branch }
} 6 test-bb
@@ -368,12 +368,12 @@ V{
} 0 test-bb
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##tagged>integer f 1 0 }
T{ ##call-gc f T{ gc-map } }
- T{ ##replace f 0 d: 0 }
+ T{ ##replace f 0 d: 0 }
T{ ##call-gc f T{ gc-map } }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
T{ ##branch }
} 1 test-bb
diff --git a/basis/compiler/cfg/registers/registers-tests.factor b/basis/compiler/cfg/registers/registers-tests.factor
index dbd0176f4a..dd07dae2fd 100644
--- a/basis/compiler/cfg/registers/registers-tests.factor
+++ b/basis/compiler/cfg/registers/registers-tests.factor
@@ -4,5 +4,5 @@ IN: compiler.cfg.registers.tests
! Ensure prettyprinting of ds/rs-loc is right
{ "d: 3\nr: -1\n" } [
- [ d: 3 . r: -1 . ] with-string-writer
+ [ d: 3 . r: -1 . ] with-string-writer
] unit-test
diff --git a/basis/compiler/cfg/representations/coalescing/coalescing-tests.factor b/basis/compiler/cfg/representations/coalescing/coalescing-tests.factor
index b73d79685d..ef644f2b78 100644
--- a/basis/compiler/cfg/representations/coalescing/coalescing-tests.factor
+++ b/basis/compiler/cfg/representations/coalescing/coalescing-tests.factor
@@ -12,7 +12,7 @@ V{
} 0 test-bb
V{
- T{ ##peek f 2 d: 0 }
+ T{ ##peek f 2 d: 0 }
T{ ##load-integer f 0 0 }
T{ ##branch }
} 1 test-bb
diff --git a/basis/compiler/cfg/representations/representations-tests.factor b/basis/compiler/cfg/representations/representations-tests.factor
index b2410165e6..efd2076446 100644
--- a/basis/compiler/cfg/representations/representations-tests.factor
+++ b/basis/compiler/cfg/representations/representations-tests.factor
@@ -59,12 +59,12 @@ V{
} 0 test-bb
V{
- T{ ##peek f 1 d: 0 }
- T{ ##peek f 2 d: 1 }
+ T{ ##peek f 1 d: 0 }
+ T{ ##peek f 2 d: 1 }
T{ ##add-float f 3 1 2 }
- T{ ##replace f 3 d: 0 }
- T{ ##replace f 3 d: 1 }
- T{ ##replace f 3 d: 2 }
+ T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 1 }
+ T{ ##replace f 3 d: 2 }
T{ ##branch }
} 1 test-bb
@@ -87,20 +87,20 @@ V{
} 0 test-bb
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##branch }
} 1 test-bb
V{
T{ ##add-float f 2 1 1 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
T{ ##epilogue }
T{ ##return }
} 2 test-bb
V{
T{ ##add-float f 3 1 1 }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
T{ ##epilogue }
T{ ##return }
} 3 test-bb
@@ -112,7 +112,7 @@ V{
{
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##branch }
}
} [ 1 get instructions>> ] unit-test
@@ -125,19 +125,19 @@ V{
} 0 test-bb
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##branch }
} 1 test-bb
V{
- T{ ##replace f 1 r: 0 }
+ T{ ##replace f 1 r: 0 }
T{ ##epilogue }
T{ ##return }
} 2 test-bb
V{
T{ ##mul f 2 1 1 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
T{ ##branch }
} 3 test-bb
@@ -155,7 +155,7 @@ V{
{
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##branch }
}
} [ 1 get instructions>> ] unit-test
@@ -168,7 +168,7 @@ V{
} 0 test-bb
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##branch }
} 1 test-bb
@@ -180,8 +180,8 @@ V{
V{
T{ ##add f 2 1 1 }
T{ ##mul f 3 1 1 }
- T{ ##replace f 2 d: 0 }
- T{ ##replace f 3 d: 1 }
+ T{ ##replace f 2 d: 0 }
+ T{ ##replace f 3 d: 1 }
T{ ##branch }
} 3 test-bb
@@ -201,7 +201,7 @@ V{
{
V{
- T{ ##peek f 4 d: 0 }
+ T{ ##peek f 4 d: 0 }
T{ ##sar-imm f 1 4 $[ tag-bits get ] }
T{ ##branch }
}
@@ -214,10 +214,10 @@ V{
} 0 test-bb
V{
- T{ ##peek f 1 d: 0 }
- T{ ##peek f 2 d: 0 }
+ T{ ##peek f 1 d: 0 }
+ T{ ##peek f 2 d: 0 }
T{ ##vector>scalar f 3 2 int-4-rep }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
T{ ##branch }
} 1 test-bb
@@ -251,7 +251,7 @@ V{
V{
T{ ##phi f 3 H{ { 1 1 } { 2 2 } } }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
T{ ##branch }
} 3 test-bb
@@ -282,8 +282,8 @@ V{
} 0 test-bb
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##add f 2 0 1 }
T{ ##branch }
} 1 test-bb
@@ -295,7 +295,7 @@ V{
V{
T{ ##phi f 4 H{ { 1 2 } { 2 3 } } }
- T{ ##replace f 4 d: 0 }
+ T{ ##replace f 4 d: 0 }
T{ ##branch }
} 3 test-bb
@@ -323,10 +323,10 @@ cpu x86.32? [
} 0 test-bb
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##load-reference f 2 0.5 }
T{ ##add-float f 3 1 2 }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
T{ ##branch }
} 1 test-bb
@@ -349,7 +349,7 @@ cpu x86.32? [
} 0 test-bb
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##compare-imm-branch f 1 2 cc= }
} 1 test-bb
@@ -365,9 +365,9 @@ cpu x86.32? [
V{
T{ ##phi f 4 H{ { 2 2 } { 3 3 } } }
- T{ ##peek f 5 d: 0 }
+ T{ ##peek f 5 d: 0 }
T{ ##add-float f 6 4 5 }
- T{ ##replace f 6 d: 0 }
+ T{ ##replace f 6 d: 0 }
} 4 test-bb
V{
@@ -398,14 +398,14 @@ cpu x86.32? [
{ f } [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 1 }
T{ ##add-float f 3 0 0 }
T{ ##store-memory-imm f 3 2 0 float-rep f }
T{ ##store-memory-imm f 3 2 4 float-rep f }
T{ ##mul-float f 4 0 0 }
- T{ ##replace f 4 d: 0 }
+ T{ ##replace f 4 d: 0 }
} test-peephole
[ ##single>double-float? ] any?
] unit-test
@@ -414,12 +414,12 @@ cpu x86.32? [
{
V{
T{ ##load-tagged f 1 $[ 100 tag-fixnum ] }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
V{
T{ ##load-integer f 1 100 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} test-peephole
] unit-test
@@ -428,18 +428,18 @@ cpu x86.32? [
{
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##sar-imm f 2 1 1 }
T{ ##add f 4 2 2 }
T{ ##shl-imm f 3 4 $[ tag-bits get ] }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
}
} [
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##shl-imm f 2 1 3 }
T{ ##add f 3 2 2 }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
} test-peephole
] unit-test
@@ -447,35 +447,35 @@ cpu x86.32? [
{
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##shl-imm f 2 1 $[ 10 tag-bits get - ] }
T{ ##add f 4 2 2 }
T{ ##shl-imm f 3 4 $[ tag-bits get ] }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
}
} [
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##shl-imm f 2 1 10 }
T{ ##add f 3 2 2 }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
} test-peephole
] unit-test
{
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##copy f 2 1 int-rep }
T{ ##add f 5 2 2 }
T{ ##shl-imm f 3 5 $[ tag-bits get ] }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
}
} [
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##shl-imm f 2 1 $[ tag-bits get ] }
T{ ##add f 3 2 2 }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
} test-peephole
] unit-test
@@ -484,13 +484,13 @@ cpu x86.32? [
V{
T{ ##load-integer f 1 100 }
T{ ##shl-imm f 2 1 $[ 3 tag-bits get + ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
V{
T{ ##load-integer f 1 100 }
T{ ##shl-imm f 2 1 3 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} test-peephole
] unit-test
@@ -498,15 +498,15 @@ cpu x86.32? [
! need to be tagged
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shl-imm f 1 0 3 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shl-imm f 1 0 3 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} test-peephole
] unit-test
@@ -534,16 +534,16 @@ cpu x86.32? [
! Peephole optimization if input to ##sar-imm is tagged
{
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##sar-imm f 7 1 $[ 3 tag-bits get + ] }
T{ ##shl-imm f 2 7 $[ tag-bits get ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##sar-imm f 2 1 3 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} test-peephole
] unit-test
@@ -555,13 +555,13 @@ cpu x86.32? [
T{ ##load-integer f 1 100 }
T{ ##sar-imm f 7 1 3 }
T{ ##shl-imm f 2 7 $[ tag-bits get ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
V{
T{ ##load-integer f 1 100 }
T{ ##sar-imm f 2 1 3 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} test-peephole
] unit-test
@@ -569,7 +569,7 @@ cpu x86.32? [
! need to be tagged
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sar-imm f 1 0 $[ 3 tag-bits get + ] }
T{ ##load-integer f 3 100 }
T{ ##load-integer f 4 100 }
@@ -577,7 +577,7 @@ cpu x86.32? [
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sar-imm f 1 0 3 }
T{ ##load-integer f 3 100 }
T{ ##load-integer f 4 100 }
@@ -638,7 +638,7 @@ cpu x86.32? [
T{ ##load-integer f 3 100 }
T{ ##add f 7 2 3 }
T{ ##shl-imm f 4 7 $[ tag-bits get ] }
- T{ ##replace f 4 d: 0 }
+ T{ ##replace f 4 d: 0 }
}
} [
V{
@@ -647,38 +647,38 @@ cpu x86.32? [
T{ ##sar-imm f 2 1 3 }
T{ ##load-integer f 3 100 }
T{ ##add f 4 2 3 }
- T{ ##replace f 4 d: 0 }
+ T{ ##replace f 4 d: 0 }
} test-peephole
] unit-test
! Tag/untag elimination
{
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##add-imm f 2 1 $[ 100 tag-fixnum ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##add-imm f 2 1 100 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} test-peephole
] unit-test
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##add f 2 0 1 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##add f 2 0 1 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} test-peephole
] unit-test
@@ -688,17 +688,17 @@ cpu x86.64? [
[
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sar-imm f 5 0 $[ tag-bits get ] }
T{ ##add-imm f 6 5 $[ 30 2^ ] }
T{ ##shl-imm f 2 6 $[ tag-bits get ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
] [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##add-imm f 2 0 $[ 30 2^ ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} test-peephole
] unit-test
@@ -707,13 +707,13 @@ cpu x86.64? [
T{ ##load-integer f 0 100 }
T{ ##mul-imm f 7 0 $[ 30 2^ ] }
T{ ##shl-imm f 1 7 $[ tag-bits get ] }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
] [
V{
T{ ##load-integer f 0 100 }
T{ ##mul-imm f 1 0 $[ 30 2^ ] }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} test-peephole
] unit-test
] when
@@ -721,15 +721,15 @@ cpu x86.64? [
! Tag/untag elimination for ##mul-imm
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##mul-imm f 1 0 100 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##mul-imm f 1 0 100 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} test-peephole
] unit-test
@@ -737,108 +737,108 @@ cpu x86.64? [
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##sar-imm f 5 1 $[ tag-bits get ] }
T{ ##add-imm f 2 5 30 }
T{ ##mul-imm f 3 2 $[ 100 tag-fixnum ] }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##add-imm f 2 1 30 }
T{ ##mul-imm f 3 2 100 }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
} test-peephole
] unit-test
! Tag/untag elimination for ##compare-integer and ##test
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##test f 2 0 1 cc= }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##test f 2 0 1 cc= }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} test-peephole
] unit-test
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-integer f 2 0 1 cc= }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-integer f 2 0 1 cc= }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} test-peephole
] unit-test
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-integer-branch f 0 1 cc= }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-integer-branch f 0 1 cc= }
} test-peephole
] unit-test
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##test-branch f 0 1 cc= }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##test-branch f 0 1 cc= }
} test-peephole
] unit-test
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-integer-imm-branch f 0 $[ 10 tag-fixnum ] cc= }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-integer-imm-branch f 0 10 cc= }
} test-peephole
] unit-test
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##test-imm-branch f 0 $[ 10 tag-fixnum ] cc= }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##test-imm-branch f 0 10 cc= }
} test-peephole
] unit-test
@@ -846,15 +846,15 @@ cpu x86.64? [
! Tag/untag elimination for ##neg
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##neg f 1 0 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##neg f 1 0 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} test-peephole
] unit-test
@@ -862,21 +862,21 @@ cpu x86.64? [
{
V{
- T{ ##peek { dst 0 } { loc d: 0 } }
- T{ ##peek { dst 1 } { loc d: 1 } }
+ T{ ##peek { dst 0 } { loc d: 0 } }
+ T{ ##peek { dst 1 } { loc d: 1 } }
T{ ##sar-imm { dst 5 } { src1 0 } { src2 4 } }
T{ ##sar-imm { dst 6 } { src1 1 } { src2 4 } }
T{ ##mul { dst 2 } { src1 5 } { src2 6 } }
T{ ##mul-imm { dst 3 } { src1 2 } { src2 -16 } }
- T{ ##replace { src 3 } { loc d: 0 } }
+ T{ ##replace { src 3 } { loc d: 0 } }
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##mul f 2 0 1 }
T{ ##neg f 3 2 }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
} test-peephole
] unit-test
@@ -885,16 +885,16 @@ cpu x86.64? [
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##not f 3 0 }
T{ ##xor-imm f 1 3 $[ tag-mask get ] }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##not f 1 0 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} test-peephole
] unit-test
@@ -903,15 +903,15 @@ cpu x86.64? [
{
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##bit-count f 3 0 }
T{ ##shl-imm f 1 3 $[ tag-bits get ] }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##bit-count f 1 0 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} test-peephole
] unit-test
diff --git a/basis/compiler/cfg/save-contexts/save-contexts-tests.factor b/basis/compiler/cfg/save-contexts/save-contexts-tests.factor
index 04f9cdebdf..d4264237b0 100644
--- a/basis/compiler/cfg/save-contexts/save-contexts-tests.factor
+++ b/basis/compiler/cfg/save-contexts/save-contexts-tests.factor
@@ -36,7 +36,7 @@ V{
4 vreg-counter set-global
V{
- T{ ##inc f d: 3 }
+ T{ ##inc f d: 3 }
T{ ##box f 4 3 "from_signed_4" int-rep
T{ gc-map { gc-roots { } } }
}
@@ -46,7 +46,7 @@ V{
{
V{
- T{ ##inc f d: 3 }
+ T{ ##inc f d: 3 }
T{ ##save-context f 5 6 }
T{ ##box f 4 3 "from_signed_4" int-rep
T{ gc-map { gc-roots { } } }
diff --git a/basis/compiler/cfg/ssa/construction/construction-tests.factor b/basis/compiler/cfg/ssa/construction/construction-tests.factor
index da86b533a6..9f81281c8a 100644
--- a/basis/compiler/cfg/ssa/construction/construction-tests.factor
+++ b/basis/compiler/cfg/ssa/construction/construction-tests.factor
@@ -62,7 +62,7 @@ V{
} 2 test-bb
V{
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
T{ ##return }
} 3 test-bb
@@ -98,7 +98,7 @@ V{
{
V{
T{ ##phi f 6 H{ { 1 4 } { 2 5 } } }
- T{ ##replace f 6 d: 0 }
+ T{ ##replace f 6 d: 0 }
T{ ##return }
}
} [
@@ -111,9 +111,9 @@ reset-counters
V{ } 0 test-bb
V{ } 1 test-bb
-V{ T{ ##peek f 0 d: 0 } } 2 test-bb
-V{ T{ ##peek f 0 d: 0 } } 3 test-bb
-V{ T{ ##replace f 0 d: 0 } } 4 test-bb
+V{ T{ ##peek f 0 d: 0 } } 2 test-bb
+V{ T{ ##peek f 0 d: 0 } } 3 test-bb
+V{ T{ ##replace f 0 d: 0 } } 4 test-bb
V{ } 5 test-bb
V{ } 6 test-bb
@@ -129,7 +129,7 @@ V{ } 6 test-bb
{
V{
T{ ##phi f 3 H{ { 2 1 } { 3 2 } } }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
}
} [
4 get instructions>>
diff --git a/basis/compiler/cfg/ssa/interference/interference-tests.factor b/basis/compiler/cfg/ssa/interference/interference-tests.factor
index 737f7c0b08..5b7ccbd207 100644
--- a/basis/compiler/cfg/ssa/interference/interference-tests.factor
+++ b/basis/compiler/cfg/ssa/interference/interference-tests.factor
@@ -30,19 +30,19 @@ IN: compiler.cfg.ssa.interference.tests
[ [ <test-vreg-info> ] map ] bi@ sets-interfere? ;
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 2 d: 0 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 2 d: 0 }
T{ ##copy f 1 0 }
T{ ##copy f 3 2 }
T{ ##branch }
} 0 test-bb
V{
- T{ ##peek f 4 d: 0 }
- T{ ##peek f 5 d: 0 }
- T{ ##replace f 3 d: 0 }
- T{ ##peek f 6 d: 0 }
- T{ ##replace f 5 d: 0 }
+ T{ ##peek f 4 d: 0 }
+ T{ ##peek f 5 d: 0 }
+ T{ ##replace f 3 d: 0 }
+ T{ ##peek f 6 d: 0 }
+ T{ ##replace f 5 d: 0 }
T{ ##return }
} 1 test-bb
@@ -72,11 +72,11 @@ V{
V{
- T{ ##inc f d: -3 }
- T{ ##peek f 12 d: -2 }
- T{ ##peek f 23 d: -1 }
+ T{ ##inc f d: -3 }
+ T{ ##peek f 12 d: -2 }
+ T{ ##peek f 23 d: -1 }
T{ ##sar-imm f 13 23 4 }
- T{ ##peek f 24 d: -3 }
+ T{ ##peek f 24 d: -3 }
T{ ##sar-imm f 14 24 4 }
T{ ##mul f 15 13 13 }
T{ ##mul f 16 15 15 }
@@ -103,8 +103,8 @@ V{
} 0 test-bb
V{
- T{ ##inc f d: 2 }
- T{ ##peek f 32 d: 2 }
+ T{ ##inc f d: 2 }
+ T{ ##peek f 32 d: 2 }
T{ ##load-reference f 33 ##check-nursery-branch }
T{ ##load-integer f 34 11 }
T{ ##tagged>integer f 35 32 }
@@ -120,10 +120,10 @@ V{
} 2 test-bb
V{
- T{ ##inc f d: -2 }
+ T{ ##inc f d: -2 }
T{ ##slot-imm f 57 48 11 2 }
T{ ##compare f 58 33 57 cc= 20 }
- T{ ##replace f 58 d: 0 }
+ T{ ##replace f 58 d: 0 }
T{ ##branch f }
} 3 test-bb
@@ -133,8 +133,8 @@ V{
} 4 test-bb
V{
- T{ ##inc f d: -2 }
- T{ ##replace-imm f f d: 0 }
+ T{ ##inc f d: -2 }
+ T{ ##replace-imm f f d: 0 }
T{ ##branch f }
} 5 test-bb
@@ -144,8 +144,8 @@ V{
} 6 test-bb
V{
- T{ ##inc f d: -2 }
- T{ ##replace-imm f f d: 0 }
+ T{ ##inc f d: -2 }
+ T{ ##replace-imm f f d: 0 }
T{ ##branch f }
} 7 test-bb
@@ -185,13 +185,13 @@ V{
} 2 test-bb
V{
- T{ ##inc f d: 1 }
+ T{ ##inc f d: 1 }
T{ ##load-reference f 37 T{ bab } }
T{ ##load-reference f 38 { gfg 1 1 tuple 57438726 gfg 7785907 } }
T{ ##allot f 40 12 tuple 4 }
T{ ##set-slot-imm f 38 40 1 7 }
T{ ##set-slot-imm f 37 40 2 7 }
- T{ ##replace f 40 d: 0 }
+ T{ ##replace f 40 d: 0 }
T{ ##branch }
} 3 test-bb
@@ -201,17 +201,17 @@ V{
} 4 test-bb
V{
- T{ ##inc f r: 1 }
- T{ ##inc f d: 1 }
- T{ ##peek f 43 d: 1 }
- T{ ##peek f 44 d: 2 }
+ T{ ##inc f r: 1 }
+ T{ ##inc f d: 1 }
+ T{ ##peek f 43 d: 1 }
+ T{ ##peek f 44 d: 2 }
T{ ##tagged>integer f 45 43 }
T{ ##and-imm f 46 45 15 }
T{ ##compare-integer-imm-branch f 46 7 cc= }
} 5 test-bb
V{
- T{ ##inc f d: 1 }
+ T{ ##inc f d: 1 }
T{ ##slot-imm f 58 43 1 7 }
T{ ##slot-imm f 60 58 7 2 }
T{ ##compare-imm-branch f 60 bab cc= }
@@ -222,8 +222,8 @@ V{
} 7 test-bb
V{
- T{ ##inc f r: -1 }
- T{ ##inc f d: -1 }
+ T{ ##inc f r: -1 }
+ T{ ##inc f d: -1 }
T{ ##set-slot-imm f 43 44 2 7 }
T{ ##write-barrier-imm f 44 2 7 34 35 }
T{ ##branch }
@@ -235,9 +235,9 @@ V{
} 9 test-bb
V{
- T{ ##inc f d: 1 }
- T{ ##replace f 44 r: 0 }
- T{ ##replace-imm f bab d: 0 }
+ T{ ##inc f d: 1 }
+ T{ ##replace f 44 r: 0 }
+ T{ ##replace-imm f bab d: 0 }
T{ ##branch }
} 10 test-bb
@@ -251,14 +251,14 @@ V{
} 12 test-bb
V{
- T{ ##inc f d: -1 }
+ T{ ##inc f d: -1 }
T{ ##branch }
} 13 test-bb
V{
- T{ ##inc f d: 1 }
- T{ ##replace f 44 r: 0 }
- T{ ##replace-imm f bab d: 0 }
+ T{ ##inc f d: 1 }
+ T{ ##replace f 44 r: 0 }
+ T{ ##replace-imm f bab d: 0 }
T{ ##branch }
} 14 test-bb
@@ -312,8 +312,8 @@ V{
V{
- T{ ##inc f d: 1 }
- T{ ##peek f 31 d: 1 }
+ T{ ##inc f d: 1 }
+ T{ ##peek f 31 d: 1 }
T{ ##sar-imm f 16 31 4 }
T{ ##load-integer f 17 0 }
T{ ##copy f 33 17 int-rep }
@@ -332,7 +332,7 @@ V{
} 3 test-bb
V{
- T{ ##inc f d: -2 }
+ T{ ##inc f d: -2 }
T{ ##branch f }
} 4 test-bb
diff --git a/basis/compiler/cfg/stacks/clearing/clearing-docs.factor b/basis/compiler/cfg/stacks/clearing/clearing-docs.factor
index 402202bab0..1f025a98b2 100644
--- a/basis/compiler/cfg/stacks/clearing/clearing-docs.factor
+++ b/basis/compiler/cfg/stacks/clearing/clearing-docs.factor
@@ -39,7 +39,7 @@ HELP: dangerous-insn?
}
{ $example
"USING: compiler.cfg.instructions compiler.cfg.registers compiler.cfg.stacks.clearing prettyprint ;"
- "{ { 0 { } } { 2 { } } } T{ ##peek { loc r: 0 } } dangerous-insn? ."
+ "{ { 0 { } } { 2 { } } } T{ ##peek { loc r: 0 } } dangerous-insn? ."
"f"
}
{ $example
diff --git a/basis/compiler/cfg/stacks/clearing/clearing-tests.factor b/basis/compiler/cfg/stacks/clearing/clearing-tests.factor
index 634f819d51..fd78b7170d 100644
--- a/basis/compiler/cfg/stacks/clearing/clearing-tests.factor
+++ b/basis/compiler/cfg/stacks/clearing/clearing-tests.factor
@@ -6,13 +6,13 @@ IN: compiler.cfg.stacks.clearing.tests
! clear-uninitialized
{
V{
- T{ ##inc { loc d: 2 } { insn# 0 } }
+ T{ ##inc { loc d: 2 } { insn# 0 } }
T{ ##clear { loc T{ ds-loc { n 1 } } } }
T{ ##clear { loc T{ ds-loc } } }
- T{ ##peek { loc d: 2 } { insn# 1 } }
+ T{ ##peek { loc d: 2 } { insn# 1 } }
}
} [
- { T{ ##inc f d: 2 } T{ ##peek f f d: 2 } } insns>cfg
+ { T{ ##inc f d: 2 } T{ ##peek f f d: 2 } } insns>cfg
dup clear-uninitialized cfg>insns
] unit-test
@@ -20,9 +20,9 @@ IN: compiler.cfg.stacks.clearing.tests
{
t f t t
} [
- { { 0 { } } { 0 { } } } T{ ##peek { loc d: 0 } } dangerous-insn?
- { { 1 { } } { 0 { } } } T{ ##peek { loc d: 0 } } dangerous-insn?
- { { 2 { 0 1 } } { 0 { } } } T{ ##peek { loc d: 2 } } dangerous-insn?
+ { { 0 { } } { 0 { } } } T{ ##peek { loc d: 0 } } dangerous-insn?
+ { { 1 { } } { 0 { } } } T{ ##peek { loc d: 0 } } dangerous-insn?
+ { { 2 { 0 1 } } { 0 { } } } T{ ##peek { loc d: 2 } } dangerous-insn?
{ { 0 { } } { 3 { } } } T{ ##call-gc } dangerous-insn?
] unit-test
diff --git a/basis/compiler/cfg/stacks/local/local-tests.factor b/basis/compiler/cfg/stacks/local/local-tests.factor
index dc82589ecb..494402e365 100644
--- a/basis/compiler/cfg/stacks/local/local-tests.factor
+++ b/basis/compiler/cfg/stacks/local/local-tests.factor
@@ -18,26 +18,26 @@ IN: compiler.cfg.stacks.local.tests
] cfg-unit-test
{
- HS{ d: 3 }
+ HS{ d: 3 }
} [
V{ } 137 insns>block
- [ [ 3 d: 3 replace-loc "eh" , end-local-analysis ] V{ } make drop ]
+ [ [ 3 d: 3 replace-loc "eh" , end-local-analysis ] V{ } make drop ]
[ replaces>> ] bi
] cfg-unit-test
! local-loc>global
-{ d: 6 } [
- d: 3 3 0 0 0 height-state boa
+{ d: 6 } [
+ d: 3 3 0 0 0 height-state boa
local-loc>global
] unit-test
{
- d: 4
- r: 5
+ d: 4
+ r: 5
} [
3 4 0 0 height-state boa
- [ d: 1 swap local-loc>global ]
- [ r: 1 swap local-loc>global ] bi
+ [ d: 1 swap local-loc>global ]
+ [ r: 1 swap local-loc>global ] bi
] unit-test
! kill-locations
@@ -57,13 +57,13 @@ IN: compiler.cfg.stacks.local.tests
! loc>vreg
{ 1 } [
- d: 0 loc>vreg
+ d: 0 loc>vreg
] cfg-unit-test
! replace-loc
{ 80 } [
- 80 d: 77 replace-loc
- d: 77 peek-loc
+ 80 d: 77 replace-loc
+ d: 77 peek-loc
] cfg-unit-test
! stack-changes
@@ -73,15 +73,15 @@ IN: compiler.cfg.stacks.local.tests
T{ ##copy { dst 2 } { src 26 } { rep any-rep } }
}
} [
- { { d: 0 25 } { r: 0 26 } } replaces>copy-insns
+ { { d: 0 25 } { r: 0 26 } } replaces>copy-insns
] cfg-unit-test
! remove-redundant-replaces
{
H{ { T{ ds-loc { n 3 } } 7 } }
} [
- d: 0 loc>vreg d: 2 loc>vreg 2drop
- 2 d: 2 replace-loc 7 d: 3 replace-loc
+ d: 0 loc>vreg d: 2 loc>vreg 2drop
+ 2 d: 2 replace-loc 7 d: 3 replace-loc
replaces get remove-redundant-replaces
] cfg-unit-test
@@ -92,7 +92,7 @@ IN: compiler.cfg.stacks.local.tests
"eh"
}
} [
- 3 d: 0 replace-loc [
+ 3 d: 0 replace-loc [
"eh" ,
replaces get height-state get emit-insns
] V{ } make
@@ -103,41 +103,41 @@ IN: compiler.cfg.stacks.local.tests
0 0 0 0 height-state boa compute-local-kill-set
] unit-test
-{ HS{ r: -4 } } [
+{ HS{ r: -4 } } [
0 4 0 -1 height-state boa compute-local-kill-set
] unit-test
-{ HS{ d: -1 d: -2 } } [
+{ HS{ d: -1 d: -2 } } [
2 0 -2 0 height-state boa compute-local-kill-set
] unit-test
! global-loc>local
-{ d: 2 } [
- d: 3 1 0 0 0 height-state boa global-loc>local
+{ d: 2 } [
+ d: 3 1 0 0 0 height-state boa global-loc>local
] unit-test
! height-state
{
T{ height-state f 0 0 3 0 }
} [
- d: 3 inc-stack height-state get
+ d: 3 inc-stack height-state get
] cfg-unit-test
{
T{ height-state f 2 0 3 0 }
} [
2 0 0 0 height-state boa height-state set
- d: 3 inc-stack height-state get
+ d: 3 inc-stack height-state get
] cfg-unit-test
{
- { T{ ##inc { loc d: 4 } } T{ ##inc { loc r: -2 } } }
+ { T{ ##inc { loc d: 4 } } T{ ##inc { loc r: -2 } } }
} [
0 0 4 -2 height-state boa height-state>insns
] unit-test
-{ H{ { d: -1 40 } } } [
- d: 1 inc-stack 40 d: 0 replace-loc replaces get
+{ H{ { d: -1 40 } } } [
+ d: 1 inc-stack 40 d: 0 replace-loc replaces get
] cfg-unit-test
! Compiling these words used to make the compiler hang due to a bug in
diff --git a/basis/compiler/cfg/stacks/padding/padding-tests.factor b/basis/compiler/cfg/stacks/padding/padding-tests.factor
index 19da210dd2..4b006491d1 100644
--- a/basis/compiler/cfg/stacks/padding/padding-tests.factor
+++ b/basis/compiler/cfg/stacks/padding/padding-tests.factor
@@ -64,13 +64,13 @@ IN: compiler.cfg.stacks.padding.tests
{
{ { 0 { } } { 0 { } } }
} [
- { { 3 { 0 } } { 0 { } } } T{ ##inc { loc d: -3 } } visit-insn
+ { { 3 { 0 } } { 0 { } } } T{ ##inc { loc d: -3 } } visit-insn
] unit-test
{
{ { 3 { 0 1 2 } } { 0 { } } }
} [
- { { 0 { } } { 0 { } } } T{ ##inc { loc d: 3 } } visit-insn
+ { { 0 { } } { 0 { } } } T{ ##inc { loc d: 3 } } visit-insn
] unit-test
! visit-insn ##call
@@ -101,7 +101,7 @@ IN: compiler.cfg.stacks.padding.tests
{
{ { 3 { 0 } } { 0 { } } }
} [
- { { 3 { 0 } } { 0 { } } } T{ ##peek { dst 1 } { loc d: 1 } } visit-insn
+ { { 3 { 0 } } { 0 { } } } T{ ##peek { dst 1 } { loc d: 1 } } visit-insn
] unit-test
! After a ##peek that can cause a stack underflow, it is certain that
@@ -110,14 +110,14 @@ IN: compiler.cfg.stacks.padding.tests
{ { 0 { } } { 2 { } } }
{ { 2 { } } { 0 { } } }
} [
- { { 0 { } } { 2 { 0 1 } } } T{ ##peek { dst 1 } { loc r: 2 } } visit-insn
- { { 2 { 0 1 } } { 0 { } } } T{ ##peek { dst 1 } { loc d: 2 } } visit-insn
+ { { 0 { } } { 2 { 0 1 } } } T{ ##peek { dst 1 } { loc r: 2 } } visit-insn
+ { { 2 { 0 1 } } { 0 { } } } T{ ##peek { dst 1 } { loc d: 2 } } visit-insn
] unit-test
! If the ##peek can't cause a stack underflow, then we don't have the
! same guarantees.
[
- { { 3 { 0 1 2 } } { 0 { } } } T{ ##peek { dst 1 } { loc d: 0 } } visit-insn
+ { { 3 { 0 1 2 } } { 0 { } } } T{ ##peek { dst 1 } { loc d: 0 } } visit-insn
] [ vacant-peek? ] must-fail-with
: following-stack-state ( insns -- state )
@@ -142,9 +142,9 @@ IN: compiler.cfg.stacks.padding.tests
}
} [
{
- T{ ##inc f d: 2 }
- T{ ##peek f f d: 2 }
- T{ ##inc f d: 0 }
+ T{ ##inc f d: 2 }
+ T{ ##peek f f d: 2 }
+ T{ ##inc f d: 0 }
} insns>cfg trace-stack-state
] unit-test
@@ -168,8 +168,8 @@ IN: compiler.cfg.stacks.padding.tests
}
} [
V{
- T{ ##inc f d: 3 }
- T{ ##peek { loc d: 3 } }
+ T{ ##inc f d: 3 }
+ T{ ##peek { loc d: 3 } }
T{ ##branch }
}
insns>cfg trace-stack-state
@@ -177,12 +177,12 @@ IN: compiler.cfg.stacks.padding.tests
: cfg1 ( -- cfg )
V{
- T{ ##inc f d: 1 }
- T{ ##replace { src 10 } { loc d: 0 } }
+ T{ ##inc f d: 1 }
+ T{ ##replace { src 10 } { loc d: 0 } }
} 0 insns>block
V{
- T{ ##peek { dst 37 } { loc d: 0 } }
- T{ ##inc f d: -1 }
+ T{ ##peek { dst 37 } { loc d: 0 } }
+ T{ ##inc f d: -1 }
} 1 insns>block
1vector >>successors block>cfg ;
@@ -202,9 +202,9 @@ IN: compiler.cfg.stacks.padding.tests
{ 0 V{ T{ ##safepoint } T{ ##prologue } T{ ##branch } } }
{
1 V{
- T{ ##inc f d: 2 }
- T{ ##replace { src 0 } { loc d: 1 } }
- T{ ##replace { src 0 } { loc d: 0 } }
+ T{ ##inc f d: 2 }
+ T{ ##replace { src 0 } { loc d: 1 } }
+ T{ ##replace { src 0 } { loc d: 0 } }
}
}
{
@@ -214,29 +214,29 @@ IN: compiler.cfg.stacks.padding.tests
}
{
3 V{
- T{ ##peek { dst 0 } { loc d: 0 } }
- T{ ##peek { dst 0 } { loc d: 1 } }
- T{ ##inc f d: 2 }
- T{ ##replace { src 0 } { loc d: 2 } }
- T{ ##replace { src 0 } { loc d: 3 } }
- T{ ##replace { src 0 } { loc d: 1 } }
+ T{ ##peek { dst 0 } { loc d: 0 } }
+ T{ ##peek { dst 0 } { loc d: 1 } }
+ T{ ##inc f d: 2 }
+ T{ ##replace { src 0 } { loc d: 2 } }
+ T{ ##replace { src 0 } { loc d: 3 } }
+ T{ ##replace { src 0 } { loc d: 1 } }
}
}
{
8 V{
- T{ ##peek { dst 0 } { loc d: 2 } }
- T{ ##peek { dst 0 } { loc d: 1 } }
- T{ ##inc f d: 3 }
- T{ ##replace { src 0 } { loc d: 0 } }
- T{ ##replace { src 0 } { loc d: 1 } }
- T{ ##replace { src 0 } { loc d: 2 } }
- T{ ##replace { src 0 } { loc d: 3 } }
+ T{ ##peek { dst 0 } { loc d: 2 } }
+ T{ ##peek { dst 0 } { loc d: 1 } }
+ T{ ##inc f d: 3 }
+ T{ ##replace { src 0 } { loc d: 0 } }
+ T{ ##replace { src 0 } { loc d: 1 } }
+ T{ ##replace { src 0 } { loc d: 2 } }
+ T{ ##replace { src 0 } { loc d: 3 } }
}
}
{
10 V{
- T{ ##inc f d: -3 }
- T{ ##peek { dst 0 } { loc d: 0 } }
+ T{ ##inc f d: -3 }
+ T{ ##peek { dst 0 } { loc d: 0 } }
T{ ##alien-invoke { gc-map T{ gc-map } } }
}
}
@@ -281,10 +281,10 @@ IN: compiler.cfg.stacks.padding.tests
{ 0 V{ } }
{
1 V{
- T{ ##inc f d: 3 }
- T{ ##replace { src 0 } { loc d: 2 } }
- T{ ##replace { src 0 } { loc d: 0 } }
- T{ ##replace { src 0 } { loc d: 1 } }
+ T{ ##inc f d: 3 }
+ T{ ##replace { src 0 } { loc d: 2 } }
+ T{ ##replace { src 0 } { loc d: 0 } }
+ T{ ##replace { src 0 } { loc d: 1 } }
}
}
{
@@ -294,11 +294,11 @@ IN: compiler.cfg.stacks.padding.tests
}
{
3 V{
- T{ ##peek { dst 0 } { loc d: 1 } }
- T{ ##peek { dst 0 } { loc d: 0 } }
- T{ ##inc f d: 1 }
- T{ ##inc f r: 1 }
- T{ ##replace { src 0 } { loc r: 0 } }
+ T{ ##peek { dst 0 } { loc d: 1 } }
+ T{ ##peek { dst 0 } { loc d: 0 } }
+ T{ ##inc f d: 1 }
+ T{ ##inc f r: 1 }
+ T{ ##replace { src 0 } { loc r: 0 } }
}
}
{
@@ -306,14 +306,14 @@ IN: compiler.cfg.stacks.padding.tests
}
{
5 V{
- T{ ##inc f d: -2 }
- T{ ##inc f r: 5 }
- T{ ##replace { src 0 } { loc r: 3 } }
- T{ ##replace { src 0 } { loc d: 0 } }
- T{ ##replace { src 0 } { loc r: 4 } }
- T{ ##replace { src 0 } { loc r: 2 } }
- T{ ##replace { src 0 } { loc r: 1 } }
- T{ ##replace { src 0 } { loc r: 0 } }
+ T{ ##inc f d: -2 }
+ T{ ##inc f r: 5 }
+ T{ ##replace { src 0 } { loc r: 3 } }
+ T{ ##replace { src 0 } { loc d: 0 } }
+ T{ ##replace { src 0 } { loc r: 4 } }
+ T{ ##replace { src 0 } { loc r: 2 } }
+ T{ ##replace { src 0 } { loc r: 1 } }
+ T{ ##replace { src 0 } { loc r: 0 } }
}
}
{
@@ -323,14 +323,14 @@ IN: compiler.cfg.stacks.padding.tests
}
{
7 V{
- T{ ##peek { dst 0 } { loc d: 0 } }
- T{ ##peek { dst 0 } { loc r: 3 } }
- T{ ##peek { dst 0 } { loc r: 2 } }
- T{ ##peek { dst 0 } { loc r: 1 } }
- T{ ##peek { dst 0 } { loc r: 0 } }
- T{ ##peek { dst 0 } { loc r: 4 } }
- T{ ##inc f d: 2 }
- T{ ##inc f r: -5 }
+ T{ ##peek { dst 0 } { loc d: 0 } }
+ T{ ##peek { dst 0 } { loc r: 3 } }
+ T{ ##peek { dst 0 } { loc r: 2 } }
+ T{ ##peek { dst 0 } { loc r: 1 } }
+ T{ ##peek { dst 0 } { loc r: 0 } }
+ T{ ##peek { dst 0 } { loc r: 4 } }
+ T{ ##inc f d: 2 }
+ T{ ##inc f r: -5 }
}
}
{ 8 V{ } }
@@ -343,11 +343,11 @@ IN: compiler.cfg.stacks.padding.tests
}
{
12 V{
- T{ ##peek { dst 0 } { loc r: 0 } }
- T{ ##inc f d: -3 }
- T{ ##inc f d: 1 }
- T{ ##inc f r: -1 }
- T{ ##replace { src 0 } { loc d: 0 } }
+ T{ ##peek { dst 0 } { loc r: 0 } }
+ T{ ##inc f d: -3 }
+ T{ ##inc f d: 1 }
+ T{ ##inc f r: -1 }
+ T{ ##replace { src 0 } { loc d: 0 } }
}
}
{
@@ -402,7 +402,7 @@ IN: compiler.cfg.stacks.padding.tests
{ 25 { { 2 { } } { 6 { } } } }
{ 26 { { 4 { 0 1 } } { 6 { } } } }
{ 27 { { 4 { 0 1 } } { 1 { } } } }
- ! gc-map here scrubbing d: 0 and d: 1
+ ! gc-map here scrubbing d: 0 and d: 1
{ 28 { { 4 { 0 1 } } { 1 { } } } }
{ 29 { { 4 { 0 1 } } { 1 { } } } }
{ 30 { { 1 { } } { 1 { } } } }
@@ -416,65 +416,65 @@ IN: compiler.cfg.stacks.padding.tests
{ 0 V{ } }
{
1 V{
- T{ ##peek { loc d: 0 } }
- T{ ##peek { loc d: 1 } }
- T{ ##inc { loc d: -1 } }
+ T{ ##peek { loc d: 0 } }
+ T{ ##peek { loc d: 1 } }
+ T{ ##inc { loc d: -1 } }
}
}
{
2 V{
- T{ ##inc { loc d: -1 } }
- T{ ##replace { loc d: 1 } }
- T{ ##replace { loc d: 0 } }
- T{ ##inc { loc d: 1 } }
- T{ ##replace { loc d: 0 } }
+ T{ ##inc { loc d: -1 } }
+ T{ ##replace { loc d: 1 } }
+ T{ ##replace { loc d: 0 } }
+ T{ ##inc { loc d: 1 } }
+ T{ ##replace { loc d: 0 } }
}
}
{ 3 V{ T{ ##call } } }
{ 4 V{ } }
{ 5 V{ T{ ##call } } }
- { 6 V{ T{ ##peek { loc d: 0 } } } }
+ { 6 V{ T{ ##peek { loc d: 0 } } } }
{ 7 V{ } }
{
8 V{
- T{ ##replace { loc d: 2 } }
- T{ ##replace { loc d: 1 } }
- T{ ##replace { loc d: 0 } }
+ T{ ##replace { loc d: 2 } }
+ T{ ##replace { loc d: 1 } }
+ T{ ##replace { loc d: 0 } }
}
}
{ 9 V{ T{ ##call } } }
{
10 V{
- T{ ##inc { loc d: 1 } }
- T{ ##replace { loc d: 0 } }
+ T{ ##inc { loc d: 1 } }
+ T{ ##replace { loc d: 0 } }
}
}
{ 11 V{ T{ ##call } } }
{ 12 V{ } }
{ 13 V{ T{ ##call } } }
- { 14 V{ T{ ##peek { loc d: 0 } } } }
+ { 14 V{ T{ ##peek { loc d: 0 } } } }
{ 15 V{ } }
{
16 V{
- T{ ##inc { loc d: 1 } }
- T{ ##replace { loc d: 0 } }
+ T{ ##inc { loc d: 1 } }
+ T{ ##replace { loc d: 0 } }
}
}
{ 17 V{ T{ ##call } } }
{
18 V{
- T{ ##peek { loc d: 2 } }
- T{ ##peek { loc d: 1 } }
- T{ ##peek { loc d: 0 } }
- T{ ##inc { loc d: 1 } }
+ T{ ##peek { loc d: 2 } }
+ T{ ##peek { loc d: 1 } }
+ T{ ##peek { loc d: 0 } }
+ T{ ##inc { loc d: 1 } }
}
}
{ 19 V{ } }
{ 20 V{ } }
{
21 V{
- T{ ##inc { loc d: -3 } }
- T{ ##replace { loc d: 0 } }
+ T{ ##inc { loc d: -3 } }
+ T{ ##replace { loc d: 0 } }
}
}
{ 22 V{ T{ ##call } } }
@@ -482,8 +482,8 @@ IN: compiler.cfg.stacks.padding.tests
{ 24 V{ T{ ##call } } }
{
25 V{
- T{ ##peek { loc d: 0 } }
- T{ ##inc { loc d: 3 } }
+ T{ ##peek { loc d: 0 } }
+ T{ ##inc { loc d: 3 } }
}
}
{ 26 V{ } }
@@ -494,9 +494,9 @@ IN: compiler.cfg.stacks.padding.tests
{ 31 V{ } }
{
32 V{
- T{ ##inc { loc d: -4 } }
- T{ ##inc { loc d: 1 } }
- T{ ##replace { loc d: 0 } }
+ T{ ##inc { loc d: -4 } }
+ T{ ##inc { loc d: 1 } }
+ T{ ##replace { loc d: 0 } }
}
}
{ 33 V{ } }
@@ -563,7 +563,7 @@ IN: compiler.cfg.stacks.padding.tests
{ 22 { { -1 { } } { 0 { } } } }
{ 23 { { -1 { } } { 0 { } } } }
{ 24 { { -1 { } } { 0 { } } } }
- ! gc-map here scrubbing d: 0, d: 1 and d: 2
+ ! gc-map here scrubbing d: 0, d: 1 and d: 2
{ 25 { { 2 { 0 1 2 } } { 0 { } } } }
{ 26 { { 2 { 0 1 2 } } { 0 { } } } }
{ 27 { { -2 { } } { 0 { } } } }
@@ -589,18 +589,18 @@ IN: compiler.cfg.stacks.padding.tests
{
{ { 1 { 0 } } { 0 { } } }
-} [ V{ T{ ##inc f d: 1 } } following-stack-state ] unit-test
+} [ V{ T{ ##inc f d: 1 } } following-stack-state ] unit-test
{
{ { 0 { } } { 1 { 0 } } }
-} [ V{ T{ ##inc f r: 1 } } following-stack-state ] unit-test
+} [ V{ T{ ##inc f r: 1 } } following-stack-state ] unit-test
! Here the peek refers to a parameter of the word.
{
{ { 0 { } } { 0 { } } }
} [
V{
- T{ ##peek { loc d: 25 } }
+ T{ ##peek { loc d: 25 } }
} following-stack-state
] unit-test
@@ -608,9 +608,9 @@ IN: compiler.cfg.stacks.padding.tests
{ { 0 { } } { 0 { } } }
} [
V{
- T{ ##replace { src 10 } { loc d: 0 } }
- T{ ##replace { src 10 } { loc d: 1 } }
- T{ ##replace { src 10 } { loc d: 2 } }
+ T{ ##replace { src 10 } { loc d: 0 } }
+ T{ ##replace { src 10 } { loc d: 1 } }
+ T{ ##replace { src 10 } { loc d: 2 } }
} following-stack-state
] unit-test
@@ -618,9 +618,9 @@ IN: compiler.cfg.stacks.padding.tests
{ { 1 { } } { 0 { } } }
} [
V{
- T{ ##replace { src 10 } { loc d: 0 } }
- T{ ##inc f d: 1 }
- T{ ##replace { src 10 } { loc d: 0 } }
+ T{ ##replace { src 10 } { loc d: 0 } }
+ T{ ##inc f d: 1 }
+ T{ ##replace { src 10 } { loc d: 0 } }
} following-stack-state
] unit-test
@@ -628,10 +628,10 @@ IN: compiler.cfg.stacks.padding.tests
{ { 0 { } } { 0 { } } }
} [
V{
- T{ ##replace { src 10 } { loc d: 0 } }
- T{ ##inc f d: 1 }
- T{ ##replace { src 10 } { loc d: 0 } }
- T{ ##inc f d: -1 }
+ T{ ##replace { src 10 } { loc d: 0 } }
+ T{ ##inc f d: 1 }
+ T{ ##replace { src 10 } { loc d: 0 } }
+ T{ ##inc f d: -1 }
} following-stack-state
] unit-test
@@ -639,9 +639,9 @@ IN: compiler.cfg.stacks.padding.tests
{ { 0 { } } { 0 { } } }
} [
V{
- T{ ##inc f d: 1 }
- T{ ##replace { src 10 } { loc d: 0 } }
- T{ ##inc f d: -1 }
+ T{ ##inc f d: 1 }
+ T{ ##replace { src 10 } { loc d: 0 } }
+ T{ ##inc f d: -1 }
} following-stack-state
] unit-test
@@ -650,8 +650,8 @@ IN: compiler.cfg.stacks.padding.tests
{ { -1 { } } { 0 { } } }
} [
V{
- T{ ##replace { src 10 } { loc d: 0 } }
- T{ ##inc f d: -1 }
+ T{ ##replace { src 10 } { loc d: 0 } }
+ T{ ##inc f d: -1 }
T{ ##call }
} following-stack-state
] unit-test
@@ -659,22 +659,22 @@ IN: compiler.cfg.stacks.padding.tests
! Should not be ok because the value wasn't initialized when gc ran.
[
V{
- T{ ##inc f d: 1 }
+ T{ ##inc f d: 1 }
T{ ##alien-invoke { gc-map T{ gc-map } } }
- T{ ##peek { loc d: 0 } }
+ T{ ##peek { loc d: 0 } }
} following-stack-state
] [ vacant-peek? ] must-fail-with
[
V{
- T{ ##inc f d: 1 }
- T{ ##peek { loc d: 0 } }
+ T{ ##inc f d: 1 }
+ T{ ##peek { loc d: 0 } }
} following-stack-state
] [ vacant-peek? ] must-fail-with
[
V{
- T{ ##inc f r: 1 }
- T{ ##peek { loc r: 0 } }
+ T{ ##inc f r: 1 }
+ T{ ##peek { loc r: 0 } }
} following-stack-state
] [ vacant-peek? ] must-fail-with
diff --git a/basis/compiler/cfg/stacks/stacks-tests.factor b/basis/compiler/cfg/stacks/stacks-tests.factor
index c511db96a6..8370bfc246 100644
--- a/basis/compiler/cfg/stacks/stacks-tests.factor
+++ b/basis/compiler/cfg/stacks/stacks-tests.factor
@@ -5,7 +5,7 @@ IN: compiler.cfg.stacks.tests
! store-vregs
{
- H{ { d: 1 4 } { d: 2 3 } { d: 0 5 } }
+ H{ { d: 1 4 } { d: 2 3 } { d: 0 5 } }
T{ height-state f 0 0 0 0 }
} [
{ 3 4 5 } ds-loc store-vregs
@@ -14,7 +14,7 @@ IN: compiler.cfg.stacks.tests
] cfg-unit-test
! stack-locs
-{ { d: 4 d: 3 d: 2 d: 1 d: 0 } } [
+{ { d: 4 d: 3 d: 2 d: 1 d: 0 } } [
ds-loc 5 stack-locs >array
] unit-test
diff --git a/basis/compiler/cfg/stacks/stacks.factor b/basis/compiler/cfg/stacks/stacks.factor
index b3a6bee76f..5fdb5f4996 100644
--- a/basis/compiler/cfg/stacks/stacks.factor
+++ b/basis/compiler/cfg/stacks/stacks.factor
@@ -36,14 +36,14 @@ IN: compiler.cfg.stacks
over length stack-locs [ replace-loc ] 2each ;
! Utility
-: ds-drop ( -- ) d: -1 inc-stack ;
+: ds-drop ( -- ) d: -1 inc-stack ;
-: ds-peek ( -- vreg ) d: 0 peek-loc ;
+: ds-peek ( -- vreg ) d: 0 peek-loc ;
: ds-pop ( -- vreg ) ds-peek ds-drop ;
: ds-push ( vreg -- )
- d: 1 inc-stack d: 0 replace-loc ;
+ d: 1 inc-stack d: 0 replace-loc ;
: (2inputs) ( -- vreg1 vreg2 )
2 ds-loc (load-vregs) first2 ;
diff --git a/basis/compiler/cfg/value-numbering/value-numbering-tests.factor b/basis/compiler/cfg/value-numbering/value-numbering-tests.factor
index 22948b2642..7607ad74dd 100644
--- a/basis/compiler/cfg/value-numbering/value-numbering-tests.factor
+++ b/basis/compiler/cfg/value-numbering/value-numbering-tests.factor
@@ -67,24 +67,24 @@ cpu x86? [
[
{
T{ ##load-integer f 0 10 }
- T{ ##replace-imm f 10 d: 0 }
+ T{ ##replace-imm f 10 d: 0 }
}
] [
{
T{ ##load-integer f 0 10 }
- T{ ##replace f 0 d: 0 }
+ T{ ##replace f 0 d: 0 }
} value-numbering-step
] unit-test
[
{
T{ ##load-reference f 0 f }
- T{ ##replace-imm f f d: 0 }
+ T{ ##replace-imm f f d: 0 }
}
] [
{
T{ ##load-reference f 0 f }
- T{ ##replace f 0 d: 0 }
+ T{ ##replace f 0 d: 0 }
} value-numbering-step
] unit-test
] when
@@ -93,12 +93,12 @@ cpu x86.32? [
[
{
T{ ##load-reference f 0 + }
- T{ ##replace-imm f + d: 0 }
+ T{ ##replace-imm f + d: 0 }
}
] [
{
T{ ##load-reference f 0 + }
- T{ ##replace f 0 d: 0 }
+ T{ ##replace f 0 d: 0 }
} value-numbering-step
] unit-test
] when
@@ -107,12 +107,12 @@ cpu x86.64? [
[
{
T{ ##load-integer f 0 10,000,000,000 }
- T{ ##replace f 0 d: 0 }
+ T{ ##replace f 0 d: 0 }
}
] [
{
T{ ##load-integer f 0 10,000,000,000 }
- T{ ##replace f 0 d: 0 }
+ T{ ##replace f 0 d: 0 }
} value-numbering-step
] unit-test
@@ -120,12 +120,12 @@ cpu x86.64? [
[
{
T{ ##load-integer f 0 0x7fffffff }
- T{ ##replace f 0 d: 0 }
+ T{ ##replace f 0 d: 0 }
}
] [
{
T{ ##load-integer f 0 0x7fffffff }
- T{ ##replace f 0 d: 0 }
+ T{ ##replace f 0 d: 0 }
} value-numbering-step
] unit-test
] when
@@ -133,119 +133,119 @@ cpu x86.64? [
! Double compare elimination
{
{
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##compare f 4 2 1 cc= }
T{ ##copy f 6 4 any-rep }
- T{ ##replace f 6 d: 0 }
+ T{ ##replace f 6 d: 0 }
}
} [
{
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##compare f 4 2 1 cc= }
T{ ##compare-imm f 6 4 f cc/= }
- T{ ##replace f 6 d: 0 }
+ T{ ##replace f 6 d: 0 }
} value-numbering-step trim-temps
] unit-test
{
{
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-imm f 2 1 16 cc= }
T{ ##copy f 3 2 any-rep }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
}
} [
{
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-imm f 2 1 16 cc= }
T{ ##compare-imm f 3 2 f cc/= }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
} value-numbering-step trim-temps
] unit-test
{
{
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##compare-integer f 4 2 1 cc> }
T{ ##copy f 6 4 any-rep }
- T{ ##replace f 6 d: 0 }
+ T{ ##replace f 6 d: 0 }
}
} [
{
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##compare-integer f 4 2 1 cc> }
T{ ##compare-imm f 6 4 f cc/= }
- T{ ##replace f 6 d: 0 }
+ T{ ##replace f 6 d: 0 }
} value-numbering-step trim-temps
] unit-test
{
{
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##compare-integer f 4 2 1 cc<= }
T{ ##compare-integer f 6 2 1 cc/<= }
- T{ ##replace f 6 d: 0 }
+ T{ ##replace f 6 d: 0 }
}
} [
{
- T{ ##peek f 1 d: 1 }
- T{ ##peek f 2 d: 2 }
+ T{ ##peek f 1 d: 1 }
+ T{ ##peek f 2 d: 2 }
T{ ##compare-integer f 4 2 1 cc<= }
T{ ##compare-imm f 6 4 f cc= }
- T{ ##replace f 6 d: 0 }
+ T{ ##replace f 6 d: 0 }
} value-numbering-step trim-temps
] unit-test
{
{
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-integer-imm f 2 1 100 cc<= }
T{ ##compare-integer-imm f 3 1 100 cc/<= }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
}
} [
{
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-integer-imm f 2 1 100 cc<= }
T{ ##compare-imm f 3 2 f cc= }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
} value-numbering-step trim-temps
] unit-test
{
{
- T{ ##peek f 8 d: 0 }
- T{ ##peek f 9 d: -1 }
+ T{ ##peek f 8 d: 0 }
+ T{ ##peek f 9 d: -1 }
T{ ##compare-float-unordered f 12 8 9 cc< }
T{ ##compare-float-unordered f 14 8 9 cc/< }
- T{ ##replace f 14 d: 0 }
+ T{ ##replace f 14 d: 0 }
}
} [
{
- T{ ##peek f 8 d: 0 }
- T{ ##peek f 9 d: -1 }
+ T{ ##peek f 8 d: 0 }
+ T{ ##peek f 9 d: -1 }
T{ ##compare-float-unordered f 12 8 9 cc< }
T{ ##compare-imm f 14 12 f cc= }
- T{ ##replace f 14 d: 0 }
+ T{ ##replace f 14 d: 0 }
} value-numbering-step trim-temps
] unit-test
{
{
- T{ ##peek f 29 d: -1 }
- T{ ##peek f 30 d: -2 }
+ T{ ##peek f 29 d: -1 }
+ T{ ##peek f 30 d: -2 }
T{ ##compare f 33 29 30 cc= }
T{ ##compare-branch f 29 30 cc= }
}
} [
{
- T{ ##peek f 29 d: -1 }
- T{ ##peek f 30 d: -2 }
+ T{ ##peek f 29 d: -1 }
+ T{ ##peek f 30 d: -2 }
T{ ##compare f 33 29 30 cc= }
T{ ##compare-imm-branch f 33 f cc/= }
} value-numbering-step trim-temps
@@ -253,15 +253,15 @@ cpu x86.64? [
{
{
- T{ ##peek f 29 d: -1 }
- T{ ##peek f 30 d: -2 }
+ T{ ##peek f 29 d: -1 }
+ T{ ##peek f 30 d: -2 }
T{ ##compare-integer f 33 29 30 cc<= }
T{ ##compare-integer-branch f 29 30 cc<= }
}
} [
{
- T{ ##peek f 29 d: -1 }
- T{ ##peek f 30 d: -2 }
+ T{ ##peek f 29 d: -1 }
+ T{ ##peek f 30 d: -2 }
T{ ##compare-integer f 33 29 30 cc<= }
T{ ##compare-imm-branch f 33 f cc/= }
} value-numbering-step trim-temps
@@ -269,15 +269,15 @@ cpu x86.64? [
{
{
- T{ ##peek f 29 d: -1 }
- T{ ##peek f 30 d: -2 }
+ T{ ##peek f 29 d: -1 }
+ T{ ##peek f 30 d: -2 }
T{ ##test f 33 29 30 cc= }
T{ ##test-branch f 29 30 cc= }
}
} [
{
- T{ ##peek f 29 d: -1 }
- T{ ##peek f 30 d: -2 }
+ T{ ##peek f 29 d: -1 }
+ T{ ##peek f 30 d: -2 }
T{ ##test f 33 29 30 cc= }
T{ ##compare-imm-branch f 33 f cc/= }
} value-numbering-step trim-temps
@@ -285,13 +285,13 @@ cpu x86.64? [
{
{
- T{ ##peek f 29 d: -1 }
+ T{ ##peek f 29 d: -1 }
T{ ##test-imm f 33 29 30 cc= }
T{ ##test-imm-branch f 29 30 cc= }
}
} [
{
- T{ ##peek f 29 d: -1 }
+ T{ ##peek f 29 d: -1 }
T{ ##test-imm f 33 29 30 cc= }
T{ ##compare-imm-branch f 33 f cc/= }
} value-numbering-step trim-temps
@@ -299,13 +299,13 @@ cpu x86.64? [
{
{
- T{ ##peek f 1 d: -1 }
+ T{ ##peek f 1 d: -1 }
T{ ##test-vector f 2 1 f float-4-rep vcc-any }
T{ ##test-vector-branch f 1 f float-4-rep vcc-any }
}
} [
{
- T{ ##peek f 1 d: -1 }
+ T{ ##peek f 1 d: -1 }
T{ ##test-vector f 2 1 f float-4-rep vcc-any }
T{ ##compare-imm-branch f 2 f cc/= }
} value-numbering-step trim-temps
@@ -314,13 +314,13 @@ cpu x86.64? [
cpu x86.32? [
[
{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##compare-imm f 2 1 + cc= }
T{ ##compare-imm-branch f 1 + cc= }
}
] [
{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##compare-imm f 2 1 + cc= }
T{ ##compare-imm-branch f 2 f cc/= }
} value-numbering-step trim-temps
@@ -330,13 +330,13 @@ cpu x86.32? [
! Immediate operand fusion
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add-imm f 2 0 100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add f 2 0 1 }
} value-numbering-step
@@ -344,13 +344,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add-imm f 2 0 100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add f 2 1 0 }
} value-numbering-step
@@ -358,13 +358,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add-imm f 2 0 -100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##sub f 2 0 1 }
} value-numbering-step
@@ -372,25 +372,25 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sub f 1 0 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##mul-imm f 2 0 100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##mul f 2 0 1 }
} value-numbering-step
@@ -398,13 +398,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##mul-imm f 2 0 100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##mul f 2 1 0 }
} value-numbering-step
@@ -412,25 +412,25 @@ cpu x86.32? [
{
{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##shl-imm f 2 1 3 }
}
} [
{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##mul-imm f 2 1 8 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 -1 }
T{ ##neg f 2 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 -1 }
T{ ##mul f 2 0 1 }
} value-numbering-step
@@ -438,13 +438,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 -1 }
T{ ##neg f 2 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 -1 }
T{ ##mul f 2 1 0 }
} value-numbering-step
@@ -452,13 +452,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 0 }
T{ ##neg f 2 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 0 }
T{ ##sub f 2 1 0 }
} value-numbering-step
@@ -466,14 +466,14 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 0 }
T{ ##neg f 2 0 }
T{ ##copy f 3 0 any-rep }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 0 }
T{ ##sub f 2 1 0 }
T{ ##sub f 3 1 2 }
@@ -482,13 +482,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##neg f 1 0 }
T{ ##copy f 2 0 any-rep }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##neg f 1 0 }
T{ ##neg f 2 1 }
} value-numbering-step
@@ -496,13 +496,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##not f 1 0 }
T{ ##copy f 2 0 any-rep }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##not f 1 0 }
T{ ##not f 2 1 }
} value-numbering-step
@@ -510,13 +510,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##and-imm f 2 0 100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##and f 2 0 1 }
} value-numbering-step
@@ -524,13 +524,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##and-imm f 2 0 100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##and f 2 1 0 }
} value-numbering-step
@@ -538,13 +538,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##or-imm f 2 0 100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##or f 2 0 1 }
} value-numbering-step
@@ -552,13 +552,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##or-imm f 2 0 100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##or f 2 1 0 }
} value-numbering-step
@@ -566,13 +566,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##xor-imm f 2 0 100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##xor f 2 0 1 }
} value-numbering-step
@@ -580,13 +580,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##xor-imm f 2 0 100 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##xor f 2 1 0 }
} value-numbering-step
@@ -594,13 +594,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##compare-imm f 2 0 100 cc= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##compare f 2 0 1 cc= }
} value-numbering-step trim-temps
@@ -608,13 +608,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##compare-integer-imm f 2 0 100 cc<= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##compare-integer f 2 0 1 cc<= }
} value-numbering-step trim-temps
@@ -623,13 +623,13 @@ cpu x86.32? [
cpu x86.32? [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 + }
T{ ##compare-imm f 2 0 + cc= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 + }
T{ ##compare f 2 0 1 cc= }
} value-numbering-step trim-temps
@@ -637,13 +637,13 @@ cpu x86.32? [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 + }
T{ ##compare-imm-branch f 0 + cc= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 + }
T{ ##compare-branch f 0 1 cc= }
} value-numbering-step trim-temps
@@ -653,13 +653,13 @@ cpu x86.32? [
cpu x86.32? [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 3.5 }
T{ ##compare f 2 0 1 cc= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 3.5 }
T{ ##compare f 2 0 1 cc= }
} value-numbering-step trim-temps
@@ -667,13 +667,13 @@ cpu x86.32? [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 3.5 }
T{ ##compare-branch f 0 1 cc= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 3.5 }
T{ ##compare-branch f 0 1 cc= }
} value-numbering-step trim-temps
@@ -682,13 +682,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##compare-integer-imm f 2 0 100 cc>= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##compare-integer f 2 1 0 cc<= }
} value-numbering-step trim-temps
@@ -696,13 +696,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##compare-integer-imm-branch f 0 100 cc<= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##compare-integer-branch f 0 1 cc<= }
} value-numbering-step
@@ -710,13 +710,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##compare-integer-imm-branch f 0 100 cc>= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##compare-integer-branch f 1 0 cc<= }
} value-numbering-step trim-temps
@@ -821,25 +821,25 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 f }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer f 1 0 0 cc< }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 1 0 any-rep }
T{ ##load-reference f 2 f }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 1 0 any-rep }
T{ ##compare-integer f 2 0 1 cc< }
} value-numbering-step
@@ -847,60 +847,60 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 t }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer f 1 0 0 cc<= }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 f }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer f 1 0 0 cc> }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 t }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer f 1 0 0 cc>= }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 f }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer f 1 0 0 cc/= }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 t }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer f 1 0 0 cc= }
} value-numbering-step
] unit-test
@@ -1005,24 +1005,24 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 t }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare f 1 0 0 cc= }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 f }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare f 1 0 0 cc/= }
} value-numbering-step
] unit-test
@@ -1078,15 +1078,15 @@ cpu x86.32? [
! Rewriting a ##test of an ##and into a ##test
{
{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##and f 2 0 1 }
T{ ##test f 3 0 1 cc= }
}
} [
{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##and f 2 0 1 }
T{ ##test f 3 2 2 cc= }
} value-numbering-step
@@ -1094,13 +1094,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##and-imm f 2 0 12 }
T{ ##test-imm f 3 0 12 cc= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##and-imm f 2 0 12 }
T{ ##test f 3 2 2 cc= }
} value-numbering-step
@@ -1109,13 +1109,13 @@ cpu x86.32? [
! Rewriting ##test into ##test-imm
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 10 }
T{ ##test-imm f 2 0 10 cc= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 10 }
T{ ##test f 2 0 1 cc= }
} value-numbering-step trim-temps
@@ -1123,13 +1123,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 10 }
T{ ##test-imm f 2 0 10 cc= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 10 }
T{ ##test f 2 1 0 cc= }
} value-numbering-step trim-temps
@@ -1137,13 +1137,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 10 }
T{ ##test-imm-branch f 0 10 cc= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 10 }
T{ ##test-branch f 0 1 cc= }
} value-numbering-step
@@ -1151,13 +1151,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 10 }
T{ ##test-imm-branch f 0 10 cc= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 10 }
T{ ##test-branch f 1 0 cc= }
} value-numbering-step
@@ -1165,13 +1165,13 @@ cpu x86.32? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 10 }
T{ ##test-imm-branch f 0 10 cc= }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 10 }
T{ ##test-branch f 1 0 cc= }
} value-numbering-step
@@ -1181,13 +1181,13 @@ cpu x86.32? [
cpu x86.64? [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100000000000 }
T{ ##test f 2 1 0 cc= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100000000000 }
T{ ##test f 2 1 0 cc= }
} value-numbering-step
@@ -1195,13 +1195,13 @@ cpu x86.64? [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100000000000 }
T{ ##test-branch f 1 0 cc= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100000000000 }
T{ ##test-branch f 1 0 cc= }
} value-numbering-step
@@ -1212,72 +1212,72 @@ cpu x86.64? [
cpu x86? [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##test f 1 0 0 cc= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-imm f 1 0 0 cc= }
} value-numbering-step
] unit-test
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##test f 1 0 0 cc/= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-imm f 1 0 0 cc/= }
} value-numbering-step
] unit-test
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-imm f 1 0 0 cc<= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-imm f 1 0 0 cc<= }
} value-numbering-step
] unit-test
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##test-branch f 0 0 cc= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-imm-branch f 0 0 cc= }
} value-numbering-step
] unit-test
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##test-branch f 0 0 cc/= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-imm-branch f 0 0 cc/= }
} value-numbering-step
] unit-test
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-imm-branch f 0 0 cc<= }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-imm-branch f 0 0 cc<= }
} value-numbering-step
] unit-test
@@ -1286,7 +1286,7 @@ cpu x86? [
! Reassociation
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1294,7 +1294,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add f 2 0 1 }
T{ ##load-integer f 3 50 }
@@ -1304,7 +1304,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1312,7 +1312,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add f 2 1 0 }
T{ ##load-integer f 3 50 }
@@ -1322,7 +1322,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1330,7 +1330,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add f 2 0 1 }
T{ ##load-integer f 3 50 }
@@ -1340,7 +1340,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##add-imm f 2 0 -100 }
T{ ##load-integer f 3 50 }
@@ -1348,7 +1348,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##sub f 2 0 1 }
T{ ##load-integer f 3 50 }
@@ -1358,7 +1358,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##mul-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1366,7 +1366,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##mul f 2 0 1 }
T{ ##load-integer f 3 50 }
@@ -1376,7 +1376,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##mul-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1384,7 +1384,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##mul f 2 1 0 }
T{ ##load-integer f 3 50 }
@@ -1394,7 +1394,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##and-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1402,7 +1402,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##and f 2 0 1 }
T{ ##load-integer f 3 50 }
@@ -1412,7 +1412,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##and-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1420,7 +1420,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##and f 2 1 0 }
T{ ##load-integer f 3 50 }
@@ -1430,7 +1430,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##or-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1438,7 +1438,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##or f 2 0 1 }
T{ ##load-integer f 3 50 }
@@ -1448,7 +1448,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##or-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1456,7 +1456,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##or f 2 1 0 }
T{ ##load-integer f 3 50 }
@@ -1466,7 +1466,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##xor-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1474,7 +1474,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##xor f 2 0 1 }
T{ ##load-integer f 3 50 }
@@ -1484,7 +1484,7 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##xor-imm f 2 0 100 }
T{ ##load-integer f 3 50 }
@@ -1492,7 +1492,7 @@ cpu x86? [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 100 }
T{ ##xor f 2 1 0 }
T{ ##load-integer f 3 50 }
@@ -1502,113 +1502,113 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shl-imm f 1 0 10 }
T{ ##shl-imm f 2 0 21 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shl-imm f 1 0 10 }
T{ ##shl-imm f 2 1 11 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shl-imm f 1 0 10 }
T{ ##shl-imm f 2 1 $[ cell-bits 1 - ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shl-imm f 1 0 10 }
T{ ##shl-imm f 2 1 $[ cell-bits 1 - ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sar-imm f 1 0 10 }
T{ ##sar-imm f 2 0 21 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sar-imm f 1 0 10 }
T{ ##sar-imm f 2 1 11 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sar-imm f 1 0 10 }
T{ ##sar-imm f 2 1 $[ cell-bits 1 - ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sar-imm f 1 0 10 }
T{ ##sar-imm f 2 1 $[ cell-bits 1 - ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shr-imm f 1 0 10 }
T{ ##shr-imm f 2 0 21 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shr-imm f 1 0 10 }
T{ ##shr-imm f 2 1 11 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shr-imm f 1 0 10 }
T{ ##shr-imm f 2 1 $[ cell-bits 1 - ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shr-imm f 1 0 10 }
T{ ##shr-imm f 2 1 $[ cell-bits 1 - ] }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shr-imm f 1 0 10 }
T{ ##sar-imm f 2 1 11 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shr-imm f 1 0 10 }
T{ ##sar-imm f 2 1 11 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
@@ -1617,308 +1617,308 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##add-imm f 1 0 10 }
T{ ##shl-imm f 3 0 2 }
T{ ##add-imm f 2 3 40 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##add-imm f 1 0 10 }
T{ ##shl-imm f 2 1 2 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##add-imm f 1 0 10 }
T{ ##mul-imm f 4 0 3 }
T{ ##add-imm f 2 4 30 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##add-imm f 1 0 10 }
T{ ##mul-imm f 2 1 3 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##add-imm f 1 0 -10 }
T{ ##shl-imm f 5 0 2 }
T{ ##add-imm f 2 5 -40 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sub-imm f 1 0 10 }
T{ ##shl-imm f 2 1 2 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##add-imm f 1 0 -10 }
T{ ##mul-imm f 6 0 3 }
T{ ##add-imm f 2 6 -30 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sub-imm f 1 0 10 }
T{ ##mul-imm f 2 1 3 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
! Simplification
{
{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##copy f 3 0 any-rep }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##add-imm f 3 0 0 }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##copy f 3 0 any-rep }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##or-imm f 3 0 0 }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##copy f 3 0 any-rep }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##xor-imm f 3 0 0 }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##and-imm f 1 0 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 1 0 any-rep }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##and-imm f 1 0 -1 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 1 0 any-rep }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##and f 1 0 0 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 1 0 any-rep }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##or-imm f 1 0 0 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 -1 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##or-imm f 1 0 -1 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 1 0 any-rep }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##or f 1 0 0 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 1 0 any-rep }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##xor-imm f 1 0 0 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##not f 1 0 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##xor-imm f 1 0 -1 }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##xor f 1 0 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 2 0 any-rep }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##mul-imm f 2 0 1 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 2 0 any-rep }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shl-imm f 2 0 0 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 2 0 any-rep }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##shr-imm f 2 0 0 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##copy f 2 0 any-rep }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##sar-imm f 2 0 0 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
! Constant folding
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 3 }
T{ ##load-integer f 3 4 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 3 }
T{ ##add f 3 1 2 }
@@ -1927,14 +1927,14 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 3 }
T{ ##load-integer f 3 -2 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 3 }
T{ ##sub f 3 1 2 }
@@ -1943,14 +1943,14 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 2 }
T{ ##load-integer f 2 3 }
T{ ##load-integer f 3 6 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 2 }
T{ ##load-integer f 2 3 }
T{ ##mul f 3 1 2 }
@@ -1959,14 +1959,14 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 2 }
T{ ##load-integer f 2 1 }
T{ ##load-integer f 3 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 2 }
T{ ##load-integer f 2 1 }
T{ ##and f 3 1 2 }
@@ -1975,14 +1975,14 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 2 }
T{ ##load-integer f 2 1 }
T{ ##load-integer f 3 3 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 2 }
T{ ##load-integer f 2 1 }
T{ ##or f 3 1 2 }
@@ -1991,14 +1991,14 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 2 }
T{ ##load-integer f 2 3 }
T{ ##load-integer f 3 1 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 2 }
T{ ##load-integer f 2 3 }
T{ ##xor f 3 1 2 }
@@ -2007,13 +2007,13 @@ cpu x86? [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 1 }
T{ ##load-integer f 3 8 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 1 }
T{ ##shl-imm f 3 1 3 }
} value-numbering-step
@@ -2022,13 +2022,13 @@ cpu x86? [
cell 8 = [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 -1 }
T{ ##load-integer f 3 0xffffffffffff }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 -1 }
T{ ##shr-imm f 3 1 16 }
} value-numbering-step
@@ -2037,13 +2037,13 @@ cell 8 = [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 -8 }
T{ ##load-integer f 3 -4 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 -8 }
T{ ##sar-imm f 3 1 1 }
} value-numbering-step
@@ -2052,14 +2052,14 @@ cell 8 = [
cell 8 = [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 65536 }
T{ ##load-integer f 2 140737488355328 }
T{ ##add f 3 0 2 }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 65536 }
T{ ##shl-imm f 2 1 31 }
T{ ##add f 3 0 2 }
@@ -2068,13 +2068,13 @@ cell 8 = [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 2 140737488355328 }
T{ ##add f 3 0 2 }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 2 140737488355328 }
T{ ##add f 3 0 2 }
} value-numbering-step
@@ -2084,14 +2084,14 @@ cell 8 = [
cpu ppc? [
[
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 2 2147483647 }
T{ ##add-imm f 3 0 2147483647 }
T{ ##add-imm f 4 3 2147483647 }
}
] [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 2 2147483647 }
T{ ##add f 3 0 2 }
T{ ##add f 4 3 2 }
@@ -2102,13 +2102,13 @@ cell 8 = [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 -1 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 1 }
T{ ##neg f 2 1 }
} value-numbering-step
@@ -2116,13 +2116,13 @@ cell 8 = [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 -2 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 1 1 }
T{ ##not f 2 1 }
} value-numbering-step
@@ -2160,49 +2160,49 @@ cell 8 = [
! Alien boxing and unboxing
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##box-alien f 1 0 }
T{ ##copy f 2 0 any-rep }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##box-alien f 1 0 }
T{ ##unbox-alien f 2 1 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##box-alien f 1 0 }
T{ ##copy f 2 0 any-rep }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##box-alien f 1 0 }
T{ ##unbox-any-c-ptr f 2 1 }
- T{ ##replace f 2 d: 0 }
+ T{ ##replace f 2 d: 0 }
} value-numbering-step
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 2 0 }
T{ ##copy f 1 0 any-rep }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 2 0 }
T{ ##box-displaced-alien f 1 2 0 c-ptr }
- T{ ##replace f 1 d: 0 }
+ T{ ##replace f 1 d: 0 }
} value-numbering-step
] unit-test
@@ -2210,7 +2210,7 @@ cell 8 = [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 2 16 }
T{ ##box-displaced-alien f 1 2 0 c-ptr }
T{ ##unbox-any-c-ptr f 4 0 }
@@ -2218,7 +2218,7 @@ cell 8 = [
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 2 16 }
T{ ##box-displaced-alien f 1 2 0 c-ptr }
T{ ##unbox-any-c-ptr f 3 1 }
@@ -2248,17 +2248,17 @@ cell 8 = [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 2 0 }
T{ ##copy f 3 0 any-rep }
- T{ ##replace f 3 d: 1 }
+ T{ ##replace f 3 d: 1 }
}
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-integer f 2 0 }
T{ ##box-displaced-alien f 3 2 0 c-ptr }
- T{ ##replace f 3 d: 1 }
+ T{ ##replace f 3 d: 1 }
} value-numbering-step
] unit-test
@@ -2629,92 +2629,92 @@ cell 8 = [
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##branch }
}
1
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-branch f 0 0 cc< }
} test-branch-folding
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##branch }
}
0
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-branch f 0 0 cc<= }
} test-branch-folding
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##branch }
}
1
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-branch f 0 0 cc> }
} test-branch-folding
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##branch }
}
0
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-branch f 0 0 cc>= }
} test-branch-folding
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##branch }
}
0
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-branch f 0 0 cc= }
} test-branch-folding
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##branch }
}
1
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-branch f 0 0 cc/= }
} test-branch-folding
] unit-test
{
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##load-reference f 1 t }
T{ ##branch }
}
0
} [
{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare f 1 0 0 cc<= }
T{ ##compare-imm-branch f 1 f cc/= }
} test-branch-folding
@@ -2724,7 +2724,7 @@ cell 8 = [
V{ T{ ##branch } } 0 test-bb
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##compare-integer-branch f 0 0 cc< }
} 1 test-bb
@@ -2740,7 +2740,7 @@ V{
V{
T{ ##phi f 3 H{ { 2 1 } { 3 2 } } }
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
T{ ##return }
} 4 test-bb
@@ -2760,12 +2760,12 @@ test-diamond
{ 2 } [ 4 get instructions>> length ] unit-test
V{
- T{ ##peek f 0 d: 0 }
+ T{ ##peek f 0 d: 0 }
T{ ##branch }
} 0 test-bb
V{
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 1 d: 1 }
T{ ##compare-integer-branch f 1 1 cc< }
} 1 test-bb
@@ -2780,7 +2780,7 @@ V{
} 3 test-bb
V{
- T{ ##replace f 3 d: 0 }
+ T{ ##replace f 3 d: 0 }
T{ ##return }
} 4 test-bb
@@ -2798,7 +2798,7 @@ test-diamond
V{ T{ ##prologue } T{ ##branch } } 0 test-bb
V{
- T{ ##peek { dst 15 } { loc d: 0 } }
+ T{ ##peek { dst 15 } { loc d: 0 } }
T{ ##copy { dst 16 } { src 15 } { rep any-rep } }
T{ ##copy { dst 17 } { src 15 } { rep any-rep } }
T{ ##copy { dst 18 } { src 15 } { rep any-rep } }
@@ -2826,7 +2826,7 @@ V{
} 2 test-bb
V{
- T{ ##replace { src 25 } { loc d: 0 } }
+ T{ ##replace { src 25 } { loc d: 0 } }
T{ ##epilogue }
T{ ##return }
} 3 test-bb
@@ -2843,7 +2843,7 @@ V{
} 4 test-bb
V{
- T{ ##replace { src 28 } { loc d: 0 } }
+ T{ ##replace { src 28 } { loc d: 0 } }
T{ ##epilogue }
T{ ##return }
} 5 test-bb
@@ -2864,15 +2864,15 @@ V{
cpu x86? [
[
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##add-imm f 2 1 2 }
T{ ##slot f 3 0 1 $[ cell log2 ] $[ 7 2 cells - ] }
}
] [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##add-imm f 2 1 2 }
T{ ##slot f 3 0 2 $[ cell log2 ] 7 }
} value-numbering-step
@@ -2884,14 +2884,14 @@ cpu x86? [
! Base offset fusion on ##load/store-memory-imm
{
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##tagged>integer f 2 1 }
T{ ##add-imm f 3 2 10 }
T{ ##load-memory-imm f 4 2 10 int-rep c:uchar }
}
} [
V{
- T{ ##peek f 1 d: 0 }
+ T{ ##peek f 1 d: 0 }
T{ ##tagged>integer f 2 1 }
T{ ##add-imm f 3 2 10 }
T{ ##load-memory-imm f 4 3 0 int-rep c:uchar }
@@ -2900,8 +2900,8 @@ cpu x86? [
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add-imm f 4 3 10 }
@@ -2909,8 +2909,8 @@ cpu x86? [
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add-imm f 4 3 10 }
@@ -2921,8 +2921,8 @@ cpu x86? [
! Displacement fusion on ##load/store-memory-imm
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add f 4 2 3 }
@@ -2930,8 +2930,8 @@ cpu x86? [
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add f 4 2 3 }
@@ -2941,8 +2941,8 @@ cpu x86? [
{
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add f 4 2 3 }
@@ -2950,8 +2950,8 @@ cpu x86? [
}
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add f 4 2 3 }
@@ -2963,8 +2963,8 @@ cpu x86? [
cpu x86?
[
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add-imm f 4 2 31337 }
@@ -2973,8 +2973,8 @@ cpu x86?
]
[
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add-imm f 4 2 31337 }
@@ -2983,8 +2983,8 @@ cpu x86?
] ?
[
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add-imm f 4 2 31337 }
@@ -2996,8 +2996,8 @@ cpu x86?
cpu x86?
[
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add-imm f 4 3 31337 }
@@ -3006,8 +3006,8 @@ cpu x86?
]
[
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add-imm f 4 3 31337 }
@@ -3016,8 +3016,8 @@ cpu x86?
] ?
[
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add-imm f 4 3 31337 }
@@ -3029,8 +3029,8 @@ cpu x86?
! ##load/store-memory with non-zero scale
{ } [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##add-imm f 4 3 10 }
@@ -3042,16 +3042,16 @@ cpu x86?
${
cpu x86?
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##shl-imm f 4 3 2 }
T{ ##load-memory f 5 2 3 2 0 int-rep c:uchar }
}
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##shl-imm f 4 3 2 }
@@ -3059,8 +3059,8 @@ ${
} ?
} [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##shl-imm f 4 3 2 }
@@ -3072,8 +3072,8 @@ cpu x86? [
! Don't do scale fusion if there's already a scale
[ ] [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##shl-imm f 4 3 2 }
@@ -3084,8 +3084,8 @@ cpu x86? [
! Don't do scale fusion if the scale factor is out of range
[ ] [
V{
- T{ ##peek f 0 d: 0 }
- T{ ##peek f 1 d: 1 }
+ T{ ##peek f 0 d: 0 }
+ T{ ##peek f 1 d: 1 }
T{ ##tagged>integer f 2 0 }
T{ ##tagged>integer f 3 1 }
T{ ##shl-imm f 4 3 4 }
diff --git a/basis/compiler/prettyprint/prettyprint.factor b/basis/compiler/prettyprint/prettyprint.factor
index d03c57b377..936cefcf34 100644
--- a/basis/compiler/prettyprint/prettyprint.factor
+++ b/basis/compiler/prettyprint/prettyprint.factor
@@ -4,6 +4,6 @@ IN: compiler.prettyprint
: pprint-loc ( loc word -- ) <block pprint-word n>> pprint* block> ;
-M: ds-loc pprint* \ d: pprint-loc ;
+M: ds-loc pprint* \ d: pprint-loc ;
-M: rs-loc pprint* \ r: pprint-loc ;
+M: rs-loc pprint* \ r: pprint-loc ;
diff --git a/basis/compiler/tests/low-level-ir.factor b/basis/compiler/tests/low-level-ir.factor
index 0c31e8bf4f..dd64343a8f 100644
--- a/basis/compiler/tests/low-level-ir.factor
+++ b/basis/compiler/tests/low-level-ir.factor
@@ -23,8 +23,8 @@ IN: compiler.tests.low-level-ir
: compile-test-bb ( insns -- result )
V{ T{ ##prologue } T{ ##branch } } [ clone ] map 0 test-bb
V{
- T{ ##inc f d: 1 }
- T{ ##replace f 0 d: 0 }
+ T{ ##inc f d: 1 }
+ T{ ##replace f 0 d: 0 }
T{ ##branch }
} [ clone ] map append 1 test-bb
V{