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 
  24 
  25 package org.graalvm.compiler.core.test;
  26 
  27 import org.graalvm.compiler.api.directives.GraalDirectives;
  28 import org.junit.Ignore;
  29 import org.junit.Test;
  30 
  31 /**
  32  * Collection of tests for {@link org.graalvm.compiler.phases.common.ConditionalEliminationPhase}
  33  * including those that triggered bugs in this phase.
  34  */
  35 public class ConditionalEliminationTest11 extends ConditionalEliminationTestBase {
  36     @SuppressWarnings("all")
  37     public static int referenceSnippet(int a) {
  38         if ((a & 15) != 15) {
  39             GraalDirectives.deoptimizeAndInvalidate();
  40         }
  41         return 0;
  42     }
  43 
  44     @Test
  45     public void test1() {
  46         testConditionalElimination("test1Snippet", "referenceSnippet");
  47     }
  48 
  49     @SuppressWarnings("all")
  50     public static int test1Snippet(int a) {
  51         if ((a & 8) != 8) {
  52             GraalDirectives.deoptimizeAndInvalidate();
  53         }
  54         if ((a & 15) != 15) {
  55             GraalDirectives.deoptimizeAndInvalidate();
  56         }
  57         return 0;
  58     }
  59 
  60     @SuppressWarnings("all")
  61     public static int test2Snippet(int a) {
  62         if ((a & 8) == 0) {
  63             GraalDirectives.deoptimizeAndInvalidate();
  64         }
  65         if ((a & 15) != 15) {
  66             GraalDirectives.deoptimizeAndInvalidate();
  67         }
  68         return 0;
  69     }
  70 
  71     @Test
  72     public void test2() {
  73         testConditionalElimination("test2Snippet", "referenceSnippet");
  74     }
  75 
  76     @SuppressWarnings("all")
  77     public static int test3Snippet(int a) {
  78         if ((a & 15) != 15) {
  79             GraalDirectives.deoptimizeAndInvalidate();
  80         }
  81         if ((a & 8) != 8) {
  82             GraalDirectives.deoptimizeAndInvalidate();
  83         }
  84         return 0;
  85     }
  86 
  87     @Test
  88     public void test3() {
  89         // Test forward elimination of bitwise tests
  90         testConditionalElimination("test3Snippet", "referenceSnippet");
  91     }
  92 
  93     @SuppressWarnings("all")
  94     public static int test4Snippet(int a) {
  95         if ((a & 15) != 15) {
  96             GraalDirectives.deoptimizeAndInvalidate();
  97         }
  98         if ((a & 8) == 0) {
  99             GraalDirectives.deoptimizeAndInvalidate();
 100         }
 101         return 0;
 102     }
 103 
 104     @Test
 105     public void test4() {
 106         // Test forward elimination of bitwise tests
 107         testConditionalElimination("test4Snippet", "referenceSnippet");
 108     }
 109 
 110     public static int test5Snippet(int a) {
 111         if ((a & 5) == 5) {
 112             GraalDirectives.deoptimizeAndInvalidate();
 113         }
 114         if ((a & 7) != 0) {
 115             return 0;
 116         }
 117         return 1;
 118     }
 119 
 120     @Test
 121     public void test5() {
 122         // Shouldn't be possible to optimize this
 123         testConditionalElimination("test5Snippet", "test5Snippet");
 124     }
 125 
 126     public static int test6Snippet(int a) {
 127         if ((a & 8) != 0) {
 128             GraalDirectives.deoptimize();
 129         }
 130         if ((a & 15) != 15) {
 131             GraalDirectives.deoptimize();
 132         }
 133         return 0;
 134     }
 135 
 136     public static int reference6Snippet(int a) {
 137         if ((a & 8) != 0) {
 138             GraalDirectives.deoptimize();
 139         }
 140         GraalDirectives.deoptimize();
 141         return 0;
 142     }
 143 
 144     @Test
 145     public void test6() {
 146         testConditionalElimination("test6Snippet", "reference6Snippet");
 147     }
 148 
 149     public static int test7Snippet(int a) {
 150         if ((a & 15) == 15) {
 151             GraalDirectives.deoptimizeAndInvalidate();
 152         }
 153         if ((a & 8) == 8) {
 154             GraalDirectives.deoptimizeAndInvalidate();
 155         }
 156         return a;
 157     }
 158 
 159     public static int reference7Snippet(int a) {
 160         if ((a & 8) == 8) {
 161             GraalDirectives.deoptimizeAndInvalidate();
 162         }
 163         return a;
 164     }
 165 
 166     @Test
 167     public void test7() {
 168         testConditionalElimination("test7Snippet", "reference7Snippet");
 169     }
 170 
 171     public static int test8Snippet(int a) {
 172         if ((a & 16) == 16) {
 173             GraalDirectives.deoptimizeAndInvalidate();
 174         }
 175         if ((a & 8) != 8) {
 176             GraalDirectives.deoptimizeAndInvalidate();
 177         }
 178         if ((a & 44) != 44) {
 179             GraalDirectives.deoptimizeAndInvalidate();
 180         }
 181         return a;
 182     }
 183 
 184     public static int reference8Snippet(int a) {
 185         if ((a & 60) != 44) {
 186             GraalDirectives.deoptimizeAndInvalidate();
 187         }
 188         return a;
 189     }
 190 
 191     @Ignore("requires merging of bit tests")
 192     @Test
 193     public void test8() {
 194         testConditionalElimination("test8Snippet", "reference8Snippet");
 195     }
 196 
 197     public static int test9Snippet(int a) {
 198         if ((a & 16) == 16) {
 199             GraalDirectives.deoptimizeAndInvalidate();
 200         }
 201         if ((a & 8) != 8) {
 202             GraalDirectives.deoptimizeAndInvalidate();
 203         }
 204         if ((a & 44) != 44) {
 205             GraalDirectives.deoptimizeAndInvalidate();
 206         }
 207         if (a != 44) {
 208             GraalDirectives.deoptimizeAndInvalidate();
 209         }
 210         return a;
 211     }
 212 
 213     public static int reference9Snippet(int a) {
 214         if (a != 44) {
 215             GraalDirectives.deoptimizeAndInvalidate();
 216         }
 217         return a;
 218     }
 219 
 220     @Test
 221     public void test9() {
 222         testConditionalElimination("test9Snippet", "reference9Snippet");
 223     }
 224 
 225     static class ByteHolder {
 226         public byte b;
 227 
 228         byte byteValue() {
 229             return b;
 230         }
 231     }
 232 
 233     public static int test10Snippet(ByteHolder b) {
 234         int v = b.byteValue();
 235         long a = v & 0xffffffff;
 236         if (v != 44) {
 237             GraalDirectives.deoptimizeAndInvalidate();
 238         }
 239         if ((a & 16) == 16) {
 240             GraalDirectives.deoptimizeAndInvalidate();
 241         }
 242         if ((a & 8) != 8) {
 243             GraalDirectives.deoptimizeAndInvalidate();
 244         }
 245         if ((a & 44) != 44) {
 246             GraalDirectives.deoptimizeAndInvalidate();
 247         }
 248 
 249         return v;
 250     }
 251 
 252     public static int reference10Snippet(ByteHolder b) {
 253         byte v = b.byteValue();
 254         if (v != 44) {
 255             GraalDirectives.deoptimizeAndInvalidate();
 256         }
 257         return v;
 258     }
 259 
 260     @Test
 261     @Ignore
 262     public void test10() {
 263         testConditionalElimination("test10Snippet", "reference10Snippet");
 264     }
 265 
 266     public static int test11Snippet(ByteHolder b) {
 267         int v = b.byteValue();
 268         long a = v & 0xffffffff;
 269 
 270         if ((a & 16) == 16) {
 271             GraalDirectives.deoptimizeAndInvalidate();
 272         }
 273         if ((a & 8) != 8) {
 274             GraalDirectives.deoptimizeAndInvalidate();
 275         }
 276         if ((a & 44) != 44) {
 277             GraalDirectives.deoptimizeAndInvalidate();
 278         }
 279         if (v != 44) {
 280             GraalDirectives.deoptimizeAndInvalidate();
 281         }
 282         return v;
 283     }
 284 
 285     public static int reference11Snippet(ByteHolder b) {
 286         byte v = b.byteValue();
 287         if (v != 44) {
 288             GraalDirectives.deoptimizeAndInvalidate();
 289         }
 290         return v;
 291     }
 292 
 293     @Test
 294     @Ignore
 295     public void test11() {
 296         testConditionalElimination("test11Snippet", "reference11Snippet");
 297     }
 298 
 299 }