From 57e04754d5b7fb3cc99d6b9f70da73cf4c65b416 Mon Sep 17 00:00:00 2001 From: Mingyao Yang Date: Mon, 9 Feb 2015 18:13:26 -0800 Subject: bce: add support to narrow two MonotonicValueRange's at the same time. Change-Id: I545da4f375619ce47e01bb5aa5c8b1a4a9d1df41 --- test/449-checker-bce/src/Main.java | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) (limited to 'test/449-checker-bce') 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; -- cgit v1.2.3