From dfc87db5df6ce2e4b17bef4c8b47b74f996383b0 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Sun, 5 Jun 2016 12:35:12 -0700 Subject: [PATCH] compiler: D: d: R: r: --- .../cpu/architecture/architecture-docs.factor | 2 +- .../alias-analysis-tests.factor | 172 ++-- .../cfg/builder/alien/alien-tests.factor | 2 +- .../compiler/cfg/builder/builder-tests.factor | 10 +- .../cfg/copy-prop/copy-prop-tests.factor | 22 +- language/compiler/cfg/dce/dce-tests.factor | 16 +- .../compiler/cfg/debugger/debugger.factor | 4 +- .../compiler/cfg/def-use/def-use-docs.factor | 4 +- .../compiler/cfg/def-use/def-use-tests.factor | 14 +- .../cfg/gc-checks/gc-checks-tests.factor | 8 +- language/compiler/cfg/gvn/avail/avail.factor | 2 +- language/compiler/cfg/gvn/gvn-tests.factor | 914 +++++++++--------- .../cfg/intrinsics/fixnum/fixnum-tests.factor | 2 +- .../cfg/intrinsics/fixnum/fixnum.factor | 2 +- .../intrinsics/simd/backend/backend.factor | 8 +- .../assignment/assignment-tests.factor | 14 +- .../linear-scan/assignment/assignment.factor | 2 +- .../cfg/linear-scan/linear-scan-tests.factor | 2 +- .../cfg/liveness/liveness-tests.factor | 76 +- .../compiler/cfg/registers/registers.factor | 6 +- .../cfg/renaming/functor/functor.factor | 2 +- .../compiler/cfg/renaming/renaming.factor | 2 +- .../coalescing/coalescing-tests.factor | 2 +- .../representations-tests.factor | 260 ++--- .../representations/rewrite/rewrite.factor | 2 +- .../save-contexts/save-contexts-tests.factor | 4 +- .../construction/construction-tests.factor | 12 +- .../cfg/ssa/construction/construction.factor | 2 +- .../interference/interference-tests.factor | 76 +- .../cfg/stacks/clearing/clearing-docs.factor | 16 +- .../cfg/stacks/clearing/clearing-tests.factor | 12 +- .../cfg/stacks/height/height-tests.factor | 4 +- .../cfg/stacks/local/local-docs.factor | 2 +- .../cfg/stacks/local/local-tests.factor | 36 +- .../cfg/stacks/padding/padding-tests.factor | 234 ++--- .../compiler/cfg/stacks/stacks-tests.factor | 4 +- language/compiler/cfg/stacks/stacks.factor | 6 +- .../cfg/stacks/vacant/vacant-docs.factor | 6 +- .../value-numbering-tests.factor | 816 ++++++++-------- language/compiler/tests/low-level-ir.factor | 4 +- 40 files changed, 1393 insertions(+), 1391 deletions(-) diff --git a/core/cpu/architecture/architecture-docs.factor b/core/cpu/architecture/architecture-docs.factor index 2f4580e41a..49fff3a730 100644 --- a/core/cpu/architecture/architecture-docs.factor +++ b/core/cpu/architecture/architecture-docs.factor @@ -212,7 +212,7 @@ HELP: %replace-imm { $examples { $unchecked-example "USING: cpu.architecture make ;" - "[ 777 D: 0 %replace-imm ] B{ } make disassemble" + "[ 777 d: 0 %replace-imm ] B{ } make disassemble" "0000000000aad8c0: 49c70690300000 mov qword [r14], 0x3090" } } ; diff --git a/language/compiler/cfg/alias-analysis/alias-analysis-tests.factor b/language/compiler/cfg/alias-analysis/alias-analysis-tests.factor index 4d4860ce66..6f220eb718 100644 --- a/language/compiler/cfg/alias-analysis/alias-analysis-tests.factor +++ b/language/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/language/compiler/cfg/builder/alien/alien-tests.factor b/language/compiler/cfg/builder/alien/alien-tests.factor index 48d0eb7dbf..31758cb803 100644 --- a/language/compiler/cfg/builder/alien/alien-tests.factor +++ b/language/compiler/cfg/builder/alien/alien-tests.factor @@ -54,7 +54,7 @@ cpu x86.32? 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/language/compiler/cfg/builder/builder-tests.factor b/language/compiler/cfg/builder/builder-tests.factor index d56ef8b4b2..7ab441113b 100644 --- a/language/compiler/cfg/builder/builder-tests.factor +++ b/language/compiler/cfg/builder/builder-tests.factor @@ -368,9 +368,9 @@ symbol: foo ! ! #shuffle { { { 1 1 } { 0 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 } } @@ -400,21 +400,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/language/compiler/cfg/copy-prop/copy-prop-tests.factor b/language/compiler/cfg/copy-prop/copy-prop-tests.factor index 984ce5bebe..6497867cc2 100644 --- a/language/compiler/cfg/copy-prop/copy-prop-tests.factor +++ b/language/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/language/compiler/cfg/dce/dce-tests.factor b/language/compiler/cfg/dce/dce-tests.factor index 34ed72cec6..4fedfd2711 100644 --- a/language/compiler/cfg/dce/dce-tests.factor +++ b/language/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/language/compiler/cfg/debugger/debugger.factor b/language/compiler/cfg/debugger/debugger.factor index 9ff4aa7953..417ce0e71e 100644 --- a/language/compiler/cfg/debugger/debugger.factor +++ b/language/compiler/cfg/debugger/debugger.factor @@ -88,9 +88,9 @@ M: insn insn. tuple>array but-last [ ! Prettyprinting : pprint-loc ( loc word -- ) > 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 ; : resolve-phis ( bb -- ) [ diff --git a/language/compiler/cfg/def-use/def-use-docs.factor b/language/compiler/cfg/def-use/def-use-docs.factor index 97157d6e3a..89d12efbcb 100644 --- a/language/compiler/cfg/def-use/def-use-docs.factor +++ b/language/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/language/compiler/cfg/def-use/def-use-tests.factor b/language/compiler/cfg/def-use/def-use-tests.factor index 1cce1ac1ba..60d8adfb48 100644 --- a/language/compiler/cfg/def-use/def-use-tests.factor +++ b/language/compiler/cfg/def-use/def-use-tests.factor @@ -8,23 +8,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/language/compiler/cfg/gc-checks/gc-checks-tests.factor b/language/compiler/cfg/gc-checks/gc-checks-tests.factor index 51508f717c..50a0e62781 100644 --- a/language/compiler/cfg/gc-checks/gc-checks-tests.factor +++ b/language/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/language/compiler/cfg/gvn/avail/avail.factor b/language/compiler/cfg/gvn/avail/avail.factor index 60f731f31a..5b11d69c48 100644 --- a/language/compiler/cfg/gvn/avail/avail.factor +++ b/language/compiler/cfg/gvn/avail/avail.factor @@ -40,4 +40,4 @@ M: avail transfer-set drop defined assoc-union ; : make-available ( vreg -- ) basic-block get avail-ins get [ dupd clone ?set-at ] assocs:change-at ; -RENAMING: >avail [ ] [ dup >avail-vreg swap or ] [ ] +RENAMING: >avail [ ] [ dup >avail-vreg swap or ] [ ] ; diff --git a/language/compiler/cfg/gvn/gvn-tests.factor b/language/compiler/cfg/gvn/gvn-tests.factor index b63fa21551..d466ac4157 100644 --- a/language/compiler/cfg/gvn/gvn-tests.factor +++ b/language/compiler/cfg/gvn/gvn-tests.factor @@ -73,24 +73,24 @@ cpu x86? [ [ V{ T{ ##load-integer f 0 10 } - T{ ##replace-imm f 10 D: 0 } + T{ ##replace-imm f 10 d: 0 } } ] [ V{ T{ ##load-integer f 0 10 } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } value-number-bb ] unit-test [ V{ T{ ##load-reference f 0 f } - T{ ##replace-imm f f D: 0 } + T{ ##replace-imm f f d: 0 } } ] [ V{ T{ ##load-reference f 0 f } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } value-number-bb ] unit-test ] when @@ -99,12 +99,12 @@ cpu x86.32? [ [ V{ T{ ##load-reference f 0 + } - T{ ##replace-imm f + D: 0 } + T{ ##replace-imm f + d: 0 } } ] [ V{ T{ ##load-reference f 0 + } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } value-number-bb ] unit-test ] when @@ -113,12 +113,12 @@ cpu x86.64? [ [ V{ T{ ##load-integer f 0 10,000,000,000 } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } ] [ V{ T{ ##load-integer f 0 10,000,000,000 } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } value-number-bb ] unit-test @@ -126,12 +126,12 @@ cpu x86.64? [ [ V{ T{ ##load-integer f 0 0x7fffffff } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } ] [ V{ T{ ##load-integer f 0 0x7fffffff } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } value-number-bb ] unit-test ] when @@ -139,119 +139,119 @@ cpu x86.64? [ ! Double compare elimination { V{ - 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 4 D: 0 } + T{ ##replace f 4 d: 0 } } } [ V{ - 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-number-bb trim-temps ] unit-test { V{ - 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 2 D: 0 } + T{ ##replace f 2 d: 0 } } } [ V{ - 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-number-bb trim-temps ] unit-test { V{ - 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 4 D: 0 } + T{ ##replace f 4 d: 0 } } } [ V{ - 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-number-bb trim-temps ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb trim-temps ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb trim-temps ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb trim-temps ] unit-test { V{ - 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= } } } [ V{ - 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-number-bb trim-temps @@ -259,15 +259,15 @@ cpu x86.64? [ { V{ - 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<= } } } [ V{ - 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-number-bb trim-temps @@ -275,15 +275,15 @@ cpu x86.64? [ { V{ - 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= } } } [ V{ - 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-number-bb trim-temps @@ -291,13 +291,13 @@ cpu x86.64? [ { V{ - 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= } } } [ V{ - 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-number-bb trim-temps @@ -305,13 +305,13 @@ cpu x86.64? [ { V{ - 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 } } } [ V{ - 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-number-bb trim-temps @@ -320,13 +320,13 @@ cpu x86.64? [ cpu x86.32? [ [ V{ - 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= } } ] [ V{ - 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-number-bb trim-temps @@ -336,13 +336,13 @@ cpu x86.32? [ ! Immediate operand fusion { V{ - 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 } } } [ V{ - 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-number-bb @@ -350,13 +350,13 @@ cpu x86.32? [ { V{ - 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 } } } [ V{ - 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-number-bb @@ -364,13 +364,13 @@ cpu x86.32? [ { V{ - 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 } } } [ V{ - 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-number-bb @@ -378,25 +378,25 @@ cpu x86.32? [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 0 } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##sub f 1 0 0 } } value-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb @@ -404,13 +404,13 @@ cpu x86.32? [ { V{ - 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 } } } [ V{ - 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-number-bb @@ -418,25 +418,25 @@ cpu x86.32? [ { V{ - T{ ##peek f 1 D: 0 } + T{ ##peek f 1 d: 0 } T{ ##shl-imm f 2 1 3 } } } [ V{ - T{ ##peek f 1 D: 0 } + T{ ##peek f 1 d: 0 } T{ ##mul-imm f 2 1 8 } } value-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 -1 } T{ ##neg f 2 0 } } } [ V{ - 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-number-bb @@ -444,13 +444,13 @@ cpu x86.32? [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 -1 } T{ ##neg f 2 0 } } } [ V{ - 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-number-bb @@ -458,13 +458,13 @@ cpu x86.32? [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 0 } T{ ##neg f 2 0 } } } [ V{ - 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-number-bb @@ -472,14 +472,14 @@ cpu x86.32? [ { V{ - 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 } } } [ V{ - 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 } @@ -488,13 +488,13 @@ cpu x86.32? [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##neg f 1 0 } T{ ##copy f 2 0 any-rep } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##neg f 1 0 } T{ ##neg f 2 1 } } value-number-bb @@ -502,13 +502,13 @@ cpu x86.32? [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##not f 1 0 } T{ ##copy f 2 0 any-rep } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##not f 1 0 } T{ ##not f 2 1 } } value-number-bb @@ -516,13 +516,13 @@ cpu x86.32? [ { V{ - 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 } } } [ V{ - 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-number-bb @@ -530,13 +530,13 @@ cpu x86.32? [ { V{ - 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 } } } [ V{ - 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-number-bb @@ -544,13 +544,13 @@ cpu x86.32? [ { V{ - 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 } } } [ V{ - 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-number-bb @@ -558,13 +558,13 @@ cpu x86.32? [ { V{ - 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 } } } [ V{ - 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-number-bb @@ -572,13 +572,13 @@ cpu x86.32? [ { V{ - 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 } } } [ V{ - 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-number-bb @@ -586,13 +586,13 @@ cpu x86.32? [ { V{ - 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 } } } [ V{ - 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-number-bb @@ -600,13 +600,13 @@ cpu x86.32? [ { V{ - 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= } } } [ V{ - 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-number-bb trim-temps @@ -614,13 +614,13 @@ cpu x86.32? [ { V{ - 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<= } } } [ V{ - 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-number-bb trim-temps @@ -629,13 +629,13 @@ cpu x86.32? [ cpu x86.32? [ [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 + } T{ ##compare-imm f 2 0 + cc= } } ] [ V{ - 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-number-bb trim-temps @@ -643,13 +643,13 @@ cpu x86.32? [ [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 + } T{ ##compare-imm-branch f 0 + cc= } } ] [ V{ - 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-number-bb trim-temps @@ -659,13 +659,13 @@ cpu x86.32? [ cpu x86.32? [ [ V{ - 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= } } ] [ V{ - 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-number-bb trim-temps @@ -673,13 +673,13 @@ cpu x86.32? [ [ V{ - 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= } } ] [ V{ - 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-number-bb trim-temps @@ -688,13 +688,13 @@ cpu x86.32? [ { V{ - 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>= } } } [ V{ - 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-number-bb trim-temps @@ -702,13 +702,13 @@ cpu x86.32? [ { V{ - 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<= } } } [ V{ - 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-number-bb @@ -716,13 +716,13 @@ cpu x86.32? [ { V{ - 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>= } } } [ V{ - 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-number-bb trim-temps @@ -827,25 +827,25 @@ cpu x86.32? [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 f } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer f 1 0 0 cc< } } value-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb @@ -853,60 +853,60 @@ cpu x86.32? [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 t } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer f 1 0 0 cc<= } } value-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 f } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer f 1 0 0 cc> } } value-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 t } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer f 1 0 0 cc>= } } value-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 f } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer f 1 0 0 cc/= } } value-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 t } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer f 1 0 0 cc= } } value-number-bb ] unit-test @@ -1011,24 +1011,24 @@ cpu x86.32? [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 t } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare f 1 0 0 cc= } } value-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 f } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare f 1 0 0 cc/= } } value-number-bb ] unit-test @@ -1084,15 +1084,15 @@ cpu x86.32? [ ! Rewriting a ##test of an ##and into a ##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{ ##and f 2 0 1 } T{ ##test f 3 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{ ##and f 2 0 1 } T{ ##test f 3 2 2 cc= } } value-number-bb @@ -1100,13 +1100,13 @@ cpu x86.32? [ { V{ - 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= } } } [ V{ - 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-number-bb @@ -1115,13 +1115,13 @@ cpu x86.32? [ ! Rewriting ##test into ##test-imm { V{ - 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= } } } [ V{ - 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-number-bb trim-temps @@ -1129,13 +1129,13 @@ cpu x86.32? [ { V{ - 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= } } } [ V{ - 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-number-bb trim-temps @@ -1143,13 +1143,13 @@ cpu x86.32? [ { V{ - 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= } } } [ V{ - 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-number-bb @@ -1157,13 +1157,13 @@ cpu x86.32? [ { V{ - 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= } } } [ V{ - 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-number-bb @@ -1171,13 +1171,13 @@ cpu x86.32? [ { V{ - 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= } } } [ V{ - 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-number-bb @@ -1187,13 +1187,13 @@ cpu x86.32? [ cpu x86.64? [ [ V{ - 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= } } ] [ V{ - 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-number-bb @@ -1201,13 +1201,13 @@ cpu x86.64? [ [ V{ - 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= } } ] [ V{ - 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-number-bb @@ -1218,72 +1218,72 @@ cpu x86.64? [ cpu x86? [ [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##test f 1 0 0 cc= } } ] [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer-imm f 1 0 0 cc= } } value-number-bb ] unit-test [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##test f 1 0 0 cc/= } } ] [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer-imm f 1 0 0 cc/= } } value-number-bb ] unit-test [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer-imm f 1 0 0 cc<= } } ] [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer-imm f 1 0 0 cc<= } } value-number-bb ] unit-test [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##test-branch f 0 0 cc= } } ] [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer-imm-branch f 0 0 cc= } } value-number-bb ] unit-test [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##test-branch f 0 0 cc/= } } ] [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer-imm-branch f 0 0 cc/= } } value-number-bb ] unit-test [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer-imm-branch f 0 0 cc<= } } ] [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##compare-integer-imm-branch f 0 0 cc<= } } value-number-bb ] unit-test @@ -1292,7 +1292,7 @@ cpu x86? [ ! Reassociation { V{ - 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 } @@ -1300,7 +1300,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1310,7 +1310,7 @@ cpu x86? [ { V{ - 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 } @@ -1318,7 +1318,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1328,7 +1328,7 @@ cpu x86? [ { V{ - 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 } @@ -1336,7 +1336,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1346,7 +1346,7 @@ cpu x86? [ { V{ - 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 } @@ -1354,7 +1354,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1364,7 +1364,7 @@ cpu x86? [ { V{ - 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 } @@ -1372,7 +1372,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1382,7 +1382,7 @@ cpu x86? [ { V{ - 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 } @@ -1390,7 +1390,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1400,7 +1400,7 @@ cpu x86? [ { V{ - 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 } @@ -1408,7 +1408,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1418,7 +1418,7 @@ cpu x86? [ { V{ - 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 } @@ -1426,7 +1426,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1436,7 +1436,7 @@ cpu x86? [ { V{ - 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 } @@ -1444,7 +1444,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1454,7 +1454,7 @@ cpu x86? [ { V{ - 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 } @@ -1462,7 +1462,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1472,7 +1472,7 @@ cpu x86? [ { V{ - 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 } @@ -1480,7 +1480,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1490,7 +1490,7 @@ cpu x86? [ { V{ - 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 } @@ -1498,7 +1498,7 @@ cpu x86? [ } } [ V{ - 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 } @@ -1508,113 +1508,113 @@ cpu x86? [ { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test @@ -1623,308 +1623,308 @@ cpu x86? [ { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 } } } [ V{ - 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-number-bb ] unit-test ! Simplification { 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{ ##copy f 3 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 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 3 0 0 } - T{ ##replace f 3 D: 0 } + T{ ##replace f 3 d: 0 } } value-number-bb ] 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{ ##copy f 3 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 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{ ##or-imm f 3 0 0 } - T{ ##replace f 3 D: 0 } + T{ ##replace f 3 d: 0 } } value-number-bb ] 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{ ##copy f 3 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 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{ ##xor-imm f 3 0 0 } - T{ ##replace f 3 D: 0 } + T{ ##replace f 3 d: 0 } } value-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 0 } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##and-imm f 1 0 0 } } value-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##copy f 1 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##copy f 1 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##copy f 1 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 -1 } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##or-imm f 1 0 -1 } } value-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##copy f 1 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##copy f 1 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test { 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 } } } [ V{ - 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-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 0 } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##xor f 1 0 0 } } value-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##copy f 2 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##copy f 2 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##copy f 2 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##copy f 2 0 any-rep } - T{ ##replace f 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test ! Constant folding { V{ - 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 } } } [ V{ - 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 } @@ -1933,14 +1933,14 @@ cpu x86? [ { V{ - 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 } } } [ V{ - 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 } @@ -1949,14 +1949,14 @@ cpu x86? [ { V{ - 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 } } } [ V{ - 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 } @@ -1965,14 +1965,14 @@ cpu x86? [ { V{ - 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 } } } [ V{ - 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 } @@ -1981,14 +1981,14 @@ cpu x86? [ { V{ - 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 } } } [ V{ - 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 } @@ -1997,14 +1997,14 @@ cpu x86? [ { V{ - 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 } } } [ V{ - 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 } @@ -2013,13 +2013,13 @@ cpu x86? [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 1 } T{ ##load-integer f 3 8 } } } [ V{ - 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-number-bb @@ -2028,13 +2028,13 @@ cpu x86? [ cell 8 = [ [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 -1 } T{ ##load-integer f 3 0xffffffffffff } } ] [ V{ - 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-number-bb @@ -2043,13 +2043,13 @@ cell 8 = [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 -8 } T{ ##load-integer f 3 -4 } } } [ V{ - 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-number-bb @@ -2058,14 +2058,14 @@ cell 8 = [ cell 8 = [ [ V{ - 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 } } ] [ V{ - 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 } @@ -2074,13 +2074,13 @@ cell 8 = [ [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 2 140737488355328 } T{ ##add f 3 0 2 } } ] [ V{ - 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-number-bb @@ -2090,14 +2090,14 @@ cell 8 = [ cpu ppc? [ [ V{ - 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 } } ] [ V{ - 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 } @@ -2108,13 +2108,13 @@ cell 8 = [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 1 } T{ ##load-integer f 2 -1 } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 1 } T{ ##neg f 2 1 } } value-number-bb @@ -2122,13 +2122,13 @@ cell 8 = [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 1 } T{ ##load-integer f 2 -2 } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-integer f 1 1 } T{ ##not f 2 1 } } value-number-bb @@ -2166,49 +2166,49 @@ cell 8 = [ ! Alien boxing and unboxing { V{ - 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 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test { V{ - 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 0 D: 0 } + T{ ##replace f 0 d: 0 } } } [ V{ - 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-number-bb ] unit-test @@ -2216,7 +2216,7 @@ cell 8 = [ { V{ - 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 } @@ -2224,7 +2224,7 @@ cell 8 = [ } } [ V{ - 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 } @@ -2235,7 +2235,7 @@ cell 8 = [ { V{ - T{ ##peek f 1 D: 0 } + T{ ##peek f 1 d: 0 } T{ ##box-alien f 0 1 } T{ ##load-integer f 2 16 } T{ ##box-displaced-alien f 3 2 0 c-ptr } @@ -2244,7 +2244,7 @@ cell 8 = [ } } [ V{ - T{ ##peek f 1 D: 0 } + T{ ##peek f 1 d: 0 } T{ ##box-alien f 0 1 } T{ ##load-integer f 2 16 } T{ ##box-displaced-alien f 3 2 0 c-ptr } @@ -2256,30 +2256,30 @@ cell 8 = [ { V{ - 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 0 D: 1 } + T{ ##replace f 0 d: 1 } } } [ V{ - 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-number-bb ] unit-test ! Various SIMD simplifications { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##vector>scalar f 1 0 float-4-rep } T{ ##copy f 2 0 any-rep } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##vector>scalar f 1 0 float-4-rep } T{ ##scalar>vector f 2 1 float-4-rep } } value-number-bb @@ -2297,13 +2297,13 @@ cell 8 = [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##shuffle-vector-imm f 1 0 { 1 2 3 0 } float-4-rep } T{ ##shuffle-vector-imm f 2 0 { 0 2 3 1 } float-4-rep } } } [ V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##shuffle-vector-imm f 1 0 { 1 2 3 0 } float-4-rep } T{ ##shuffle-vector-imm f 2 1 { 3 1 2 0 } float-4-rep } } value-number-bb @@ -2457,16 +2457,16 @@ cell 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{ ##fill-vector f 3 float-4-rep } T{ ##xor-vector f 4 0 3 float-4-rep } T{ ##andn-vector f 5 0 1 float-4-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{ ##fill-vector f 3 float-4-rep } T{ ##xor-vector f 4 0 3 float-4-rep } T{ ##and-vector f 5 4 1 float-4-rep } @@ -2475,15 +2475,15 @@ cell 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{ ##not-vector f 4 0 float-4-rep } T{ ##andn-vector f 5 0 1 float-4-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{ ##not-vector f 4 0 float-4-rep } T{ ##and-vector f 5 4 1 float-4-rep } } value-number-bb @@ -2493,16 +2493,16 @@ cell 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{ ##fill-vector f 3 float-4-rep } T{ ##xor-vector f 4 0 3 float-4-rep } T{ ##andn-vector f 5 0 1 float-4-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{ ##fill-vector f 3 float-4-rep } T{ ##xor-vector f 4 0 3 float-4-rep } T{ ##and-vector f 5 1 4 float-4-rep } @@ -2511,15 +2511,15 @@ cell 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{ ##not-vector f 4 0 float-4-rep } T{ ##andn-vector f 5 0 1 float-4-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{ ##not-vector f 4 0 float-4-rep } T{ ##and-vector f 5 1 4 float-4-rep } } value-number-bb @@ -2529,16 +2529,16 @@ cell 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{ ##fill-vector f 3 float-4-rep } T{ ##xor-vector f 4 0 3 float-4-rep } T{ ##and-vector f 5 0 1 float-4-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{ ##fill-vector f 3 float-4-rep } T{ ##xor-vector f 4 0 3 float-4-rep } T{ ##andn-vector f 5 4 1 float-4-rep } @@ -2547,15 +2547,15 @@ cell 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{ ##not-vector f 4 0 float-4-rep } T{ ##and-vector f 5 0 1 float-4-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{ ##not-vector f 4 0 float-4-rep } T{ ##andn-vector f 5 4 1 float-4-rep } } value-number-bb @@ -2565,9 +2565,9 @@ cell 8 = [ { 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{ ##fill-vector f 3 float-4-rep } T{ ##xor-vector f 4 0 3 float-4-rep } T{ ##andn-vector f 5 0 1 float-4-rep } @@ -2576,9 +2576,9 @@ cell 8 = [ } } [ 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{ ##fill-vector f 3 float-4-rep } T{ ##xor-vector f 4 0 3 float-4-rep } T{ ##and-vector f 5 4 1 float-4-rep } @@ -2589,9 +2589,9 @@ cell 8 = [ { 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{ ##not-vector f 4 0 float-4-rep } T{ ##andn-vector f 5 0 1 float-4-rep } T{ ##and-vector f 6 0 2 float-4-rep } @@ -2599,9 +2599,9 @@ cell 8 = [ } } [ 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{ ##not-vector f 4 0 float-4-rep } T{ ##and-vector f 5 4 1 float-4-rep } T{ ##andn-vector f 6 4 2 float-4-rep } @@ -2681,92 +2681,92 @@ cell 8 = [ { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##branch } } 1 } [ V{ - 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 { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##branch } } 0 } [ V{ - 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 { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##branch } } 1 } [ V{ - 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 { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##branch } } 0 } [ V{ - 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 { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##branch } } 0 } [ V{ - 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 { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##branch } } 1 } [ V{ - 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 { V{ - T{ ##peek f 0 D: 0 } + T{ ##peek f 0 d: 0 } T{ ##load-reference f 1 t } T{ ##branch } } 0 } [ V{ - 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 @@ -2776,7 +2776,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 @@ -2792,7 +2792,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 @@ -2814,12 +2814,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 @@ -2834,7 +2834,7 @@ V{ } 3 test-bb V{ - T{ ##replace f 3 D: 0 } + T{ ##replace f 3 d: 0 } T{ ##return } } 4 test-bb @@ -2849,7 +2849,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 } } @@ -2877,7 +2877,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 @@ -2894,7 +2894,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 @@ -2915,15 +2915,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-number-bb @@ -2935,14 +2935,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 } @@ -2951,8 +2951,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 } @@ -2960,8 +2960,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 } @@ -2972,8 +2972,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 } @@ -2981,8 +2981,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 } @@ -2992,8 +2992,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 } @@ -3001,8 +3001,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 } @@ -3014,8 +3014,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 } @@ -3024,8 +3024,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 } @@ -3034,8 +3034,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 } @@ -3047,8 +3047,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 } @@ -3057,8 +3057,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 } @@ -3067,8 +3067,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 } @@ -3080,8 +3080,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 } @@ -3093,8 +3093,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{ ##shl-imm f 4 3 2 } @@ -3103,8 +3103,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{ ##shl-imm f 4 3 2 } @@ -3113,8 +3113,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{ ##shl-imm f 4 3 2 } @@ -3126,8 +3126,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 } @@ -3138,8 +3138,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 } @@ -3155,19 +3155,19 @@ cpu x86? [ V{ T{ ##branch } } 0 test-bb V{ - T{ ##inc { loc D: -1 } } - T{ ##peek { dst 1 } { loc D: -1 } } + T{ ##inc { loc d: -1 } } + T{ ##peek { dst 1 } { loc d: -1 } } T{ ##compare-imm-branch { src1 1 } { src2 f } { cc cc/= } } } 1 test-bb V{ - T{ ##inc { loc D: 1 } } + T{ ##inc { loc d: 1 } } T{ ##load-integer { dst 2 } { val 100 } } T{ ##branch } } 2 test-bb V{ - T{ ##inc { loc D: 1 } } + T{ ##inc { loc d: 1 } } T{ ##load-integer { dst 3 } { val 200 } } T{ ##branch } } 3 test-bb @@ -3192,7 +3192,7 @@ test-diamond V{ T{ ##prologue } T{ ##branch } } 0 test-bb V{ - T{ ##inc f D: 3 } + T{ ##inc f d: 3 } T{ ##load-integer f 21 0 } T{ ##load-integer f 22 100 } T{ ##load-integer f 23 0 } @@ -3227,8 +3227,8 @@ V{ } 2 test-bb V{ - T{ ##inc f D: -2 } - T{ ##replace f 29 D: 0 } + T{ ##inc f d: -2 } + T{ ##replace f 29 d: 0 } T{ ##branch } } 4 test-bb diff --git a/language/compiler/cfg/intrinsics/fixnum/fixnum-tests.factor b/language/compiler/cfg/intrinsics/fixnum/fixnum-tests.factor index bf36e65af5..6c70fe5017 100644 --- a/language/compiler/cfg/intrinsics/fixnum/fixnum-tests.factor +++ b/language/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/language/compiler/cfg/intrinsics/fixnum/fixnum.factor b/language/compiler/cfg/intrinsics/fixnum/fixnum.factor index 1a029722b0..6ee43cab4c 100644 --- a/language/compiler/cfg/intrinsics/fixnum/fixnum.factor +++ b/language/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/language/compiler/cfg/intrinsics/simd/backend/backend.factor b/language/compiler/cfg/intrinsics/simd/backend/backend.factor index 9e123d5633..7a551eb895 100644 --- a/language/compiler/cfg/intrinsics/simd/backend/backend.factor +++ b/language/compiler/cfg/intrinsics/simd/backend/backend.factor @@ -131,10 +131,10 @@ CONSTANT: [binary/param] [ [ -2 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 inc-stack ] ; diff --git a/language/compiler/cfg/linear-scan/assignment/assignment-tests.factor b/language/compiler/cfg/linear-scan/assignment/assignment-tests.factor index 22528a2b1b..79c865d9ed 100644 --- a/language/compiler/cfg/linear-scan/assignment/assignment-tests.factor +++ b/language/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/language/compiler/cfg/linear-scan/assignment/assignment.factor b/language/compiler/cfg/linear-scan/assignment/assignment.factor index 452d036403..8157c27d7b 100644 --- a/language/compiler/cfg/linear-scan/assignment/assignment.factor +++ b/language/compiler/cfg/linear-scan/assignment/assignment.factor @@ -88,7 +88,7 @@ symbol: machine-live-outs [ pending-interval-heap get expire-old-intervals ] [ unhandled-intervals get activate-new-intervals ] bi ; -RENAMING: assign [ vreg>reg ] [ vreg>reg ] [ vreg>reg ] +RENAMING: assign [ vreg>reg ] [ vreg>reg ] [ vreg>reg ] ; : assign-all-registers ( insn -- ) [ assign-insn-defs ] [ assign-insn-uses ] [ assign-insn-temps ] tri ; diff --git a/language/compiler/cfg/linear-scan/linear-scan-tests.factor b/language/compiler/cfg/linear-scan/linear-scan-tests.factor index eae58f10ee..e04d9b9d77 100644 --- a/language/compiler/cfg/linear-scan/linear-scan-tests.factor +++ b/language/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/language/compiler/cfg/liveness/liveness-tests.factor b/language/compiler/cfg/liveness/liveness-tests.factor index 86a005be5b..808b983dbd 100644 --- a/language/compiler/cfg/liveness/liveness-tests.factor +++ b/language/compiler/cfg/liveness/liveness-tests.factor @@ -76,17 +76,17 @@ qualified: sets ! 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 @@ -109,21 +109,21 @@ qualified: sets 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 @@ -142,12 +142,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 { @@ -168,20 +168,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 @@ -202,7 +202,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 @@ -224,12 +224,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 @@ -239,10 +239,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 @@ -252,35 +252,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 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 @@ -335,7 +335,7 @@ V{ } 5 test-bb V{ - T{ ##replace f 2 D: 0 } + T{ ##replace f 2 d: 0 } T{ ##branch } } 6 test-bb @@ -369,12 +369,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/language/compiler/cfg/registers/registers.factor b/language/compiler/cfg/registers/registers.factor index 42fd272bad..00e5f18339 100644 --- a/language/compiler/cfg/registers/registers.factor +++ b/language/compiler/cfg/registers/registers.factor @@ -32,5 +32,7 @@ C: ds-loc ; TUPLE: rs-loc < loc ; C: rs-loc ; -SYNTAX: D: scan-number suffix! ; -SYNTAX: R: scan-number suffix! ; +SYNTAX: d: scan-number suffix! ; +SYNTAX: d: scan-number suffix! ; +SYNTAX: r: scan-number suffix! ; +SYNTAX: r: scan-number suffix! ; diff --git a/language/compiler/cfg/renaming/functor/functor.factor b/language/compiler/cfg/renaming/functor/functor.factor index 4b5bffd356..fe24b436a0 100644 --- a/language/compiler/cfg/renaming/functor/functor.factor +++ b/language/compiler/cfg/renaming/functor/functor.factor @@ -85,4 +85,4 @@ insn-classes get [ insn-temp-slots empty? ] reject [ ;FUNCTOR -SYNTAX: RENAMING: scan-token scan-object scan-object scan-object define-renaming ; +SYNTAX: RENAMING: scan-token scan-object scan-object scan-object ";" expect define-renaming ; diff --git a/language/compiler/cfg/renaming/renaming.factor b/language/compiler/cfg/renaming/renaming.factor index ae4483f5a2..64540ef8dd 100644 --- a/language/compiler/cfg/renaming/renaming.factor +++ b/language/compiler/cfg/renaming/renaming.factor @@ -9,4 +9,4 @@ symbol: renamings : rename-value ( vreg -- vreg' ) renamings get ?at drop ; -RENAMING: rename [ rename-value ] [ rename-value ] [ drop next-vreg ] +RENAMING: rename [ rename-value ] [ rename-value ] [ drop next-vreg ] ; diff --git a/language/compiler/cfg/representations/coalescing/coalescing-tests.factor b/language/compiler/cfg/representations/coalescing/coalescing-tests.factor index 8fa4f3e668..99c0e600e7 100644 --- a/language/compiler/cfg/representations/coalescing/coalescing-tests.factor +++ b/language/compiler/cfg/representations/coalescing/coalescing-tests.factor @@ -16,7 +16,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/language/compiler/cfg/representations/representations-tests.factor b/language/compiler/cfg/representations/representations-tests.factor index b2457f0a57..051692f1ed 100644 --- a/language/compiler/cfg/representations/representations-tests.factor +++ b/language/compiler/cfg/representations/representations-tests.factor @@ -61,12 +61,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 @@ -89,20 +89,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 @@ -114,7 +114,7 @@ V{ { V{ - T{ ##peek f 1 D: 0 } + T{ ##peek f 1 d: 0 } T{ ##branch } } } [ 1 get instructions>> ] unit-test @@ -127,19 +127,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 @@ -157,7 +157,7 @@ V{ { V{ - T{ ##peek f 1 D: 0 } + T{ ##peek f 1 d: 0 } T{ ##branch } } } [ 1 get instructions>> ] unit-test @@ -170,7 +170,7 @@ V{ } 0 test-bb V{ - T{ ##peek f 1 D: 0 } + T{ ##peek f 1 d: 0 } T{ ##branch } } 1 test-bb @@ -182,8 +182,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 @@ -203,7 +203,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 } } @@ -216,10 +216,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 @@ -253,7 +253,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 @@ -284,8 +284,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 @@ -297,7 +297,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 @@ -325,10 +325,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 @@ -351,7 +351,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 @@ -367,9 +367,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{ @@ -400,14 +400,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 @@ -416,12 +416,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 @@ -430,18 +430,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 @@ -449,35 +449,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 @@ -486,13 +486,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 @@ -500,15 +500,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 @@ -536,16 +536,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 @@ -557,13 +557,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 @@ -571,7 +571,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 } @@ -579,7 +579,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 } @@ -640,7 +640,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{ @@ -649,38 +649,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 @@ -690,17 +690,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 @@ -709,13 +709,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 @@ -723,15 +723,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 @@ -739,108 +739,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 @@ -848,15 +848,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 @@ -864,21 +864,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 @@ -887,15 +887,15 @@ 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 diff --git a/language/compiler/cfg/representations/rewrite/rewrite.factor b/language/compiler/cfg/representations/rewrite/rewrite.factor index 3fbc8b108f..aaafcc9773 100644 --- a/language/compiler/cfg/representations/rewrite/rewrite.factor +++ b/language/compiler/cfg/representations/rewrite/rewrite.factor @@ -66,7 +66,7 @@ SYMBOLS: renaming-set needs-renaming? ; : converted-value ( vreg -- vreg' ) renaming-set get pop first2 [ assert= ] dip ; -RENAMING: convert [ converted-value ] [ converted-value ] [ ] +RENAMING: convert [ converted-value ] [ converted-value ] [ ] ; : perform-renaming ( insn -- ) needs-renaming? get [ diff --git a/language/compiler/cfg/save-contexts/save-contexts-tests.factor b/language/compiler/cfg/save-contexts/save-contexts-tests.factor index 552503296d..74d72c6446 100644 --- a/language/compiler/cfg/save-contexts/save-contexts-tests.factor +++ b/language/compiler/cfg/save-contexts/save-contexts-tests.factor @@ -37,7 +37,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 { scrub-d B{ 0 0 0 } } { scrub-r B{ } } { gc-roots { } } } } @@ -47,7 +47,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 { scrub-d B{ 0 0 0 } } { scrub-r B{ } } { gc-roots { } } } diff --git a/language/compiler/cfg/ssa/construction/construction-tests.factor b/language/compiler/cfg/ssa/construction/construction-tests.factor index c7c3d633fc..aeb7e57382 100644 --- a/language/compiler/cfg/ssa/construction/construction-tests.factor +++ b/language/compiler/cfg/ssa/construction/construction-tests.factor @@ -64,7 +64,7 @@ V{ } 2 test-bb V{ - T{ ##replace f 3 D: 0 } + T{ ##replace f 3 d: 0 } T{ ##return } } 3 test-bb @@ -100,7 +100,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 } } } [ @@ -113,9 +113,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 @@ -131,7 +131,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/language/compiler/cfg/ssa/construction/construction.factor b/language/compiler/cfg/ssa/construction/construction.factor index d58c2832b5..ae7592eb97 100644 --- a/language/compiler/cfg/ssa/construction/construction.factor +++ b/language/compiler/cfg/ssa/construction/construction.factor @@ -73,7 +73,7 @@ SYMBOLS: stacks pushed ; (top-name) dup [ dup used-vregs get push-front ] when ; -RENAMING: ssa-rename [ gen-name ] [ top-name ] [ ] +RENAMING: ssa-rename [ gen-name ] [ top-name ] [ ] ; GENERIC: rename-insn ( insn -- ) ; diff --git a/language/compiler/cfg/ssa/interference/interference-tests.factor b/language/compiler/cfg/ssa/interference/interference-tests.factor index 4441468663..5a7885a1d9 100644 --- a/language/compiler/cfg/ssa/interference/interference-tests.factor +++ b/language/compiler/cfg/ssa/interference/interference-tests.factor @@ -33,19 +33,19 @@ in: compiler.cfg.ssa.interference.tests [ [ ] 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 @@ -75,11 +75,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 } @@ -106,8 +106,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 } @@ -123,10 +123,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 @@ -136,8 +136,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 @@ -147,8 +147,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 @@ -188,13 +188,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 @@ -204,17 +204,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= } @@ -225,8 +225,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 } @@ -238,9 +238,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 @@ -254,14 +254,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 @@ -315,8 +315,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 } @@ -335,7 +335,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/language/compiler/cfg/stacks/clearing/clearing-docs.factor b/language/compiler/cfg/stacks/clearing/clearing-docs.factor index 9adc65f1e0..bce0694dd9 100644 --- a/language/compiler/cfg/stacks/clearing/clearing-docs.factor +++ b/language/compiler/cfg/stacks/clearing/clearing-docs.factor @@ -5,15 +5,15 @@ in: compiler.cfg.stacks.clearing ARTICLE: "compiler.cfg.stacks.clearing" "Uninitialized stack location clearing" "A compiler pass that inserts " { $link ##replace-imm } " instructions front of unsafe " { $link ##peek } " instructions in the " { $link cfg } ". Consider the following sequence of instructions." { $code - "##inc D: 2" - "##peek RCX D: 2" + "##inc d: 2" + "##peek RCX d: 2" } "The ##peek can cause a stack underflow and then there will be two uninitialized locations on the data stack that can't be traced. To counteract that, this pass modifies the instruction sequence so that it becomes:" { $code - "##inc D: 2" - "##replace-imm 17 D: 0" - "##replace-imm 17 D: 1" - "##peek RCX D: 2" + "##inc d: 2" + "##replace-imm 17 d: 0" + "##replace-imm 17 d: 1" + "##peek RCX d: 2" } ; HELP: dangerous-insn? @@ -22,12 +22,12 @@ HELP: dangerous-insn? { $examples { $example "USING: compiler.cfg.instructions compiler.cfg.registers compiler.cfg.stacks.clearing prettyprint ;" - "{ { 0 { } } { 0 { } } } T{ ##peek { loc D: 0 } } dangerous-insn? ." + "{ { 0 { } } { 0 { } } } T{ ##peek { loc d: 0 } } dangerous-insn? ." "t" } { $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" } } ; diff --git a/language/compiler/cfg/stacks/clearing/clearing-tests.factor b/language/compiler/cfg/stacks/clearing/clearing-tests.factor index 4142de5652..4b1dda75e9 100644 --- a/language/compiler/cfg/stacks/clearing/clearing-tests.factor +++ b/language/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 } [ - { { 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? ] unit-test ! state>clears diff --git a/language/compiler/cfg/stacks/height/height-tests.factor b/language/compiler/cfg/stacks/height/height-tests.factor index cdf3df9a62..1809bb7898 100644 --- a/language/compiler/cfg/stacks/height/height-tests.factor +++ b/language/compiler/cfg/stacks/height/height-tests.factor @@ -9,6 +9,6 @@ in: compiler.cfg.stacks.height.tests begin-stack-analysis 3 4 T{ basic-block } [ record-stack-heights ] - [ D: 1 swap untranslate-loc ] - [ R: 1 swap untranslate-loc ] tri + [ d: 1 swap untranslate-loc ] + [ r: 1 swap untranslate-loc ] tri ] unit-test diff --git a/language/compiler/cfg/stacks/local/local-docs.factor b/language/compiler/cfg/stacks/local/local-docs.factor index b156ec6054..59d0e00cf5 100644 --- a/language/compiler/cfg/stacks/local/local-docs.factor +++ b/language/compiler/cfg/stacks/local/local-docs.factor @@ -22,7 +22,7 @@ HELP: height-state>insns { $example "USING: compiler.cfg.stacks.local prettyprint ;" "{ { 0 4 } { 0 -2 } } height-state>insns ." - "{ T{ ##inc { loc D: 4 } } T{ ##inc { loc R: -2 } } }" + "{ T{ ##inc { loc d: 4 } } T{ ##inc { loc r: -2 } } }" } } ; diff --git a/language/compiler/cfg/stacks/local/local-tests.factor b/language/compiler/cfg/stacks/local/local-tests.factor index 34b9c52902..ee01776d4c 100644 --- a/language/compiler/cfg/stacks/local/local-tests.factor +++ b/language/compiler/cfg/stacks/local/local-tests.factor @@ -8,7 +8,7 @@ in: compiler.cfg.stacks.local.tests ! loc>vreg { 1 } [ - D: 0 loc>vreg + d: 0 loc>vreg ] cfg-unit-test ! stack-changes @@ -18,13 +18,13 @@ 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 ! replace-loc { 80 } [ - 80 D: 77 replace-loc - D: 77 peek-loc + 80 d: 77 replace-loc + d: 77 peek-loc ] cfg-unit-test ! end-local-analysis @@ -40,11 +40,11 @@ in: compiler.cfg.stacks.local.tests ] cfg-unit-test { - HS{ D: 3 } + HS{ d: 3 } } [ V{ } 137 insns>block [ 0 0 rot record-stack-heights ] - [ [ 3 D: 3 replace-loc "eh" , end-local-analysis ] V{ } make drop ] + [ [ 3 d: 3 replace-loc "eh" , end-local-analysis ] V{ } make drop ] [ replace-sets get at ] tri ] cfg-unit-test @@ -52,8 +52,8 @@ in: compiler.cfg.stacks.local.tests { 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 @@ -64,7 +64,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-changes ] V{ } make @@ -76,45 +76,45 @@ in: compiler.cfg.stacks.local.tests compute-local-kill-set sets:cardinality ] unit-test -{ HS{ R: -4 } } [ +{ HS{ r: -4 } } [ V{ } 0 insns>block 4 4 pick record-stack-heights { { 8 0 } { 3 0 } } height-state set compute-local-kill-set ] unit-test -{ HS{ D: -1 D: -2 } } [ +{ HS{ d: -1 d: -2 } } [ V{ } 0 insns>block [ 2 0 rot record-stack-heights ] keep { { 0 0 } { 0 0 } } height-state set compute-local-kill-set ] cfg-unit-test ! translate-local-loc -{ D: 2 } [ - D: 3 { { 1 2 } { 3 4 } } translate-local-loc +{ d: 2 } [ + d: 3 { { 1 2 } { 3 4 } } translate-local-loc ] unit-test ! height-state { { { 3 3 } { 0 0 } } } [ - D: 3 inc-stack height-state get + d: 3 inc-stack height-state get ] cfg-unit-test { { { 5 3 } { 0 0 } } } [ { { 2 0 } { 0 0 } } 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 4 } { 0 -2 } } 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/language/compiler/cfg/stacks/padding/padding-tests.factor b/language/compiler/cfg/stacks/padding/padding-tests.factor index aab43a4fa0..be133d21fb 100644 --- a/language/compiler/cfg/stacks/padding/padding-tests.factor +++ b/language/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-state2 ] 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-state2 @@ -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 { scrub-d { } } } } } } } @@ -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 { scrub-d { } } } } } - 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/language/compiler/cfg/stacks/stacks-tests.factor b/language/compiler/cfg/stacks/stacks-tests.factor index c3dcd8dd71..53ce31a9d4 100644 --- a/language/compiler/cfg/stacks/stacks-tests.factor +++ b/language/compiler/cfg/stacks/stacks-tests.factor @@ -4,7 +4,7 @@ namespaces tools.test ; in: compiler.cfg.stacks.tests { - H{ { D: 1 4 } { D: 2 3 } { D: 0 5 } } + H{ { d: 1 4 } { d: 2 3 } { d: 0 5 } } { { 0 0 } { 0 0 } } } [ { 3 4 5 } ds-loc store-vregs @@ -13,7 +13,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/language/compiler/cfg/stacks/stacks.factor b/language/compiler/cfg/stacks/stacks.factor index ea0c77e0ef..e829fa4bf9 100644 --- a/language/compiler/cfg/stacks/stacks.factor +++ b/language/compiler/cfg/stacks/stacks.factor @@ -39,14 +39,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/language/compiler/cfg/stacks/vacant/vacant-docs.factor b/language/compiler/cfg/stacks/vacant/vacant-docs.factor index 1baa113a5d..05f0392b97 100644 --- a/language/compiler/cfg/stacks/vacant/vacant-docs.factor +++ b/language/compiler/cfg/stacks/vacant/vacant-docs.factor @@ -5,11 +5,11 @@ in: compiler.cfg.stacks.vacant ARTICLE: "compiler.cfg.stacks.vacant" "Uninitialized/overinitialized stack location analysis" "Consider the following sequence of instructions:" { $code - "##inc D: 2" + "##inc d: 2" "..." "##allot" - "##replace ... D: 0" - "##replace ... D: 1" + "##replace ... d: 0" + "##replace ... d: 1" } "The GC check runs before stack locations 0 and 1 have been initialized, and so the GC needs to scrub them so that they don't get traced. This is achieved by computing uninitialized locations with a dataflow analysis, and recording the information in GC maps. The call_frame_slot_visitor object in vm/slot_visitor.hpp reads this information from GC maps and performs the scrubbing." ; diff --git a/language/compiler/cfg/value-numbering/value-numbering-tests.factor b/language/compiler/cfg/value-numbering/value-numbering-tests.factor index ebc0486f82..14962d6f20 100644 --- a/language/compiler/cfg/value-numbering/value-numbering-tests.factor +++ b/language/compiler/cfg/value-numbering/value-numbering-tests.factor @@ -68,24 +68,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 @@ -94,12 +94,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 @@ -108,12 +108,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 @@ -121,12 +121,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 @@ -134,119 +134,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 @@ -254,15 +254,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 @@ -270,15 +270,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 @@ -286,13 +286,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 @@ -300,13 +300,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 @@ -315,13 +315,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 @@ -331,13 +331,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 @@ -345,13 +345,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 @@ -359,13 +359,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 @@ -373,25 +373,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 @@ -399,13 +399,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 @@ -413,25 +413,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 @@ -439,13 +439,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 @@ -453,13 +453,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 @@ -467,14 +467,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 } @@ -483,13 +483,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 @@ -497,13 +497,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 @@ -511,13 +511,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 @@ -525,13 +525,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 @@ -539,13 +539,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 @@ -553,13 +553,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 @@ -567,13 +567,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 @@ -581,13 +581,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 @@ -595,13 +595,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 @@ -609,13 +609,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 @@ -624,13 +624,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 @@ -638,13 +638,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 @@ -654,13 +654,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 @@ -668,13 +668,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 @@ -683,13 +683,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 @@ -697,13 +697,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 @@ -711,13 +711,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 @@ -822,25 +822,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 @@ -848,60 +848,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 @@ -1006,24 +1006,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 @@ -1079,15 +1079,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 @@ -1095,13 +1095,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 @@ -1110,13 +1110,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 @@ -1124,13 +1124,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 @@ -1138,13 +1138,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 @@ -1152,13 +1152,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 @@ -1166,13 +1166,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 @@ -1182,13 +1182,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 @@ -1196,13 +1196,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 @@ -1213,72 +1213,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 @@ -1287,7 +1287,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 } @@ -1295,7 +1295,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 } @@ -1305,7 +1305,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 } @@ -1313,7 +1313,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 } @@ -1323,7 +1323,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 } @@ -1331,7 +1331,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 } @@ -1341,7 +1341,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 } @@ -1349,7 +1349,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 } @@ -1359,7 +1359,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 } @@ -1367,7 +1367,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 } @@ -1377,7 +1377,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 } @@ -1385,7 +1385,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 } @@ -1395,7 +1395,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 } @@ -1403,7 +1403,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 } @@ -1413,7 +1413,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 } @@ -1421,7 +1421,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 } @@ -1431,7 +1431,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 } @@ -1439,7 +1439,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 } @@ -1449,7 +1449,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 } @@ -1457,7 +1457,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 } @@ -1467,7 +1467,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 } @@ -1475,7 +1475,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 } @@ -1485,7 +1485,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 } @@ -1493,7 +1493,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 } @@ -1503,113 +1503,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 @@ -1618,308 +1618,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 } @@ -1928,14 +1928,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 } @@ -1944,14 +1944,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 } @@ -1960,14 +1960,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 } @@ -1976,14 +1976,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 } @@ -1992,14 +1992,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 } @@ -2008,13 +2008,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 @@ -2023,13 +2023,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 @@ -2038,13 +2038,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 @@ -2053,14 +2053,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 } @@ -2069,13 +2069,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 @@ -2085,14 +2085,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 } @@ -2103,13 +2103,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 @@ -2117,13 +2117,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 @@ -2161,49 +2161,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 @@ -2211,7 +2211,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 } @@ -2219,7 +2219,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 } @@ -2249,17 +2249,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 @@ -2630,92 +2630,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 @@ -2725,7 +2725,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 @@ -2741,7 +2741,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 @@ -2761,12 +2761,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 @@ -2781,7 +2781,7 @@ V{ } 3 test-bb V{ - T{ ##replace f 3 D: 0 } + T{ ##replace f 3 d: 0 } T{ ##return } } 4 test-bb @@ -2799,7 +2799,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 } } @@ -2827,7 +2827,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 @@ -2844,7 +2844,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 @@ -2865,15 +2865,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 @@ -2885,14 +2885,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 } @@ -2901,8 +2901,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 } @@ -2910,8 +2910,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 } @@ -2922,8 +2922,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 } @@ -2931,8 +2931,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 } @@ -2942,8 +2942,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 } @@ -2951,8 +2951,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 } @@ -2964,8 +2964,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 } @@ -2974,8 +2974,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 } @@ -2984,8 +2984,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 } @@ -2997,8 +2997,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 } @@ -3007,8 +3007,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 } @@ -3017,8 +3017,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 } @@ -3030,8 +3030,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 } @@ -3043,16 +3043,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 } @@ -3060,8 +3060,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 } @@ -3073,8 +3073,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 } @@ -3085,8 +3085,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/language/compiler/tests/low-level-ir.factor b/language/compiler/tests/low-level-ir.factor index bde7660e56..c20b343ac6 100644 --- a/language/compiler/tests/low-level-ir.factor +++ b/language/compiler/tests/low-level-ir.factor @@ -24,8 +24,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{