1 /*
  2  * Copyright (c) 2019, 2024, 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 package compiler.valhalla.inlinetypes;
 25 
 26 import java.util.Random;
 27 import jdk.test.lib.Asserts;
 28 
 29 /**
 30  * @test
 31  * @key randomness
 32  * @bug 8209009
 33  * @summary Test bimorphic inlining with value object receivers.
 34  * @library /testlibrary /test/lib
 35  * @enablePreview
 36  * @run main/othervm -Xbatch -XX:TypeProfileLevel=222
 37  *                   -XX:CompileCommand=compileonly,compiler.valhalla.inlinetypes.TestBimorphicInlining::test*
 38  *                   -XX:CompileCommand=quiet -XX:CompileCommand=print,compiler.valhalla.inlinetypes.TestBimorphicInlining::test*
 39  *                   compiler.valhalla.inlinetypes.TestBimorphicInlining
 40  * @run main/othervm -Xbatch -XX:TypeProfileLevel=222
 41  *                   -XX:+UnlockExperimentalVMOptions -XX:PerMethodTrapLimit=0 -XX:PerMethodSpecTrapLimit=0
 42  *                   -XX:CompileCommand=compileonly,compiler.valhalla.inlinetypes.TestBimorphicInlining::test*
 43  *                   -XX:CompileCommand=quiet -XX:CompileCommand=print,compiler.valhalla.inlinetypes.TestBimorphicInlining::test*
 44  *                   compiler.valhalla.inlinetypes.TestBimorphicInlining
 45  */
 46 
 47 interface MyInterface {
 48     public MyInterface hash(MyInterface arg);
 49 }
 50 
 51 value class TestValue1 implements MyInterface {
 52     int x;
 53 
 54     public TestValue1(int x) {
 55         this.x = x;
 56     }
 57 
 58     public TestValue1 hash(MyInterface arg) {
 59         return new TestValue1(x + ((TestValue1)arg).x);
 60     }
 61 }
 62 
 63 value class TestValue2 implements MyInterface {
 64     int x;
 65 
 66     public TestValue2(int x) {
 67         this.x = x;
 68     }
 69 
 70     public TestValue2 hash(MyInterface arg) {
 71         return new TestValue2(x + ((TestValue2)arg).x);
 72     }
 73 }
 74 
 75 class TestClass implements MyInterface {
 76     int x;
 77 
 78     public TestClass(int x) {
 79         this.x = x;
 80     }
 81 
 82     public MyInterface hash(MyInterface arg) {
 83         return new TestClass(x + ((TestClass)arg).x);
 84     }
 85 }
 86 
 87 public class TestBimorphicInlining {
 88 
 89     public static MyInterface test1(MyInterface i1, MyInterface i2) {
 90         MyInterface result = i1.hash(i2);
 91         i1.hash(i2);
 92         return result;
 93     }
 94 
 95     public static MyInterface test2(MyInterface i1, MyInterface i2) {
 96         MyInterface result = i1.hash(i2);
 97         i1.hash(i2);
 98         return result;
 99     }
100 
101     public static MyInterface test3(MyInterface i1, MyInterface i2) {
102         MyInterface result = i1.hash(i2);
103         i1.hash(i2);
104         return result;
105     }
106 
107     public static MyInterface test4(MyInterface i1, MyInterface i2) {
108         MyInterface result = i1.hash(i2);
109         i1.hash(i2);
110         return result;
111     }
112 
113     static public void main(String[] args) {
114         Random rand = new Random();
115         TestClass  testObject = new TestClass(rand.nextInt());
116         TestValue1 testValue1 = new TestValue1(rand.nextInt());
117         TestValue2 testValue2 = new TestValue2(rand.nextInt());
118 
119         for (int i = 0; i < 10_000; ++i) {
120             // Trigger bimorphic inlining by calling test methods with different arguments
121             MyInterface arg, res;
122             boolean rare = (i % 10 == 0);
123 
124             arg = rare ? testValue1 : testObject;
125             res = test1(arg, arg);
126             Asserts.assertEQ(rare ? ((TestValue1)res).x : ((TestClass)res).x, 2 * (rare ? testValue1.x : testObject.x), "test1 failed");
127 
128             arg = rare ? testObject : testValue1;
129             res = test2(arg, arg);
130             Asserts.assertEQ(rare ? ((TestClass)res).x : ((TestValue1)res).x, 2 * (rare ? testObject.x : testValue1.x), "test2 failed");
131 
132             arg = rare ? testValue1 : testValue2;
133             res = test3(arg, arg);
134             Asserts.assertEQ(rare ? ((TestValue1)res).x : ((TestValue2)res).x, 2 * (rare ? testValue1.x : testValue2.x), "test3 failed");
135 
136             arg = rare ? testValue2 : testValue1;
137             res = test4(arg, arg);
138             Asserts.assertEQ(rare ? ((TestValue2)res).x : ((TestValue1)res).x, 2 * (rare ? testValue2.x : testValue1.x), "test4 failed");
139         }
140     }
141 }