/*

 * 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

 * @requires (os.simpleArch == "x64" | os.simpleArch == "sparcv9" | os.simpleArch == "aarch64")

 * @compile CodeInstallerTest.java

 * @run junit/othervm -da:jdk.vm.ci... -XX:+UnlockExperimentalVMOptions -XX:+EnableJVMCI compiler.jvmci.errors.TestInvalidDebugInfo

 */

package compiler.jvmci.errors;

import jdk.vm.ci.code.BytecodeFrame;

import jdk.vm.ci.code.DebugInfo;

import jdk.vm.ci.code.Location;

import jdk.vm.ci.code.Register;

import jdk.vm.ci.code.StackSlot;

import jdk.vm.ci.code.VirtualObject;

import jdk.vm.ci.hotspot.HotSpotReferenceMap;

import jdk.vm.ci.meta.JavaConstant;

import jdk.vm.ci.meta.JavaKind;

import jdk.vm.ci.meta.JavaValue;

import jdk.vm.ci.meta.LIRKind;

import jdk.vm.ci.meta.ResolvedJavaType;

import jdk.vm.ci.meta.Value;

import org.junit.Test;

/**

 * Tests for errors in debug info.

 */

public class TestInvalidDebugInfo extends CodeInstallerTest {

    private static class UnknownJavaValue implements JavaValue {

    }

    private void test(JavaValue[] values, JavaKind[] slotKinds, int locals, int stack, int locks) {

        test(null, values, slotKinds, locals, stack, locks);

    }

    private void test(VirtualObject[] vobj, JavaValue[] values, JavaKind[] slotKinds, int locals, int stack, int locks) {

        BytecodeFrame frame = new BytecodeFrame(null, dummyMethod, 0, false, false, values, slotKinds, locals, stack, locks);

        DebugInfo info = new DebugInfo(frame, vobj);

        info.setReferenceMap(new HotSpotReferenceMap(new Location[0], new Location[0], new int[0], 8));

    }

    @Test(expected = NullPointerException.class)

    public void testNullValues() {

        test(null, new JavaKind[0], 0, 0, 0);

    }

    @Test(expected = NullPointerException.class)

    public void testNullSlotKinds() {

        test(new JavaValue[0], null, 0, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUnexpectedScopeValuesLength() {

        test(new JavaValue[]{JavaConstant.FALSE}, new JavaKind[0], 0, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUnexpectedScopeSlotKindsLength() {

        test(new JavaValue[0], new JavaKind[]{JavaKind.Boolean}, 0, 0, 0);

    }

    @Test(expected = NullPointerException.class)

    public void testNullValue() {

        test(new JavaValue[]{null}, new JavaKind[]{JavaKind.Int}, 1, 0, 0);

    }

    @Test(expected = NullPointerException.class)

    public void testNullSlotKind() {

        test(new JavaValue[]{JavaConstant.INT_0}, new JavaKind[]{null}, 1, 0, 0);

    }

    @Test(expected = NullPointerException.class)

    public void testNullMonitor() {

        test(new JavaValue[]{null}, new JavaKind[0], 0, 0, 1);

    }

    @Test(expected = JVMCIError.class)

    public void testWrongMonitorType() {

        test(new JavaValue[]{JavaConstant.INT_0}, new JavaKind[0], 0, 0, 1);

    }

    @Test(expected = JVMCIError.class)

    public void testUnexpectedIllegalValue() {

        test(new JavaValue[]{Value.ILLEGAL}, new JavaKind[]{JavaKind.Int}, 1, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUnexpectedTypeInCPURegister() {

        Register reg = getRegister(arch.getPlatformKind(JavaKind.Int), 0);

        test(new JavaValue[]{reg.asValue()}, new JavaKind[]{JavaKind.Illegal}, 1, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUnexpectedTypeInFloatRegister() {

        Register reg = getRegister(arch.getPlatformKind(JavaKind.Float), 0);

        test(new JavaValue[]{reg.asValue()}, new JavaKind[]{JavaKind.Illegal}, 1, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUnexpectedTypeOnStack() {

        LIRKind kind = codeCache.getTarget().getLIRKind(JavaKind.Int);

        StackSlot value = StackSlot.get(kind, 8, false);

        test(new JavaValue[]{value}, new JavaKind[]{JavaKind.Illegal}, 1, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testWrongConstantType() {

        test(new JavaValue[]{JavaConstant.INT_0}, new JavaKind[]{JavaKind.Object}, 1, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUnsupportedConstantType() {

        test(new JavaValue[]{JavaConstant.forShort((short) 0)}, new JavaKind[]{JavaKind.Short}, 1, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUnexpectedNull() {

        test(new JavaValue[]{JavaConstant.NULL_POINTER}, new JavaKind[]{JavaKind.Int}, 1, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUnexpectedObject() {

        JavaValue wrapped = constantReflection.forObject(this);

        test(new JavaValue[]{wrapped}, new JavaKind[]{JavaKind.Int}, 1, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUnknownJavaValue() {

        test(new JavaValue[]{new UnknownJavaValue()}, new JavaKind[]{JavaKind.Int}, 1, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testMissingIllegalAfterDouble() {

        test(new JavaValue[]{JavaConstant.DOUBLE_0, JavaConstant.INT_0}, new JavaKind[]{JavaKind.Double, JavaKind.Int}, 2, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testInvalidVirtualObjectId() {

        ResolvedJavaType obj = metaAccess.lookupJavaType(Object.class);

        VirtualObject o = VirtualObject.get(obj, 5);

        o.setValues(new JavaValue[0], new JavaKind[0]);

        test(new VirtualObject[]{o}, new JavaValue[0], new JavaKind[0], 0, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testDuplicateVirtualObject() {

        ResolvedJavaType obj = metaAccess.lookupJavaType(Object.class);

        VirtualObject o1 = VirtualObject.get(obj, 0);

        o1.setValues(new JavaValue[0], new JavaKind[0]);

        VirtualObject o2 = VirtualObject.get(obj, 0);

        o2.setValues(new JavaValue[0], new JavaKind[0]);

        test(new VirtualObject[]{o1, o2}, new JavaValue[0], new JavaKind[0], 0, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUnexpectedVirtualObject() {

        ResolvedJavaType obj = metaAccess.lookupJavaType(Object.class);

        VirtualObject o = VirtualObject.get(obj, 0);

        o.setValues(new JavaValue[0], new JavaKind[0]);

        test(new VirtualObject[]{o}, new JavaValue[]{o}, new JavaKind[]{JavaKind.Int}, 1, 0, 0);

    }

    @Test(expected = JVMCIError.class)

    public void testUndefinedVirtualObject() {

        ResolvedJavaType obj = metaAccess.lookupJavaType(Object.class);

        VirtualObject o0 = VirtualObject.get(obj, 0);

        o0.setValues(new JavaValue[0], new JavaKind[0]);

        VirtualObject o1 = VirtualObject.get(obj, 1);

        o1.setValues(new JavaValue[0], new JavaKind[0]);

        test(new VirtualObject[]{o0}, new JavaValue[]{o1}, new JavaKind[]{JavaKind.Object}, 1, 0, 0);

    }

}