1 /* 2 * Copyright (c) 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.jtt.bytecode; 24 25 import org.junit.Test; 26 27 import org.graalvm.compiler.core.phases.HighTier; 28 import org.graalvm.compiler.jtt.JTTTest; 29 import org.graalvm.compiler.options.OptionValues; 30 import org.graalvm.compiler.phases.tiers.Suites; 31 32 /** 33 * Tests the instanceof works, when casting an array of interface. 34 */ 35 public class BC_instanceof01 extends JTTTest { 36 37 public interface IObject { 38 39 } 40 41 public interface IDerivedObject extends IObject { 42 43 } 44 45 private static class BaseClass { 46 47 } 48 49 private static class TestClass extends BaseClass implements IObject { 50 } 51 52 private static class DerivedTestClass extends BaseClass implements IDerivedObject { 53 54 } 55 56 static TestClass[] a1 = {new TestClass()}; 57 static DerivedTestClass[] a2 = {new DerivedTestClass()}; 58 59 public static BaseClass[] getBaseClassArray() { 60 return a1; 61 } 62 63 public static BaseClass[] getDerivedBaseClassArray() { 64 return a2; 65 } 66 67 public static boolean test() { 68 return getBaseClassArray() instanceof IObject[]; 69 } 70 71 public static int testConditionalElimination() { 72 BaseClass[] result = getDerivedBaseClassArray(); 73 if (result instanceof IDerivedObject[]) { 74 if (result instanceof IObject[]) { 75 return 1; 76 } else { 77 return 2; 78 } 79 } else { 80 return 3; 81 } 82 } 83 84 @Test 85 public void run0() throws Throwable { 86 runTest("test"); 87 } 88 89 @Override 90 @SuppressWarnings("try") 91 protected Suites createSuites(OptionValues options) { 92 return super.createSuites(new OptionValues(options, HighTier.Options.Inline, false)); 93 } 94 95 @Test 96 public void run1() throws Throwable { 97 runTest("testConditionalElimination"); 98 } 99 }