diff --git a/flang/docs/Extensions.md b/flang/docs/Extensions.md index ffb7e90eff919..1dc0b65271b27 100644 --- a/flang/docs/Extensions.md +++ b/flang/docs/Extensions.md @@ -815,6 +815,14 @@ print *, [(j,j=1,10)] integer overflow never occurs in address calculations and increment of do-variable unless the option `-fwrapv` is enabled. +* Two new ieee_round_type values were added in f18 beyond the four values + defined in f03 and f08: ieee_away and ieee_other. Contemporary hardware + typically does not have support for these rounding modes; + ieee_support_rounding calls for these values return false. + ieee_set_rounding_mode calls that attempt to set the rounding mode to one + of these values in violation of the restriction in f23 clause 17.11.42 set + the mode to ieee_nearest. + ## De Facto Standard Features * `EXTENDS_TYPE_OF()` returns `.TRUE.` if both of its arguments have the diff --git a/flang/lib/Optimizer/Builder/IntrinsicCall.cpp b/flang/lib/Optimizer/Builder/IntrinsicCall.cpp index d98ee58ace2bc..43770877e36a7 100644 --- a/flang/lib/Optimizer/Builder/IntrinsicCall.cpp +++ b/flang/lib/Optimizer/Builder/IntrinsicCall.cpp @@ -5450,13 +5450,33 @@ void IntrinsicLibrary::genIeeeSetRoundingMode( llvm::ArrayRef args) { // Set the current floating point rounding mode to the value of arg // ROUNDING_VALUE. Values are llvm.get.rounding encoding values. - // Generate an error if the value of optional arg RADIX is not 2. + // Modes ieee_to_zero, ieee_nearest, ieee_up, and ieee_down are supported. + // Modes ieee_away and ieee_other are not supported, and are treated as + // ieee_nearest. Generate an error if the optional RADIX arg is not 2. assert(args.size() == 1 || args.size() == 2); if (args.size() == 2) checkRadix(builder, loc, fir::getBase(args[1]), "ieee_set_rounding_mode"); - auto [fieldRef, ignore] = getFieldRef(builder, loc, fir::getBase(args[0])); + auto [fieldRef, fieldTy] = getFieldRef(builder, loc, fir::getBase(args[0])); mlir::func::FuncOp setRound = fir::factory::getLlvmSetRounding(builder); mlir::Value mode = builder.create(loc, fieldRef); + static_assert( + _FORTRAN_RUNTIME_IEEE_TO_ZERO >= 0 && + _FORTRAN_RUNTIME_IEEE_TO_ZERO <= 3 && + _FORTRAN_RUNTIME_IEEE_NEAREST >= 0 && + _FORTRAN_RUNTIME_IEEE_NEAREST <= 3 && _FORTRAN_RUNTIME_IEEE_UP >= 0 && + _FORTRAN_RUNTIME_IEEE_UP <= 3 && _FORTRAN_RUNTIME_IEEE_DOWN >= 0 && + _FORTRAN_RUNTIME_IEEE_DOWN <= 3 && "unexpected rounding mode mapping"); + mlir::Value mask = builder.create( + loc, builder.createAllOnesInteger(loc, fieldTy), + builder.createIntegerConstant(loc, fieldTy, 2)); + mlir::Value modeIsSupported = builder.create( + loc, mlir::arith::CmpIPredicate::eq, + builder.create(loc, mode, mask), + builder.createIntegerConstant(loc, fieldTy, 0)); + mlir::Value nearest = builder.createIntegerConstant( + loc, fieldTy, _FORTRAN_RUNTIME_IEEE_NEAREST); + mode = builder.create(loc, modeIsSupported, mode, + nearest); mode = builder.create( loc, setRound.getFunctionType().getInput(0), mode); builder.create(loc, setRound, mode); diff --git a/flang/test/Lower/Intrinsics/ieee_rint_int.f90 b/flang/test/Lower/Intrinsics/ieee_rint_int.f90 index e4b1a5e26f358..86a4aff5005bc 100644 --- a/flang/test/Lower/Intrinsics/ieee_rint_int.f90 +++ b/flang/test/Lower/Intrinsics/ieee_rint_int.f90 @@ -1,4 +1,4 @@ -! RUN: bbc -emit-fir -o - %s | FileCheck %s +! RUN: bbc -emit-hlfir -o - %s | FileCheck %s ! CHECK-LABEL: c.func @_QQmain program p @@ -7,240 +7,275 @@ program p use ieee_arithmetic, only: ieee_to_zero, ieee_nearest, ieee_up, ieee_away ! CHECK: %[[V_10:[0-9]+]] = fir.alloca i32 {bindc_name = "n", uniq_name = "_QFEn"} - ! CHECK: %[[V_11:[0-9]+]] = fir.declare %[[V_10]] {uniq_name = "_QFEn"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_11:[0-9]+]]:2 = hlfir.declare %[[V_10]] {uniq_name = "_QFEn"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_12:[0-9]+]] = fir.alloca i128 {bindc_name = "n16", uniq_name = "_QFEn16"} - ! CHECK: %[[V_13:[0-9]+]] = fir.declare %[[V_12]] {uniq_name = "_QFEn16"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_13:[0-9]+]]:2 = hlfir.declare %[[V_12]] {uniq_name = "_QFEn16"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_14:[0-9]+]] = fir.alloca i16 {bindc_name = "n2", uniq_name = "_QFEn2"} - ! CHECK: %[[V_15:[0-9]+]] = fir.declare %[[V_14]] {uniq_name = "_QFEn2"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_15:[0-9]+]]:2 = hlfir.declare %[[V_14]] {uniq_name = "_QFEn2"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_16:[0-9]+]] = fir.alloca i64 {bindc_name = "n8", uniq_name = "_QFEn8"} - ! CHECK: %[[V_17:[0-9]+]] = fir.declare %[[V_16]] {uniq_name = "_QFEn8"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_17:[0-9]+]]:2 = hlfir.declare %[[V_16]] {uniq_name = "_QFEn8"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_18:[0-9]+]] = fir.alloca f32 {bindc_name = "x", uniq_name = "_QFEx"} - ! CHECK: %[[V_19:[0-9]+]] = fir.declare %[[V_18]] {uniq_name = "_QFEx"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_19:[0-9]+]]:2 = hlfir.declare %[[V_18]] {uniq_name = "_QFEx"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_20:[0-9]+]] = fir.alloca f16 {bindc_name = "x2", uniq_name = "_QFEx2"} - ! CHECK: %[[V_21:[0-9]+]] = fir.declare %[[V_20]] {uniq_name = "_QFEx2"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_21:[0-9]+]]:2 = hlfir.declare %[[V_20]] {uniq_name = "_QFEx2"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_22:[0-9]+]] = fir.alloca bf16 {bindc_name = "x3", uniq_name = "_QFEx3"} - ! CHECK: %[[V_23:[0-9]+]] = fir.declare %[[V_22]] {uniq_name = "_QFEx3"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_23:[0-9]+]]:2 = hlfir.declare %[[V_22]] {uniq_name = "_QFEx3"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_24:[0-9]+]] = fir.alloca f32 {bindc_name = "x8", uniq_name = "_QFEx8"} - ! CHECK: %[[V_25:[0-9]+]] = fir.declare %[[V_24]] {uniq_name = "_QFEx8"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_25:[0-9]+]]:2 = hlfir.declare %[[V_24]] {uniq_name = "_QFEx8"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_26:[0-9]+]] = fir.alloca f32 {bindc_name = "y", uniq_name = "_QFEy"} - ! CHECK: %[[V_27:[0-9]+]] = fir.declare %[[V_26]] {uniq_name = "_QFEy"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_27:[0-9]+]]:2 = hlfir.declare %[[V_26]] {uniq_name = "_QFEy"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_28:[0-9]+]] = fir.alloca f16 {bindc_name = "y2", uniq_name = "_QFEy2"} - ! CHECK: %[[V_29:[0-9]+]] = fir.declare %[[V_28]] {uniq_name = "_QFEy2"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_29:[0-9]+]]:2 = hlfir.declare %[[V_28]] {uniq_name = "_QFEy2"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_30:[0-9]+]] = fir.alloca bf16 {bindc_name = "y3", uniq_name = "_QFEy3"} - ! CHECK: %[[V_31:[0-9]+]] = fir.declare %[[V_30]] {uniq_name = "_QFEy3"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_31:[0-9]+]]:2 = hlfir.declare %[[V_30]] {uniq_name = "_QFEy3"} : (!fir.ref) -> (!fir.ref, !fir.ref) ! CHECK: %[[V_32:[0-9]+]] = fir.alloca f32 {bindc_name = "y8", uniq_name = "_QFEy8"} - ! CHECK: %[[V_33:[0-9]+]] = fir.declare %[[V_32]] {uniq_name = "_QFEy8"} : (!fir.ref) -> !fir.ref + ! CHECK: %[[V_33:[0-9]+]]:2 = hlfir.declare %[[V_32]] {uniq_name = "_QFEy8"} : (!fir.ref) -> (!fir.ref, !fir.ref) integer(2) n2 integer(8) n8 integer(16) n16 real(2) x2, y2 real(3) x3, y3 - ! CHECK: fir.store %cst{{[_0-9]*}} to %[[V_19]] : !fir.ref + ! CHECK: hlfir.assign %cst{{[_0-9]*}} to %[[V_19]]#0 : f32, !fir.ref x = -200.7 - ! CHECK: %[[V_34:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.0) - ! CHECK: %[[V_35:[0-9]+]] = fir.declare %[[V_34]] {fortran_attrs = #fir.var_attrs, uniq_name = "_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.0"} - ! CHECK: %[[V_36:[0-9]+]] = fir.load %[[V_19]] : !fir.ref + ! CHECK: %[[V_34:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.0) : !fir.ref> + ! CHECK: %[[V_35:[0-9]+]]:2 = hlfir.declare %[[V_34]] + ! CHECK: %[[V_36:[0-9]+]] = fir.load %[[V_19]]#0 : !fir.ref ! CHECK: %[[V_37:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 ! CHECK: %[[V_38:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> - ! CHECK: %[[V_39:[0-9]+]] = fir.coordinate_of %[[V_35]], %[[V_38]] + ! CHECK: %[[V_39:[0-9]+]] = fir.coordinate_of %[[V_35]]#1, %[[V_38]] : (!fir.ref>, !fir.field) -> !fir.ref ! CHECK: %[[V_40:[0-9]+]] = fir.load %[[V_39]] : !fir.ref - ! CHECK: %[[V_41:[0-9]+]] = fir.convert %[[V_40]] : (i8) -> i32 - ! CHECK: fir.call @llvm.set.rounding(%[[V_41]]) fastmath : (i32) -> () - ! CHECK: %[[V_42:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_36]]) fastmath : (f32) -> f32 + ! CHECK: %[[V_41:[0-9]+]] = arith.shli %c-1{{.*}}, %c2{{.*}} : i8 + ! CHECK: %[[V_42:[0-9]+]] = arith.andi %[[V_40]], %[[V_41]] : i8 + ! CHECK: %[[V_43:[0-9]+]] = arith.cmpi eq, %[[V_42]], %c0{{.*}} : i8 + ! CHECK: %[[V_44:[0-9]+]] = arith.select %[[V_43]], %[[V_40]], %c1{{.*}} : i8 + ! CHECK: %[[V_45:[0-9]+]] = fir.convert %[[V_44]] : (i8) -> i32 + ! CHECK: fir.call @llvm.set.rounding(%[[V_45]]) fastmath : (i32) -> () + ! CHECK: %[[V_46:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_36]]) fastmath : (f32) -> f32 + ! CHECK: %[[V_47:[0-9]+]] = fir.convert %[[V_46]] : (f32) -> f32 ! CHECK: fir.call @llvm.set.rounding(%[[V_37]]) fastmath : (i32) -> () - ! CHECK: fir.store %[[V_42]] to %[[V_27]] : !fir.ref + ! CHECK: hlfir.assign %[[V_47]] to %[[V_27]]#0 : f32, !fir.ref y = ieee_rint(x, ieee_nearest) - ! CHECK: %[[V_43:[0-9]+]] = fir.declare %[[V_34]] {fortran_attrs = #fir.var_attrs, uniq_name = "_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.0"} - ! CHECK: %[[V_44:[0-9]+]] = fir.load %[[V_19]] : !fir.ref - ! CHECK: %[[V_45:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 - ! CHECK: %[[V_46:[0-9]+]] = fir.coordinate_of %[[V_43]], %[[V_38]] - ! CHECK: %[[V_47:[0-9]+]] = fir.load %[[V_46]] : !fir.ref - ! CHECK: %[[V_48:[0-9]+]] = fir.convert %[[V_47]] : (i8) -> i32 - ! CHECK: fir.call @llvm.set.rounding(%[[V_48]]) fastmath : (i32) -> () - ! CHECK: %[[V_49:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_44]]) fastmath : (f32) -> f32 - ! CHECK: fir.call @llvm.set.rounding(%[[V_45]]) fastmath : (i32) -> () - ! CHECK: %[[V_50:[0-9]+]] = fir.convert %c-2147483648{{.*}} : (i32) -> f32 - ! CHECK: %[[V_51:[0-9]+]] = arith.negf %[[V_50]] fastmath : f32 - ! CHECK: %[[V_52:[0-9]+]] = arith.cmpf oge, %[[V_49]], %[[V_50]] fastmath : f32 - ! CHECK: %[[V_53:[0-9]+]] = arith.cmpf olt, %[[V_49]], %[[V_51]] fastmath : f32 - ! CHECK: %[[V_54:[0-9]+]] = arith.andi %[[V_52]], %[[V_53]] : i1 - ! CHECK: %[[V_55:[0-9]+]] = fir.if %[[V_54]] -> (i32) { - ! CHECK: %[[V_128:[0-9]+]] = arith.cmpf one, %[[V_44]], %[[V_49]] fastmath : f32 - ! CHECK: fir.if %[[V_128]] { - ! CHECK: %[[V_130:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 - ! CHECK: %[[V_131:[0-9]+]] = fir.call @feraiseexcept(%[[V_130]]) fastmath : (i32) -> i32 + ! CHECK: %[[V_48:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.0) : !fir.ref> + ! CHECK: %[[V_49:[0-9]+]]:2 = hlfir.declare %[[V_48]] + ! CHECK: %[[V_50:[0-9]+]] = fir.load %[[V_19]]#0 : !fir.ref + ! CHECK: %[[V_51:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 + ! CHECK: %[[V_52:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> + ! CHECK: %[[V_53:[0-9]+]] = fir.coordinate_of %[[V_49]]#1, %[[V_52]] : (!fir.ref>, !fir.field) -> !fir.ref + ! CHECK: %[[V_54:[0-9]+]] = fir.load %[[V_53]] : !fir.ref + ! CHECK: %[[V_55:[0-9]+]] = arith.shli %c-1{{.*}}, %c2{{.*}} : i8 + ! CHECK: %[[V_56:[0-9]+]] = arith.andi %[[V_54]], %[[V_55]] : i8 + ! CHECK: %[[V_57:[0-9]+]] = arith.cmpi eq, %[[V_56]], %c0{{.*}} : i8 + ! CHECK: %[[V_58:[0-9]+]] = arith.select %[[V_57]], %[[V_54]], %c1{{.*}} : i8 + ! CHECK: %[[V_59:[0-9]+]] = fir.convert %[[V_58]] : (i8) -> i32 + ! CHECK: fir.call @llvm.set.rounding(%[[V_59]]) fastmath : (i32) -> () + ! CHECK: %[[V_60:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_50]]) fastmath : (f32) -> f32 + ! CHECK: %[[V_61:[0-9]+]] = fir.convert %[[V_60]] : (f32) -> f32 + ! CHECK: fir.call @llvm.set.rounding(%[[V_51]]) fastmath : (i32) -> () + ! CHECK: %[[V_62:[0-9]+]] = fir.convert %c-2147483648{{.*}} : (i32) -> f32 + ! CHECK: %[[V_63:[0-9]+]] = arith.negf %[[V_62]] fastmath : f32 + ! CHECK: %[[V_64:[0-9]+]] = arith.cmpf oge, %[[V_61]], %[[V_62]] fastmath : f32 + ! CHECK: %[[V_65:[0-9]+]] = arith.cmpf olt, %[[V_61]], %[[V_63]] fastmath : f32 + ! CHECK: %[[V_66:[0-9]+]] = arith.andi %[[V_64]], %[[V_65]] : i1 + ! CHECK: %[[V_67:[0-9]+]] = fir.if %[[V_66]] -> (i32) { + ! CHECK: %[[V_163:[0-9]+]] = arith.cmpf one, %[[V_50]], %[[V_61]] fastmath : f32 + ! CHECK: fir.if %[[V_163]] { + ! CHECK: %[[V_165:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 + ! CHECK: %[[V_166:[0-9]+]] = fir.call @feraiseexcept(%[[V_165]]) fastmath : (i32) -> i32 ! CHECK: } - ! CHECK: %[[V_129:[0-9]+]] = fir.convert %[[V_49]] : (f32) -> i32 - ! CHECK: fir.result %[[V_129]] : i32 + ! CHECK: %[[V_164:[0-9]+]] = fir.convert %[[V_61]] : (f32) -> i32 + ! CHECK: fir.result %[[V_164]] : i32 ! CHECK: } else { - ! CHECK: %[[V_128:[0-9]+]] = fir.call @_FortranAMapException(%c1{{.*}}) fastmath : (i32) -> i32 - ! CHECK: %[[V_129:[0-9]+]] = fir.call @feraiseexcept(%[[V_128]]) fastmath : (i32) -> i32 - ! CHECK: %[[V_130:[0-9]+]] = arith.select %[[V_52]], %c2147483647{{.*}}, %c-2147483648{{.*}} : i32 - ! CHECK: fir.result %[[V_130]] : i32 + ! CHECK: %[[V_163:[0-9]+]] = fir.call @_FortranAMapException(%c1{{.*}}) fastmath : (i32) -> i32 + ! CHECK: %[[V_164:[0-9]+]] = fir.call @feraiseexcept(%[[V_163]]) fastmath : (i32) -> i32 + ! CHECK: %[[V_165:[0-9]+]] = arith.select %[[V_64]], %c2147483647{{.*}}, %c-2147483648{{.*}} : i32 + ! CHECK: fir.result %[[V_165]] : i32 ! CHECK: } - ! CHECK: fir.store %[[V_55]] to %[[V_11]] : !fir.ref + ! CHECK: hlfir.assign %[[V_67]] to %[[V_11]]#0 : i32, !fir.ref n = ieee_int(x, ieee_nearest) ! print*, x, ' -> ', y, ' -> ', n - ! CHECK: fir.store %cst{{[_0-9]*}} to %[[V_21]] : !fir.ref + ! CHECK: hlfir.assign %cst{{[_0-9]*}} to %[[V_21]]#0 : f16, !fir.ref x2 = huge(x2) - ! CHECK: %[[V_56:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.1) - ! CHECK: %[[V_57:[0-9]+]] = fir.declare %[[V_56]] {fortran_attrs = #fir.var_attrs, uniq_name = "_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.1"} - ! CHECK: %[[V_58:[0-9]+]] = fir.load %[[V_21]] : !fir.ref - ! CHECK: %[[V_59:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 - ! CHECK: %[[V_60:[0-9]+]] = fir.coordinate_of %[[V_57]], %[[V_38]] - ! CHECK: %[[V_61:[0-9]+]] = fir.load %[[V_60]] : !fir.ref - ! CHECK: %[[V_62:[0-9]+]] = fir.convert %[[V_61]] : (i8) -> i32 - ! CHECK: fir.call @llvm.set.rounding(%[[V_62]]) fastmath : (i32) -> () - ! CHECK: %[[V_63:[0-9]+]] = fir.convert %[[V_58]] : (f16) -> f32 - ! CHECK: %[[V_64:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_63]]) fastmath : (f32) -> f32 - ! CHECK: %[[V_65:[0-9]+]] = fir.convert %[[V_64]] : (f32) -> f16 - ! CHECK: fir.call @llvm.set.rounding(%[[V_59]]) fastmath : (i32) -> () - ! CHECK: fir.store %[[V_65]] to %[[V_29]] : !fir.ref + ! CHECK: %[[V_68:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.1) : !fir.ref> + ! CHECK: %[[V_69:[0-9]+]]:2 = hlfir.declare %[[V_68]] + ! CHECK: %[[V_70:[0-9]+]] = fir.load %[[V_21]]#0 : !fir.ref + ! CHECK: %[[V_71:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 + ! CHECK: %[[V_72:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> + ! CHECK: %[[V_73:[0-9]+]] = fir.coordinate_of %[[V_69]]#1, %[[V_72]] : (!fir.ref>, !fir.field) -> !fir.ref + ! CHECK: %[[V_74:[0-9]+]] = fir.load %[[V_73]] : !fir.ref + ! CHECK: %[[V_75:[0-9]+]] = arith.shli %c-1{{.*}}, %c2{{.*}} : i8 + ! CHECK: %[[V_76:[0-9]+]] = arith.andi %[[V_74]], %[[V_75]] : i8 + ! CHECK: %[[V_77:[0-9]+]] = arith.cmpi eq, %[[V_76]], %c0{{.*}} : i8 + ! CHECK: %[[V_78:[0-9]+]] = arith.select %[[V_77]], %[[V_74]], %c1{{.*}} : i8 + ! CHECK: %[[V_79:[0-9]+]] = fir.convert %[[V_78]] : (i8) -> i32 + ! CHECK: fir.call @llvm.set.rounding(%[[V_79]]) fastmath : (i32) -> () + ! CHECK: %[[V_80:[0-9]+]] = fir.convert %[[V_70]] : (f16) -> f32 + ! CHECK: %[[V_81:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_80]]) fastmath : (f32) -> f32 + ! CHECK: %[[V_82:[0-9]+]] = fir.convert %[[V_81]] : (f32) -> f16 + ! CHECK: fir.call @llvm.set.rounding(%[[V_71]]) fastmath : (i32) -> () + ! CHECK: hlfir.assign %[[V_82]] to %[[V_29]]#0 : f16, !fir.ref y2 = ieee_rint(x2, ieee_up) - ! CHECK: %[[V_66:[0-9]+]] = fir.declare %[[V_56]] {fortran_attrs = #fir.var_attrs, uniq_name = "_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.1"} - ! CHECK: %[[V_67:[0-9]+]] = fir.load %[[V_21]] : !fir.ref - ! CHECK: %[[V_68:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 - ! CHECK: %[[V_69:[0-9]+]] = fir.coordinate_of %[[V_66]], %[[V_38]] - ! CHECK: %[[V_70:[0-9]+]] = fir.load %[[V_69]] : !fir.ref - ! CHECK: %[[V_71:[0-9]+]] = fir.convert %[[V_70]] : (i8) -> i32 - ! CHECK: fir.call @llvm.set.rounding(%[[V_71]]) fastmath : (i32) -> () - ! CHECK: %[[V_72:[0-9]+]] = fir.convert %[[V_67]] : (f16) -> f32 - ! CHECK: %[[V_73:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_72]]) fastmath : (f32) -> f32 - ! CHECK: %[[V_74:[0-9]+]] = fir.convert %[[V_73]] : (f32) -> f16 - ! CHECK: fir.call @llvm.set.rounding(%[[V_68]]) fastmath : (i32) -> () - ! CHECK: %[[V_75:[0-9]+]] = fir.convert %c-9223372036854775808{{.*}} : (i64) -> f16 - ! CHECK: %[[V_76:[0-9]+]] = arith.negf %[[V_75]] fastmath : f16 - ! CHECK: %[[V_77:[0-9]+]] = arith.cmpf oge, %[[V_74]], %[[V_75]] fastmath : f16 - ! CHECK: %[[V_78:[0-9]+]] = arith.cmpf olt, %[[V_74]], %[[V_76]] fastmath : f16 - ! CHECK: %[[V_79:[0-9]+]] = arith.andi %[[V_77]], %[[V_78]] : i1 - ! CHECK: %[[V_80:[0-9]+]] = fir.if %[[V_79]] -> (i64) { - ! CHECK: %[[V_128:[0-9]+]] = arith.cmpf one, %[[V_67]], %[[V_74]] fastmath : f16 - ! CHECK: fir.if %[[V_128]] { - ! CHECK: %[[V_130:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 - ! CHECK: %[[V_131:[0-9]+]] = fir.call @feraiseexcept(%[[V_130]]) fastmath : (i32) -> i32 + ! CHECK: %[[V_83:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.1) : !fir.ref> + ! CHECK: %[[V_84:[0-9]+]]:2 = hlfir.declare %[[V_83]] + ! CHECK: %[[V_85:[0-9]+]] = fir.load %[[V_21]]#0 : !fir.ref + ! CHECK: %[[V_86:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 + ! CHECK: %[[V_87:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> + ! CHECK: %[[V_88:[0-9]+]] = fir.coordinate_of %[[V_84]]#1, %[[V_87]] : (!fir.ref>, !fir.field) -> !fir.ref + ! CHECK: %[[V_89:[0-9]+]] = fir.load %[[V_88]] : !fir.ref + ! CHECK: %[[V_90:[0-9]+]] = arith.shli %c-1{{.*}}, %c2{{.*}} : i8 + ! CHECK: %[[V_91:[0-9]+]] = arith.andi %[[V_89]], %[[V_90]] : i8 + ! CHECK: %[[V_92:[0-9]+]] = arith.cmpi eq, %[[V_91]], %c0{{.*}} : i8 + ! CHECK: %[[V_93:[0-9]+]] = arith.select %[[V_92]], %[[V_89]], %c1{{.*}} : i8 + ! CHECK: %[[V_94:[0-9]+]] = fir.convert %[[V_93]] : (i8) -> i32 + ! CHECK: fir.call @llvm.set.rounding(%[[V_94]]) fastmath : (i32) -> () + ! CHECK: %[[V_95:[0-9]+]] = fir.convert %[[V_85]] : (f16) -> f32 + ! CHECK: %[[V_96:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_95]]) fastmath : (f32) -> f32 + ! CHECK: %[[V_97:[0-9]+]] = fir.convert %[[V_96]] : (f32) -> f16 + ! CHECK: fir.call @llvm.set.rounding(%[[V_86]]) fastmath : (i32) -> () + ! CHECK: %[[V_98:[0-9]+]] = fir.convert %c-9223372036854775808{{.*}} : (i64) -> f16 + ! CHECK: %[[V_99:[0-9]+]] = arith.negf %[[V_98]] fastmath : f16 + ! CHECK: %[[V_100:[0-9]+]] = arith.cmpf oge, %[[V_97]], %[[V_98]] fastmath : f16 + ! CHECK: %[[V_101:[0-9]+]] = arith.cmpf olt, %[[V_97]], %[[V_99]] fastmath : f16 + ! CHECK: %[[V_102:[0-9]+]] = arith.andi %[[V_100]], %[[V_101]] : i1 + ! CHECK: %[[V_103:[0-9]+]] = fir.if %[[V_102]] -> (i64) { + ! CHECK: %[[V_163:[0-9]+]] = arith.cmpf one, %[[V_85]], %[[V_97]] fastmath : f16 + ! CHECK: fir.if %[[V_163]] { + ! CHECK: %[[V_165:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 + ! CHECK: %[[V_166:[0-9]+]] = fir.call @feraiseexcept(%[[V_165]]) fastmath : (i32) -> i32 ! CHECK: } - ! CHECK: %[[V_129:[0-9]+]] = fir.convert %[[V_74]] : (f16) -> i64 - ! CHECK: fir.result %[[V_129]] : i64 + ! CHECK: %[[V_164:[0-9]+]] = fir.convert %[[V_97]] : (f16) -> i64 + ! CHECK: fir.result %[[V_164]] : i64 ! CHECK: } else { - ! CHECK: %[[V_128:[0-9]+]] = fir.call @_FortranAMapException(%c1{{.*}}) fastmath : (i32) -> i32 - ! CHECK: %[[V_129:[0-9]+]] = fir.call @feraiseexcept(%[[V_128]]) fastmath : (i32) -> i32 - ! CHECK: %[[V_130:[0-9]+]] = arith.select %[[V_77]], %c9223372036854775807{{.*}}, %c-9223372036854775808{{.*}} : i64 - ! CHECK: fir.result %[[V_130]] : i64 + ! CHECK: %[[V_163:[0-9]+]] = fir.call @_FortranAMapException(%c1{{.*}}) fastmath : (i32) -> i32 + ! CHECK: %[[V_164:[0-9]+]] = fir.call @feraiseexcept(%[[V_163]]) fastmath : (i32) -> i32 + ! CHECK: %[[V_165:[0-9]+]] = arith.select %[[V_100]], %c9223372036854775807{{.*}}, %c-9223372036854775808{{.*}} : i64 + ! CHECK: fir.result %[[V_165]] : i64 ! CHECK: } - ! CHECK: fir.store %[[V_80]] to %[[V_17]] : !fir.ref + ! CHECK: hlfir.assign %[[V_103]] to %[[V_17]]#0 : i64, !fir.ref n8 = ieee_int(x2, ieee_up, 8) ! print*, x2, ' -> ', y2, ' -> ', n8 - ! CHECK: fir.store %cst{{[_0-9]*}} to %[[V_23]] : !fir.ref + ! CHECK: hlfir.assign %cst{{[_0-9]*}} to %[[V_23]]#0 : bf16, !fir.ref x3 = -0. - ! CHECK: %[[V_81:[0-9]+]] = fir.load %[[V_23]] : !fir.ref - ! CHECK: %[[V_82:[0-9]+]] = fir.convert %[[V_81]] : (bf16) -> f32 - ! CHECK: %[[V_83:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_82]]) fastmath : (f32) -> f32 - ! CHECK: %[[V_84:[0-9]+]] = fir.convert %[[V_83]] : (f32) -> bf16 - ! CHECK: %[[V_85:[0-9]+]] = arith.cmpf one, %[[V_81]], %[[V_84]] fastmath : bf16 - ! CHECK: fir.if %[[V_85]] { - ! CHECK: %[[V_128:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 - ! CHECK: %[[V_129:[0-9]+]] = fir.call @feraiseexcept(%[[V_128]]) fastmath : (i32) -> i32 + ! CHECK: %[[V_104:[0-9]+]] = fir.load %[[V_23]]#0 : !fir.ref + ! CHECK: %[[V_105:[0-9]+]] = fir.convert %[[V_104]] : (bf16) -> f32 + ! CHECK: %[[V_106:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_105]]) fastmath : (f32) -> f32 + ! CHECK: %[[V_107:[0-9]+]] = fir.convert %[[V_106]] : (f32) -> bf16 + ! CHECK: %[[V_108:[0-9]+]] = arith.cmpf one, %[[V_104]], %[[V_107]] fastmath : bf16 + ! CHECK: fir.if %[[V_108]] { + ! CHECK: %[[V_163:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 + ! CHECK: %[[V_164:[0-9]+]] = fir.call @feraiseexcept(%[[V_163]]) fastmath : (i32) -> i32 ! CHECK: } - ! CHECK: fir.store %[[V_84]] to %[[V_31]] : !fir.ref + ! CHECK: hlfir.assign %[[V_107]] to %[[V_31]]#0 : bf16, !fir.ref y3 = ieee_rint(x3) - ! CHECK: %[[V_86:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.2) - ! CHECK: %[[V_87:[0-9]+]] = fir.declare %[[V_86]] {fortran_attrs = #fir.var_attrs, uniq_name = "_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.2"} - ! CHECK: %[[V_88:[0-9]+]] = fir.load %[[V_23]] : !fir.ref - ! CHECK: %[[V_89:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 - ! CHECK: %[[V_90:[0-9]+]] = fir.coordinate_of %[[V_87]], %[[V_38]] - ! CHECK: %[[V_91:[0-9]+]] = fir.load %[[V_90]] : !fir.ref - ! CHECK: %[[V_92:[0-9]+]] = fir.convert %[[V_91]] : (i8) -> i32 - ! CHECK: fir.call @llvm.set.rounding(%[[V_92]]) fastmath : (i32) -> () - ! CHECK: %[[V_93:[0-9]+]] = fir.convert %[[V_88]] : (bf16) -> f32 - ! CHECK: %[[V_94:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_93]]) fastmath : (f32) -> f32 - ! CHECK: %[[V_95:[0-9]+]] = fir.convert %[[V_94]] : (f32) -> bf16 - ! CHECK: fir.call @llvm.set.rounding(%[[V_89]]) fastmath : (i32) -> () - ! CHECK: %[[V_96:[0-9]+]] = fir.convert %c-170141183460469231731687303715884105728{{.*}} : (i128) -> bf16 - ! CHECK: %[[V_97:[0-9]+]] = arith.negf %[[V_96]] fastmath : bf16 - ! CHECK: %[[V_98:[0-9]+]] = arith.cmpf oge, %[[V_95]], %[[V_96]] fastmath : bf16 - ! CHECK: %[[V_99:[0-9]+]] = arith.cmpf olt, %[[V_95]], %[[V_97]] fastmath : bf16 - ! CHECK: %[[V_100:[0-9]+]] = arith.andi %[[V_98]], %[[V_99]] : i1 - ! CHECK: %[[V_101:[0-9]+]] = fir.if %[[V_100]] -> (i128) { - ! CHECK: %[[V_128:[0-9]+]] = arith.cmpf one, %[[V_88]], %[[V_95]] fastmath : bf16 - ! CHECK: fir.if %[[V_128]] { - ! CHECK: %[[V_130:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 - ! CHECK: %[[V_131:[0-9]+]] = fir.call @feraiseexcept(%[[V_130]]) fastmath : (i32) -> i32 + ! CHECK: %[[V_109:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.2) : !fir.ref> + ! CHECK: %[[V_110:[0-9]+]]:2 = hlfir.declare %[[V_109]] + ! CHECK: %[[V_111:[0-9]+]] = fir.load %[[V_23]]#0 : !fir.ref + ! CHECK: %[[V_112:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 + ! CHECK: %[[V_113:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> + ! CHECK: %[[V_114:[0-9]+]] = fir.coordinate_of %[[V_110]]#1, %[[V_113]] : (!fir.ref>, !fir.field) -> !fir.ref + ! CHECK: %[[V_115:[0-9]+]] = fir.load %[[V_114]] : !fir.ref + ! CHECK: %[[V_116:[0-9]+]] = arith.shli %c-1{{.*}}, %c2{{.*}} : i8 + ! CHECK: %[[V_117:[0-9]+]] = arith.andi %[[V_115]], %[[V_116]] : i8 + ! CHECK: %[[V_118:[0-9]+]] = arith.cmpi eq, %[[V_117]], %c0{{.*}} : i8 + ! CHECK: %[[V_119:[0-9]+]] = arith.select %[[V_118]], %[[V_115]], %c1{{.*}} : i8 + ! CHECK: %[[V_120:[0-9]+]] = fir.convert %[[V_119]] : (i8) -> i32 + ! CHECK: fir.call @llvm.set.rounding(%[[V_120]]) fastmath : (i32) -> () + ! CHECK: %[[V_121:[0-9]+]] = fir.convert %[[V_111]] : (bf16) -> f32 + ! CHECK: %[[V_122:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_121]]) fastmath : (f32) -> f32 + ! CHECK: %[[V_123:[0-9]+]] = fir.convert %[[V_122]] : (f32) -> bf16 + ! CHECK: fir.call @llvm.set.rounding(%[[V_112]]) fastmath : (i32) -> () + ! CHECK: %[[V_124:[0-9]+]] = fir.convert %c-170141183460469231731687303715884105728{{.*}} : (i128) -> bf16 + ! CHECK: %[[V_125:[0-9]+]] = arith.negf %[[V_124]] fastmath : bf16 + ! CHECK: %[[V_126:[0-9]+]] = arith.cmpf oge, %[[V_123]], %[[V_124]] fastmath : bf16 + ! CHECK: %[[V_127:[0-9]+]] = arith.cmpf olt, %[[V_123]], %[[V_125]] fastmath : bf16 + ! CHECK: %[[V_128:[0-9]+]] = arith.andi %[[V_126]], %[[V_127]] : i1 + ! CHECK: %[[V_129:[0-9]+]] = fir.if %[[V_128]] -> (i128) { + ! CHECK: %[[V_163:[0-9]+]] = arith.cmpf one, %[[V_111]], %[[V_123]] fastmath : bf16 + ! CHECK: fir.if %[[V_163]] { + ! CHECK: %[[V_165:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 + ! CHECK: %[[V_166:[0-9]+]] = fir.call @feraiseexcept(%[[V_165]]) fastmath : (i32) -> i32 ! CHECK: } - ! CHECK: %[[V_129:[0-9]+]] = fir.convert %[[V_95]] : (bf16) -> i128 - ! CHECK: fir.result %[[V_129]] : i128 + ! CHECK: %[[V_164:[0-9]+]] = fir.convert %[[V_123]] : (bf16) -> i128 + ! CHECK: fir.result %[[V_164]] : i128 ! CHECK: } else { - ! CHECK: %[[V_128:[0-9]+]] = fir.call @_FortranAMapException(%c1{{.*}}) fastmath : (i32) -> i32 - ! CHECK: %[[V_129:[0-9]+]] = fir.call @feraiseexcept(%[[V_128]]) fastmath : (i32) -> i32 - ! CHECK: %[[V_130:[0-9]+]] = arith.select %[[V_98]], %c170141183460469231731687303715884105727{{.*}}, %c-170141183460469231731687303715884105728{{.*}} : i128 - ! CHECK: fir.result %[[V_130]] : i128 + ! CHECK: %[[V_163:[0-9]+]] = fir.call @_FortranAMapException(%c1{{.*}}) fastmath : (i32) -> i32 + ! CHECK: %[[V_164:[0-9]+]] = fir.call @feraiseexcept(%[[V_163]]) fastmath : (i32) -> i32 + ! CHECK: %[[V_165:[0-9]+]] = arith.select %[[V_126]], %c170141183460469231731687303715884105727{{.*}}, %c-170141183460469231731687303715884105728{{.*}} : i128 + ! CHECK: fir.result %[[V_165]] : i128 ! CHECK: } - ! CHECK: fir.store %[[V_101]] to %[[V_13]] : !fir.ref - n16 = ieee_int(x3, ieee_away, 16) + ! CHECK: hlfir.assign %[[V_129]] to %[[V_13]]#0 : i128, !fir.ref + n16 = ieee_int(x3, ieee_away, 16) ! ieee_away is not supported, treated as ieee_nearest ! print*, x3, ' -> ', y3, ' -> ', n16 - ! CHECK: %[[V_102:[0-9]+]] = fir.address_of(@_QQro._QMieee_arithmeticTieee_class_type.3) - ! CHECK: %[[V_103:[0-9]+]] = fir.declare %[[V_102]] {fortran_attrs = #fir.var_attrs, uniq_name = "_QQro._QMieee_arithmeticTieee_class_type.3"} - ! CHECK: %[[V_104:[0-9]+]] = fir.field_index _QMieee_arithmeticTieee_class_type.which, !fir.type<_QMieee_arithmeticTieee_class_type{_QMieee_arithmeticTieee_class_type.which:i8}> - ! CHECK: %[[V_105:[0-9]+]] = fir.coordinate_of %[[V_103]], %[[V_104]] - ! CHECK: %[[V_106:[0-9]+]] = fir.load %[[V_105]] : !fir.ref - ! CHECK: %[[V_107:[0-9]+]] = fir.address_of(@_FortranAIeeeValueTable_4) : !fir.ref> - ! CHECK: %[[V_108:[0-9]+]] = fir.coordinate_of %[[V_107]], %[[V_106]] - ! CHECK: %[[V_109:[0-9]+]] = fir.load %[[V_108]] : !fir.ref - ! CHECK: %[[V_110:[0-9]+]] = arith.bitcast %[[V_109]] : i32 to f32 - ! CHECK: fir.store %[[V_110]] to %[[V_25]] : !fir.ref + ! CHECK: %[[V_130:[0-9]+]] = fir.address_of(@_QQro._QMieee_arithmeticTieee_class_type.3) : !fir.ref> + ! CHECK: %[[V_131:[0-9]+]]:2 = hlfir.declare %[[V_130]] + ! CHECK: %[[V_132:[0-9]+]] = fir.field_index _QMieee_arithmeticTieee_class_type.which, !fir.type<_QMieee_arithmeticTieee_class_type{_QMieee_arithmeticTieee_class_type.which:i8}> + ! CHECK: %[[V_133:[0-9]+]] = fir.coordinate_of %[[V_131]]#1, %[[V_132]] : (!fir.ref>, !fir.field) -> !fir.ref + ! CHECK: %[[V_134:[0-9]+]] = fir.load %[[V_133]] : !fir.ref + ! CHECK: %[[V_135:[0-9]+]] = fir.address_of(@_FortranAIeeeValueTable_4) : !fir.ref> + ! CHECK: %[[V_136:[0-9]+]] = fir.coordinate_of %[[V_135]], %[[V_134]] : (!fir.ref>, i8) -> !fir.ref + ! CHECK: %[[V_137:[0-9]+]] = fir.load %[[V_136]] : !fir.ref + ! CHECK: %[[V_138:[0-9]+]] = arith.bitcast %[[V_137]] : i32 to f32 + ! CHECK: hlfir.assign %[[V_138]] to %[[V_25]]#0 : f32, !fir.ref x8 = ieee_value(x8, ieee_positive_inf) - ! CHECK: %[[V_111:[0-9]+]] = fir.load %[[V_25]] : !fir.ref - ! CHECK: %[[V_112:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_111]]) fastmath : (f32) -> f32 - ! CHECK: %[[V_113:[0-9]+]] = arith.cmpf one, %[[V_111]], %[[V_112]] fastmath : f32 - ! CHECK: fir.if %[[V_113]] { - ! CHECK: %[[V_128:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 - ! CHECK: %[[V_129:[0-9]+]] = fir.call @feraiseexcept(%[[V_128]]) fastmath : (i32) -> i32 + ! CHECK: %[[V_139:[0-9]+]] = fir.load %[[V_25]]#0 : !fir.ref + ! CHECK: %[[V_140:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_139]]) fastmath : (f32) -> f32 + ! CHECK: %[[V_141:[0-9]+]] = fir.convert %[[V_140]] : (f32) -> f32 + ! CHECK: %[[V_142:[0-9]+]] = arith.cmpf one, %[[V_139]], %[[V_141]] fastmath : f32 + ! CHECK: fir.if %[[V_142]] { + ! CHECK: %[[V_163:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 + ! CHECK: %[[V_164:[0-9]+]] = fir.call @feraiseexcept(%[[V_163]]) fastmath : (i32) -> i32 ! CHECK: } - ! CHECK: fir.store %[[V_112]] to %[[V_33]] : !fir.ref + ! CHECK: hlfir.assign %[[V_141]] to %[[V_33]]#0 : f32, !fir.ref y8 = ieee_rint(x8) - ! CHECK: %[[V_114:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.4) - ! CHECK: %[[V_115:[0-9]+]] = fir.declare %[[V_114]] {fortran_attrs = #fir.var_attrs, uniq_name = "_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.4"} - ! CHECK: %[[V_116:[0-9]+]] = fir.load %[[V_25]] : !fir.ref - ! CHECK: %[[V_117:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 - ! CHECK: %[[V_118:[0-9]+]] = fir.coordinate_of %[[V_115]], %[[V_38]] - ! CHECK: %[[V_119:[0-9]+]] = fir.load %[[V_118]] : !fir.ref - ! CHECK: %[[V_120:[0-9]+]] = fir.convert %[[V_119]] : (i8) -> i32 - ! CHECK: fir.call @llvm.set.rounding(%[[V_120]]) fastmath : (i32) -> () - ! CHECK: %[[V_121:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_116]]) fastmath : (f32) -> f32 - ! CHECK: fir.call @llvm.set.rounding(%[[V_117]]) fastmath : (i32) -> () - ! CHECK: %[[V_122:[0-9]+]] = fir.convert %c-32768{{.*}} : (i16) -> f32 - ! CHECK: %[[V_123:[0-9]+]] = arith.negf %[[V_122]] fastmath : f32 - ! CHECK: %[[V_124:[0-9]+]] = arith.cmpf oge, %[[V_121]], %[[V_122]] fastmath : f32 - ! CHECK: %[[V_125:[0-9]+]] = arith.cmpf olt, %[[V_121]], %[[V_123]] fastmath : f32 - ! CHECK: %[[V_126:[0-9]+]] = arith.andi %[[V_124]], %[[V_125]] : i1 - ! CHECK: %[[V_127:[0-9]+]] = fir.if %[[V_126]] -> (i16) { - ! CHECK: %[[V_128:[0-9]+]] = arith.cmpf one, %[[V_116]], %[[V_121]] fastmath : f32 - ! CHECK: fir.if %[[V_128]] { - ! CHECK: %[[V_130:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 - ! CHECK: %[[V_131:[0-9]+]] = fir.call @feraiseexcept(%[[V_130]]) fastmath : (i32) -> i32 + ! CHECK: %[[V_143:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.4) : !fir.ref> + ! CHECK: %[[V_144:[0-9]+]]:2 = hlfir.declare %[[V_143]] + ! CHECK: %[[V_145:[0-9]+]] = fir.load %[[V_25]]#0 : !fir.ref + ! CHECK: %[[V_146:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 + ! CHECK: %[[V_147:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> + ! CHECK: %[[V_148:[0-9]+]] = fir.coordinate_of %[[V_144]]#1, %[[V_147]] : (!fir.ref>, !fir.field) -> !fir.ref + ! CHECK: %[[V_149:[0-9]+]] = fir.load %[[V_148]] : !fir.ref + ! CHECK: %[[V_150:[0-9]+]] = arith.shli %c-1{{.*}}, %c2{{.*}} : i8 + ! CHECK: %[[V_151:[0-9]+]] = arith.andi %[[V_149]], %[[V_150]] : i8 + ! CHECK: %[[V_152:[0-9]+]] = arith.cmpi eq, %[[V_151]], %c0{{.*}} : i8 + ! CHECK: %[[V_153:[0-9]+]] = arith.select %[[V_152]], %[[V_149]], %c1{{.*}} : i8 + ! CHECK: %[[V_154:[0-9]+]] = fir.convert %[[V_153]] : (i8) -> i32 + ! CHECK: fir.call @llvm.set.rounding(%[[V_154]]) fastmath : (i32) -> () + ! CHECK: %[[V_155:[0-9]+]] = fir.call @llvm.nearbyint.f32(%[[V_145]]) fastmath : (f32) -> f32 + ! CHECK: %[[V_156:[0-9]+]] = fir.convert %[[V_155]] : (f32) -> f32 + ! CHECK: fir.call @llvm.set.rounding(%[[V_146]]) fastmath : (i32) -> () + ! CHECK: %[[V_157:[0-9]+]] = fir.convert %c-32768{{.*}} : (i16) -> f32 + ! CHECK: %[[V_158:[0-9]+]] = arith.negf %[[V_157]] fastmath : f32 + ! CHECK: %[[V_159:[0-9]+]] = arith.cmpf oge, %[[V_156]], %[[V_157]] fastmath : f32 + ! CHECK: %[[V_160:[0-9]+]] = arith.cmpf olt, %[[V_156]], %[[V_158]] fastmath : f32 + ! CHECK: %[[V_161:[0-9]+]] = arith.andi %[[V_159]], %[[V_160]] : i1 + ! CHECK: %[[V_162:[0-9]+]] = fir.if %[[V_161]] -> (i16) { + ! CHECK: %[[V_163:[0-9]+]] = arith.cmpf one, %[[V_145]], %[[V_156]] fastmath : f32 + ! CHECK: fir.if %[[V_163]] { + ! CHECK: %[[V_165:[0-9]+]] = fir.call @_FortranAMapException(%c32{{.*}}) fastmath : (i32) -> i32 + ! CHECK: %[[V_166:[0-9]+]] = fir.call @feraiseexcept(%[[V_165]]) fastmath : (i32) -> i32 ! CHECK: } - ! CHECK: %[[V_129:[0-9]+]] = fir.convert %[[V_121]] : (f32) -> i16 - ! CHECK: fir.result %[[V_129]] : i16 + ! CHECK: %[[V_164:[0-9]+]] = fir.convert %[[V_156]] : (f32) -> i16 + ! CHECK: fir.result %[[V_164]] : i16 ! CHECK: } else { - ! CHECK: %[[V_128:[0-9]+]] = fir.call @_FortranAMapException(%c1{{.*}}) fastmath : (i32) -> i32 - ! CHECK: %[[V_129:[0-9]+]] = fir.call @feraiseexcept(%[[V_128]]) fastmath : (i32) -> i32 - ! CHECK: %[[V_130:[0-9]+]] = arith.select %[[V_124]], %c32767{{.*}}, %c-32768{{.*}} : i16 - ! CHECK: fir.result %[[V_130]] : i16 + ! CHECK: %[[V_163:[0-9]+]] = fir.call @_FortranAMapException(%c1{{.*}}) fastmath : (i32) -> i32 + ! CHECK: %[[V_164:[0-9]+]] = fir.call @feraiseexcept(%[[V_163]]) fastmath : (i32) -> i32 + ! CHECK: %[[V_165:[0-9]+]] = arith.select %[[V_159]], %c32767{{.*}}, %c-32768{{.*}} : i16 + ! CHECK: fir.result %[[V_165]] : i16 ! CHECK: } - ! CHECK: fir.store %[[V_127]] to %[[V_15]] : !fir.ref + ! CHECK: hlfir.assign %[[V_162]] to %[[V_15]]#0 : i16, !fir.ref n2 = ieee_int(x8, ieee_to_zero, 2) ! print*, x8, ' -> ', y8, ' -> ', n2 diff --git a/flang/test/Lower/Intrinsics/ieee_rounding.f90 b/flang/test/Lower/Intrinsics/ieee_rounding.f90 index be99ffba60002..211e8c8178787 100644 --- a/flang/test/Lower/Intrinsics/ieee_rounding.f90 +++ b/flang/test/Lower/Intrinsics/ieee_rounding.f90 @@ -1,37 +1,44 @@ -! RUN: bbc -emit-fir -hlfir=false -o - %s | FileCheck %s +! RUN: bbc -emit-hlfir -o - %s | FileCheck %s -! CHECK-LABEL: c.func @_QQmain +! CHECK-LABEL: func.func @_QQmain program r use ieee_arithmetic - ! CHECK-DAG: %[[V_0:[0-9]+]] = fir.alloca !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> - ! CHECK-DAG: %[[V_2:[0-9]+]] = fir.alloca !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> {bindc_name = "round_value", uniq_name = "_QFEround_value"} + ! CHECK: %[[V_56:[0-9]+]] = fir.alloca !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> {bindc_name = "round_value", uniq_name = "_QFEround_value"} + ! CHECK: %[[V_57:[0-9]+]]:2 = hlfir.declare %[[V_56]] {uniq_name = "_QFEround_value"} type(ieee_round_type) :: round_value - ! CHECK: fir.if %true { + ! CHECK: fir.if %true{{[_0-9]*}} { if (ieee_support_rounding(ieee_down)) then - ! CHECK: %[[V_23:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> - ! CHECK: %[[V_24:[0-9]+]] = fir.coordinate_of %[[V_2]], %[[V_23]] : (!fir.ref>, !fir.field) -> !fir.ref - ! CHECK: %[[V_25:[0-9]+]] = fir.call @llvm.get.rounding() {{.*}} : () -> i32 - ! CHECK: %[[V_26:[0-9]+]] = fir.convert %[[V_25]] : (i32) -> i8 - ! CHECK: fir.store %[[V_26]] to %[[V_24]] : !fir.ref + ! CHECK: %[[V_62:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> + ! CHECK: %[[V_63:[0-9]+]] = fir.coordinate_of %[[V_57]]#1, %[[V_62]] : (!fir.ref>, !fir.field) -> !fir.ref + ! CHECK: %[[V_64:[0-9]+]] = fir.call @llvm.get.rounding() fastmath : () -> i32 + ! CHECK: %[[V_65:[0-9]+]] = fir.convert %[[V_64]] : (i32) -> i8 + ! CHECK: fir.store %[[V_65]] to %[[V_63]] : !fir.ref call ieee_get_rounding_mode(round_value) - ! CHECK: %[[V_32:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> - ! CHECK: %[[V_33:[0-9]+]] = fir.coordinate_of %[[V_0]], %[[V_32]] : (!fir.ref>, !fir.field) -> !fir.ref - ! CHECK: fir.store %c3{{.*}} to %[[V_33]] : !fir.ref - ! CHECK: %[[V_34:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> - ! CHECK: %[[V_35:[0-9]+]] = fir.coordinate_of %[[V_0]], %[[V_34]] : (!fir.ref>, !fir.field) -> !fir.ref - ! CHECK: %[[V_36:[0-9]+]] = fir.load %[[V_35]] : !fir.ref - ! CHECK: %[[V_37:[0-9]+]] = fir.convert %[[V_36]] : (i8) -> i32 - ! CHECK: fir.call @llvm.set.rounding(%[[V_37]]) {{.*}} : (i32) -> () + ! CHECK: %[[V_66:[0-9]+]] = fir.address_of(@_QQro._QM__fortran_builtinsT__builtin_ieee_round_type.0) : !fir.ref> + ! CHECK: %[[V_67:[0-9]+]]:2 = hlfir.declare %[[V_66]] + ! CHECK: %[[V_68:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> + ! CHECK: %[[V_69:[0-9]+]] = fir.coordinate_of %[[V_67]]#1, %[[V_68]] : (!fir.ref>, !fir.field) -> !fir.ref + ! CHECK: %[[V_70:[0-9]+]] = fir.load %[[V_69]] : !fir.ref + ! CHECK: %[[V_71:[0-9]+]] = arith.shli %c-1{{.*}}, %c2{{.*}} : i8 + ! CHECK: %[[V_72:[0-9]+]] = arith.andi %[[V_70]], %[[V_71]] : i8 + ! CHECK: %[[V_73:[0-9]+]] = arith.cmpi eq, %[[V_72]], %c0{{.*}} : i8 + ! CHECK: %[[V_74:[0-9]+]] = arith.select %[[V_73]], %[[V_70]], %c1{{.*}} : i8 + ! CHECK: %[[V_75:[0-9]+]] = fir.convert %[[V_74]] : (i8) -> i32 + ! CHECK: fir.call @llvm.set.rounding(%[[V_75]]) fastmath : (i32) -> () call ieee_set_rounding_mode(ieee_down) print*, 'ok' - ! CHECK: %[[V_46:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> - ! CHECK: %[[V_47:[0-9]+]] = fir.coordinate_of %[[V_2]], %[[V_46]] : (!fir.ref>, !fir.field) -> !fir.ref - ! CHECK: %[[V_48:[0-9]+]] = fir.load %[[V_47]] : !fir.ref - ! CHECK: %[[V_49:[0-9]+]] = fir.convert %[[V_48]] : (i8) -> i32 - ! CHECK: fir.call @llvm.set.rounding(%[[V_49]]) {{.*}} : (i32) -> () + ! CHECK: %[[V_85:[0-9]+]] = fir.field_index _QM__fortran_builtinsT__builtin_ieee_round_type.mode, !fir.type<_QM__fortran_builtinsT__builtin_ieee_round_type{_QM__fortran_builtinsT__builtin_ieee_round_type.mode:i8}> + ! CHECK: %[[V_86:[0-9]+]] = fir.coordinate_of %[[V_57]]#1, %[[V_85]] : (!fir.ref>, !fir.field) -> !fir.ref + ! CHECK: %[[V_87:[0-9]+]] = fir.load %[[V_86]] : !fir.ref + ! CHECK: %[[V_88:[0-9]+]] = arith.shli %c-1{{.*}}, %c2{{.*}} : i8 + ! CHECK: %[[V_89:[0-9]+]] = arith.andi %[[V_87]], %[[V_88]] : i8 + ! CHECK: %[[V_90:[0-9]+]] = arith.cmpi eq, %[[V_89]], %c0{{.*}} : i8 + ! CHECK: %[[V_91:[0-9]+]] = arith.select %[[V_90]], %[[V_87]], %c1{{.*}} : i8 + ! CHECK: %[[V_92:[0-9]+]] = fir.convert %[[V_91]] : (i8) -> i32 + ! CHECK: fir.call @llvm.set.rounding(%[[V_92]]) fastmath : (i32) -> () call ieee_set_rounding_mode(round_value) endif end