1 // RUN: %clang_cc1 -fmath-errno -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix YES %s 2 // RUN: %clang_cc1 -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix NO %s 3 4 // CHECK-YES: define void @test_sqrt 5 // CHECK-NO: define void @test_sqrt 6 void test_sqrt(float a0, double a1, long double a2) { 7 // Following llvm-gcc's lead, we never emit these as intrinsics; 8 // no-math-errno isn't good enough. We could probably use intrinsics 9 // with appropriate guards if it proves worthwhile. 10 11 // CHECK-YES: call float @sqrtf 12 // CHECK-NO: call float @sqrtf 13 float l0 = sqrtf(a0); 14 15 // CHECK-YES: call double @sqrt 16 // CHECK-NO: call double @sqrt 17 double l1 = sqrt(a1); 18 19 // CHECK-YES: call x86_fp80 @sqrtl 20 // CHECK-NO: call x86_fp80 @sqrtl 21 long double l2 = sqrtl(a2); 22 } 23 24 // CHECK-YES: declare float @sqrtf(float) 25 // CHECK-YES: declare double @sqrt(double) 26 // CHECK-YES: declare x86_fp80 @sqrtl(x86_fp80) 27 // CHECK-NO: declare float @sqrtf(float) [[NUW_RN:#[0-9]+]] 28 // CHECK-NO: declare double @sqrt(double) [[NUW_RN]] 29 // CHECK-NO: declare x86_fp80 @sqrtl(x86_fp80) [[NUW_RN]] 30 31 // CHECK-YES: define void @test_pow 32 // CHECK-NO: define void @test_pow 33 void test_pow(float a0, double a1, long double a2) { 34 // CHECK-YES: call float @powf 35 // CHECK-NO: call float @llvm.pow.f32 36 float l0 = powf(a0, a0); 37 38 // CHECK-YES: call double @pow 39 // CHECK-NO: call double @llvm.pow.f64 40 double l1 = pow(a1, a1); 41 42 // CHECK-YES: call x86_fp80 @powl 43 // CHECK-NO: call x86_fp80 @llvm.pow.f80 44 long double l2 = powl(a2, a2); 45 } 46 47 // CHECK-YES: declare float @powf(float, float) 48 // CHECK-YES: declare double @pow(double, double) 49 // CHECK-YES: declare x86_fp80 @powl(x86_fp80, x86_fp80) 50 // CHECK-NO: declare float @llvm.pow.f32(float, float) [[NUW_RO:#[0-9]+]] 51 // CHECK-NO: declare double @llvm.pow.f64(double, double) [[NUW_RO]] 52 // CHECK-NO: declare x86_fp80 @llvm.pow.f80(x86_fp80, x86_fp80) [[NUW_RO]] 53 54 // CHECK-YES: define void @test_fma 55 // CHECK-NO: define void @test_fma 56 void test_fma(float a0, double a1, long double a2) { 57 // CHECK-YES: call float @llvm.fma.f32 58 // CHECK-NO: call float @llvm.fma.f32 59 float l0 = fmaf(a0, a0, a0); 60 61 // CHECK-YES: call double @llvm.fma.f64 62 // CHECK-NO: call double @llvm.fma.f64 63 double l1 = fma(a1, a1, a1); 64 65 // CHECK-YES: call x86_fp80 @llvm.fma.f80 66 // CHECK-NO: call x86_fp80 @llvm.fma.f80 67 long double l2 = fmal(a2, a2, a2); 68 } 69 70 // CHECK-YES: declare float @llvm.fma.f32(float, float, float) [[NUW_RN:#[0-9]+]] 71 // CHECK-YES: declare double @llvm.fma.f64(double, double, double) [[NUW_RN]] 72 // CHECK-YES: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[NUW_RN]] 73 // CHECK-NO: declare float @llvm.fma.f32(float, float, float) [[NUW_RN2:#[0-9]+]] 74 // CHECK-NO: declare double @llvm.fma.f64(double, double, double) [[NUW_RN2]] 75 // CHECK-NO: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[NUW_RN2]] 76 77 // Just checking to make sure these library functions are marked readnone 78 void test_builtins(double d, float f, long double ld) { 79 // CHEC-NO: @test_builtins 80 // CHEC-YES: @test_builtins 81 double atan_ = atan(d); 82 long double atanl_ = atanl(ld); 83 float atanf_ = atanf(f); 84 // CHECK-NO: declare double @atan(double) [[NUW_RN]] 85 // CHECK-NO: declare x86_fp80 @atanl(x86_fp80) [[NUW_RN]] 86 // CHECK-NO: declare float @atanf(float) [[NUW_RN]] 87 // CHECK-YES-NOT: declare double @atan(double) [[NUW_RN]] 88 // CHECK-YES-NOT: declare x86_fp80 @atanl(x86_fp80) [[NUW_RN]] 89 // CHECK-YES-NOT: declare float @atanf(float) [[NUW_RN]] 90 91 double atan2_ = atan2(d, 2); 92 long double atan2l_ = atan2l(ld, ld); 93 float atan2f_ = atan2f(f, f); 94 // CHECK-NO: declare double @atan2(double, double) [[NUW_RN]] 95 // CHECK-NO: declare x86_fp80 @atan2l(x86_fp80, x86_fp80) [[NUW_RN]] 96 // CHECK-NO: declare float @atan2f(float, float) [[NUW_RN]] 97 // CHECK-YES-NOT: declare double @atan2(double, double) [[NUW_RN]] 98 // CHECK-YES-NOT: declare x86_fp80 @atan2l(x86_fp80, x86_fp80) [[NUW_RN]] 99 // CHECK-YES-NOT: declare float @atan2f(float, float) [[NUW_RN]] 100 101 double exp_ = exp(d); 102 long double expl_ = expl(ld); 103 float expf_ = expf(f); 104 // CHECK-NO: declare double @exp(double) [[NUW_RN]] 105 // CHECK-NO: declare x86_fp80 @expl(x86_fp80) [[NUW_RN]] 106 // CHECK-NO: declare float @expf(float) [[NUW_RN]] 107 // CHECK-YES-NOT: declare double @exp(double) [[NUW_RN]] 108 // CHECK-YES-NOT: declare x86_fp80 @expl(x86_fp80) [[NUW_RN]] 109 // CHECK-YES-NOT: declare float @expf(float) [[NUW_RN]] 110 111 double log_ = log(d); 112 long double logl_ = logl(ld); 113 float logf_ = logf(f); 114 // CHECK-NO: declare double @log(double) [[NUW_RN]] 115 // CHECK-NO: declare x86_fp80 @logl(x86_fp80) [[NUW_RN]] 116 // CHECK-NO: declare float @logf(float) [[NUW_RN]] 117 // CHECK-YES-NOT: declare double @log(double) [[NUW_RN]] 118 // CHECK-YES-NOT: declare x86_fp80 @logl(x86_fp80) [[NUW_RN]] 119 // CHECK-YES-NOT: declare float @logf(float) [[NUW_RN]] 120 } 121 122 // CHECK-YES: attributes [[NUW_RN]] = { nounwind readnone } 123 124 // CHECK-NO: attributes [[NUW_RN]] = { nounwind readnone{{.*}} } 125 // CHECK-NO: attributes [[NUW_RO]] = { nounwind readonly } 126