--- /dev/null 2016-05-31 09:42:47.975716356 -0700 +++ new/src/jdk.vm.compiler/share/classes/org.graalvm.compiler.core.test/src/org/graalvm/compiler/core/test/VerifyBailoutUsageTest.java 2016-12-09 00:47:48.284859986 -0800 @@ -0,0 +1,140 @@ +/* + * 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. + */ +package org.graalvm.compiler.core.test; + +import static org.graalvm.compiler.core.common.CompilationIdentifier.INVALID_COMPILATION_ID; + +import java.lang.reflect.Method; +import java.lang.reflect.Modifier; + +import org.junit.Test; + +import org.graalvm.compiler.api.test.Graal; +import org.graalvm.compiler.common.PermanentBailoutException; +import org.graalvm.compiler.common.RetryableBailoutException; +import org.graalvm.compiler.debug.Debug; +import org.graalvm.compiler.debug.DebugConfigScope; +import org.graalvm.compiler.debug.GraalError; +import org.graalvm.compiler.java.GraphBuilderPhase; +import org.graalvm.compiler.nodes.StructuredGraph; +import org.graalvm.compiler.nodes.StructuredGraph.AllowAssumptions; +import org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderConfiguration; +import org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderConfiguration.Plugins; +import org.graalvm.compiler.nodes.graphbuilderconf.InvocationPlugins; +import org.graalvm.compiler.phases.OptimisticOptimizations; +import org.graalvm.compiler.phases.Phase; +import org.graalvm.compiler.phases.PhaseSuite; +import org.graalvm.compiler.phases.VerifyPhase.VerificationError; +import org.graalvm.compiler.phases.tiers.HighTierContext; +import org.graalvm.compiler.phases.util.Providers; +import org.graalvm.compiler.phases.verify.VerifyBailoutUsage; +import org.graalvm.compiler.runtime.RuntimeProvider; + +import jdk.vm.ci.code.BailoutException; +import jdk.vm.ci.meta.MetaAccessProvider; +import jdk.vm.ci.meta.ResolvedJavaMethod; + +public class VerifyBailoutUsageTest { + + private static class InvalidBailoutUsagePhase1 extends Phase { + @Override + protected void run(StructuredGraph graph) { + throw new BailoutException("Bailout in graph %s", graph); + } + } + + private static class InvalidBailoutUsagePhase2 extends Phase { + @Override + protected void run(StructuredGraph graph) { + throw new BailoutException(new GraalError("other cause"), "Bailout in graph %s", graph); + } + } + + private static class InvalidBailoutUsagePhase3 extends Phase { + @Override + protected void run(StructuredGraph graph) { + throw new BailoutException(true/* permanent */, "Bailout in graph %s", graph); + } + } + + private static class ValidPermanentBailoutUsage extends Phase { + @Override + protected void run(StructuredGraph graph) { + throw new PermanentBailoutException("Valid permanent bailout %s", graph); + } + } + + private static class ValidRetryableBailoutUsage extends Phase { + @Override + protected void run(StructuredGraph graph) { + throw new RetryableBailoutException("Valid retryable bailout %s", graph); + } + } + + @Test(expected = VerificationError.class) + public void testInvalidBailout01() { + testBailoutUsage(InvalidBailoutUsagePhase1.class); + } + + @Test(expected = VerificationError.class) + public void testInvalidBailout02() { + testBailoutUsage(InvalidBailoutUsagePhase2.class); + } + + @Test(expected = VerificationError.class) + public void testInvalidBailout03() { + testBailoutUsage(InvalidBailoutUsagePhase3.class); + } + + @Test + public void testValidPermanentBailout() { + testBailoutUsage(ValidPermanentBailoutUsage.class); + } + + @Test + public void testValidRetryableBailout() { + testBailoutUsage(ValidRetryableBailoutUsage.class); + } + + @SuppressWarnings("try") + private static void testBailoutUsage(Class c) { + RuntimeProvider rt = Graal.getRequiredCapability(RuntimeProvider.class); + Providers providers = rt.getHostBackend().getProviders(); + MetaAccessProvider metaAccess = providers.getMetaAccess(); + PhaseSuite graphBuilderSuite = new PhaseSuite<>(); + Plugins plugins = new Plugins(new InvocationPlugins(metaAccess)); + GraphBuilderConfiguration config = GraphBuilderConfiguration.getDefault(plugins).withEagerResolving(true); + graphBuilderSuite.appendPhase(new GraphBuilderPhase(config)); + HighTierContext context = new HighTierContext(providers, graphBuilderSuite, OptimisticOptimizations.NONE); + for (Method m : c.getDeclaredMethods()) { + if (!Modifier.isNative(m.getModifiers()) && !Modifier.isAbstract(m.getModifiers())) { + ResolvedJavaMethod method = metaAccess.lookupJavaMethod(m); + StructuredGraph graph = new StructuredGraph(method, AllowAssumptions.NO, INVALID_COMPILATION_ID); + graphBuilderSuite.apply(graph, context); + try (DebugConfigScope s = Debug.disableIntercept()) { + new VerifyBailoutUsage().apply(graph, context); + } + } + } + } +}