001/*
002 * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved.
003 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
004 *
005 * This code is free software; you can redistribute it and/or modify it
006 * under the terms of the GNU General Public License version 2 only, as
007 * published by the Free Software Foundation.
008 *
009 * This code is distributed in the hope that it will be useful, but WITHOUT
010 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
011 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
012 * version 2 for more details (a copy is included in the LICENSE file that
013 * accompanied this code).
014 *
015 * You should have received a copy of the GNU General Public License version
016 * 2 along with this work; if not, write to the Free Software Foundation,
017 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
018 *
019 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
020 * or visit www.oracle.com if you need additional information or have any
021 * questions.
022 */
023package com.oracle.graal.hotspot.phases;
024
025import jdk.internal.jvmci.hotspot.*;
026import jdk.internal.jvmci.meta.*;
027import static com.oracle.graal.nodes.ConstantNode.*;
028
029import com.oracle.graal.nodes.*;
030import com.oracle.graal.nodes.type.*;
031import com.oracle.graal.phases.*;
032import com.oracle.graal.phases.tiers.*;
033
034/**
035 * Checks for {@link #isIllegalObjectConstant(ConstantNode) illegal} object constants in a graph
036 * processed for AOT compilation.
037 *
038 * @see LoadJavaMirrorWithKlassPhase
039 */
040public class AheadOfTimeVerificationPhase extends VerifyPhase<PhaseContext> {
041
042    @Override
043    protected boolean verify(StructuredGraph graph, PhaseContext context) {
044        for (ConstantNode node : getConstantNodes(graph)) {
045            if (isIllegalObjectConstant(node)) {
046                throw new VerificationError("illegal object constant: " + node);
047            }
048        }
049        return true;
050    }
051
052    public static boolean isIllegalObjectConstant(ConstantNode node) {
053        return isObject(node) && !isNullReference(node) && !isInternedString(node) && !isDirectMethodHandle(node) && !isBoundMethodHandle(node);
054    }
055
056    private static boolean isObject(ConstantNode node) {
057        return node.getKind() == Kind.Object;
058    }
059
060    private static boolean isNullReference(ConstantNode node) {
061        return isObject(node) && node.isNullConstant();
062    }
063
064    private static boolean isDirectMethodHandle(ConstantNode node) {
065        if (!isObject(node)) {
066            return false;
067        }
068        return "Ljava/lang/invoke/DirectMethodHandle;".equals(StampTool.typeOrNull(node).getName());
069    }
070
071    private static boolean isBoundMethodHandle(ConstantNode node) {
072        if (!isObject(node)) {
073            return false;
074        }
075        return StampTool.typeOrNull(node).getName().startsWith("Ljava/lang/invoke/BoundMethodHandle");
076    }
077
078    private static boolean isInternedString(ConstantNode node) {
079        if (!isObject(node)) {
080            return false;
081        }
082
083        HotSpotObjectConstant c = (HotSpotObjectConstant) node.asConstant();
084        return c.isInternedString();
085    }
086}