content: /*
   * Copyright (C) 2015 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.
   */
  
  /**
   * Regression test on duplicate removal of same bounds check.
   */
  public class Main {
  
    /// CHECK-START: void Main.doit1(int[]) BCE (before)
    /// CHECK-DAG: BoundsCheck
    /// CHECK-DAG: BoundsCheck
    /// CHECK-DAG: BoundsCheck
    /// CHECK-DAG: BoundsCheck
    //
    /// CHECK-START: void Main.doit1(int[]) BCE (after)
    /// CHECK-DAG: BoundsCheck
    /// CHECK-DAG: BoundsCheck
    /// CHECK-DAG: BoundsCheck
    /// CHECK-DAG: BoundsCheck
    //
    /// CHECK-START: void Main.doit1(int[]) BCE (after)
    /// CHECK-NOT: Deoptimize
    public static void doit1(int[] a) {
      a[a.length-3] = 1;
      a[a.length-2] = 2;
      a[a.length-1] = 3;
      // This introduces a problematic BoundsCheck(x,x) node
      // (1) certain OOB, so should be rejected
      // (2) exposed bug in removing same BC twice if (1) would not be done.
      a[a.length-0] = 4;
    }
  
    /// CHECK-START: void Main.doit2(int[]) BCE (before)
    /// CHECK-DAG: BoundsCheck
    /// CHECK-DAG: BoundsCheck
    /// CHECK-DAG: BoundsCheck
    /// CHECK-DAG: BoundsCheck
    //
    /// CHECK-START: void Main.doit2(int[]) BCE (after)
    /// CHECK-DAG: Deoptimize
    /// CHECK-DAG: Deoptimize
    //
    /// CHECK-START: void Main.doit2(int[]) BCE (after)
    /// CHECK-NOT: BoundsCheck
    public static void doit2(int[] a) {
      a[a.length-4] = -101;
      a[a.length-3] = -102;
      a[a.length-2] = -103;
      a[a.length-1] = -104;
    }
  
    public static void main(String[] args) {
      int[] a = new int[4];
  
      int fail = 0;
      try {
        doit1(a);
      } catch (ArrayIndexOutOfBoundsException e) {
        fail++;
      }
      expectEquals(1, fail);
      expectEquals(0, a[0]);
      expectEquals(1, a[1]);
      expectEquals(2, a[2]);
      expectEquals(3, a[3]);
  
      try {
        doit2(a);
      } catch (ArrayIndexOutOfBoundsException e) {
        fail++;
      }
      expectEquals(1, fail);
      expectEquals(-101, a[0]);
      expectEquals(-102, a[1]);
      expectEquals(-103, a[2]);
      expectEquals(-104, a[3]);
  
      System.out.println("passed");
    }
  
    private static void expectEquals(int expected, int result) {
      if (expected != result) {
        throw new Error("Expected: " + expected + ", found: " + result);
      }
    }
  }
  