diff options
| author | 2015-05-18 09:19:23 +0000 | |
|---|---|---|
| committer | 2015-05-18 09:19:24 +0000 | |
| commit | c88b09fc1d67413e814a10d20752e46aa28bc0e4 (patch) | |
| tree | dff8b80c6c1566e6d1852ea66e92d6af8f637e76 /test/474-checker-boolean-input/src/Main.java | |
| parent | aae4334a3f5215edbfe90ab00f8e1e9ade542007 (diff) | |
| parent | c57397b2b87c7e6f28f4eee3c996d091e7dc0b01 (diff) | |
Merge "ART: Print C1vis lists as [v1,...,vN]"
Diffstat (limited to 'test/474-checker-boolean-input/src/Main.java')
| -rw-r--r-- | test/474-checker-boolean-input/src/Main.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/474-checker-boolean-input/src/Main.java b/test/474-checker-boolean-input/src/Main.java index a395ff915a..490f7f9cbc 100644 --- a/test/474-checker-boolean-input/src/Main.java +++ b/test/474-checker-boolean-input/src/Main.java @@ -29,7 +29,7 @@ public class Main { // CHECK-START: boolean Main.TestPhiAsBoolean(int) boolean_simplifier (after) // CHECK-DAG: <<Phi:i\d+>> Phi - // CHECK-DAG: BooleanNot [ <<Phi>> ] + // CHECK-DAG: BooleanNot [<<Phi>>] public static boolean f1; public static boolean f2; @@ -49,7 +49,7 @@ public class Main { // CHECK-START: boolean Main.TestAndAsBoolean(boolean, boolean) boolean_simplifier (after) // CHECK-DAG: <<And:i\d+>> And - // CHECK-DAG: BooleanNot [ <<And>> ] + // CHECK-DAG: BooleanNot [<<And>>] public static boolean InlineAnd(boolean x, boolean y) { return x & y; @@ -66,7 +66,7 @@ public class Main { // CHECK-START: boolean Main.TestOrAsBoolean(boolean, boolean) boolean_simplifier (after) // CHECK-DAG: <<Or:i\d+>> Or - // CHECK-DAG: BooleanNot [ <<Or>> ] + // CHECK-DAG: BooleanNot [<<Or>>] public static boolean InlineOr(boolean x, boolean y) { return x | y; @@ -83,7 +83,7 @@ public class Main { // CHECK-START: boolean Main.TestXorAsBoolean(boolean, boolean) boolean_simplifier (after) // CHECK-DAG: <<Xor:i\d+>> Xor - // CHECK-DAG: BooleanNot [ <<Xor>> ] + // CHECK-DAG: BooleanNot [<<Xor>>] public static boolean InlineXor(boolean x, boolean y) { return x ^ y; |