diff options
| author | Mingyao Yang <mingyao@google.com> | 2015-03-03 19:53:14 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2015-03-03 19:53:15 +0000 |
| commit | ea84bf7246f47693594eb5acc9a25c438289bd9f (patch) | |
| tree | a879181a02d71f666df68576dacc456390625d9a /test/449-checker-bce | |
| parent | dc47e986941b1a3754447fabea272485f3f0f382 (diff) | |
| parent | 57e04754d5b7fb3cc99d6b9f70da73cf4c65b416 (diff) | |
| download | art-ea84bf7246f47693594eb5acc9a25c438289bd9f.tar.gz art-ea84bf7246f47693594eb5acc9a25c438289bd9f.tar.bz2 art-ea84bf7246f47693594eb5acc9a25c438289bd9f.zip | |
Merge "bce: add support to narrow two MonotonicValueRange's at the same time."
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 ebd5b0e6a3..30aa870acb 100644 --- a/test/449-checker-bce/src/Main.java +++ b/test/449-checker-bce/src/Main.java @@ -400,7 +400,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; |