cb015b9ec9
This is a fix for the issue #87758 where fast-math flags are not propagated all builtins. It seems like pragmas with fast math flags was only propagated to calls of unary floating point builtins. This patch propagate them also for binary and ternary floating point builtins.
67 lines
2.3 KiB
C
67 lines
2.3 KiB
C
// -O2
|
|
// RUN: %clang_cc1 -Wno-implicit-function-declaration \
|
|
// RUN: -triple x86_64-unknown-unknown -fmath-errno -ffp-contract=on \
|
|
// RUN: -fno-rounding-math -O2 -emit-llvm -o - %s \
|
|
// RUN: | FileCheck %s
|
|
|
|
// -ffast-math
|
|
// RUN: %clang_cc1 -Wno-implicit-function-declaration \
|
|
// RUN: -triple x86_64-unknown-unknown -menable-no-infs -menable-no-nans \
|
|
// RUN: -fapprox-func -funsafe-math-optimizations -fno-signed-zeros -mreassociate \
|
|
// RUN: -freciprocal-math -ffp-contract=fast -fno-rounding-math -ffast-math \
|
|
// RUN: -ffinite-math-only -ffast-math -emit-llvm -o - %s \
|
|
// RUN: | FileCheck %s -check-prefix=FAST
|
|
|
|
// -O0
|
|
// RUN: %clang_cc1 -Wno-implicit-function-declaration \
|
|
// RUN: -triple x86_64-unknown-unknown -fmath-errno -ffp-contract=on \
|
|
// RUN: -fno-rounding-math -O0 \
|
|
// RUN: -emit-llvm -o - %s | FileCheck %s -check-prefix=NOOPT
|
|
|
|
#pragma float_control(precise,on)
|
|
float f1(float x) {
|
|
return sqrtf(x);
|
|
}
|
|
|
|
// CHECK-LABEL: define {{.*}} float @f1
|
|
// CHECK: tail call float @sqrtf(float noundef {{.*}}) #[[ATTR4_O2:[0-9]+]]
|
|
|
|
// FAST-LABEL: define {{.*}} nofpclass(nan inf) float @f1
|
|
// FAST: call nofpclass(nan inf) float @sqrtf(float noundef nofpclass(nan inf) {{.*}}) #[[ATTR3_FAST:[0-9]+]]
|
|
|
|
// NOOPT-LABEL: define {{.*}} float @f1
|
|
// NOOPT: call float @sqrtf(float noundef {{.*}}) #[[ATTR4_NOOPT:[0-9]+]]
|
|
|
|
#pragma float_control(precise,off)
|
|
float f2(float x) {
|
|
return sqrtf(x);
|
|
}
|
|
|
|
// CHECK-LABEL: define {{.*}} float @f2
|
|
// CHECK: tail call fast float @llvm.sqrt.f32(float {{.*}})
|
|
|
|
// FAST-LABEL: define {{.*}} nofpclass(nan inf) float @f2
|
|
// FAST: call fast float @llvm.sqrt.f32(float {{.*}})
|
|
|
|
// NOOPT-LABEL: define {{.*}} float @f2
|
|
// NOOPT: call fast float @sqrtf(float {{.*}}) #[[ATTR4_NOOPT:[0-9]+]]
|
|
|
|
__attribute__((optnone))
|
|
float f3(float x) {
|
|
x = sqrtf(x);
|
|
return x;
|
|
}
|
|
|
|
// CHECK-LABEL: define {{.*}} float @f3
|
|
// CHECK: call float @sqrtf(float noundef {{.*}})
|
|
|
|
// FAST-LABEL: define {{.*}} nofpclass(nan inf) float @f3
|
|
// FAST: call nofpclass(nan inf) float @sqrtf(float noundef nofpclass(nan inf) {{.*}}) #[[ATTR4_FAST:[0-9]+]]
|
|
|
|
// NOOPT-LABEL: define {{.*}} float @f3
|
|
// NOOPT: call float @sqrtf(float noundef %0) #[[ATTR4_NOOPT:[0-9]+]]
|
|
|
|
// CHECK: [[ATTR4_O2]] = { nounwind }
|
|
// FAST: [[ATTR3_FAST]] = { nounwind willreturn memory(none) }
|
|
// NOOPT: [[ATTR4_NOOPT]] = { nounwind }
|