1 // RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm -o - %s | FileCheck %s
2
3 // precise mode
4 // 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 %s
7
8 // fast mode
9 // RUN: %clang_cc1 -triple x86_64-linux-gnu -ffast-math -ffp-contract=fast \
10 // RUN: -emit-llvm -o - %s | FileCheck --check-prefix=CHECK-FAST %s
11
12 // Reproducer for issue #87758
13 // The testcase below verifies that the "fast" flag are set on the calls.
14
15 float sqrtf(float x); // unary fp builtin
16 float powf(float x, float y); // binary fp builtin
17 float fmaf(float x, float y, float z); // ternary fp builtin
18 char *rindex(const char *s, int c); // not a fp builtin
19
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
fp_precise_off_libm_calls(float a,float b,float c,const char * d,char * e,unsigned char f)40 float 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
fp_precise_on_libm_calls(float a,float b,float c,const char * d,char * e,unsigned char f)69 float 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