0 get instructions>> ;
! Folding constants together
-{
+[
V{
T{ ##load-reference f 0 0.0 }
T{ ##load-reference f 1 -0.0 }
}
-} [
+] [
V{
T{ ##load-reference f 0 0.0 }
T{ ##load-reference f 1 -0.0 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-reference f 0 0.0 }
T{ ##copy f 1 0 any-rep }
}
-} [
+] [
V{
T{ ##load-reference f 0 0.0 }
T{ ##load-reference f 1 0.0 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-reference f 0 t }
T{ ##copy f 1 0 any-rep }
}
-} [
+] [
V{
T{ ##load-reference f 0 t }
T{ ##load-reference f 1 t }
] when
! Double compare elimination
-{
+[
V{
T{ ##peek f 1 D 1 }
T{ ##peek f 2 D 2 }
T{ ##copy f 6 4 any-rep }
T{ ##replace f 4 D 0 }
}
-} [
+] [
V{
T{ ##peek f 1 D 1 }
T{ ##peek f 2 D 2 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 1 D 1 }
T{ ##compare-imm f 2 1 16 cc= }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
T{ ##peek f 1 D 1 }
T{ ##peek f 2 D 2 }
T{ ##copy f 6 4 any-rep }
T{ ##replace f 4 D 0 }
}
-} [
+] [
V{
T{ ##peek f 1 D 1 }
T{ ##peek f 2 D 2 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
T{ ##peek f 1 D 1 }
T{ ##peek f 2 D 2 }
T{ ##compare-integer f 6 2 1 cc/<= }
T{ ##replace f 6 D 0 }
}
-} [
+] [
V{
T{ ##peek f 1 D 1 }
T{ ##peek f 2 D 2 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 1 D 1 }
T{ ##compare-integer-imm f 2 1 100 cc<= }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
T{ ##peek f 8 D 0 }
T{ ##peek f 9 D -1 }
T{ ##compare-float-unordered f 14 8 9 cc/< }
T{ ##replace f 14 D 0 }
}
-} [
+] [
V{
T{ ##peek f 8 D 0 }
T{ ##peek f 9 D -1 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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{ ##test-imm f 33 29 30 cc= }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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{ ##test-vector f 2 1 f float-4-rep vcc-any }
] when
! Immediate operand fusion
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 0 }
}
-} [
+] [
V{
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{ ##load-integer f 1 100 }
T{ ##mul-imm f 2 0 100 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 1 D 0 }
T{ ##shl-imm f 2 1 3 }
}
-} [
+] [
V{
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{ ##load-integer f 1 -1 }
T{ ##neg f 2 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 -1 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 -1 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 0 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 0 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##neg f 1 0 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##not f 1 0 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
] unit-test
] unless
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 100 }
] unit-test
! Compare folding
-{
+[
V{
T{ ##load-integer f 1 100 }
T{ ##load-integer f 2 200 }
T{ ##load-reference f 3 t }
}
-} [
+] [
V{
T{ ##load-integer f 1 100 }
T{ ##load-integer f 2 200 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
T{ ##load-integer f 1 100 }
T{ ##load-integer f 2 200 }
T{ ##load-reference f 3 f }
}
-} [
+] [
V{
T{ ##load-integer f 1 100 }
T{ ##load-integer f 2 200 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
T{ ##load-integer f 1 100 }
T{ ##load-reference f 2 f }
}
-} [
+] [
V{
T{ ##load-integer f 1 100 }
T{ ##compare-integer-imm f 2 1 123 cc= }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
T{ ##load-integer f 1 10 }
T{ ##load-integer f 2 20 }
T{ ##load-reference f 3 f }
}
-} [
+] [
V{
T{ ##load-integer f 1 10 }
T{ ##load-integer f 2 20 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
T{ ##load-reference f 3 t }
}
-} [
+] [
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
T{ ##load-reference f 3 t }
}
-} [
+] [
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 10 }
T{ ##load-integer f 2 20 }
T{ ##load-reference f 3 f }
}
-} [
+] [
V{
T{ ##load-integer f 1 10 }
T{ ##load-integer f 2 20 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-reference f 1 f }
}
-} [
+] [
V{
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{ ##copy f 1 0 any-rep }
T{ ##load-reference f 2 f }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##copy f 1 0 any-rep }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-reference f 1 t }
}
-} [
+] [
V{
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{ ##load-reference f 1 f }
}
-} [
+] [
V{
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{ ##load-reference f 1 t }
}
-} [
+] [
V{
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{ ##load-reference f 1 f }
}
-} [
+] [
V{
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{ ##load-reference f 1 t }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##compare-integer f 1 0 0 cc= }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 10 }
T{ ##load-reference f 2 t }
}
-} [
+] [
V{
T{ ##load-integer f 1 10 }
T{ ##compare-imm f 2 1 10 cc= }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 10 }
T{ ##load-reference f 2 f }
}
-} [
+] [
V{
T{ ##load-integer f 1 10 }
T{ ##compare-imm f 2 1 20 cc= }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 10 }
T{ ##load-reference f 2 t }
}
-} [
+] [
V{
T{ ##load-integer f 1 10 }
T{ ##compare-imm f 2 1 100 cc/= }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 10 }
T{ ##load-reference f 2 f }
}
-} [
+] [
V{
T{ ##load-integer f 1 10 }
T{ ##compare-imm f 2 1 10 cc/= }
] unit-test
] when
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-reference f 1 t }
}
-} [
+] [
V{
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{ ##load-reference f 1 f }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##compare f 1 0 0 cc/= }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 12 }
T{ ##load-reference f 3 t }
}
-} [
+] [
V{
T{ ##load-integer f 1 12 }
T{ ##test-imm f 3 1 13 cc/= }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 15 }
T{ ##load-reference f 3 f }
}
-} [
+] [
V{
T{ ##load-integer f 1 15 }
T{ ##test-imm f 3 1 16 cc/= }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 12 }
T{ ##load-reference f 3 f }
}
-} [
+] [
V{
T{ ##load-integer f 1 12 }
T{ ##test-imm f 3 1 13 cc= }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 15 }
T{ ##load-reference f 3 t }
}
-} [
+] [
V{
T{ ##load-integer f 1 15 }
T{ ##test-imm f 3 1 16 cc= }
] unit-test
! Rewriting a ##test of an ##and into a ##test
-{
+[
V{
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 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##and-imm f 2 0 12 }
] unit-test
! Rewriting ##test into ##test-imm
-{
+[
V{
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{ ##load-integer f 1 10 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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{ ##load-integer f 1 10 }
} value-number-bb trim-temps
] unit-test
-{
+[
V{
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{ ##load-integer f 1 10 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 10 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 10 }
] when
! Reassociation
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##add-imm f 4 0 150 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##add-imm f 4 0 150 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##add-imm f 4 0 50 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##add-imm f 4 0 -150 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##mul-imm f 4 0 5000 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##mul-imm f 4 0 5000 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##and-imm f 4 0 32 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##and-imm f 4 0 32 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##or-imm f 4 0 118 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##or-imm f 4 0 118 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##xor-imm f 4 0 86 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
T{ ##load-integer f 3 50 }
T{ ##xor-imm f 4 0 86 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 100 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##shl-imm f 1 0 10 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##shl-imm f 1 0 10 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##sar-imm f 1 0 10 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##sar-imm f 1 0 10 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##shr-imm f 1 0 10 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##shr-imm f 1 0 10 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##shr-imm f 1 0 10 }
! Distributive law
2 \ vreg-counter set-global
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##add-imm f 1 0 10 }
T{ ##add-imm f 2 3 40 }
T{ ##replace f 2 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##add-imm f 1 0 10 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##add-imm f 1 0 10 }
T{ ##add-imm f 2 4 30 }
T{ ##replace f 2 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##add-imm f 1 0 10 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##add-imm f 1 0 -10 }
T{ ##add-imm f 2 5 -40 }
T{ ##replace f 2 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##sub-imm f 1 0 10 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##add-imm f 1 0 -10 }
T{ ##add-imm f 2 6 -30 }
T{ ##replace f 2 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##sub-imm f 1 0 10 }
] unit-test
! Simplification
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 0 }
}
-} [
+] [
V{
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{ ##copy f 1 0 any-rep }
T{ ##replace f 0 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##and-imm f 1 0 -1 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##copy f 1 0 any-rep }
T{ ##replace f 0 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##and f 1 0 0 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##copy f 1 0 any-rep }
T{ ##replace f 0 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##or-imm f 1 0 0 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 -1 }
}
-} [
+] [
V{
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{ ##copy f 1 0 any-rep }
T{ ##replace f 0 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##or f 1 0 0 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##copy f 1 0 any-rep }
T{ ##replace f 0 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##xor-imm f 1 0 0 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##not f 1 0 }
T{ ##replace f 1 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##xor-imm f 1 0 -1 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 1 0 }
}
-} [
+] [
V{
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{ ##copy f 2 0 any-rep }
T{ ##replace f 0 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##mul-imm f 2 0 1 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##copy f 2 0 any-rep }
T{ ##replace f 0 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##shl-imm f 2 0 0 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##copy f 2 0 any-rep }
T{ ##replace f 0 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##shr-imm f 2 0 0 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##copy f 2 0 any-rep }
T{ ##replace f 0 D 0 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##sar-imm f 2 0 0 }
] unit-test
! Constant folding
-{
+[
V{
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{ ##load-integer f 1 1 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 1 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 2 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 2 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 2 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 2 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 1 }
] unit-test
] when
-{
+[
V{
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{ ##load-integer f 1 -8 }
] unless
] when
-{
+[
V{
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{ ##load-integer f 1 1 }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##load-integer f 1 1 }
] unit-test
! ##tagged>integer constant folding
-{
+[
V{
T{ ##load-reference f 1 f }
T{ ##load-integer f 2 $[ \ f type-number ] }
T{ ##copy f 3 2 any-rep }
}
-} [
+] [
V{
T{ ##load-reference f 1 f }
T{ ##tagged>integer f 2 1 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 1 100 }
T{ ##load-integer f 2 $[ 100 tag-fixnum ] }
T{ ##load-integer f 3 $[ 100 tag-fixnum 1 + ] }
}
-} [
+] [
V{
T{ ##load-integer f 1 100 }
T{ ##tagged>integer f 2 1 }
] unit-test
! Alien boxing and unboxing
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##box-alien f 1 0 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##box-alien f 1 0 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 2 0 }
3 vreg-counter set-global
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 2 16 }
T{ ##unbox-any-c-ptr f 4 0 }
T{ ##add-imm f 3 4 16 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 2 16 }
4 vreg-counter set-global
-{
+[
V{
T{ ##peek f 1 D 0 }
T{ ##box-alien f 0 1 }
T{ ##copy f 5 1 any-rep }
T{ ##add-imm f 4 5 16 }
}
-} [
+] [
V{
T{ ##peek f 1 D 0 }
T{ ##box-alien f 0 1 }
3 vreg-counter set-global
-{
+[
V{
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 }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##load-integer f 2 0 }
] unit-test
! Various SIMD simplifications
-{
+[
V{
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{ ##vector>scalar f 1 0 float-4-rep }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##copy f 1 0 any-rep }
}
-} [
+] [
V{
T{ ##shuffle-vector-imm f 1 0 { 0 1 2 3 } float-4-rep }
} value-number-bb
] unit-test
-{
+[
V{
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{ ##shuffle-vector-imm f 1 0 { 1 2 3 0 } float-4-rep }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##shuffle-vector-imm f 1 0 { 1 2 3 0 } float-4-rep }
T{ ##shuffle-vector-imm f 2 1 { 1 0 } double-2-rep }
}
-} [
+] [
V{
T{ ##shuffle-vector-imm f 1 0 { 1 2 3 0 } float-4-rep }
T{ ##shuffle-vector-imm f 2 1 { 1 0 } double-2-rep }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 0 55 }
T{ ##load-reference f 1 B{ 55 0 0 0 55 0 0 0 55 0 0 0 55 0 0 0 } }
T{ ##load-reference f 2 B{ 55 0 0 0 55 0 0 0 55 0 0 0 55 0 0 0 } }
}
-} [
+] [
V{
T{ ##load-integer f 0 55 }
T{ ##scalar>vector f 1 0 int-4-rep }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-reference f 0 1.25 }
T{ ##load-reference f 1 B{ 0 0 160 63 0 0 160 63 0 0 160 63 0 0 160 63 } }
T{ ##load-reference f 2 B{ 0 0 160 63 0 0 160 63 0 0 160 63 0 0 160 63 } }
}
-} [
+] [
V{
T{ ##load-reference f 0 1.25 }
T{ ##scalar>vector f 1 0 float-4-rep }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-reference f 0 1.25 }
T{ ##load-reference f 1 B{ 0 0 160 63 0 0 160 63 0 0 160 63 0 0 160 63 } }
T{ ##load-reference f 2 B{ 0 0 160 63 0 0 160 63 0 0 160 63 0 0 160 63 } }
}
-} [
+] [
V{
T{ ##load-reference f 0 1.25 }
T{ ##scalar>vector f 1 0 float-4-rep }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 0 55 }
T{ ##load-reference f 1 B{ 55 0 55 0 55 0 55 0 55 0 55 0 55 0 55 0 } }
T{ ##load-reference f 2 B{ 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 } }
T{ ##load-reference f 3 B{ 0 55 0 55 0 55 0 55 0 55 0 55 0 55 0 55 } }
}
-} [
+] [
V{
T{ ##load-integer f 0 55 }
T{ ##scalar>vector f 1 0 short-8-rep }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-reference f 0 1.25 }
T{ ##load-reference f 2 3.75 }
T{ ##load-reference f 4 B{ 0 0 0 0 0 0 244 63 0 0 0 0 0 0 14 64 } }
}
-} [
+] [
V{
T{ ##load-reference f 0 1.25 }
T{ ##load-reference f 2 3.75 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 0 125 }
T{ ##load-integer f 2 375 }
T{ ##load-reference f 4 B{ 125 0 0 0 0 0 0 0 119 1 0 0 0 0 0 0 } }
}
-} [
+] [
V{
T{ ##load-integer f 0 125 }
T{ ##load-integer f 2 375 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-reference f 0 1.25 }
T{ ##load-reference f 1 2.50 }
T{ ##load-reference f 3 5.00 }
T{ ##load-reference f 4 B{ 0 0 160 63 0 0 32 64 0 0 112 64 0 0 160 64 } }
}
-} [
+] [
V{
T{ ##load-reference f 0 1.25 }
T{ ##load-reference f 1 2.50 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##load-integer f 0 125 }
T{ ##load-integer f 1 250 }
T{ ##load-integer f 3 500 }
T{ ##load-reference f 4 B{ 125 0 0 0 250 0 0 0 119 1 0 0 244 1 0 0 } }
}
-} [
+] [
V{
T{ ##load-integer f 0 125 }
T{ ##load-integer f 1 250 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##zero-vector f 2 float-4-rep }
}
-} [
+] [
V{
T{ ##xor-vector f 2 1 1 float-4-rep }
} value-number-bb
! NOT x AND y => x ANDN y
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
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 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
! x AND NOT y => y ANDN x
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
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 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
! NOT x ANDN y => x AND y
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
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 }
} value-number-bb
] unit-test
-{
+[
V{
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 }
! AND <=> ANDN
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
T{ ##and-vector f 6 0 2 float-4-rep }
T{ ##or-vector f 7 5 6 float-4-rep }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
T{ ##and-vector f 6 0 2 float-4-rep }
T{ ##or-vector f 7 5 6 float-4-rep }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
value-numbering
0 get [ instructions>> ] [ successors>> first number>> 1 - ] bi ;
-{
+[
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
T{ ##branch }
}
1
-} [
+] [
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
} test-branch-folding
] unit-test
-{
+[
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
T{ ##branch }
}
0
-} [
+] [
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
} test-branch-folding
] unit-test
-{
+[
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
T{ ##branch }
}
0
-} [
+] [
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
} test-branch-folding
] unit-test
-{
+[
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
T{ ##branch }
}
1
-} [
+] [
V{
T{ ##load-integer f 1 1 }
T{ ##load-integer f 2 2 }
} test-branch-folding
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##branch }
}
1
-} [
+] [
V{
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{ ##branch }
}
0
-} [
+] [
V{
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{ ##branch }
}
1
-} [
+] [
V{
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{ ##branch }
}
0
-} [
+] [
V{
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{ ##branch }
}
0
-} [
+] [
V{
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{ ##branch }
}
1
-} [
+] [
V{
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{ ##load-reference f 1 t }
T{ ##branch }
}
0
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##compare f 1 0 0 cc<= }
test-diamond
-{ } [
+[ ] [
0 get block>cfg {
[ cfg set ]
[ value-numbering ]
} cleave
] unit-test
-{ 1 } [ 1 get successors>> length ] unit-test
+[ 1 ] [ 1 get successors>> length ] unit-test
-{ t } [ 1 get successors>> first 3 get eq? ] unit-test
+[ t ] [ 1 get successors>> first 3 get eq? ] unit-test
-{ 2 } [ 4 get instructions>> length ] unit-test
+[ 2 ] [ 4 get instructions>> length ] unit-test
V{
T{ ##peek f 0 D 0 }
test-diamond
-{ } [ 0 get block>cfg value-numbering ] unit-test
+[ ] [ 0 get block>cfg value-numbering ] unit-test
-{ t } [ 1 get successors>> first 3 get eq? ] unit-test
+[ t ] [ 1 get successors>> first 3 get eq? ] unit-test
-{ t } [ 3 get instructions>> first ##copy? ] unit-test
+[ t ] [ 3 get instructions>> first ##copy? ] unit-test
V{ T{ ##prologue } T{ ##branch } } 0 test-bb
2 3 edge
4 5 edge
-{ } [
+[ ] [
0 get block>cfg
dup value-numbering eliminate-dead-code
] unit-test
-{ f } [ 1 get instructions>> [ ##peek? ] any? ] unit-test
+[ f ] [ 1 get instructions>> [ ##peek? ] any? ] unit-test
! Slot addressing optimization
cpu x86? [
! Alien addressing optimization
! Base offset fusion on ##load/store-memory-imm
-{
+[
V{
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{ ##tagged>integer f 2 1 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
T{ ##add-imm f 4 3 10 }
T{ ##store-memory-imm f 2 3 10 int-rep c:uchar }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
] unit-test
! Displacement fusion on ##load/store-memory-imm
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
T{ ##add f 4 2 3 }
T{ ##load-memory f 5 2 3 0 0 int-rep c:uchar }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
} value-number-bb
] unit-test
-{
+[
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
T{ ##add f 4 2 3 }
T{ ##store-memory f 5 2 3 0 0 int-rep c:uchar }
}
-} [
+] [
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
T{ ##add-imm f 4 2 31337 }
T{ ##load-memory f 5 4 3 0 0 int-rep c:uchar }
}
-] }
+] ?
[
V{
T{ ##peek f 0 D 0 }
T{ ##add-imm f 4 3 31337 }
T{ ##load-memory f 5 2 4 0 1 int-rep c:uchar }
}
-] }
+] ?
[
V{
T{ ##peek f 0 D 0 }
! Displacement offset fusion should not occur on
! ##load/store-memory with non-zero scale
-{ } [
+[ ] [
V{
T{ ##peek f 0 D 0 }
T{ ##peek f 1 D 1 }
T{ ##shl-imm f 4 3 2 }
T{ ##load-memory f 5 2 4 0 0 int-rep c:uchar }
}
-] }
+] ?
[
V{
T{ ##peek f 0 D 0 }
test-diamond
-{ } [ 0 get block>cfg value-numbering ] unit-test
+[ ] [ 0 get block>cfg value-numbering ] unit-test
! First ##load-integer cannot be turned into a ##copy because
! the canonical leader for the value 100 is unavailable, but
! the rest should still be redundant.
-{ t } [ 4 get instructions>> first ##load-integer? ] unit-test
-{ 1 } [ 4 get instructions>> [ ##load-integer? ] count ] unit-test
+[ t ] [ 4 get instructions>> first ##load-integer? ] unit-test
+[ 1 ] [ 4 get instructions>> [ ##load-integer? ] count ] unit-test
! Global optimization
V{ T{ ##prologue } T{ ##branch } } 0 test-bb
3 2 edge
4 5 edge
-{ } [ 0 get block>cfg dup value-numbering eliminate-dead-code ] unit-test
+[ ] [ 0 get block>cfg dup value-numbering eliminate-dead-code ] unit-test
-{ 1 } [ 1 get instructions>> [ ##load-integer? ] count ] unit-test
-{ 1 } [ 2 get instructions>> [ ##phi? ] count ] unit-test
-{ t } [ 2 get instructions>> last ##compare-integer-imm-branch? ] unit-test
-{ f } [ 3 get instructions>> [ ##load-integer? ] any? ] unit-test
-{ 1 } [ 3 get instructions>> [ ##add-imm? ] count ] unit-test
+[ 1 ] [ 1 get instructions>> [ ##load-integer? ] count ] unit-test
+[ 1 ] [ 2 get instructions>> [ ##phi? ] count ] unit-test
+[ t ] [ 2 get instructions>> last ##compare-integer-imm-branch? ] unit-test
+[ f ] [ 3 get instructions>> [ ##load-integer? ] any? ] unit-test
+[ 1 ] [ 3 get instructions>> [ ##add-imm? ] count ] unit-test
projects / factor.git / blobdiff