summaryrefslogtreecommitdiff
path: root/test/2244-checker-remove-try-boundary/src/Main.java
diff options
context:
space:
mode:
Diffstat (limited to 'test/2244-checker-remove-try-boundary/src/Main.java')
-rw-r--r--test/2244-checker-remove-try-boundary/src/Main.java283
1 files changed, 283 insertions, 0 deletions
diff --git a/test/2244-checker-remove-try-boundary/src/Main.java b/test/2244-checker-remove-try-boundary/src/Main.java
new file mode 100644
index 0000000000..efc8ca75f8
--- /dev/null
+++ b/test/2244-checker-remove-try-boundary/src/Main.java
@@ -0,0 +1,283 @@
+/*
+ * Copyright (C) 2022 The Android Open Source Project
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+public class Main {
+ public static void main(String[] args) throws Exception {
+ assertEquals(2, $noinline$testDivideOverTen(20));
+ assertEquals(-2, $noinline$testDivideOverTen(-20));
+ assertEquals(0, $noinline$testSimpleDivisionInLoop(0));
+ assertEquals(1, $noinline$testSimpleDivisionInLoop(81));
+ assertEquals(10, $noinline$testOptimizeSeparateBranches(60, true));
+ assertEquals(10, $noinline$testOptimizeSeparateBranches(80, false));
+ assertEquals(1, $noinline$testDoNotOptimizeOneBranchThrows(81, false));
+ assertEquals(-1000, $noinline$testDoNotOptimizeOneBranchThrows(81, true));
+ assertEquals(1, $noinline$testOptimizeAfterOneBranchDisappears(81, false));
+ assertEquals(10, $noinline$testRemoveTryBoundaryNested(60));
+ assertEquals(-2000, $noinline$testRemoveTryBoundaryNestedButNotCatch(60, true));
+ assertEquals(30, $noinline$testRemoveTryBoundaryNestedButNotCatch(60, false));
+ }
+
+ public static void assertEquals(int expected, int result) {
+ if (expected != result) {
+ throw new Error("Expected: " + expected + ", found: " + result);
+ }
+ }
+
+ // Check that this version cannot remove the TryBoundary instructions since we may throw.
+
+ /// CHECK-START: int Main.$inline$division(int, int) register (after)
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$inline$division(int, int) register (after)
+ /// CHECK: flags "catch_block"
+ private static int $inline$division(int a, int b) {
+ try {
+ return a / b;
+ } catch (Error unexpected) {
+ return -1000;
+ }
+ }
+
+ // Check that we can remove the TryBoundary afer inlining since we know we can't throw.
+
+ /// CHECK-START: int Main.$noinline$testDivideOverTen(int) inliner (after)
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testDivideOverTen(int) inliner (after)
+ /// CHECK-NOT: flags "catch_block"
+ private static int $noinline$testDivideOverTen(int a) {
+ return $inline$division(a, 10);
+ }
+
+ /// CHECK-START: int Main.$noinline$testSimpleDivisionInLoop(int) dead_code_elimination$initial (before)
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testSimpleDivisionInLoop(int) dead_code_elimination$initial (before)
+ /// CHECK: flags "catch_block"
+
+ /// CHECK-START: int Main.$noinline$testSimpleDivisionInLoop(int) dead_code_elimination$initial (after)
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testSimpleDivisionInLoop(int) dead_code_elimination$initial (after)
+ /// CHECK-NOT: flags "catch_block"
+ private static int $noinline$testSimpleDivisionInLoop(int a) {
+ try {
+ for (int i = 0; i < 4; i++) {
+ a /= 3;
+ }
+ } catch (Error unexpected) {
+ return -1000;
+ }
+ return a;
+ }
+
+ // Even though the `TryBoundary`s are split, we can remove them as nothing in the try can throw.
+
+ /// CHECK-START: int Main.$noinline$testOptimizeSeparateBranches(int, boolean) dead_code_elimination$initial (before)
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testOptimizeSeparateBranches(int, boolean) dead_code_elimination$initial (before)
+ /// CHECK: flags "catch_block"
+ /// CHECK-NOT: flags "catch_block"
+
+ /// CHECK-START: int Main.$noinline$testOptimizeSeparateBranches(int, boolean) dead_code_elimination$initial (after)
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testOptimizeSeparateBranches(int, boolean) dead_code_elimination$initial (after)
+ /// CHECK-NOT: flags "catch_block"
+ private static int $noinline$testOptimizeSeparateBranches(int a, boolean val) {
+ try {
+ if (val) {
+ // TryBoundary kind:entry
+ a /= 3;
+ } else {
+ // TryBoundary kind:entry
+ a /= 4;
+ }
+ a /= 2;
+ // TryBoundary kind:exit
+ } catch (Error unexpected) {
+ return -1000;
+ }
+ return a;
+ }
+
+ // Even though the `a /= 3;` can't throw, we don't eliminate any `TryBoundary` instructions. This
+ // is because we have the `throw new Error();` in the try as well. We could potentially support
+ // removing some `TryBoundary` instructions and not all in the try, but this would complicate the
+ // code and wouldn't bring code size reductions since we would be unable to remove the catch
+ // block.
+
+ /// CHECK-START: int Main.$noinline$testDoNotOptimizeOneBranchThrows(int, boolean) register (after)
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testDoNotOptimizeOneBranchThrows(int, boolean) register (after)
+ /// CHECK: flags "catch_block"
+ public static int $noinline$testDoNotOptimizeOneBranchThrows(int a, boolean val) {
+ try {
+ for (int i = 0; i < 4; i++) {
+ // TryBoundary kind:entry
+ a /= 3;
+ // TryBoundary kind:exit
+ }
+
+ if (val) {
+ // TryBoundary kind:entry
+ throw new Error();
+ // TryBoundary kind:exit
+ }
+ } catch (Error e) {
+ return -1000;
+ }
+ return a;
+ }
+
+ // The throw gets eliminated by `SimplifyIfs` in DCE, so we can detect that nothing can throw in
+ // the graph and eliminate the `TryBoundary` instructions.
+
+ /// CHECK-START: int Main.$noinline$testOptimizeAfterOneBranchDisappears(int, boolean) dead_code_elimination$initial (before)
+ /// CHECK: Throw
+
+ /// CHECK-START: int Main.$noinline$testOptimizeAfterOneBranchDisappears(int, boolean) dead_code_elimination$initial (before)
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testOptimizeAfterOneBranchDisappears(int, boolean) dead_code_elimination$initial (before)
+ /// CHECK: flags "catch_block"
+ /// CHECK-NOT: flags "catch_block"
+
+ /// CHECK-START: int Main.$noinline$testOptimizeAfterOneBranchDisappears(int, boolean) dead_code_elimination$initial (after)
+ /// CHECK-NOT: Throw
+
+ /// CHECK-START: int Main.$noinline$testOptimizeAfterOneBranchDisappears(int, boolean) dead_code_elimination$initial (after)
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testOptimizeAfterOneBranchDisappears(int, boolean) dead_code_elimination$initial (after)
+ /// CHECK-NOT: flags "catch_block"
+ public static int $noinline$testOptimizeAfterOneBranchDisappears(int a, boolean val) {
+ try {
+ for (int i = 0; i < 4; i++) {
+ // TryBoundary kind:entry
+ a /= 3;
+ // TryBoundary kind:exit
+ }
+
+ if (val && !val) {
+ // TryBoundary kind:entry
+ throw new Error();
+ // TryBoundary kind:exit
+ }
+ } catch (Error e) {
+ return -1000;
+ }
+ return a;
+ }
+
+ /// CHECK-START: int Main.$noinline$testRemoveTryBoundaryNested(int) dead_code_elimination$initial (before)
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testRemoveTryBoundaryNested(int) dead_code_elimination$initial (before)
+ /// CHECK: flags "catch_block"
+ /// CHECK: flags "catch_block"
+ /// CHECK-NOT: flags "catch_block"
+
+ /// CHECK-START: int Main.$noinline$testRemoveTryBoundaryNested(int) dead_code_elimination$initial (after)
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testRemoveTryBoundaryNested(int) dead_code_elimination$initial (after)
+ /// CHECK-NOT: flags "catch_block"
+ public static int $noinline$testRemoveTryBoundaryNested(int a) {
+ try {
+ // TryBoundary kind:entry
+ a /= 2;
+ // TryBoundary kind:exit
+ try {
+ // TryBoundary kind:entry
+ a /= 3;
+ // TryBoundary kind:exit
+ } catch (Error e) {
+ return -2000;
+ }
+ } catch (Exception e) {
+ return -1000;
+ }
+ return a;
+ }
+
+ // We can remove the `TryBoundary` instructions surrounding `a /= 2;` but since the inner try can
+ // throw, we must keep both the inner and outer catches as they are catch handlers of the inner
+ // try.
+
+ /// CHECK-START: int Main.$noinline$testRemoveTryBoundaryNestedButNotCatch(int, boolean) dead_code_elimination$initial (before)
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testRemoveTryBoundaryNestedButNotCatch(int, boolean) dead_code_elimination$initial (before)
+ /// CHECK: flags "catch_block"
+ /// CHECK: flags "catch_block"
+ /// CHECK-NOT: flags "catch_block"
+
+ /// CHECK-START: int Main.$noinline$testRemoveTryBoundaryNestedButNotCatch(int, boolean) dead_code_elimination$initial (after)
+ /// CHECK: TryBoundary
+ /// CHECK: TryBoundary
+ /// CHECK-NOT: TryBoundary
+
+ /// CHECK-START: int Main.$noinline$testRemoveTryBoundaryNestedButNotCatch(int, boolean) dead_code_elimination$initial (after)
+ /// CHECK: flags "catch_block"
+ /// CHECK: flags "catch_block"
+ /// CHECK-NOT: flags "catch_block"
+ public static int $noinline$testRemoveTryBoundaryNestedButNotCatch(int a, boolean val) {
+ try {
+ // TryBoundary kind:entry
+ a /= 2;
+ // TryBoundary kind:exit
+ try {
+ if (val) {
+ // TryBoundary kind:entry
+ throw new Error();
+ // TryBoundary kind:exit
+ }
+ // TryBoundary kind:exit
+ } catch (Error e) {
+ return -2000;
+ }
+ } catch (Exception e) {
+ return -1000;
+ }
+ return a;
+ }
+}
generated by cgit v1.2.3-59-g8ed1b (git 2.39.0) at 2025-10-19 21:28:54 +0000