1 /*

     2  * Copyright (c) 2018, 2019, 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  * @test

    26  * @bug 4169183

    27  * @summary Check for correct inlining by the interpreter (widefp and strictfp).

    28  *          The default is widefp.  A strictfp method was getting inlined

    29  *          into a widefp method.

    30  */

    31 

    32 import java.io.PrintStream;

    33 

    34 public class WideStrictInline {

    35     static PrintStream out;

    36     static float halfUlp;

    37 

    38     static {

    39         halfUlp = 1;

    40         for ( int i = 127 - 24; i > 0; i-- )

    41             halfUlp *= 2;

    42     }

    43 

    44     public static void main(String argv[]) throws Exception {

    45         out = System.err;

    46         pr(-1,"halfUlp",halfUlp);

    47         WideStrictInline obj = new WideStrictInline();

    48         for( int i=0; i<48; i++ )

    49             obj.instanceMethod( i );

    50     }

    51 

    52     private static void pr(int i, String desc, float r) {

    53         out.print(" i=("+i+") "+desc+" ; == "+r);

    54         out.println(" , 0x"+Integer.toHexString(Float.floatToIntBits(r)));

    55     }

    56 

    57     private static strictfp float WideStrictInline(float par) {

    58         return par;

    59     }

    60 

    61     public static strictfp float strictValue(int i) {

    62         float r;

    63         switch (i%4) {

    64         case 0: r = -Float.MAX_VALUE;  break;

    65         case 1: r =  Float.MAX_VALUE;  break;

    66         case 2: r =  Float.MIN_VALUE;  break;

    67         default : r = 1L << 24;

    68         }

    69         return r;

    70     }

    71 

    72     void instanceMethod (int i) throws Exception {

    73         float r;

    74         switch (i%4) {

    75         case 0:

    76             if (!Float.isInfinite( WideStrictInline(strictValue(i)*2) +

    77                                    Float.MAX_VALUE ))

    78                 {

    79                     pr(i,

    80                        "WideStrictInline(-Float.MAX_VALUE * 2) " +

    81                        "!= Float.NEGATIVE_INFINITY"

    82                        ,WideStrictInline(strictValue(i)*2) + Float.MAX_VALUE);

    83                 }

    84             r = WideStrictInline(strictValue(i)*2) + Float.MAX_VALUE;

    85             if ( !Float.isInfinite( r ) ) {

    86                 pr(i,"r != Float.NEGATIVE_INFINITY",r);

    87                 throw new RuntimeException();

    88             }

    89             break;

    90         case 1:

    91             if (!Float.isInfinite(WideStrictInline(strictValue(i)+halfUlp) -

    92                                   Float.MAX_VALUE )) {

    93                 pr(i,"WideStrictInline(Float.MAX_VALUE+halfUlp) " +

    94                    "!= Float.POSITIVE_INFINITY"

    95                    ,WideStrictInline(strictValue(i)+halfUlp) - Float.MAX_VALUE);

    96             }

    97             r = WideStrictInline(strictValue(i)+halfUlp) - Float.MAX_VALUE;

    98             if ( !Float.isInfinite( r ) ) {

    99                 pr(i,"r != Float.POSITIVE_INFINITY",r);

   100                 throw new RuntimeException();

   101             }

   102             break;

   103         case 2:

   104             if (WideStrictInline(strictValue(i)/2) != 0) {

   105                 pr(i,"WideStrictInline(Float.MIN_VALUE/2) != 0",

   106                    WideStrictInline(strictValue(i)/2));

   107             }

   108             r = WideStrictInline(strictValue(i)/2);

   109             if ( r != 0 ) {

   110                 pr(i,"r != 0",r);

   111                 throw new RuntimeException();

   112             }

   113             break;

   114         default:

   115             if (WideStrictInline(strictValue(i)-0.5f) - strictValue(i) != 0) {

   116                 pr(i,"WideStrictInline(2^24-0.5) != 2^24",

   117                    WideStrictInline(strictValue(i)-0.5f));

   118             }

   119             r = WideStrictInline(strictValue(i)-0.5f);

   120             if ( r - strictValue(i) != 0 ) {

   121                 pr(i,"r != 2^24",r);

   122                 throw new RuntimeException();

   123             }

   124         }

   125     }

   126 

   127 }