1 /*
   2  * Copyright (c) 2013, 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 /**
  26  * @test
  27  * @bug 6443505
  28  * @summary Some cases for CmpLTMask missed; also wrong code.
  29  *
  30  * @run main/othervm -Xcomp -XX:CompileOnly="Test6443505.compiled" Test6443505
  31  */
  32 
  33 public class Test6443505 {
  34 
  35     public static void main(String[] args) throws InterruptedException {
  36         test(Integer.MIN_VALUE, 0);
  37         test(0, Integer.MIN_VALUE);
  38         test(Integer.MIN_VALUE, -1);
  39         test(-1, Integer.MIN_VALUE);
  40         test(Integer.MIN_VALUE, 1);
  41         test(1, Integer.MIN_VALUE);
  42 
  43         test(Integer.MAX_VALUE, 0);
  44         test(0, Integer.MAX_VALUE);
  45         test(Integer.MAX_VALUE, -1);
  46         test(-1, Integer.MAX_VALUE);
  47         test(Integer.MAX_VALUE, 1);
  48         test(1, Integer.MAX_VALUE);
  49 
  50         test(Integer.MIN_VALUE, Integer.MAX_VALUE);
  51         test(Integer.MAX_VALUE, Integer.MIN_VALUE);
  52 
  53         test(1, -1);
  54         test(1, 0);
  55         test(1, 1);
  56         test(-1, -1);
  57         test(-1, 0);
  58         test(-1, 1);
  59         test(0, -1);
  60         test(0, 0);
  61         test(0, 1);
  62     }
  63 
  64     public static void test(int a, int b) throws InterruptedException {
  65         int C = compiled(4, a, b);
  66         int I = interpreted(4, a, b);
  67         if (C != I) {
  68             System.err.println("#1 C = " + C + ", I = " + I);
  69             System.err.println("#1 C != I, FAIL");
  70             System.exit(97);
  71         }
  72 
  73         C = compiled(a, b, q, 4);
  74         I = interpreted(a, b, q, 4);
  75         if (C != I) {
  76             System.err.println("#2 C = " + C + ", I = " + I);
  77             System.err.println("#2 C != I, FAIL");
  78             System.exit(97);
  79         }
  80 
  81     }
  82 
  83     static int q = 4;
  84 
  85     // If improperly compiled, uses carry/borrow bit, which is wrong.
  86     // with -XX:+PrintOptoAssembly, look for cadd_cmpLTMask
  87     static int compiled(int p, int x, int y) {
  88         return (x < y) ? q + (x - y) : (x - y);
  89     }
  90 
  91     // interpreted reference
  92     static int interpreted(int p, int x, int y) {
  93         return (x < y) ? q + (x - y) : (x - y);
  94     }
  95 
  96     // Test new code with a range of cases
  97     // with -XX:+PrintOptoAssembly, look for and_cmpLTMask
  98     static int compiled(int x, int y, int q, int p) {
  99         return (x < y) ? p + q : q;
 100     }
 101 
 102     // interpreted reference
 103     static int interpreted(int x, int y, int q, int p) {
 104         return (x < y) ? p + q : q;
 105     }
 106 
 107 }