/*
 * Copyright (c) 2019, 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
 * @summary Verify that certain array accesses do not trigger deoptimization.
 * @library /test/lib
 * @run main/othervm -XX:+EnableValhalla TestArrayAccessDeopt
 */

import java.io.File;
import jdk.test.lib.Asserts;
import jdk.test.lib.process.OutputAnalyzer;
import jdk.test.lib.process.ProcessTools;

final inline class MyValue1 {
    public final int x = 0;
}

public class TestArrayAccessDeopt {

    public static void test1(Object[] va, Object vt) {
        va[0] = vt;
    }

    public static void test2(Object[] va, MyValue1? vt) {
        va[0] = vt;
    }

    public static void test3(MyValue1?[] va, Object vt) {
        va[0] = (MyValue1?)vt;
    }

    public static void test4(MyValue1?[] va, MyValue1? vt) {
        va[0] = vt;
    }

    public static void test5(Object[] va, MyValue1 vt) {
        va[0] = vt;
    }

    public static void test6(MyValue1[] va, Object vt) {
        va[0] = (MyValue1)vt;
    }

    public static void test7(MyValue1[] va, MyValue1 vt) {
        va[0] = vt;
    }

    public static void test8(MyValue1?[] va, MyValue1 vt) {
        va[0] = vt;
    }

    public static void test9(MyValue1[] va, MyValue1? vt) {
        va[0] = (MyValue1)vt;
    }

    public static void test10(Object[] va) {
        va[0] = null;
    }

    public static void test11(MyValue1?[] va) {
        va[0] = null;
    }

    static public void main(String[] args) throws Exception {
        if (args.length == 0) {
            // Run test in new VM instance
            String[] arg = {"-XX:+EnableValhalla", "-XX:CompileCommand=quiet", "-XX:CompileCommand=compileonly,TestArrayAccessDeopt::test*",
                            "-XX:+TraceDeoptimization",  "-Xbatch", "-XX:-MonomorphicArrayCheck", "TestArrayAccessDeopt", "run"};
            OutputAnalyzer oa = ProcessTools.executeTestJvm(arg);
            String output = oa.getOutput();
            oa.shouldNotContain("Uncommon trap occurred");
        } else {
            MyValue1[] va = new MyValue1[1];
            MyValue1?[] vaB = new MyValue1?[1];
            MyValue1 vt = new MyValue1();
            for (int i = 0; i < 10_000; ++i) {
                test1(va, vt);
                test1(vaB, vt);
                test1(vaB, null);
                test2(va, vt);
                test2(vaB, vt);
                test2(vaB, null);
                test3(va, vt);
                test3(vaB, vt);
                test3(vaB, null);
                test4(va, vt);
                test4(vaB, vt);
                test4(vaB, null);
                test5(va, vt);
                test5(vaB, vt);
                test6(va, vt);
                try {
                    test6(va, null);
                } catch (NullPointerException npe) {
                    // Expected
                }
                test7(va, vt);
                test8(va, vt);
                test8(vaB, vt);
                test9(va, vt);
                try {
                    test9(va, null);
                } catch (NullPointerException npe) {
                    // Expected
                }
                test10(vaB);
                test11(vaB);
            }
        }
    }
}