diff options
Diffstat (limited to 'test/474-checker-boolean-input/src/Main.java')
| -rw-r--r-- | test/474-checker-boolean-input/src/Main.java | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/474-checker-boolean-input/src/Main.java b/test/474-checker-boolean-input/src/Main.java index a2b219dd6d..fbc28d8d52 100644 --- a/test/474-checker-boolean-input/src/Main.java +++ b/test/474-checker-boolean-input/src/Main.java @@ -27,9 +27,9 @@ public class Main { * we implement a suitable type analysis. */ - /// CHECK-START: boolean Main.TestPhiAsBoolean(int) boolean_simplifier (after) + /// CHECK-START: boolean Main.TestPhiAsBoolean(int) select_generator (after) /// CHECK-DAG: <<Phi:i\d+>> Phi - /// CHECK-DAG: BooleanNot [<<Phi>>] + /// CHECK-DAG: Select [{{i\d+}},{{i\d+}},<<Phi>>] public static boolean f1; public static boolean f2; @@ -47,9 +47,9 @@ public class Main { * we implement a suitable type analysis. */ - /// CHECK-START: boolean Main.TestAndAsBoolean(boolean, boolean) boolean_simplifier (after) + /// CHECK-START: boolean Main.TestAndAsBoolean(boolean, boolean) select_generator (after) /// CHECK-DAG: <<And:i\d+>> And - /// CHECK-DAG: BooleanNot [<<And>>] + /// CHECK-DAG: Select [{{i\d+}},{{i\d+}},<<And>>] public static boolean InlineAnd(boolean x, boolean y) { return x & y; @@ -64,9 +64,9 @@ public class Main { * we implement a suitable type analysis. */ - /// CHECK-START: boolean Main.TestOrAsBoolean(boolean, boolean) boolean_simplifier (after) + /// CHECK-START: boolean Main.TestOrAsBoolean(boolean, boolean) select_generator (after) /// CHECK-DAG: <<Or:i\d+>> Or - /// CHECK-DAG: BooleanNot [<<Or>>] + /// CHECK-DAG: Select [{{i\d+}},{{i\d+}},<<Or>>] public static boolean InlineOr(boolean x, boolean y) { return x | y; @@ -81,9 +81,9 @@ public class Main { * we implement a suitable type analysis. */ - /// CHECK-START: boolean Main.TestXorAsBoolean(boolean, boolean) boolean_simplifier (after) + /// CHECK-START: boolean Main.TestXorAsBoolean(boolean, boolean) select_generator (after) /// CHECK-DAG: <<Xor:i\d+>> Xor - /// CHECK-DAG: BooleanNot [<<Xor>>] + /// CHECK-DAG: Select [{{i\d+}},{{i\d+}},<<Xor>>] public static boolean InlineXor(boolean x, boolean y) { return x ^ y; |