From 41c5e41619e27e6f58446d065b5dcddefeb00f8b Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sat, 29 Oct 2011 17:10:51 -0700 Subject: [PATCH] compiler.cfg.builder: add test to ensure that fast union predicates do not contain a conditional --- basis/compiler/cfg/builder/builder-tests.factor | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/basis/compiler/cfg/builder/builder-tests.factor b/basis/compiler/cfg/builder/builder-tests.factor index 9677dc30ca..73d1204c37 100644 --- 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