/*
 * 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);
    }
  }
}