77 lines · c
1// RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm -o - %s | FileCheck %s2 3// precise mode4// RUN: %clang_cc1 -triple x86_64-linux-gnu -fmath-errno -ffp-contract=on \5// RUN: -fno-rounding-math -emit-llvm -o - %s | FileCheck \6// RUN: --check-prefix=CHECK-PRECISE %s7 8// fast mode9// RUN: %clang_cc1 -triple x86_64-linux-gnu -ffast-math -ffp-contract=fast \10// RUN: -emit-llvm -o - %s | FileCheck --check-prefix=CHECK-FAST %s11 12// Reproducer for issue #8775813// The testcase below verifies that the "fast" flag are set on the calls.14 15float sqrtf(float x); // unary fp builtin16float powf(float x, float y); // binary fp builtin17float fmaf(float x, float y, float z); // ternary fp builtin18char *rindex(const char *s, int c); // not a fp builtin19 20#pragma float_control(push)21#pragma float_control(precise, off)22// CHECK: define dso_local float @fp_precise_off_libm_calls(23// CHECK: call fast float @llvm.sqrt.f32(24// CHECK: call fast float @llvm.pow.f32(25// CHECK: call fast float @llvm.fma.f32(26// CHECK: call ptr @rindex(27 28// CHECK-PRECISE: define dso_local float @fp_precise_off_libm_calls(29// CHECK-PRECISE: call fast float @sqrtf(30// CHECK-PRECISE: call fast float @powf(31// CHECK-PRECISE: call fast float @llvm.fma.f32(32// CHECK-PRECISE: call ptr @rindex(33 34// CHECK-FAST: define dso_local nofpclass(nan inf) float @fp_precise_off_libm_calls(35// CHECK-FAST: call fast float @llvm.sqrt.f32(36// CHECK-FAST: call fast float @llvm.pow.f32(37// CHECK-FAST: call fast float @llvm.fma.f32(38// CHECK-FAST: call ptr @rindex(39 40float fp_precise_off_libm_calls(float a, float b, float c, const char *d, char *e, unsigned char f) {41 a = sqrtf(a);42 a = powf(a,b);43 a = fmaf(a,b,c);44 e = rindex(d, 75);45 return a;46}47#pragma float_control(pop)48 49#pragma float_control(push)50#pragma float_control(precise, on)51// CHECK: define dso_local float @fp_precise_on_libm_calls(52// CHECK: call float @sqrtf(53// CHECK: call float @powf(54// CHECK: call float @llvm.fma.f32(55// CHECK: call ptr @rindex(56 57// CHECK-PRECISE: define dso_local float @fp_precise_on_libm_calls(58// CHECK-PRECISE: call float @sqrtf(59// CHECK-PRECISE: call float @powf(60// CHECK-PRECISE: call float @llvm.fma.f32(61// CHECK-PRECISE: call ptr @rindex(62 63// CHECK-FAST: define dso_local nofpclass(nan inf) float @fp_precise_on_libm_calls(64// CHECK-FAST: call nofpclass(nan inf) float @sqrtf(65// CHECK-FAST: call nofpclass(nan inf) float @powf(66// CHECK-FAST: call float @llvm.fma.f32(67// CHECK-FAST: call ptr @rindex(68 69float fp_precise_on_libm_calls(float a, float b, float c, const char *d, char *e, unsigned char f) {70 a = sqrtf(a);71 a = powf(a,b);72 a = fmaf(a,b,c);73 e = rindex(d, 75);74 return a;75}76#pragma float_control(pop)77