131 lines · plain
1! RUN: %flang_fc1 -ffast-real-mod -emit-mlir -o - %s | FileCheck %s --check-prefixes=CHECK-FRM%if target=x86_64{{.*}} %{,CHECK-FRM-KIND10%}%if flang-supports-f128-math %{,CHECK-FRM-KIND16%}2! RUN: %flang_fc1 -ffast-real-mod -fno-fast-real-mod -emit-mlir -o - %s | FileCheck %s --check-prefixes=CHECK-NFRM%if target=x86_64{{.*}} %{,CHECK-NFRM-KIND10%}%if flang-supports-f128-math %{,CHECK-NFRM-KIND16%}3! RUN: %flang_fc1 -fno-fast-real-mod -ffast-real-mod -emit-mlir -o - %s | FileCheck %s --check-prefixes=CHECK-FRM%if target=x86_64{{.*}} %{,CHECK-FRM-KIND10%}%if flang-supports-f128-math %{,CHECK-FRM-KIND16%}4! RUN: %flang_fc1 -ffast-math -emit-mlir -o - %s | FileCheck %s --check-prefixes=CHECK-FM%if target=x86_64{{.*}} %{,CHECK-FM-KIND10%}%if flang-supports-f128-math %{,CHECK-FM-KIND16%}5! RUN: %flang_fc1 -ffast-math -fno-fast-real-mod -emit-mlir -o - %s | FileCheck %s --check-prefixes=CHECK-NFRM%if target=x86_64{{.*}} %{,CHECK-NFRM-KIND10%}%if flang-supports-f128-math %{,CHECK-NFRM-KIND16%}6 7! CHECK-FM: module attributes {{{.*}}fir.fast_real_mod = true{{.*}}}8! CHECK-FRM: module attributes {{{.*}}fir.fast_real_mod = true{{.*}}}9 10! CHECK-LABEL: @_QPmod_real411subroutine mod_real4(r, a, p)12 implicit none13 real(kind=4) :: r, a, p14! CHECK-FRM: %[[A:.*]] = fir.declare{{.*}}a"15! CHECK-FRM: %[[P:.*]] = fir.declare{{.*}}p"16! CHECK-FRM: %[[R:.*]] = fir.declare{{.*}}r"17! CHECK-FRM: %[[A_LOAD:.*]] = fir.load %[[A]]18! CHECK-FRM: %[[P_LOAD:.*]] = fir.load %[[P]]19! CHECK-FRM: %[[DIV:.*]] = arith.divf %[[A_LOAD]], %[[P_LOAD]] fastmath<contract> : f3220! CHECK-FRM: %[[CV1:.*]] = fir.convert %[[DIV]] : (f32) -> si3221! CHECK-FRM: %[[CV2:.*]] = fir.convert %[[CV1]] : (si32) -> f3222! CHECK-FRM: %[[MUL:.*]] = arith.mulf %[[CV2]], %[[P_LOAD]] fastmath<contract> : f3223! CHECK-FRM: %[[SUB:.*]] = arith.subf %[[A_LOAD]], %[[MUL]] fastmath<contract> : f3224! CHECK-FRM: fir.store %[[SUB]] to %[[R]] : !fir.ref<f32>25! CHECK-FM: %[[A:.*]] = fir.declare{{.*}}a"26! CHECK-FM: %[[P:.*]] = fir.declare{{.*}}p"27! CHECK-FM: %[[R:.*]] = fir.declare{{.*}}r"28! CHECK-FM: %[[A_LOAD:.*]] = fir.load %[[A]]29! CHECK-FM: %[[P_LOAD:.*]] = fir.load %[[P]]30! CHECK-FM: %[[DIV:.*]] = arith.divf %[[A_LOAD]], %[[P_LOAD]] fastmath<fast> : f3231! CHECK-FM: %[[CV1:.*]] = fir.convert %[[DIV]] : (f32) -> si3232! CHECK-FM: %[[CV2:.*]] = fir.convert %[[CV1]] : (si32) -> f3233! CHECK-FM: %[[MUL:.*]] = arith.mulf %[[CV2]], %[[P_LOAD]] fastmath<fast> : f3234! CHECK-FM: %[[SUB:.*]] = arith.subf %[[A_LOAD]], %[[MUL]] fastmath<fast> : f3235! CHECK-FM: fir.store %[[SUB]] to %[[R]] : !fir.ref<f32>36! CHECK-NFRM: fir.call @_FortranAModReal4(%{{.*}}, %{{.*}}, %{{.*}}, %{{.*}}) {{.*}}: (f32, f32, !fir.ref<i8>, i32) -> f3237 r = mod(a, p)38end subroutine mod_real439 40! CHECK-LABEL: @_QPmod_real841subroutine mod_real8(r, a, p)42 implicit none43 real(kind=8) :: r, a, p44! CHECK-FRM: %[[A:.*]] = fir.declare{{.*}}a"45! CHECK-FRM: %[[P:.*]] = fir.declare{{.*}}p"46! CHECK-FRM: %[[R:.*]] = fir.declare{{.*}}r"47! CHECK-FRM: %[[A_LOAD:.*]] = fir.load %[[A]]48! CHECK-FRM: %[[P_LOAD:.*]] = fir.load %[[P]]49! CHECK-FRM: %[[DIV:.*]] = arith.divf %[[A_LOAD]], %[[P_LOAD]] fastmath<contract> : f6450! CHECK-FRM: %[[CV1:.*]] = fir.convert %[[DIV]] : (f64) -> si6451! CHECK-FRM: %[[CV2:.*]] = fir.convert %[[CV1]] : (si64) -> f6452! CHECK-FRM: %[[MUL:.*]] = arith.mulf %[[CV2]], %[[P_LOAD]] fastmath<contract> : f6453! CHECK-FRM: %[[SUB:.*]] = arith.subf %[[A_LOAD]], %[[MUL]] fastmath<contract> : f6454! CHECK-FRM: fir.store %[[SUB]] to %[[R]] : !fir.ref<f64>55! CHECK-FM: %[[A:.*]] = fir.declare{{.*}}a"56! CHECK-FM: %[[P:.*]] = fir.declare{{.*}}p"57! CHECK-FM: %[[R:.*]] = fir.declare{{.*}}r"58! CHECK-FM: %[[A_LOAD:.*]] = fir.load %[[A]]59! CHECK-FM: %[[P_LOAD:.*]] = fir.load %[[P]]60! CHECK-FM: %[[DIV:.*]] = arith.divf %[[A_LOAD]], %[[P_LOAD]] fastmath<fast> : f6461! CHECK-FM: %[[CV1:.*]] = fir.convert %[[DIV]] : (f64) -> si6462! CHECK-FM: %[[CV2:.*]] = fir.convert %[[CV1]] : (si64) -> f6463! CHECK-FM: %[[MUL:.*]] = arith.mulf %[[CV2]], %[[P_LOAD]] fastmath<fast> : f6464! CHECK-FM: %[[SUB:.*]] = arith.subf %[[A_LOAD]], %[[MUL]] fastmath<fast> : f6465! CHECK-FM: fir.store %[[SUB]] to %[[R]] : !fir.ref<f64>66! CHECK-NFRM: fir.call @_FortranAModReal8(%{{.*}}, %{{.*}}, %{{.*}}, %{{.*}}) {{.*}}: (f64, f64, !fir.ref<i8>, i32) -> f6467 r = mod(a, p)68end subroutine mod_real869 70! CHECK-LABEL: @_QPmod_real1071subroutine mod_real10(r, a, p)72 implicit none73 integer, parameter :: kind10 = merge(10, 4, selected_real_kind(p=18).eq.10)74 real(kind=kind10) :: r, a, p75! CHECK-FRM-KIND10: %[[A:.*]] = fir.declare{{.*}}a"76! CHECK-FRM-KIND10: %[[P:.*]] = fir.declare{{.*}}p"77! CHECK-FRM-KIND10: %[[R:.*]] = fir.declare{{.*}}r"78! CHECK-FRM-KIND10: %[[A_LOAD:.*]] = fir.load %[[A]]79! CHECK-FRM-KIND10: %[[P_LOAD:.*]] = fir.load %[[P]]80! CHECK-FRM-KIND10: %[[DIV:.*]] = arith.divf %[[A_LOAD]], %[[P_LOAD]] fastmath<contract> : f8081! CHECK-FRM-KIND10: %[[CV1:.*]] = fir.convert %[[DIV]] : (f80) -> si8082! CHECK-FRM-KIND10: %[[CV2:.*]] = fir.convert %[[CV1]] : (si80) -> f8083! CHECK-FRM-KIND10: %[[MUL:.*]] = arith.mulf %[[CV2]], %[[P_LOAD]] fastmath<contract> : f8084! CHECK-FRM-KIND10: %[[SUB:.*]] = arith.subf %[[A_LOAD]], %[[MUL]] fastmath<contract> : f8085! CHECK-FRM-KIND10: fir.store %[[SUB]] to %[[R]] : !fir.ref<f80>86! CHECK-FM-KIND10: %[[A:.*]] = fir.declare{{.*}}a"87! CHECK-FM-KIND10: %[[P:.*]] = fir.declare{{.*}}p"88! CHECK-FM-KIND10: %[[R:.*]] = fir.declare{{.*}}r"89! CHECK-FM-KIND10: %[[A_LOAD:.*]] = fir.load %[[A]]90! CHECK-FM-KIND10: %[[P_LOAD:.*]] = fir.load %[[P]]91! CHECK-FM-KIND10: %[[DIV:.*]] = arith.divf %[[A_LOAD]], %[[P_LOAD]] fastmath<fast> : f8092! CHECK-FM-KIND10: %[[CV1:.*]] = fir.convert %[[DIV]] : (f80) -> si8093! CHECK-FM-KIND10: %[[CV2:.*]] = fir.convert %[[CV1]] : (si80) -> f8094! CHECK-FM-KIND10: %[[MUL:.*]] = arith.mulf %[[CV2]], %[[P_LOAD]] fastmath<fast> : f8095! CHECK-FM-KIND10: %[[SUB:.*]] = arith.subf %[[A_LOAD]], %[[MUL]] fastmath<fast> : f8096! CHECK-FM-KIND10: fir.store %[[SUB]] to %[[R]] : !fir.ref<f80>97! CHECK-NFRM-KIND10: fir.call @_FortranAModReal10(%{{.*}}, %{{.*}}, %{{.*}}, %{{.*}}) {{.*}}: (f80, f80, !fir.ref<i8>, i32) -> f8098 r = mod(a, p)99end subroutine mod_real10100 101! CHECK-LABEL: @_QPmod_real16102subroutine mod_real16(r, a, p)103 implicit none104 integer, parameter :: kind16 = merge(16, 4, selected_real_kind(p=33).eq.16)105 real(kind=kind16) :: r, a, p106! CHECK-FRM-KIND16: %[[A:.*]] = fir.declare{{.*}}a"107! CHECK-FRM-KIND16: %[[P:.*]] = fir.declare{{.*}}p"108! CHECK-FRM-KIND16: %[[R:.*]] = fir.declare{{.*}}r"109! CHECK-FRM-KIND16: %[[A_LOAD:.*]] = fir.load %[[A]]110! CHECK-FRM-KIND16: %[[P_LOAD:.*]] = fir.load %[[P]]111! CHECK-FRM-KIND16: %[[DIV:.*]] = arith.divf %[[A_LOAD]], %[[P_LOAD]] fastmath<contract> : f128112! CHECK-FRM-KIND16: %[[CV1:.*]] = fir.convert %[[DIV]] : (f128) -> si128113! CHECK-FRM-KIND16: %[[CV2:.*]] = fir.convert %[[CV1]] : (si128) -> f128114! CHECK-FRM-KIND16: %[[MUL:.*]] = arith.mulf %[[CV2]], %[[P_LOAD]] fastmath<contract> : f128115! CHECK-FRM-KIND16: %[[SUB:.*]] = arith.subf %[[A_LOAD]], %[[MUL]] fastmath<contract> : f128116! CHECK-FRM-KIND16: fir.store %[[SUB]] to %[[R]] : !fir.ref<f128>117! CHECK-FM-KIND16: %[[A:.*]] = fir.declare{{.*}}a"118! CHECK-FM-KIND16: %[[P:.*]] = fir.declare{{.*}}p"119! CHECK-FM-KIND16: %[[R:.*]] = fir.declare{{.*}}r"120! CHECK-FM-KIND16: %[[A_LOAD:.*]] = fir.load %[[A]]121! CHECK-FM-KIND16: %[[P_LOAD:.*]] = fir.load %[[P]]122! CHECK-FM-KIND16: %[[DIV:.*]] = arith.divf %[[A_LOAD]], %[[P_LOAD]] fastmath<fast> : f128123! CHECK-FM-KIND16: %[[CV1:.*]] = fir.convert %[[DIV]] : (f128) -> si128124! CHECK-FM-KIND16: %[[CV2:.*]] = fir.convert %[[CV1]] : (si128) -> f128125! CHECK-FM-KIND16: %[[MUL:.*]] = arith.mulf %[[CV2]], %[[P_LOAD]] fastmath<fast> : f128126! CHECK-FM-KIND16: %[[SUB:.*]] = arith.subf %[[A_LOAD]], %[[MUL]] fastmath<fast> : f128127! CHECK-FM-KIND16: fir.store %[[SUB]] to %[[R]] : !fir.ref<f128>128! CHECK-NFRM-KIND16: fir.call @_FortranAModReal16(%{{.*}}, %{{.*}}, %{{.*}}, %{{.*}}) {{.*}}: (f128, f128, !fir.ref<i8>, i32) -> f128129 r = mod(a, p)130end subroutine mod_real16131