/*

 * Copyright (c) 2013, 2016, Oracle and/or its affiliates. All rights reserved.

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 */

/**

 * @test

 * @bug 8004867

 * @summary VM crashing with assert "share/vm/opto/node.hpp:357 - assert(i < _max) failed: oob"

 * @modules java.base/jdk.internal.misc

 *

 * @run main/othervm/timeout=300 -Xbatch -XX:+IgnoreUnrecognizedVMOptions -XX:-TieredCompilation

 *    -XX:-OptimizeFill

 *    compiler.c2.cr8004867.TestIntUnsafeCAS

 * @run main/othervm/timeout=300 -Xbatch -XX:+IgnoreUnrecognizedVMOptions -XX:-TieredCompilation

 *    -XX:+OptimizeFill

 *    compiler.c2.cr8004867.TestIntUnsafeCAS

 */

package compiler.c2.cr8004867;

import jdk.internal.misc.Unsafe;

import java.lang.reflect.Field;

public class TestIntUnsafeCAS {

  private static final int ARRLEN = 97;

  private static final int ITERS  = 11000;

  private static final int OFFSET = 3;

  private static final int SCALE = 2;

  private static final int ALIGN_OFF = 8;

  private static final int UNALIGN_OFF = 5;

  private static final Unsafe unsafe = Unsafe.getUnsafe();

  private static final int BASE;

  static {

    try {

      BASE = unsafe.arrayBaseOffset(int[].class);

    } catch (Exception e) {

      InternalError err = new InternalError();

      err.initCause(e);

      throw err;

    }

  }

  public static void main(String args[]) {

    System.out.println("Testing Integer array unsafe CAS operations");

    int errn = test(false);

    if (errn > 0) {

      System.err.println("FAILED: " + errn + " errors");

      System.exit(97);

    }

    System.out.println("PASSED");

  }

  static int test(boolean test_only) {

    int[] a1 = new int[ARRLEN];

    int[] a2 = new int[ARRLEN];

    // Initialize

    for (int i=0; i<ARRLEN; i++) {

      a1[i] = -1;

      a2[i] = -1;

    }

    System.out.println("Warmup");

    for (int i=0; i<ITERS; i++) {

      test_ci(a1);

      test_vi(a2, 123, -1);

      test_cp(a1, a2);

      test_2ci(a1, a2);

      test_2vi(a1, a2, 123, 103);

      test_ci_neg(a1, 123);

      test_vi_neg(a2, 123, 103);

      test_cp_neg(a1, a2);

      test_2ci_neg(a1, a2);

      test_2vi_neg(a1, a2, 123, 103);

      test_ci_oppos(a1, 123);

      test_vi_oppos(a2, 123, 103);

      test_cp_oppos(a1, a2);

      test_2ci_oppos(a1, a2);

      test_2vi_oppos(a1, a2, 123, 103);

      test_ci_off(a1, 123);

      test_vi_off(a2, 123, 103);

      test_cp_off(a1, a2);

      test_2ci_off(a1, a2);

      test_2vi_off(a1, a2, 123, 103);

      test_ci_inv(a1, OFFSET, 123);

      test_vi_inv(a2, 123, OFFSET, 103);

      test_cp_inv(a1, a2, OFFSET);

      test_2ci_inv(a1, a2, OFFSET);

      test_2vi_inv(a1, a2, 123, 103, OFFSET);

      test_ci_scl(a1, 123);

      test_vi_scl(a2, 123, 103);

      test_cp_scl(a1, a2);

      test_2ci_scl(a1, a2);

      test_2vi_scl(a1, a2, 123, 103);

      test_cp_alndst(a1, a2);

      test_cp_alnsrc(a1, a2);

      test_2ci_aln(a1, a2);

      test_2vi_aln(a1, a2, 123, 103);

      test_cp_unalndst(a1, a2);

      test_cp_unalnsrc(a1, a2);

      test_2ci_unaln(a1, a2);

      test_2vi_unaln(a1, a2, 123, 103);

    }

    // Initialize

    for (int i=0; i<ARRLEN; i++) {

      a1[i] = -1;

      a2[i] = -1;

    }

    // Test and verify results

    System.out.println("Verification");

    int errn = 0;

    {

      test_ci(a1);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_ci: a1", i, a1[i], -123);

      }

      test_vi(a2, 123, -1);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_vi: a2", i, a2[i], 123);

      }

