1 /*
  2  * Copyright (c) 2019, Red Hat, Inc. 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  * @test
 26  * @bug 8231620
 27  * @summary assert(bol->is_Bool()) crash during split if due to FastLockNode
 28  *
 29  * @run main/othervm -XX:-TieredCompilation -XX:-BackgroundCompilation -XX:-UseOnStackReplacement SplitIfSharedFastLockBehindCastPP
 30  */
 31 
 32 
 33 public class SplitIfSharedFastLockBehindCastPP {
 34     private static boolean field;
 35     private static A obj_field;
 36 
 37     public static void main(String[] args) {
 38         A lock = new A();
 39         obj_field = lock;
 40         for (int i = 0; i < 20_000; i++) {
 41             test1(true, lock);
 42             test1(false, lock);
 43             test2(true);
 44             test2(false);
 45         }
 46     }
 47 
 48     private static void test1(boolean flag, Object obj) {
 49         if (obj == null) {
 50         }
 51 
 52         boolean flag2;
 53         if (flag) {
 54             flag2 = true;
 55         } else {
 56             flag2 = false;
 57             obj = obj_field;
 58         }
 59 
 60         // This loop will be unswitched. The condition becomes candidate for split if
 61         for (int i = 0; i < 100; i++) {
 62             if (flag2) {
 63                 field = true;
 64             } else {
 65                 field = false;
 66             }
 67             synchronized (obj) {
 68                 field = true;
 69             }
 70         }
 71     }
 72 
 73     private static Object test2(boolean flag) {
 74         int integer;
 75         if (flag) {
 76             field = true;
 77             integer = 1;
 78         } else {
 79             field = false;
 80             integer = 2;
 81         }
 82 
 83         Object obj = integer;
 84 
 85         // This loop will be unswitched. The condition becomes candidate for split if
 86         for (int i = 0; i < 100; i++) {
 87             if (integer == 1) {
 88                 field = true;
 89             } else {
 90                 field = false;
 91             }
 92             synchronized (obj) {
 93                 field = true;
 94             }
 95         }
 96         return obj;
 97     }
 98 
 99     private static final class A {
100     }
101 }