1931a4feb64f18190d189c222d61b2abf52f18ab8Tim Northover// RUN: %clang_cc1 -fmath-errno -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-YES %s 2931a4feb64f18190d189c222d61b2abf52f18ab8Tim Northover// RUN: %clang_cc1 -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-NO %s 3ce4ad40100573008d013d2b9d3104c218ea34c2aHal Finkel// RUN: %clang_cc1 -menable-unsafe-fp-math -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-FAST %s 4ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar 593ab6bf534fb6c26563c00f28a8fc5581bb71dfdStephen Lin// CHECK-YES-LABEL: define void @test_sqrt 693ab6bf534fb6c26563c00f28a8fc5581bb71dfdStephen Lin// CHECK-NO-LABEL: define void @test_sqrt 7ce4ad40100573008d013d2b9d3104c218ea34c2aHal Finkel// CHECK-FAST-LABEL: define void @test_sqrt 8ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbarvoid test_sqrt(float a0, double a1, long double a2) { 9beb41281f8355caa05700d0a77539defbdf428f8John McCall // Following llvm-gcc's lead, we never emit these as intrinsics; 10beb41281f8355caa05700d0a77539defbdf428f8John McCall // no-math-errno isn't good enough. We could probably use intrinsics 11beb41281f8355caa05700d0a77539defbdf428f8John McCall // with appropriate guards if it proves worthwhile. 12beb41281f8355caa05700d0a77539defbdf428f8John McCall 13beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-YES: call float @sqrtf 14beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-NO: call float @sqrtf 15ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar float l0 = sqrtf(a0); 16beb41281f8355caa05700d0a77539defbdf428f8John McCall 17beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-YES: call double @sqrt 18beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-NO: call double @sqrt 19ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar double l1 = sqrt(a1); 20beb41281f8355caa05700d0a77539defbdf428f8John McCall 21beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-YES: call x86_fp80 @sqrtl 22beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-NO: call x86_fp80 @sqrtl 23ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar long double l2 = sqrtl(a2); 24ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar} 25ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar 26beb41281f8355caa05700d0a77539defbdf428f8John McCall// CHECK-YES: declare float @sqrtf(float) 27beb41281f8355caa05700d0a77539defbdf428f8John McCall// CHECK-YES: declare double @sqrt(double) 28beb41281f8355caa05700d0a77539defbdf428f8John McCall// CHECK-YES: declare x86_fp80 @sqrtl(x86_fp80) 29899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare float @sqrtf(float) [[NUW_RN:#[0-9]+]] 30899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare double @sqrt(double) [[NUW_RN]] 31899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare x86_fp80 @sqrtl(x86_fp80) [[NUW_RN]] 32ce4ad40100573008d013d2b9d3104c218ea34c2aHal Finkel// CHECK-FAST: declare float @llvm.sqrt.f32(float) 33ce4ad40100573008d013d2b9d3104c218ea34c2aHal Finkel// CHECK-FAST: declare double @llvm.sqrt.f64(double) 34ce4ad40100573008d013d2b9d3104c218ea34c2aHal Finkel// CHECK-FAST: declare x86_fp80 @llvm.sqrt.f80(x86_fp80) 35beb41281f8355caa05700d0a77539defbdf428f8John McCall 3693ab6bf534fb6c26563c00f28a8fc5581bb71dfdStephen Lin// CHECK-YES-LABEL: define void @test_pow 3793ab6bf534fb6c26563c00f28a8fc5581bb71dfdStephen Lin// CHECK-NO-LABEL: define void @test_pow 38ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbarvoid test_pow(float a0, double a1, long double a2) { 39beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-YES: call float @powf 40beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-NO: call float @llvm.pow.f32 41ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar float l0 = powf(a0, a0); 42beb41281f8355caa05700d0a77539defbdf428f8John McCall 43beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-YES: call double @pow 44beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-NO: call double @llvm.pow.f64 45ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar double l1 = pow(a1, a1); 46beb41281f8355caa05700d0a77539defbdf428f8John McCall 47beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-YES: call x86_fp80 @powl 48beb41281f8355caa05700d0a77539defbdf428f8John McCall // CHECK-NO: call x86_fp80 @llvm.pow.f80 49ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar long double l2 = powl(a2, a2); 50ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar} 51beb41281f8355caa05700d0a77539defbdf428f8John McCall 52beb41281f8355caa05700d0a77539defbdf428f8John McCall// CHECK-YES: declare float @powf(float, float) 53beb41281f8355caa05700d0a77539defbdf428f8John McCall// CHECK-YES: declare double @pow(double, double) 54beb41281f8355caa05700d0a77539defbdf428f8John McCall// CHECK-YES: declare x86_fp80 @powl(x86_fp80, x86_fp80) 55651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-NO: declare float @llvm.pow.f32(float, float) [[NUW_RNI:#[0-9]+]] 56651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-NO: declare double @llvm.pow.f64(double, double) [[NUW_RNI]] 57651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-NO: declare x86_fp80 @llvm.pow.f80(x86_fp80, x86_fp80) [[NUW_RNI]] 58094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich 5993ab6bf534fb6c26563c00f28a8fc5581bb71dfdStephen Lin// CHECK-YES-LABEL: define void @test_fma 6093ab6bf534fb6c26563c00f28a8fc5581bb71dfdStephen Lin// CHECK-NO-LABEL: define void @test_fma 61094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarichvoid test_fma(float a0, double a1, long double a2) { 62094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich // CHECK-YES: call float @llvm.fma.f32 63094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich // CHECK-NO: call float @llvm.fma.f32 64094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich float l0 = fmaf(a0, a0, a0); 65094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich 66094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich // CHECK-YES: call double @llvm.fma.f64 67094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich // CHECK-NO: call double @llvm.fma.f64 68094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich double l1 = fma(a1, a1, a1); 69094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich 70094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich // CHECK-YES: call x86_fp80 @llvm.fma.f80 71094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich // CHECK-NO: call x86_fp80 @llvm.fma.f80 72094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich long double l2 = fmal(a2, a2, a2); 73094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich} 74094240ab184c3ca4b94e9d7eac80fcd34d8dd30cCameron Zwarich 75c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES: declare float @llvm.fma.f32(float, float, float) [[NUW_RN:#[0-9]+]] 76c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES: declare double @llvm.fma.f64(double, double, double) [[NUW_RN]] 77c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[NUW_RN]] 78c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-NO: declare float @llvm.fma.f32(float, float, float) [[NUW_RN2:#[0-9]+]] 79c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-NO: declare double @llvm.fma.f64(double, double, double) [[NUW_RN2]] 80c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-NO: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[NUW_RN2]] 81454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier 82454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier// Just checking to make sure these library functions are marked readnone 83454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosiervoid test_builtins(double d, float f, long double ld) { 84651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-NO: @test_builtins 85651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-YES: @test_builtins 86454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier double atan_ = atan(d); 87454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier long double atanl_ = atanl(ld); 88454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier float atanf_ = atanf(f); 89899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare double @atan(double) [[NUW_RN]] 90899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare x86_fp80 @atanl(x86_fp80) [[NUW_RN]] 91899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare float @atanf(float) [[NUW_RN]] 92c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare double @atan(double) [[NUW_RN]] 93c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare x86_fp80 @atanl(x86_fp80) [[NUW_RN]] 94c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare float @atanf(float) [[NUW_RN]] 95454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier 96454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier double atan2_ = atan2(d, 2); 97454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier long double atan2l_ = atan2l(ld, ld); 98454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier float atan2f_ = atan2f(f, f); 99899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare double @atan2(double, double) [[NUW_RN]] 100899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare x86_fp80 @atan2l(x86_fp80, x86_fp80) [[NUW_RN]] 101899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare float @atan2f(float, float) [[NUW_RN]] 102c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare double @atan2(double, double) [[NUW_RN]] 103c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare x86_fp80 @atan2l(x86_fp80, x86_fp80) [[NUW_RN]] 104c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare float @atan2f(float, float) [[NUW_RN]] 105454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier 106454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier double exp_ = exp(d); 107454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier long double expl_ = expl(ld); 108454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier float expf_ = expf(f); 109899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare double @exp(double) [[NUW_RN]] 110899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare x86_fp80 @expl(x86_fp80) [[NUW_RN]] 111899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare float @expf(float) [[NUW_RN]] 112c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare double @exp(double) [[NUW_RN]] 113c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare x86_fp80 @expl(x86_fp80) [[NUW_RN]] 114c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare float @expf(float) [[NUW_RN]] 115454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier 116454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier double log_ = log(d); 117454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier long double logl_ = logl(ld); 118454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier float logf_ = logf(f); 119899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare double @log(double) [[NUW_RN]] 120899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare x86_fp80 @logl(x86_fp80) [[NUW_RN]] 121899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: declare float @logf(float) [[NUW_RN]] 122c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare double @log(double) [[NUW_RN]] 123c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare x86_fp80 @logl(x86_fp80) [[NUW_RN]] 124c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES-NOT: declare float @logf(float) [[NUW_RN]] 125454393e3e6dc909806ce24d0af0d7c12381037ceChad Rosier} 126f7a9da053f5bd6c18450c1796d953b42c3b7ad3aBill Wendling 127c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK-YES: attributes [[NUW_RN]] = { nounwind readnone } 128f7a9da053f5bd6c18450c1796d953b42c3b7ad3aBill Wendling 129899245792776dd219a3c36eb19b42272e270bc0cBill Wendling// CHECK-NO: attributes [[NUW_RN]] = { nounwind readnone{{.*}} } 130651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// CHECK-NO: attributes [[NUW_RNI]] = { nounwind readnone } 131