128 lines · c
1// RUN: %clang_cc1 -Wno-implicit-function-declaration -fmath-errno -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-YES %s2// RUN: %clang_cc1 -Wno-implicit-function-declaration -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-NO %s3// RUN: %clang_cc1 -Wno-implicit-function-declaration -funsafe-math-optimizations -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-FAST %s4 5// CHECK-YES-LABEL: define{{.*}} void @test_sqrt6// CHECK-NO-LABEL: define{{.*}} void @test_sqrt7// CHECK-FAST-LABEL: define{{.*}} void @test_sqrt8void test_sqrt(float a0, double a1, long double a2) {9 // CHECK-YES: call float @sqrtf10 // CHECK-NO: call float @llvm.sqrt.f32(float11 // CHECK-FAST: call reassoc nsz arcp afn float @llvm.sqrt.f32(float12 float l0 = sqrtf(a0);13 14 // CHECK-YES: call double @sqrt15 // CHECK-NO: call double @llvm.sqrt.f64(double16 // CHECK-FAST: call reassoc nsz arcp afn double @llvm.sqrt.f64(double17 double l1 = sqrt(a1);18 19 // CHECK-YES: call x86_fp80 @sqrtl20 // CHECK-NO: call x86_fp80 @llvm.sqrt.f80(x86_fp8021 // CHECK-FAST: call reassoc nsz arcp afn x86_fp80 @llvm.sqrt.f80(x86_fp8022 long double l2 = sqrtl(a2);23}24 25// CHECK-YES: declare float @sqrtf(float noundef)26// CHECK-YES: declare double @sqrt(double noundef)27// CHECK-YES: declare x86_fp80 @sqrtl(x86_fp80 noundef)28// CHECK-NO: declare float @llvm.sqrt.f32(float)29// CHECK-NO: declare double @llvm.sqrt.f64(double)30// CHECK-NO: declare x86_fp80 @llvm.sqrt.f80(x86_fp80)31// CHECK-FAST: declare float @llvm.sqrt.f32(float)32// CHECK-FAST: declare double @llvm.sqrt.f64(double)33// CHECK-FAST: declare x86_fp80 @llvm.sqrt.f80(x86_fp80)34 35// CHECK-YES-LABEL: define{{.*}} void @test_pow36// CHECK-NO-LABEL: define{{.*}} void @test_pow37void test_pow(float a0, double a1, long double a2) {38 // CHECK-YES: call float @powf39 // CHECK-NO: call float @llvm.pow.f3240 float l0 = powf(a0, a0);41 42 // CHECK-YES: call double @pow43 // CHECK-NO: call double @llvm.pow.f6444 double l1 = pow(a1, a1);45 46 // CHECK-YES: call x86_fp80 @powl47 // CHECK-NO: call x86_fp80 @llvm.pow.f8048 long double l2 = powl(a2, a2);49}50 51// CHECK-YES: declare float @powf(float noundef, float noundef)52// CHECK-YES: declare double @pow(double noundef, double noundef)53// CHECK-YES: declare x86_fp80 @powl(x86_fp80 noundef, x86_fp80 noundef)54// CHECK-NO: declare float @llvm.pow.f32(float, float) [[NUW_RNI:#[0-9]+]]55// CHECK-NO: declare double @llvm.pow.f64(double, double) [[NUW_RNI]]56// CHECK-NO: declare x86_fp80 @llvm.pow.f80(x86_fp80, x86_fp80) [[NUW_RNI]]57 58// CHECK-YES-LABEL: define{{.*}} void @test_fma59// CHECK-NO-LABEL: define{{.*}} void @test_fma60void test_fma(float a0, double a1, long double a2) {61 // CHECK-YES: call float @fmaf62 // CHECK-NO: call float @llvm.fma.f3263 float l0 = fmaf(a0, a0, a0);64 65 // CHECK-YES: call double @fma66 // CHECK-NO: call double @llvm.fma.f6467 double l1 = fma(a1, a1, a1);68 69 // CHECK-YES: call x86_fp80 @fmal70 // CHECK-NO: call x86_fp80 @llvm.fma.f8071 long double l2 = fmal(a2, a2, a2);72}73 74// CHECK-YES: declare float @fmaf(float noundef, float noundef, float noundef)75// CHECK-YES: declare double @fma(double noundef, double noundef, double noundef)76// CHECK-YES: declare x86_fp80 @fmal(x86_fp80 noundef, x86_fp80 noundef, x86_fp80 noundef)77// CHECK-NO: declare float @llvm.fma.f32(float, float, float) [[NUW_RNI]]78// CHECK-NO: declare double @llvm.fma.f64(double, double, double) [[NUW_RNI]]79// CHECK-NO: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[NUW_RNI]]80 81// Just checking to make sure these library functions are marked readnone82void test_builtins(double d, float f, long double ld) {83// CHECK-NO: @test_builtins84// CHECK-YES: @test_builtins85 double atan_ = atan(d);86 long double atanl_ = atanl(ld);87 float atanf_ = atanf(f);88// CHECK-NO: declare double @llvm.atan.f64(double) [[NUW_RN2:#[0-9]+]]89// CHECK-NO: declare x86_fp80 @llvm.atan.f80(x86_fp80) [[NUW_RN2]]90// CHECK-NO: declare float @llvm.atan.f32(float) [[NUW_RN2]]91// CHECK-YES: declare double @atan(double noundef) [[NUW:#[0-9]+]]92// CHECK-YES: declare x86_fp80 @atanl(x86_fp80 noundef) [[NUW]]93// CHECK-YES: declare float @atanf(float noundef) [[NUW]]94 95 double atan2_ = atan2(d, 2);96 long double atan2l_ = atan2l(ld, ld);97 float atan2f_ = atan2f(f, f);98// CHECK-NO: declare double @llvm.atan2.f64(double, double) [[NUW_RN2]]99// CHECK-NO: declare x86_fp80 @llvm.atan2.f80(x86_fp80, x86_fp80) [[NUW_RN2]]100// CHECK-NO: declare float @llvm.atan2.f32(float, float) [[NUW_RN2]]101// CHECK-YES: declare double @atan2(double noundef, double noundef) [[NUW]]102// CHECK-YES: declare x86_fp80 @atan2l(x86_fp80 noundef, x86_fp80 noundef) [[NUW]]103// CHECK-YES: declare float @atan2f(float noundef, float noundef) [[NUW]]104 105 double exp_ = exp(d);106 long double expl_ = expl(ld);107 float expf_ = expf(f);108// CHECK-NO: declare double @llvm.exp.f64(double) [[NUW_RNI]]109// CHECK-NO: declare x86_fp80 @llvm.exp.f80(x86_fp80) [[NUW_RNI]]110// CHECK-NO: declare float @llvm.exp.f32(float) [[NUW_RNI]]111// CHECK-YES: declare double @exp(double noundef) [[NUW]]112// CHECK-YES: declare x86_fp80 @expl(x86_fp80 noundef) [[NUW]]113// CHECK-YES: declare float @expf(float noundef) [[NUW]]114 115 double log_ = log(d);116 long double logl_ = logl(ld);117 float logf_ = logf(f);118// CHECK-NO: declare double @llvm.log.f64(double) [[NUW_RNI]]119// CHECK-NO: declare x86_fp80 @llvm.log.f80(x86_fp80) [[NUW_RNI]]120// CHECK-NO: declare float @llvm.log.f32(float) [[NUW_RNI]]121// CHECK-YES: declare double @log(double noundef) [[NUW]]122// CHECK-YES: declare x86_fp80 @logl(x86_fp80 noundef) [[NUW]]123// CHECK-YES: declare float @logf(float noundef) [[NUW]]124}125 126// CHECK-YES: attributes [[NUW]] = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-features"="+cx8,+x87" }127// CHECK-NO-DAG: attributes [[NUW_RNI]] = { nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none) }128