/*

 * Copyright (c) 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 that VerifyError is thrown if dup2_x1 tries to replace the filler slot

// of a category 2 value.

// The stack map is long,top,null,null.  The verifier should reject dup2_x1's

// (form1) attempt to turn the stack map into long,top,null,null,null,null

public class dup2_x1 version 51:0 {

    public static Method run:"()V" stack 6 locals 0 {

        lconst_0;

        aconst_null;

        aconst_null;

        dup2_x1;

        return;

    }

}

public class dup2_x2 version 51:0 {

    public static Method run:"()V" stack 6 locals 0 {

        iconst_0;

        lconst_0;

        aconst_null;

        stack_frame_type full;

        stack_map int, bogus, bogus, null;

        locals_map;

        dup2_x2;

        return;

    }

}

// Test that VerifyError is thrown if dup2_x2 tries to replace the filler slot

// of a category 2 value.

// The stack map is long,top,null,null,null.  The verifier should reject dup2_x2's

// (form 1) attempt to turn the stack map into long,top,null,null,null,top,null.

public class dup2_x2_long_refs version 51:0 {

    public static Method run:"()V" stack 6 locals 0 {

        lconst_0;

        aconst_null;

        aconst_null;

        aconst_null;

        dup2_x2;

        return;

    }

}

// Test that VerifyError is thrown when dup2 is used to remove the upper

// half of a category 2 type.

public class dup2longtop version 51:0 {

    public static Method main:"([Ljava/lang/String;)V" stack 5 locals 1 {

        lconst_0;

        iconst_0;

        dup2;

        return;

    }

}

// Test that VerifyError is thrown when dup2 is used to remove top

// because top may be the upper half of a category 2 type.

public class dup2toptop version 51:0 {

    public static Method main:"([Ljava/lang/String;)V" stack 5 locals 1 {

        // here we have {long, top, null}

        // EXECUTION: we have {long, null}

        lconst_0;

        aconst_null;

        stack_frame_type full;

        stack_map bogus, bogus, null;

        locals_map bogus;

        // VERIFIER: use form1 of dup2 - {top, top, null} -> {top, top, null, top, null}

        // EXECUTION: have {long, null} - no applicable form of dup2 for such type state by JVMS ch. 6

        dup2;

        return;

    }

}

// Test that VerifyError is thrown if dup_x1 tries to replace the filler slot

// of a category 2 value.

public class dup_x1 version 51:0 {

    public static Method run:"()V" stack 6 locals 0 {

        lconst_0;

        aconst_null;

        dup_x1;

        return;

    }

}

// Test that VerifyError is thrown when pop2 is used to remove top

// because top may be the upper half of a category 2 type.

public class pop2longtop version 51:0

{

    public Method regular:"()V" stack 6 locals 6

    {

        lconst_0;

        iconst_0;

        stack_frame_type full;

        stack_map long, bogus;

        locals_map;

        pop2;

        return;

    }

} // end Class pop2longtop

// Test that VerifyError is thrown when pop2 is used to remove top, top

// because either top may be the upper half of a category 2 type.

public class pop2toptop version 51:0

{

    public Method regular:"()V" stack 6 locals 6

    {

        iconst_0;

        iconst_0;

        stack_frame_type full;

        stack_map bogus, bogus;

        locals_map;

        pop2;

        return;

    }

} // end Class pop2toptop

// Test that VerifyError is thrown when pop is used to remove top

// because top may be the upper half of a category 2 type.

public class poptop version 51:0

{

    public Method regular:"()V" stack 2 locals 1

    {

        iconst_0;

        stack_frame_type full;

        stack_map bogus;

        pop;

        return;

    }

} // end Class poptop

// Test that VerifyError is thrown when pop is used to remove top, top

// because either top may be the upper half of a category 2 type.

public class poptoptop version 51:0

{

    public Method regular:"()V" stack 2 locals 1

    {

        iconst_0;

        iconst_0;

        stack_frame_type full;

        stack_map bogus, bogus;

        pop;

        return;

    }

} // end Class poptoptop

// Test that VerifyError is thrown when swap is used to swap int, top

// because top may be the lower half of a category 2 type.

public class swapinttop version 51:0

{

    public Method regular:"()V" stack 6 locals 6

    {

        iconst_0;

        iconst_0;

        stack_frame_type full;

        stack_map int, bogus;

        locals_map;

        swap;

        return;

    }

} // end Class swapinttop

// Test that VerifyError is thrown when swap is used to swap top, int

// because top may be the upper half of a category 2 type.

public class swaptopint version 51:0

{

    public Method regular:"()V" stack 6 locals 6

    {

        iconst_0;

        iconst_0;

        stack_frame_type full;

        stack_map bogus, int;

        locals_map;

        swap;

        return;

    }

} // end Class swaptopint

// Test that VerifyError is thrown when swap is used to swap top, top

// because either top may be the upper half of a category 2 type.

public class swaptoptop version 51:0

{

    public Method regular:"()V" stack 6 locals 6

    {

        iconst_0;

        iconst_0;

        stack_frame_type full;

        stack_map bogus, bogus;

        locals_map;

        swap;

        return;

    }

} // end Class swaptoptop