commit 4559f000b323b64e4bd179b72cfb788b30b25b23
author Mingyao Yang <mingyao@google.com> Fri Feb 27 14:43:53 2015 -0800
committer Mingyao Yang <mingyao@google.com> Mon Mar 02 15:45:08 2015 -0800
tree 00728f44d761f8663bbadc51d6d6eb67c42465ff
parent 1d8587fe1d98909b4949282f14c0334085fdc964

bce: handle a pattern for circular buffer

Change-Id: Ie54bdd7c044af58deea0d0addaaa8186cabf3532

test/449-checker-bce/src/Main.java

diff --git a/test/449-checker-bce/src/Main.java b/test/449-checker-bce/src/Main.java
index ad4092b..ebd5b0e 100644
--- a/test/449-checker-bce/src/Main.java
+++ b/test/449-checker-bce/src/Main.java
@@ -314,6 +314,29 @@
     array[10] = 1; // Bounds check can't be eliminated.
   }
 
+
+  static byte readData() {
+    return 1;
+  }
+
+  // CHECK-START: void Main.circularBufferProducer() BCE (before)
+  // CHECK: BoundsCheck
+  // CHECK: ArraySet
+
+  // CHECK-START: void Main.circularBufferProducer() BCE (after)
+  // CHECK-NOT: BoundsCheck
+  // CHECK: ArraySet
+
+  static void circularBufferProducer() {
+    byte[] array = new byte[4096];
+    int i = 0;
+    while (true) {
+      array[i & (array.length - 1)] = readData();
+      i++;
+    }
+  }
+
+
   // CHECK-START: void Main.pyramid1(int[]) BCE (before)
   // CHECK: BoundsCheck
   // CHECK: ArraySet