      test_cp(a1, a2);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_cp: a1", i, a1[i], 123);

      }

      test_2ci(a1, a2);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_2ci: a1", i, a1[i], -123);

        errn += verify("test_2ci: a2", i, a2[i], -103);

      }

      test_2vi(a1, a2, 123, 103);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_2vi: a1", i, a1[i], 123);

        errn += verify("test_2vi: a2", i, a2[i], 103);

      }

      // Reset for negative stride

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_ci_neg(a1, -1);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_ci_neg: a1", i, a1[i], -123);

      }

      test_vi_neg(a2, 123, -1);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_vi_neg: a2", i, a2[i], 123);

      }

      test_cp_neg(a1, a2);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_cp_neg: a1", i, a1[i], 123);

      }

      test_2ci_neg(a1, a2);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_2ci_neg: a1", i, a1[i], -123);

        errn += verify("test_2ci_neg: a2", i, a2[i], -103);

      }

      test_2vi_neg(a1, a2, 123, 103);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_2vi_neg: a1", i, a1[i], 123);

        errn += verify("test_2vi_neg: a2", i, a2[i], 103);

      }

      // Reset for opposite stride

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_ci_oppos(a1, -1);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_ci_oppos: a1", i, a1[i], -123);

      }

      test_vi_oppos(a2, 123, -1);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_vi_oppos: a2", i, a2[i], 123);

      }

      test_cp_oppos(a1, a2);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_cp_oppos: a1", i, a1[i], 123);

      }

      test_2ci_oppos(a1, a2);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_2ci_oppos: a1", i, a1[i], -123);

        errn += verify("test_2ci_oppos: a2", i, a2[i], -103);

      }

      test_2vi_oppos(a1, a2, 123, 103);

      for (int i=0; i<ARRLEN; i++) {

        errn += verify("test_2vi_oppos: a1", i, a1[i], 123);

        errn += verify("test_2vi_oppos: a2", i, a2[i], 103);

      }

      // Reset for indexing with offset

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_ci_off(a1, -1);

      for (int i=OFFSET; i<ARRLEN; i++) {

        errn += verify("test_ci_off: a1", i, a1[i], -123);

      }

      test_vi_off(a2, 123, -1);

      for (int i=OFFSET; i<ARRLEN; i++) {

        errn += verify("test_vi_off: a2", i, a2[i], 123);

      }

      test_cp_off(a1, a2);

      for (int i=OFFSET; i<ARRLEN; i++) {

        errn += verify("test_cp_off: a1", i, a1[i], 123);

      }

      test_2ci_off(a1, a2);

      for (int i=OFFSET; i<ARRLEN; i++) {

        errn += verify("test_2ci_off: a1", i, a1[i], -123);

        errn += verify("test_2ci_off: a2", i, a2[i], -103);

      }

      test_2vi_off(a1, a2, 123, 103);

      for (int i=OFFSET; i<ARRLEN; i++) {

        errn += verify("test_2vi_off: a1", i, a1[i], 123);

        errn += verify("test_2vi_off: a2", i, a2[i], 103);

      }

      for (int i=0; i<OFFSET; i++) {

        errn += verify("test_2vi_off: a1", i, a1[i], -1);

        errn += verify("test_2vi_off: a2", i, a2[i], -1);

      }

      // Reset for indexing with invariant offset

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_ci_inv(a1, OFFSET, -1);

      for (int i=OFFSET; i<ARRLEN; i++) {

        errn += verify("test_ci_inv: a1", i, a1[i], -123);

      }

      test_vi_inv(a2, 123, OFFSET, -1);

      for (int i=OFFSET; i<ARRLEN; i++) {

        errn += verify("test_vi_inv: a2", i, a2[i], 123);

      }

      test_cp_inv(a1, a2, OFFSET);

      for (int i=OFFSET; i<ARRLEN; i++) {

        errn += verify("test_cp_inv: a1", i, a1[i], 123);

      }

      test_2ci_inv(a1, a2, OFFSET);

      for (int i=OFFSET; i<ARRLEN; i++) {

        errn += verify("test_2ci_inv: a1", i, a1[i], -123);

        errn += verify("test_2ci_inv: a2", i, a2[i], -103);

      }

      test_2vi_inv(a1, a2, 123, 103, OFFSET);

      for (int i=OFFSET; i<ARRLEN; i++) {

        errn += verify("test_2vi_inv: a1", i, a1[i], 123);

        errn += verify("test_2vi_inv: a2", i, a2[i], 103);

      }

      for (int i=0; i<OFFSET; i++) {

        errn += verify("test_2vi_inv: a1", i, a1[i], -1);

        errn += verify("test_2vi_inv: a2", i, a2[i], -1);

      }

      // Reset for indexing with scale

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_ci_scl(a1, -1);

      for (int i=0; i<ARRLEN; i++) {

        int val = (i%SCALE != 0) ? -1 : -123;

        errn += verify("test_ci_scl: a1", i, a1[i], val);

      }

      test_vi_scl(a2, 123, -1);

      for (int i=0; i<ARRLEN; i++) {

        int val = (i%SCALE != 0) ? -1 : 123;

        errn += verify("test_vi_scl: a2", i, a2[i], val);

      }

      test_cp_scl(a1, a2);

      for (int i=0; i<ARRLEN; i++) {

        int val = (i%SCALE != 0) ? -1 : 123;

        errn += verify("test_cp_scl: a1", i, a1[i], val);

      }

      test_2ci_scl(a1, a2);

      for (int i=0; i<ARRLEN; i++) {

        if (i%SCALE != 0) {

          errn += verify("test_2ci_scl: a1", i, a1[i], -1);

        } else if (i*SCALE < ARRLEN) {

          errn += verify("test_2ci_scl: a1", i*SCALE, a1[i*SCALE], -123);

        }

        if (i%SCALE != 0) {

          errn += verify("test_2ci_scl: a2", i, a2[i], -1);

        } else if (i*SCALE < ARRLEN) {

          errn += verify("test_2ci_scl: a2", i*SCALE, a2[i*SCALE], -103);

        }

      }

      test_2vi_scl(a1, a2, 123, 103);

      for (int i=0; i<ARRLEN; i++) {

        if (i%SCALE != 0) {

          errn += verify("test_2vi_scl: a1", i, a1[i], -1);

        } else if (i*SCALE < ARRLEN) {

          errn += verify("test_2vi_scl: a1", i*SCALE, a1[i*SCALE], 123);

        }

        if (i%SCALE != 0) {

          errn += verify("test_2vi_scl: a2", i, a2[i], -1);

        } else if (i*SCALE < ARRLEN) {

          errn += verify("test_2vi_scl: a2", i*SCALE, a2[i*SCALE], 103);

        }

      }

      // Reset for 2 arrays with relative aligned offset

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_vi(a2, 123, -1);

      test_cp_alndst(a1, a2);

      for (int i=0; i<ALIGN_OFF; i++) {

        errn += verify("test_cp_alndst: a1", i, a1[i], -1);

      }

      for (int i=ALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_cp_alndst: a1", i, a1[i], 123);

      }

      for (int i=0; i<ALIGN_OFF; i++) {

        a1[i] = 123;

      }

      test_vi(a2, -123, 123);

      test_cp_alnsrc(a1, a2);

      for (int i=0; i<ARRLEN-ALIGN_OFF; i++) {

        errn += verify("test_cp_alnsrc: a1", i, a1[i], -123);

      }

      for (int i=ARRLEN-ALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_cp_alnsrc: a1", i, a1[i], 123);

      }

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_2ci_aln(a1, a2);

      for (int i=0; i<ALIGN_OFF; i++) {

        errn += verify("test_2ci_aln: a1", i, a1[i], -1);

      }

      for (int i=ALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2ci_aln: a1", i, a1[i], -123);

      }

      for (int i=0; i<ARRLEN-ALIGN_OFF; i++) {

        errn += verify("test_2ci_aln: a2", i, a2[i], -103);

      }

      for (int i=ARRLEN-ALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2ci_aln: a2", i, a2[i], -1);

      }

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_2vi_aln(a1, a2, 123, 103);

      for (int i=0; i<ARRLEN-ALIGN_OFF; i++) {

        errn += verify("test_2vi_aln: a1", i, a1[i], 123);

      }

      for (int i=ARRLEN-ALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2vi_aln: a1", i, a1[i], -1);

      }

      for (int i=0; i<ALIGN_OFF; i++) {

        errn += verify("test_2vi_aln: a2", i, a2[i], -1);

      }

      for (int i=ALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2vi_aln: a2", i, a2[i], 103);

      }

      // Reset for 2 arrays with relative unaligned offset

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_vi(a2, 123, -1);

      test_cp_unalndst(a1, a2);

      for (int i=0; i<UNALIGN_OFF; i++) {

        errn += verify("test_cp_unalndst: a1", i, a1[i], -1);

      }

      for (int i=UNALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_cp_unalndst: a1", i, a1[i], 123);

      }

      test_vi(a2, -123, 123);

      test_cp_unalnsrc(a1, a2);

      for (int i=0; i<ARRLEN-UNALIGN_OFF; i++) {

        errn += verify("test_cp_unalnsrc: a1", i, a1[i], -123);

      }

      for (int i=ARRLEN-UNALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_cp_unalnsrc: a1", i, a1[i], 123);

      }

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_2ci_unaln(a1, a2);

      for (int i=0; i<UNALIGN_OFF; i++) {

        errn += verify("test_2ci_unaln: a1", i, a1[i], -1);

      }

      for (int i=UNALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2ci_unaln: a1", i, a1[i], -123);

      }

      for (int i=0; i<ARRLEN-UNALIGN_OFF; i++) {

        errn += verify("test_2ci_unaln: a2", i, a2[i], -103);

      }

      for (int i=ARRLEN-UNALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2ci_unaln: a2", i, a2[i], -1);

      }

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

        a2[i] = -1;

      }

      test_2vi_unaln(a1, a2, 123, 103);

      for (int i=0; i<ARRLEN-UNALIGN_OFF; i++) {

        errn += verify("test_2vi_unaln: a1", i, a1[i], 123);

      }

      for (int i=ARRLEN-UNALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2vi_unaln: a1", i, a1[i], -1);

      }

      for (int i=0; i<UNALIGN_OFF; i++) {

        errn += verify("test_2vi_unaln: a2", i, a2[i], -1);

      }

      for (int i=UNALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2vi_unaln: a2", i, a2[i], 103);

      }

      // Reset for aligned overlap initialization

      for (int i=0; i<ALIGN_OFF; i++) {

        a1[i] = i;

      }

      for (int i=ALIGN_OFF; i<ARRLEN; i++) {

        a1[i] = -1;

      }

      test_cp_alndst(a1, a1);

      for (int i=0; i<ARRLEN; i++) {

        int v = i%ALIGN_OFF;

        errn += verify("test_cp_alndst_overlap: a1", i, a1[i], v);

      }

      for (int i=0; i<ALIGN_OFF; i++) {

        a1[i+ALIGN_OFF] = -1;

      }

      test_cp_alnsrc(a1, a1);

      for (int i=0; i<ALIGN_OFF; i++) {

        errn += verify("test_cp_alnsrc_overlap: a1", i, a1[i], -1);

      }

      for (int i=ALIGN_OFF; i<ARRLEN; i++) {

        int v = i%ALIGN_OFF;

        errn += verify("test_cp_alnsrc_overlap: a1", i, a1[i], v);

      }

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

      }

      test_2ci_aln(a1, a1);

      for (int i=0; i<ARRLEN-ALIGN_OFF; i++) {

        errn += verify("test_2ci_aln_overlap: a1", i, a1[i], -103);

      }

      for (int i=ARRLEN-ALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2ci_aln_overlap: a1", i, a1[i], -123);

      }

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

      }

      test_2vi_aln(a1, a1, 123, 103);

      for (int i=0; i<ARRLEN-ALIGN_OFF; i++) {

        errn += verify("test_2vi_aln_overlap: a1", i, a1[i], 123);

      }

      for (int i=ARRLEN-ALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2vi_aln_overlap: a1", i, a1[i], 103);

      }

      // Reset for unaligned overlap initialization

      for (int i=0; i<UNALIGN_OFF; i++) {

        a1[i] = i;

      }

      for (int i=UNALIGN_OFF; i<ARRLEN; i++) {

        a1[i] = -1;

      }

      test_cp_unalndst(a1, a1);

      for (int i=0; i<ARRLEN; i++) {

        int v = i%UNALIGN_OFF;

        errn += verify("test_cp_unalndst_overlap: a1", i, a1[i], v);

      }

      for (int i=0; i<UNALIGN_OFF; i++) {

        a1[i+UNALIGN_OFF] = -1;

      }

      test_cp_unalnsrc(a1, a1);

      for (int i=0; i<UNALIGN_OFF; i++) {

        errn += verify("test_cp_unalnsrc_overlap: a1", i, a1[i], -1);

      }

      for (int i=UNALIGN_OFF; i<ARRLEN; i++) {

        int v = i%UNALIGN_OFF;

        errn += verify("test_cp_unalnsrc_overlap: a1", i, a1[i], v);

      }

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

      }

      test_2ci_unaln(a1, a1);

      for (int i=0; i<ARRLEN-UNALIGN_OFF; i++) {

        errn += verify("test_2ci_unaln_overlap: a1", i, a1[i], -103);

      }

      for (int i=ARRLEN-UNALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2ci_unaln_overlap: a1", i, a1[i], -123);

      }

      for (int i=0; i<ARRLEN; i++) {

        a1[i] = -1;

      }

      test_2vi_unaln(a1, a1, 123, 103);

      for (int i=0; i<ARRLEN-UNALIGN_OFF; i++) {

        errn += verify("test_2vi_unaln_overlap: a1", i, a1[i], 123);

      }

      for (int i=ARRLEN-UNALIGN_OFF; i<ARRLEN; i++) {

        errn += verify("test_2vi_unaln_overlap: a1", i, a1[i], 103);

      }

    }

    if (errn > 0 || test_only)

      return errn;

    // Initialize

    for (int i=0; i<ARRLEN; i++) {

      a1[i] = -1;

      a2[i] = -1;