| /* |
| * Copyright (c) 2010, 2015, 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 6932496 |
| * @summary incorrect deopt of jsr subroutine on 64 bit c1 |
| * @modules java.base/jdk.internal.org.objectweb.asm |
| * |
| * @run main/othervm -Xcomp |
| * -XX:CompileCommand=compileonly,compiler.c1.Test6932496::test |
| * compiler.c1.Test6932496 |
| */ |
| |
| package compiler.c1; |
| |
| import jdk.internal.org.objectweb.asm.ClassWriter; |
| import jdk.internal.org.objectweb.asm.FieldVisitor; |
| import jdk.internal.org.objectweb.asm.Label; |
| import jdk.internal.org.objectweb.asm.MethodVisitor; |
| import jdk.internal.org.objectweb.asm.Opcodes; |
| import jdk.internal.org.objectweb.asm.Type; |
| |
| import java.io.IOException; |
| import java.lang.reflect.Method; |
| import java.nio.file.Files; |
| import java.nio.file.Paths; |
| |
| public class Test6932496 extends ClassLoader { |
| private static final int CLASS_FILE_VERSION = 49; |
| private static final String CLASS_TEST = "Test"; |
| private static final String CLASS_OBJECT = "java/lang/Object"; |
| private static final String METHOD_INIT = "<init>"; |
| private static final String METHOD_TEST = "test"; |
| private static final String DESC_VOID_METHOD = "()V"; |
| private static final String FIELD_FLAG = "flag"; |
| |
| public static void main(String[] args) { |
| Test6932496 test = new Test6932496(); |
| test.execute(); |
| } |
| |
| private void execute() { |
| byte[] bytecode = Test6932496.generateTestClass(); |
| |
| try { |
| Files.write(Paths.get("Test.class.dump"), bytecode); |
| } catch (IOException e) { |
| System.err.println("classfile dump failed : " + e.getMessage()); |
| e.printStackTrace(); |
| } |
| try { |
| Class aClass = defineClass(CLASS_TEST, bytecode, 0, bytecode.length); |
| Method test = aClass.getDeclaredMethod(METHOD_TEST); |
| test.invoke(null); |
| } catch (ClassFormatError | IllegalArgumentException |
| | ReflectiveOperationException e) { |
| throw new RuntimeException("TESTBUG : generated class is invalid", e); |
| } |
| } |
| |
| /* |
| public class Test { |
| volatile boolean flag = false; |
| public static void m() { |
| try { |
| } finally { |
| Test test = new Test(); |
| test.flag = true; |
| } |
| } |
| } |
| */ |
| private static byte[] generateTestClass() { |
| ClassWriter cw = new ClassWriter(0); |
| cw.visit(CLASS_FILE_VERSION, Opcodes.ACC_PUBLIC + Opcodes.ACC_SUPER, |
| CLASS_TEST, null, CLASS_OBJECT, null); |
| // volatile boolean flag; |
| { |
| FieldVisitor fv = cw.visitField(Opcodes.ACC_VOLATILE, FIELD_FLAG, |
| Type.BOOLEAN_TYPE.getDescriptor(), |
| /* signature = */ null, /* value = */ null); |
| } |
| |
| /* |
| public Test() { |
| flag = false; |
| } |
| */ |
| { |
| MethodVisitor mv = cw.visitMethod(Opcodes.ACC_PUBLIC, |
| METHOD_INIT, DESC_VOID_METHOD, |
| /* signature = */ null, /* exceptions = */ null); |
| |
| mv.visitCode(); |
| mv.visitVarInsn(Opcodes.ALOAD, 0); |
| mv.visitMethodInsn(Opcodes.INVOKESPECIAL, CLASS_OBJECT, METHOD_INIT, |
| DESC_VOID_METHOD, false); |
| |
| mv.visitVarInsn(Opcodes.ALOAD, 0); |
| mv.visitInsn(Opcodes.ICONST_0); |
| mv.visitFieldInsn(Opcodes.PUTFIELD, CLASS_TEST, FIELD_FLAG, |
| Type.BOOLEAN_TYPE.getDescriptor()); |
| |
| mv.visitInsn(Opcodes.RETURN); |
| mv.visitMaxs(/* stack = */ 2, /* locals = */ 1); |
| mv.visitEnd(); |
| } |
| |
| /* |
| public static void m() { |
| try { |
| } finally { |
| Test test = new Test(); |
| test.flag = true; |
| } |
| } |
| */ |
| { |
| MethodVisitor mv = cw.visitMethod( |
| Opcodes.ACC_STATIC + Opcodes.ACC_PUBLIC, |
| METHOD_TEST, DESC_VOID_METHOD, |
| /* signature = */ null, /* exceptions = */ null); |
| Label beginLabel = new Label(); |
| Label block1EndLabel = new Label(); |
| Label handlerLabel = new Label(); |
| Label block2EndLabel = new Label(); |
| Label label = new Label(); |
| Label endLabel = new Label(); |
| |
| mv.visitCode(); |
| mv.visitTryCatchBlock(beginLabel, block1EndLabel, handlerLabel, |
| /* type = <any> */ null); |
| mv.visitTryCatchBlock(handlerLabel, block2EndLabel, handlerLabel, |
| /* type = <any> */ null); |
| |
| mv.visitLabel(beginLabel); |
| mv.visitJumpInsn(Opcodes.JSR, label); |
| mv.visitLabel(block1EndLabel); |
| mv.visitJumpInsn(Opcodes.GOTO, endLabel); |
| |
| mv.visitLabel(handlerLabel); |
| mv.visitVarInsn(Opcodes.ASTORE, 0); |
| mv.visitJumpInsn(Opcodes.JSR, label); |
| mv.visitLabel(block2EndLabel); |
| mv.visitVarInsn(Opcodes.ALOAD, 0); |
| mv.visitInsn(Opcodes.ATHROW); |
| |
| mv.visitLabel(label); |
| mv.visitVarInsn(Opcodes.ASTORE, 1); |
| mv.visitTypeInsn(Opcodes.NEW, CLASS_TEST); |
| mv.visitInsn(Opcodes.DUP); |
| mv.visitMethodInsn(Opcodes.INVOKESPECIAL, CLASS_TEST, METHOD_INIT, |
| DESC_VOID_METHOD); |
| mv.visitVarInsn(Opcodes.ASTORE, 2); |
| |
| mv.visitVarInsn(Opcodes.ALOAD, 2); |
| mv.visitInsn(Opcodes.ICONST_1); |
| mv.visitFieldInsn(Opcodes.PUTFIELD, CLASS_TEST, FIELD_FLAG, |
| Type.BOOLEAN_TYPE.getDescriptor()); |
| |
| mv.visitVarInsn(Opcodes.RET, 1); |
| |
| mv.visitLabel(endLabel); |
| mv.visitInsn(Opcodes.RETURN); |
| mv.visitMaxs(/* stack = */ 2, /* locals = */ 3); |
| mv.visitEnd(); |
| } |
| |
| cw.visitEnd(); |
| return cw.toByteArray(); |
| } |
| } |