diff options
| author | Mingyao Yang <mingyao@google.com> | 2015-02-09 18:13:26 -0800 |
|---|---|---|
| committer | Mingyao Yang <mingyao@google.com> | 2015-02-24 13:54:54 -0800 |
| commit | 57e04754d5b7fb3cc99d6b9f70da73cf4c65b416 (patch) | |
| tree | 9bde4949495c4cb2f29e491327801016ff135c76 /test/449-checker-bce | |
| parent | 354d58ba776866ea7b1c71f0d0848d5aaa013ae3 (diff) | |
| download | art-57e04754d5b7fb3cc99d6b9f70da73cf4c65b416.tar.gz art-57e04754d5b7fb3cc99d6b9f70da73cf4c65b416.tar.bz2 art-57e04754d5b7fb3cc99d6b9f70da73cf4c65b416.zip | |
bce: add support to narrow two MonotonicValueRange's at the same time.
Change-Id: I545da4f375619ce47e01bb5aa5c8b1a4a9d1df41
Diffstat (limited to 'test/449-checker-bce')
| -rw-r--r-- | test/449-checker-bce/src/Main.java | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/test/449-checker-bce/src/Main.java b/test/449-checker-bce/src/Main.java index ad4092b5a3..9391533411 100644 --- a/test/449-checker-bce/src/Main.java +++ b/test/449-checker-bce/src/Main.java @@ -377,7 +377,18 @@ public class Main { } - // TODO: bce on the array accesses in this method. + // CHECK-START: boolean Main.isPyramid(int[]) BCE (before) + // CHECK: BoundsCheck + // CHECK: ArrayGet + // CHECK: BoundsCheck + // CHECK: ArrayGet + + // CHECK-START: boolean Main.isPyramid(int[]) BCE (after) + // CHECK-NOT: BoundsCheck + // CHECK: ArrayGet + // CHECK-NOT: BoundsCheck + // CHECK: ArrayGet + static boolean isPyramid(int[] array) { int i = 0; int j = array.length - 1; |