/*

 * Copyright (c) 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.

 */

package org.graalvm.compiler.hotspot.meta;

import org.graalvm.compiler.core.common.GraalOptions;

import org.graalvm.compiler.graph.Node;

import org.graalvm.compiler.graph.iterators.NodeIterable;

import org.graalvm.compiler.hotspot.GraalHotSpotVMConfig;

import org.graalvm.compiler.hotspot.phases.AheadOfTimeVerificationPhase;

import org.graalvm.compiler.nodes.ConstantNode;

import org.graalvm.compiler.nodes.FrameState;

import org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderContext;

import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugin;

import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugins;

import org.graalvm.compiler.nodes.type.StampTool;

import org.graalvm.compiler.phases.tiers.CompilerConfiguration;

import org.graalvm.compiler.replacements.nodes.MacroNode;

import jdk.vm.ci.hotspot.HotSpotResolvedJavaType;

import jdk.vm.ci.meta.JavaKind;

import jdk.vm.ci.meta.ResolvedJavaType;

/**

 * Extension of {@link InvocationPlugins} that disables plugins based on runtime configuration.

 */

final class HotSpotInvocationPlugins extends InvocationPlugins {

    private final GraalHotSpotVMConfig config;

    HotSpotInvocationPlugins(GraalHotSpotVMConfig config, CompilerConfiguration compilerConfiguration) {

        this.config = config;

    }

    @Override

    public void register(InvocationPlugin plugin, Type declaringClass, String name, Type... argumentTypes) {

        if (!config.usePopCountInstruction) {

            if (name.equals("bitCount")) {

                assert declaringClass.equals(Integer.class) || declaringClass.equals(Long.class);

                return;

            }

        }

        super.register(plugin, declaringClass, name, argumentTypes);

    }

    @Override

    public void checkNewNodes(GraphBuilderContext b, InvocationPlugin plugin, NodeIterable<Node> newNodes) {

        for (Node node : newNodes) {

            if (node instanceof MacroNode) {

                // MacroNode based plugins can only be used for inlining since they

                // require a valid bci should they need to replace themselves with

                // an InvokeNode during lowering.

                assert plugin.inlineOnly() : String.format("plugin that creates a %s (%s) must return true for inlineOnly(): %s", MacroNode.class.getSimpleName(), node, plugin);

            }

        }

        if (GraalOptions.ImmutableCode.getValue(b.getOptions())) {

            for (Node node : newNodes) {

                if (node.hasUsages() && node instanceof ConstantNode) {

                    ConstantNode c = (ConstantNode) node;

                    if (c.getStackKind() == JavaKind.Object && AheadOfTimeVerificationPhase.isIllegalObjectConstant(c)) {

                        if (isClass(c)) {

                            // This will be handled later by LoadJavaMirrorWithKlassPhase

                        } else {

                            // Tolerate uses in unused FrameStates

                            if (node.usages().filter((n) -> !(n instanceof FrameState) || n.hasUsages()).isNotEmpty()) {

                                throw new AssertionError("illegal constant node in AOT: " + node);

                            }

                        }

                    }

                }

            }

        }

        super.checkNewNodes(b, plugin, newNodes);

    }

    private static boolean isClass(ConstantNode node) {

        ResolvedJavaType type = StampTool.typeOrNull(node);

        return type != null && "Ljava/lang/Class;".equals(type.getName());

    }

    @Override

    public boolean canBeIntrinsified(ResolvedJavaType declaringClass) {

        if (declaringClass instanceof HotSpotResolvedJavaType) {

        }

        return false;

    }

}