1 /*
   2  * Copyright (c) 2015, 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.core.test;
  24 
  25 import org.junit.Test;
  26 
  27 import org.graalvm.compiler.api.directives.GraalDirectives;
  28 
  29 /**
  30  * Collection of tests for
  31  * {@link org.graalvm.compiler.phases.common.DominatorConditionalEliminationPhase} including those
  32  * that triggered bugs in this phase.
  33  */
  34 public class ConditionalEliminationTest1 extends ConditionalEliminationTestBase {
  35 
  36     private static final String REFERENCE_SNIPPET = "referenceSnippet";
  37 
  38     @SuppressWarnings("all")
  39     public static int referenceSnippet(int a) {
  40         if (a == 0) {
  41             return 1;
  42         }
  43         return 0;
  44     }
  45 
  46     @Test
  47     public void test1() {
  48         testConditionalElimination("test1Snippet", REFERENCE_SNIPPET);
  49     }
  50 
  51     @SuppressWarnings("all")
  52     public static int test1Snippet(int a) {
  53         if (a == 0) {
  54             if (a == 5) {
  55                 return 100;
  56             }
  57             if (a > 100) {
  58                 if (a == 0) {
  59                     return 200;
  60                 }
  61             }
  62             if (a != 2) {
  63                 return 1;
  64             }
  65         }
  66         return 0;
  67     }
  68 
  69     @Test
  70     public void test2() {
  71         testConditionalElimination("test2Snippet", REFERENCE_SNIPPET);
  72     }
  73 
  74     @SuppressWarnings("all")
  75     public static int test2Snippet(int a) {
  76         if (a == 0) {
  77             if (a > 100) {
  78                 if (a == 0) {
  79                     return 200;
  80                 }
  81             }
  82             if (a != 2) {
  83                 return 1;
  84             }
  85         }
  86         return 0;
  87     }
  88 
  89     @Test
  90     public void test3() {
  91         testConditionalElimination("test3Snippet", REFERENCE_SNIPPET);
  92     }
  93 
  94     @SuppressWarnings("all")
  95     public static int test3Snippet(int a) {
  96         if (a == 0) {
  97             if (a < 1) {
  98                 if (a < 2) {
  99                     if (a < 3) {
 100                         if (a > -1) {
 101                             if (a > -2) {
 102                                 if (a > -3) {
 103                                     if (a == 1) {
 104                                         return 42;
 105                                     } else {
 106                                         return 1;
 107                                     }
 108                                 }
 109                             }
 110                         }
 111                     }
 112                 }
 113             }
 114         }
 115         return 0;
 116     }
 117 
 118     @SuppressWarnings("all")
 119     public static int test4Snippet(int a, int b) {
 120         if (b < 1) {
 121             GraalDirectives.controlFlowAnchor();
 122             if (b < 0) {
 123                 return 1;
 124             }
 125         }
 126         return 0;
 127     }
 128 
 129     @Test
 130     public void test4() {
 131         testConditionalElimination("test4Snippet", "test4Snippet");
 132     }
 133 
 134     @SuppressWarnings("all")
 135     public static int test5Snippet(int a, int b) {
 136         if ((b & 3) == 0) {
 137             GraalDirectives.controlFlowAnchor();
 138             if ((b & 7) == 0) {
 139                 GraalDirectives.controlFlowAnchor();
 140                 return 1;
 141             }
 142         } else {
 143             GraalDirectives.controlFlowAnchor();
 144             if ((b & 1) == 0) {
 145                 GraalDirectives.controlFlowAnchor();
 146                 return 2;
 147             }
 148         }
 149         return 0;
 150     }
 151 
 152     @Test
 153     public void test5() {
 154         testConditionalElimination("test5Snippet", "test5Snippet");
 155     }
 156 }