clang/test/CodeGen/libcalls.c

   1 // RUN: %clang_cc1 -Wno-implicit-function-declaration -fmath-errno -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-YES %s
   2 // RUN: %clang_cc1 -Wno-implicit-function-declaration -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-NO %s
   3 // RUN: %clang_cc1 -Wno-implicit-function-declaration -funsafe-math-optimizations -emit-llvm -o - %s -triple i386-unknown-unknown | FileCheck -check-prefix CHECK-FAST %s
   4
   5 // CHECK-YES-LABEL: define{{.*}} void @test_sqrt
   6 // CHECK-NO-LABEL: define{{.*}} void @test_sqrt
   7 // CHECK-FAST-LABEL: define{{.*}} void @test_sqrt
   8 void test_sqrt(float a0, double a1, long double a2) {
   9   // CHECK-YES: call float @sqrtf
  10   // CHECK-NO: call float @llvm.sqrt.f32(float
  11   // CHECK-FAST: call reassoc nsz arcp afn float @llvm.sqrt.f32(float
  12   float l0 = sqrtf(a0);
  13
  14   // CHECK-YES: call double @sqrt
  15   // CHECK-NO: call double @llvm.sqrt.f64(double
  16   // CHECK-FAST: call reassoc nsz arcp afn double @llvm.sqrt.f64(double
  17   double l1 = sqrt(a1);
  18
  19   // CHECK-YES: call x86_fp80 @sqrtl
  20   // CHECK-NO: call x86_fp80 @llvm.sqrt.f80(x86_fp80
  21   // CHECK-FAST: call reassoc nsz arcp afn x86_fp80 @llvm.sqrt.f80(x86_fp80
  22   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_pow
  36 // CHECK-NO-LABEL: define{{.*}} void @test_pow
  37 void test_pow(float a0, double a1, long double a2) {
  38   // CHECK-YES: call float @powf
  39   // CHECK-NO: call float @llvm.pow.f32
  40   float l0 = powf(a0, a0);
  41
  42   // CHECK-YES: call double @pow
  43   // CHECK-NO: call double @llvm.pow.f64
  44   double l1 = pow(a1, a1);
  45
  46   // CHECK-YES: call x86_fp80 @powl
  47   // CHECK-NO: call x86_fp80 @llvm.pow.f80
  48   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_fma
  59 // CHECK-NO-LABEL: define{{.*}} void @test_fma
  60 void test_fma(float a0, double a1, long double a2) {
  61     // CHECK-YES: call float @fmaf
  62     // CHECK-NO: call float @llvm.fma.f32
  63     float l0 = fmaf(a0, a0, a0);
  64
  65     // CHECK-YES: call double @fma
  66     // CHECK-NO: call double @llvm.fma.f64
  67     double l1 = fma(a1, a1, a1);
  68
  69     // CHECK-YES: call x86_fp80 @fmal
  70     // CHECK-NO: call x86_fp80 @llvm.fma.f80
  71     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_RN2:#[0-9]+]]
  78 // CHECK-NO: declare double @llvm.fma.f64(double, double, double) [[NUW_RN2]]
  79 // CHECK-NO: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[NUW_RN2]]
  80
  81 // Just checking to make sure these library functions are marked readnone
  82 void test_builtins(double d, float f, long double ld) {
  83 // CHECK-NO: @test_builtins
  84 // CHECK-YES: @test_builtins
  85   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_RNI:#[0-9]+]]
  89 // CHECK-NO: declare x86_fp80 @llvm.atan.f80(x86_fp80) [[NUW_RNI]]
  90 // CHECK-NO: declare float @llvm.atan.f32(float) [[NUW_RNI]]
  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_RNI]]
  99 // CHECK-NO: declare x86_fp80 @llvm.atan2.f80(x86_fp80, x86_fp80) [[NUW_RNI]]
 100 // CHECK-NO: declare float @llvm.atan2.f32(float, float) [[NUW_RNI]]
 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 nofree nosync nounwind speculatable willreturn memory(none) }