1 /* 2 * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 */ 23 package org.graalvm.compiler.hotspot.phases; 24 25 import static org.graalvm.compiler.nodes.ConstantNode.getConstantNodes; 26 27 import org.graalvm.compiler.nodes.ConstantNode; 28 import org.graalvm.compiler.nodes.StructuredGraph; 29 import org.graalvm.compiler.nodes.type.StampTool; 30 import org.graalvm.compiler.phases.VerifyPhase; 31 import org.graalvm.compiler.phases.tiers.PhaseContext; 32 33 import jdk.vm.ci.hotspot.HotSpotObjectConstant; 34 import jdk.vm.ci.meta.JavaKind; 35 36 /** 37 * Checks for {@link #isIllegalObjectConstant(ConstantNode) illegal} object constants in a graph 38 * processed for AOT compilation. 39 * 40 * @see LoadJavaMirrorWithKlassPhase 41 */ 42 public class AheadOfTimeVerificationPhase extends VerifyPhase<PhaseContext> { 43 44 @Override 45 protected boolean verify(StructuredGraph graph, PhaseContext context) { 46 for (ConstantNode node : getConstantNodes(graph)) { 47 if (isIllegalObjectConstant(node)) { 48 throw new VerificationError("illegal object constant: " + node); 49 } 50 } 51 return true; 52 } 53 54 public static boolean isIllegalObjectConstant(ConstantNode node) { 55 return isObject(node) && !isNullReference(node) && !isInternedString(node) && !isDirectMethodHandle(node) && !isBoundMethodHandle(node); 56 } 57 58 private static boolean isObject(ConstantNode node) { 59 return node.getStackKind() == JavaKind.Object; 60 } 61 62 private static boolean isNullReference(ConstantNode node) { 63 return isObject(node) && node.isNullConstant(); 64 } 65 66 private static boolean isDirectMethodHandle(ConstantNode node) { 67 if (!isObject(node)) { 68 return false; 69 } 70 return "Ljava/lang/invoke/DirectMethodHandle;".equals(StampTool.typeOrNull(node).getName()); 71 } 72 73 private static boolean isBoundMethodHandle(ConstantNode node) { 74 if (!isObject(node)) { 75 return false; 76 } 77 return StampTool.typeOrNull(node).getName().startsWith("Ljava/lang/invoke/BoundMethodHandle"); 78 } 79 80 private static boolean isInternedString(ConstantNode node) { 81 if (!isObject(node)) { 82 return false; 83 } 84 85 HotSpotObjectConstant c = (HotSpotObjectConstant) node.asConstant(); 86 return c.isInternedString(); 87 } 88 }