test/hotspot/jtreg/runtime/interpreter/WideStrictInline.java
changeset 54142 6ab293f66cae
parent 48742 364944ba4e2f
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/hotspot/jtreg/runtime/interpreter/WideStrictInline.java	Thu Mar 14 19:37:17 2019 -0700
@@ -0,0 +1,127 @@
+/*
+ * Copyright (c) 2018, 2019, Oracle and/or its affiliates. All rights reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * This code is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License version 2 only, as
+ * published by the Free Software Foundation.
+ *
+ * This code is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+ * version 2 for more details (a copy is included in the LICENSE file that
+ * accompanied this code).
+ *
+ * You should have received a copy of the GNU General Public License version
+ * 2 along with this work; if not, write to the Free Software Foundation,
+ * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+ *
+ * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
+ * or visit www.oracle.com if you need additional information or have any
+ * questions.
+ */
+
+/*
+ * @test
+ * @bug 4169183
+ * @summary Check for correct inlining by the interpreter (widefp and strictfp).
+ *          The default is widefp.  A strictfp method was getting inlined
+ *          into a widefp method.
+ */
+
+import java.io.PrintStream;
+
+public class WideStrictInline {
+    static PrintStream out;
+    static float halfUlp;
+
+    static {
+        halfUlp = 1;
+        for ( int i = 127 - 24; i > 0; i-- )
+            halfUlp *= 2;
+    }
+
+    public static void main(String argv[]) throws Exception {
+        out = System.err;
+        pr(-1,"halfUlp",halfUlp);
+        WideStrictInline obj = new WideStrictInline();
+        for( int i=0; i<48; i++ )
+            obj.instanceMethod( i );
+    }
+
+    private static void pr(int i, String desc, float r) {
+        out.print(" i=("+i+") "+desc+" ; == "+r);
+        out.println(" , 0x"+Integer.toHexString(Float.floatToIntBits(r)));
+    }
+
+    private static strictfp float WideStrictInline(float par) {
+        return par;
+    }
+
+    public static strictfp float strictValue(int i) {
+        float r;
+        switch (i%4) {
+        case 0: r = -Float.MAX_VALUE;  break;
+        case 1: r =  Float.MAX_VALUE;  break;
+        case 2: r =  Float.MIN_VALUE;  break;
+        default : r = 1L << 24;
+        }
+        return r;
+    }
+
+    void instanceMethod (int i) throws Exception {
+        float r;
+        switch (i%4) {
+        case 0:
+            if (!Float.isInfinite( WideStrictInline(strictValue(i)*2) +
+                                   Float.MAX_VALUE ))
+                {
+                    pr(i,
+                       "WideStrictInline(-Float.MAX_VALUE * 2) " +
+                       "!= Float.NEGATIVE_INFINITY"
+                       ,WideStrictInline(strictValue(i)*2) + Float.MAX_VALUE);
+                }
+            r = WideStrictInline(strictValue(i)*2) + Float.MAX_VALUE;
+            if ( !Float.isInfinite( r ) ) {
+                pr(i,"r != Float.NEGATIVE_INFINITY",r);
+                throw new RuntimeException();
+            }
+            break;
+        case 1:
+            if (!Float.isInfinite(WideStrictInline(strictValue(i)+halfUlp) -
+                                  Float.MAX_VALUE )) {
+                pr(i,"WideStrictInline(Float.MAX_VALUE+halfUlp) " +
+                   "!= Float.POSITIVE_INFINITY"
+                   ,WideStrictInline(strictValue(i)+halfUlp) - Float.MAX_VALUE);
+            }
+            r = WideStrictInline(strictValue(i)+halfUlp) - Float.MAX_VALUE;
+            if ( !Float.isInfinite( r ) ) {
+                pr(i,"r != Float.POSITIVE_INFINITY",r);
+                throw new RuntimeException();
+            }
+            break;
+        case 2:
+            if (WideStrictInline(strictValue(i)/2) != 0) {
+                pr(i,"WideStrictInline(Float.MIN_VALUE/2) != 0",
+                   WideStrictInline(strictValue(i)/2));
+            }
+            r = WideStrictInline(strictValue(i)/2);
+            if ( r != 0 ) {
+                pr(i,"r != 0",r);
+                throw new RuntimeException();
+            }
+            break;
+        default:
+            if (WideStrictInline(strictValue(i)-0.5f) - strictValue(i) != 0) {
+                pr(i,"WideStrictInline(2^24-0.5) != 2^24",
+                   WideStrictInline(strictValue(i)-0.5f));
+            }
+            r = WideStrictInline(strictValue(i)-0.5f);
+            if ( r - strictValue(i) != 0 ) {
+                pr(i,"r != 2^24",r);
+                throw new RuntimeException();
+            }
+        }
+    }
+
+}