xref: /llvm-project/flang/test/Lower/fast-math-arithmetic.f90 (revision e7b6660243d1a4548f7aaac992b777ef0f0ba5b7)
18f3f15c1SSlava Zakharin! RUN: %flang_fc1 -emit-fir -ffp-contract=fast %s -o - 2>&1 | FileCheck --check-prefixes=CONTRACT,ALL %s
24cc9437aSTom Eccles! RUN: %flang_fc1 -emit-fir -menable-no-infs -ffp-contract=off %s -o - 2>&1 | FileCheck --check-prefixes=NINF,ALL %s
34cc9437aSTom Eccles! RUN: %flang_fc1 -emit-fir -menable-no-nans -ffp-contract=off %s -o - 2>&1 | FileCheck --check-prefixes=NNAN,ALL %s
44cc9437aSTom Eccles! RUN: %flang_fc1 -emit-fir -fapprox-func -ffp-contract=off %s -o - 2>&1 | FileCheck --check-prefixes=AFN,ALL %s
54cc9437aSTom Eccles! RUN: %flang_fc1 -emit-fir -fno-signed-zeros -ffp-contract=off %s -o - 2>&1 | FileCheck --check-prefixes=NSZ,ALL %s
64cc9437aSTom Eccles! RUN: %flang_fc1 -emit-fir -mreassociate -ffp-contract=off %s -o - 2>&1 | FileCheck --check-prefixes=REASSOC,ALL %s
74cc9437aSTom Eccles! RUN: %flang_fc1 -emit-fir -freciprocal-math -ffp-contract=off %s -o - 2>&1 | FileCheck --check-prefixes=ARCP,ALL %s
83538ca3fSSlava Zakharin! RUN: %flang_fc1 -emit-fir -ffp-contract=fast -menable-no-infs -menable-no-nans -fapprox-func -fno-signed-zeros -mreassociate -freciprocal-math %s -o - 2>&1 | FileCheck --check-prefixes=FAST,ALL %s
9*e7b66602STom Eccles! RUN: %flang_fc1 -emit-fir -ffast-math %s -o - 2>&1 | FileCheck --check-prefixes=FAST,ALL %s
108f3f15c1SSlava Zakharin
118f3f15c1SSlava Zakharin! ALL-LABEL: func.func @_QPtest
128f3f15c1SSlava Zakharinsubroutine test(x)
138f3f15c1SSlava Zakharin  real x
148f3f15c1SSlava Zakharin! CONTRACT: arith.mulf{{.*}}, {{.*}} fastmath<[[ATTRS:contract]]> : f32
158f3f15c1SSlava Zakharin! NINF: arith.mulf{{.*}}, {{.*}} fastmath<[[ATTRS:ninf]]> : f32
163538ca3fSSlava Zakharin! NNAN: arith.mulf{{.*}}, {{.*}} fastmath<[[ATTRS:nnan]]> : f32
173538ca3fSSlava Zakharin! AFN: arith.mulf{{.*}}, {{.*}} fastmath<[[ATTRS:afn]]> : f32
183538ca3fSSlava Zakharin! NSZ: arith.mulf{{.*}}, {{.*}} fastmath<[[ATTRS:nsz]]> : f32
193538ca3fSSlava Zakharin! REASSOC: arith.mulf{{.*}}, {{.*}} fastmath<[[ATTRS:reassoc]]> : f32
203538ca3fSSlava Zakharin! ARCP: arith.mulf{{.*}}, {{.*}} fastmath<[[ATTRS:arcp]]> : f32
213538ca3fSSlava Zakharin! FAST: arith.mulf{{.*}}, {{.*}} fastmath<[[ATTRS:fast]]> : f32
228f3f15c1SSlava Zakharin! ALL: arith.divf{{.*}}, {{.*}} fastmath<[[ATTRS]]> : f32
238f3f15c1SSlava Zakharin! ALL: arith.addf{{.*}}, {{.*}} fastmath<[[ATTRS]]> : f32
248f3f15c1SSlava Zakharin! ALL: arith.subf{{.*}}, {{.*}} fastmath<[[ATTRS]]> : f32
258f3f15c1SSlava Zakharin  x = x * x + x / x - x
268f3f15c1SSlava Zakharinend subroutine test
27