compiler.cfg.builder: add test to ensure that fast union predicates do not contain a conditional

2011-10-29 17:10:51 -07:00 · 2011-10-29 17:10:51 -07:00 · 70056d756b
parent 5a46b45312
commit 70056d756b
1 changed files with 6 additions and 0 deletions
--- a/basis/compiler/cfg/builder/builder-tests.factor
+++ b/basis/compiler/cfg/builder/builder-tests.factor
@ -224,3 +224,9 @@ IN: compiler.cfg.builder.tests

 ! Regression. Make sure branch splitting works.
 [ 2 ] [ [ 1 2 ? ] [ ##return? ] count-insns ] unit-test
+
+! Make sure fast union predicates don't have conditionals.
+[ f ] [
+    [ tag 1 swap fixnum-shift-fast ]
+    [ ##compare-integer-imm-branch? ] contains-insn?
+] unit-test