1 /*
   2  * Copyright (c) 2015, 2018, 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 
  24 
  25 package org.graalvm.compiler.core.test;
  26 
  27 import org.graalvm.compiler.api.directives.GraalDirectives;
  28 import org.junit.Test;
  29 
  30 public class ConditionalEliminationTest12 extends ConditionalEliminationTestBase {
  31 
  32     static class A {
  33 
  34     }
  35 
  36     static class B extends A {
  37 
  38     }
  39 
  40     static class C extends B {
  41 
  42     }
  43 
  44     static class D extends C {
  45 
  46     }
  47 
  48     @SuppressWarnings({"static-method", "unused"})
  49     private int referenceMethod(Object a) {
  50         if (a instanceof A) {
  51             if (a instanceof C) {
  52                 return 1;
  53             } else {
  54                 GraalDirectives.deoptimizeAndInvalidate();
  55             }
  56         }
  57         return 0;
  58     }
  59 
  60     @SuppressWarnings({"static-method", "unused"})
  61     private int testMethod(Object a) {
  62         if (a instanceof A) {
  63             if (a instanceof C) {
  64                 if (a instanceof B) {
  65                     B b = (B) a;
  66                     if (b instanceof C) {
  67                         return 1;
  68                     } else {
  69                         GraalDirectives.deoptimizeAndInvalidate();
  70                     }
  71                 }
  72             } else {
  73                 GraalDirectives.deoptimizeAndInvalidate();
  74             }
  75         }
  76         return 0;
  77     }
  78 
  79     @SuppressWarnings("unused")
  80     @Test
  81     public void testFloatingGuards() {
  82         // Make sure class D is loaded.
  83         D d = new D();
  84         testConditionalElimination("testMethod", "referenceMethod");
  85     }
  86 }