107 lines · plain
1! RUN: bbc -emit-fir -hlfir=false -outline-intrinsics %s -o - | FileCheck %s --check-prefixes=%if system-aix %{"CHECK,CMPLX,CMPLX-PRECISE,AIX-LOG"%} %else %{"CHECK,CMPLX,CMPLX-PRECISE,COMMON-LOG"%}2! RUN: bbc -emit-fir -hlfir=false --math-runtime=precise -outline-intrinsics %s -o - | FileCheck %s --check-prefixes=%if system-aix %{"CMPLX,CMPLX-PRECISE,AIX-LOG"%} %else %{"CMPLX,CMPLX-PRECISE,COMMON-LOG"%}3! RUN: bbc -emit-fir -hlfir=false --force-mlir-complex -outline-intrinsics %s -o - | FileCheck %s --check-prefixes="CMPLX,CMPLX-FAST,CMPLX-MLIR"4! RUN: %flang_fc1 -emit-fir -flang-deprecated-no-hlfir -mllvm -outline-intrinsics %s -o - | FileCheck %s --check-prefixes=%if system-aix %{"CHECK,CMPLX,CMPLX-PRECISE,AIX-LOG"%} %else %{"CHECK,CMPLX,CMPLX-PRECISE,COMMON-LOG"%}5! RUN: %flang_fc1 -emit-fir -flang-deprecated-no-hlfir -mllvm -outline-intrinsics -mllvm --math-runtime=precise %s -o - | FileCheck %s --check-prefixes=%if system-aix %{"CMPLX,CMPLX-PRECISE,AIX-LOG"%} %else %{"CMPLX,CMPLX-PRECISE,COMMON-LOG"%}6! RUN: %flang_fc1 -emit-fir -flang-deprecated-no-hlfir -mllvm -outline-intrinsics -mllvm --force-mlir-complex %s -o - | FileCheck %s --check-prefixes="CMPLX,CMPLX-FAST,CMPLX-MLIR"7! RUN: %flang_fc1 -fapprox-func -emit-fir -flang-deprecated-no-hlfir -mllvm -outline-intrinsics %s -o - | FileCheck %s --check-prefixes="CMPLX,CMPLX-APPROX"8 9! CHECK-LABEL: log_testr10! CHECK-SAME: (%[[AREF:.*]]: !fir.ref<f32> {{.*}}, %[[BREF:.*]]: !fir.ref<f32> {{.*}})11subroutine log_testr(a, b)12 real :: a, b13! CHECK: %[[A:.*]] = fir.load %[[AREF:.*]] : !fir.ref<f32>14! CHECK: %[[RES:.*]] = fir.call @fir.log.contract.f32.f32(%[[A]]) {{.*}}: (f32) -> f3215! CHECK: fir.store %[[RES]] to %[[BREF]] : !fir.ref<f32>16 b = log(a)17end subroutine18 19! CHECK-LABEL: log_testd20! CHECK-SAME: (%[[AREF:.*]]: !fir.ref<f64> {{.*}}, %[[BREF:.*]]: !fir.ref<f64> {{.*}})21subroutine log_testd(a, b)22 real(kind=8) :: a, b23! CHECK: %[[A:.*]] = fir.load %[[AREF:.*]] : !fir.ref<f64>24! CHECK: %[[RES:.*]] = fir.call @fir.log.contract.f64.f64(%[[A]]) {{.*}}: (f64) -> f6425! CHECK: fir.store %[[RES]] to %[[BREF]] : !fir.ref<f64>26 b = log(a)27end subroutine28 29! CHECK-LABEL: log_testc30! CHECK-SAME: (%[[AREF:.*]]: !fir.ref<complex<f32>> {{.*}}, %[[BREF:.*]]: !fir.ref<complex<f32>> {{.*}})31subroutine log_testc(a, b)32 complex :: a, b33! CHECK: %[[A:.*]] = fir.load %[[AREF:.*]] : !fir.ref<complex<f32>>34! CHECK: %[[RES:.*]] = fir.call @fir.log.contract.z32.z32(%[[A]]) {{.*}}: (complex<f32>) -> complex<f32>35! CHECK: fir.store %[[RES]] to %[[BREF]] : !fir.ref<complex<f32>>36 b = log(a)37end subroutine38 39! CHECK-LABEL: log_testcd40! CHECK-SAME: (%[[AREF:.*]]: !fir.ref<complex<f64>> {{.*}}, %[[BREF:.*]]: !fir.ref<complex<f64>> {{.*}})41subroutine log_testcd(a, b)42 complex(kind=8) :: a, b43! CHECK: %[[A:.*]] = fir.load %[[AREF:.*]] : !fir.ref<complex<f64>>44! CHECK: %[[RES:.*]] = fir.call @fir.log.contract.z64.z64(%[[A]]) {{.*}}: (complex<f64>) -> complex<f64>45! CHECK: fir.store %[[RES]] to %[[BREF]] : !fir.ref<complex<f64>>46 b = log(a)47end subroutine48 49! CHECK-LABEL: log10_testr50! CHECK-SAME: (%[[AREF:.*]]: !fir.ref<f32> {{.*}}, %[[BREF:.*]]: !fir.ref<f32> {{.*}})51subroutine log10_testr(a, b)52 real :: a, b53! CHECK: %[[A:.*]] = fir.load %[[AREF:.*]] : !fir.ref<f32>54! CHECK: %[[RES:.*]] = fir.call @fir.log10.contract.f32.f32(%[[A]]) {{.*}}: (f32) -> f3255! CHECK: fir.store %[[RES]] to %[[BREF]] : !fir.ref<f32>56 b = log10(a)57end subroutine58 59! CHECK-LABEL: log10_testd60! CHECK-SAME: (%[[AREF:.*]]: !fir.ref<f64> {{.*}}, %[[BREF:.*]]: !fir.ref<f64> {{.*}})61subroutine log10_testd(a, b)62 real(kind=8) :: a, b63! CHECK: %[[A:.*]] = fir.load %[[AREF:.*]] : !fir.ref<f64>64! CHECK: %[[RES:.*]] = fir.call @fir.log10.contract.f64.f64(%[[A]]) {{.*}}: (f64) -> f6465! CHECK: fir.store %[[RES]] to %[[BREF]] : !fir.ref<f64>66 b = log10(a)67end subroutine68 69! CHECK-LABEL: private @fir.log.contract.f32.f3270! CHECK-SAME: (%[[ARG32_OUTLINE:.*]]: f32) -> f3271! CHECK: %[[RESULT32_OUTLINE:.*]] = math.log %[[ARG32_OUTLINE]] fastmath<contract> : f3272! CHECK: return %[[RESULT32_OUTLINE]] : f3273 74! CHECK-LABEL: private @fir.log.contract.f64.f6475! CHECK-SAME: (%[[ARG64_OUTLINE:.*]]: f64) -> f6476! CHECK: %[[RESULT64_OUTLINE:.*]] = math.log %[[ARG64_OUTLINE]] fastmath<contract> : f6477! CHECK: return %[[RESULT64_OUTLINE]] : f6478 79! CMPLX-APPROX-LABEL: private @fir.log.contract_afn.z32.z3280! CMPLX-PRECISE-LABEL: private @fir.log.contract.z32.z3281! CMPLX-MLIR-LABEL: private @fir.log.contract.z32.z3282! CMPLX-SAME: (%[[C:.*]]: complex<f32>) -> complex<f32>83! CMPLX-FAST: %[[E:.*]] = complex.log %[[C]] fastmath<contract> : complex<f32>84! CMPLX-APPROX: %[[E:.*]] = complex.log %[[C]] fastmath<contract,afn> : complex<f32>85! CMPLX-PRECISE: %[[E:.*]] = fir.call @clogf(%[[C]]) fastmath<contract> : (complex<f32>) -> complex<f32>86! CMPLX: return %[[E]] : complex<f32>87 88! CMPLX-APPROX-LABEL: private @fir.log.contract_afn.z64.z6489! CMPLX-PRECISE-LABEL: private @fir.log.contract.z64.z6490! CMPLX-MLIR-LABEL: private @fir.log.contract.z64.z6491! CMPLX-SAME: (%[[C:.*]]: complex<f64>) -> complex<f64>92! CMPLX-FAST: %[[E:.*]] = complex.log %[[C]] fastmath<contract> : complex<f64>93! CMPLX-APPROX: %[[E:.*]] = complex.log %[[C]] fastmath<contract,afn> : complex<f64>94! COMMON-LOG: %[[E:.*]] = fir.call @clog(%[[C]]) fastmath<contract> : (complex<f64>) -> complex<f64>95! AIX-LOG: %[[E:.*]] = fir.call @__clog(%[[C]]) fastmath<contract> : (complex<f64>) -> complex<f64>96! CMPLX: return %[[E]] : complex<f64>97 98! CHECK-LABEL: private @fir.log10.contract.f32.f3299! CHECK-SAME: (%[[ARG32_OUTLINE:.*]]: f32) -> f32100! CHECK: %[[RESULT32_OUTLINE:.*]] = math.log10 %[[ARG32_OUTLINE]] fastmath<contract> : f32101! CHECK: return %[[RESULT32_OUTLINE]] : f32102 103! CHECK-LABEL: private @fir.log10.contract.f64.f64104! CHECK-SAME: (%[[ARG64_OUTLINE:.*]]: f64) -> f64105! CHECK: %[[RESULT64_OUTLINE:.*]] = math.log10 %[[ARG64_OUTLINE]] fastmath<contract> : f64106! CHECK: return %[[RESULT64_OUTLINE]] : f64107