diff options
| author | 2025-01-24 18:02:00 -0800 | |
|---|---|---|
| committer | 2025-01-24 18:02:00 -0800 | |
| commit | b0e55cccb49d459cbf63d8add1b60aa18fba52a2 (patch) | |
| tree | f2db9d456ce877a4cf9a2ffdfc3844ff29e8846c /test/474-checker-boolean-input/src/Main.java | |
| parent | 35f3a8a1c34cb233fee43885cf4626dfb45f6bbe (diff) | |
| parent | f3c480ffeb31af6c99858b5608ed610018062dae (diff) | |
Snap for 12969164 from f3c480ffeb31af6c99858b5608ed610018062dae to 25Q2-release
Change-Id: I2c4aabe02793d21090d9f1c9e3a04f3dd1933364
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 fbffa70473..6799f677bb 100644 --- a/test/474-checker-boolean-input/src/Main.java +++ b/test/474-checker-boolean-input/src/Main.java @@ -27,7 +27,7 @@ public class Main { * we implement a suitable type analysis. */ - /// CHECK-START: boolean Main.TestPhiAsBoolean(int) code_flow_simplifier (after) + /// CHECK-START: boolean Main.TestPhiAsBoolean(int) control_flow_simplifier (after) /// CHECK-DAG: <<Phi:i\d+>> Phi /// CHECK-DAG: Select [{{i\d+}},{{i\d+}},<<Phi>>] @@ -47,7 +47,7 @@ public class Main { * we implement a suitable type analysis. */ - /// CHECK-START: boolean Main.TestAndAsBoolean(boolean, boolean) code_flow_simplifier (after) + /// CHECK-START: boolean Main.TestAndAsBoolean(boolean, boolean) control_flow_simplifier (after) /// CHECK-DAG: <<And:i\d+>> And /// CHECK-DAG: Select [{{i\d+}},{{i\d+}},<<And>>] @@ -64,7 +64,7 @@ public class Main { * we implement a suitable type analysis. */ - /// CHECK-START: boolean Main.TestOrAsBoolean(boolean, boolean) code_flow_simplifier (after) + /// CHECK-START: boolean Main.TestOrAsBoolean(boolean, boolean) control_flow_simplifier (after) /// CHECK-DAG: <<Or:i\d+>> Or /// CHECK-DAG: Select [{{i\d+}},{{i\d+}},<<Or>>] @@ -81,7 +81,7 @@ public class Main { * we implement a suitable type analysis. */ - /// CHECK-START: boolean Main.TestXorAsBoolean(boolean, boolean) code_flow_simplifier (after) + /// CHECK-START: boolean Main.TestXorAsBoolean(boolean, boolean) control_flow_simplifier (after) /// CHECK-DAG: <<Xor:i\d+>> Xor /// CHECK-DAG: Select [{{i\d+}},{{i\d+}},<<Xor>>] |