clang/test/CodeGen/math-builtins.c

   1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -w -S -o - -emit-llvm              %s | FileCheck %s -check-prefix=NO__ERRNO
   2 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -w -S -o - -emit-llvm -fmath-errno %s | FileCheck %s -check-prefix=HAS_ERRNO
   3 //  RUN: %clang_cc1 -triple x86_64-unknown-unknown -w -S -o - -emit-llvm -disable-llvm-passes -O2              %s | FileCheck %s -check-prefix=NO__ERRNO
   4 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -w -S -o - -emit-llvm -disable-llvm-passes -O2 -fmath-errno %s | FileCheck %s -check-prefix=HAS_ERRNO
   5 // RUN: %clang_cc1 -triple x86_64-unknown-unknown-gnu -w -S -o - -emit-llvm -fmath-errno %s | FileCheck %s --check-prefix=HAS_ERRNO_GNU
   6 // RUN: %clang_cc1 -triple x86_64-unknown-windows-msvc -w -S -o - -emit-llvm -fmath-errno %s | FileCheck %s --check-prefix=HAS_ERRNO_WIN
   7
   8 // Test attributes and codegen of math builtins.
   9
  10 void foo(double *d, float f, float *fp, long double *l, int *i, const char *c) {
  11   f = __builtin_fmod(f,f);    f = __builtin_fmodf(f,f);   f =  __builtin_fmodl(f,f);  f = __builtin_fmodf128(f,f);
  12
  13 // NO__ERRNO: frem double
  14 // NO__ERRNO: frem float
  15 // NO__ERRNO: frem x86_fp80
  16 // NO__ERRNO: frem fp128
  17
  18 // NO__ERRNO: [[FREXP_F64:%.+]] = call { double, i32 } @llvm.frexp.f64.i32(double %{{.+}})
  19 // NO__ERRNO-NEXT: [[FREXP_F64_1:%.+]] = extractvalue { double, i32 } [[FREXP_F64]], 1
  20 // NO__ERRNO-NEXT: store i32 [[FREXP_F64_1]], ptr %{{.+}}, align 4
  21 // NO__ERRNO-NEXT: [[FREXP_F64_0:%.+]] = extractvalue { double, i32 } [[FREXP_F64]], 0
  22
  23 // NO__ERRNO: [[FREXP_F32:%.+]] = call { float, i32 } @llvm.frexp.f32.i32(float %{{.+}})
  24 // NO__ERRNO-NEXT: [[FREXP_F32_1:%.+]] = extractvalue { float, i32 } [[FREXP_F32]], 1
  25 // NO__ERRNO-NEXT: store i32 [[FREXP_F32_1]], ptr %{{.+}}, align 4
  26 // NO__ERRNO-NEXT: [[FREXP_F32_0:%.+]] = extractvalue { float, i32 } [[FREXP_F32]], 0
  27
  28
  29 // NO__ERRNO: [[FREXP_F80:%.+]] = call { x86_fp80, i32 } @llvm.frexp.f80.i32(x86_fp80 %{{.+}})
  30 // NO__ERRNO-NEXT: [[FREXP_F80_1:%.+]] = extractvalue { x86_fp80, i32 } [[FREXP_F80]], 1
  31 // NO__ERRNO-NEXT: store i32 [[FREXP_F80_1]], ptr %{{.+}}, align 4
  32 // NO__ERRNO-NEXT: [[FREXP_F80_0:%.+]] = extractvalue { x86_fp80, i32 } [[FREXP_F80]], 0
  33
  34
  35 // NO__ERRNO: [[FREXP_F128:%.+]] = call { fp128, i32 } @llvm.frexp.f128.i32(fp128 %{{.+}})
  36 // NO__ERRNO-NEXT: [[FREXP_F128_1:%.+]] = extractvalue { fp128, i32 } [[FREXP_F128]], 1
  37 // NO__ERRNO-NEXT: store i32 [[FREXP_F128_1]], ptr %{{.+}}, align 4
  38 // NO__ERRNO-NEXT: [[FREXP_F128_0:%.+]] = extractvalue { fp128, i32 } [[FREXP_F128]], 0
  39
  40
  41 // HAS_ERRNO: declare double @fmod(double noundef, double noundef) [[NOT_READNONE:#[0-9]+]]
  42 // HAS_ERRNO: declare float @fmodf(float noundef, float noundef) [[NOT_READNONE]]
  43 // HAS_ERRNO: declare x86_fp80 @fmodl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
  44 // HAS_ERRNO: declare fp128 @fmodf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
  45
  46   __builtin_atan2(f,f);    __builtin_atan2f(f,f) ;  __builtin_atan2l(f, f); __builtin_atan2f128(f,f);
  47
  48 // NO__ERRNO: declare double @atan2(double noundef, double noundef) [[READNONE:#[0-9]+]]
  49 // NO__ERRNO: declare float @atan2f(float noundef, float noundef) [[READNONE]]
  50 // NO__ERRNO: declare x86_fp80 @atan2l(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
  51 // NO__ERRNO: declare fp128 @atan2f128(fp128 noundef, fp128 noundef) [[READNONE]]
  52 // HAS_ERRNO: declare double @atan2(double noundef, double noundef) [[NOT_READNONE]]
  53 // HAS_ERRNO: declare float @atan2f(float noundef, float noundef) [[NOT_READNONE]]
  54 // HAS_ERRNO: declare x86_fp80 @atan2l(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
  55 // HAS_ERRNO: declare fp128 @atan2f128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
  56
  57   __builtin_copysign(f,f); __builtin_copysignf(f,f); __builtin_copysignl(f,f); __builtin_copysignf128(f,f);
  58
  59 // NO__ERRNO: declare double @llvm.copysign.f64(double, double) [[READNONE_INTRINSIC:#[0-9]+]]
  60 // NO__ERRNO: declare float @llvm.copysign.f32(float, float) [[READNONE_INTRINSIC]]
  61 // NO__ERRNO: declare x86_fp80 @llvm.copysign.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
  62 // NO__ERRNO: declare fp128 @llvm.copysign.f128(fp128, fp128) [[READNONE_INTRINSIC]]
  63 // HAS_ERRNO: declare double @llvm.copysign.f64(double, double) [[READNONE_INTRINSIC:#[0-9]+]]
  64 // HAS_ERRNO: declare float @llvm.copysign.f32(float, float) [[READNONE_INTRINSIC]]
  65 // HAS_ERRNO: declare x86_fp80 @llvm.copysign.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
  66 // HAS_ERRNO: declare fp128 @llvm.copysign.f128(fp128, fp128) [[READNONE_INTRINSIC]]
  67
  68   __builtin_fabs(f);       __builtin_fabsf(f);      __builtin_fabsl(f); __builtin_fabsf128(f);
  69
  70 // NO__ERRNO: declare double @llvm.fabs.f64(double) [[READNONE_INTRINSIC]]
  71 // NO__ERRNO: declare float @llvm.fabs.f32(float) [[READNONE_INTRINSIC]]
  72 // NO__ERRNO: declare x86_fp80 @llvm.fabs.f80(x86_fp80) [[READNONE_INTRINSIC]]
  73 // NO__ERRNO: declare fp128 @llvm.fabs.f128(fp128) [[READNONE_INTRINSIC]]
  74 // HAS_ERRNO: declare double @llvm.fabs.f64(double) [[READNONE_INTRINSIC]]
  75 // HAS_ERRNO: declare float @llvm.fabs.f32(float) [[READNONE_INTRINSIC]]
  76 // HAS_ERRNO: declare x86_fp80 @llvm.fabs.f80(x86_fp80) [[READNONE_INTRINSIC]]
  77 // HAS_ERRNO: declare fp128 @llvm.fabs.f128(fp128) [[READNONE_INTRINSIC]]
  78
  79   __builtin_frexp(f,i);    __builtin_frexpf(f,i);   __builtin_frexpl(f,i); __builtin_frexpf128(f,i);
  80
  81 // NO__ERRNO: declare { double, i32 } @llvm.frexp.f64.i32(double) [[READNONE_INTRINSIC]]
  82 // NO__ERRNO: declare { float, i32 } @llvm.frexp.f32.i32(float) [[READNONE_INTRINSIC]]
  83 // NO__ERRNO: declare { x86_fp80, i32 } @llvm.frexp.f80.i32(x86_fp80) [[READNONE_INTRINSIC]]
  84 // NO__ERRNO: declare { fp128, i32 } @llvm.frexp.f128.i32(fp128) [[READNONE_INTRINSIC]]
  85 // HAS_ERRNO: declare { double, i32 } @llvm.frexp.f64.i32(double) [[READNONE_INTRINSIC]]
  86 // HAS_ERRNO: declare { float, i32 } @llvm.frexp.f32.i32(float) [[READNONE_INTRINSIC]]
  87 // HAS_ERRNO: declare { x86_fp80, i32 } @llvm.frexp.f80.i32(x86_fp80) [[READNONE_INTRINSIC]]
  88 // HAS_ERRNO: declare { fp128, i32 } @llvm.frexp.f128.i32(fp128) [[READNONE_INTRINSIC]]
  89
  90   __builtin_huge_val();    __builtin_huge_valf();   __builtin_huge_vall(); __builtin_huge_valf128();
  91
  92 // NO__ERRNO-NOT: .huge
  93 // NO__ERRNO-NOT: @huge
  94 // HAS_ERRNO-NOT: .huge
  95 // HAS_ERRNO-NOT: @huge
  96
  97   __builtin_inf();    __builtin_inff();   __builtin_infl(); __builtin_inff128();
  98
  99 // NO__ERRNO-NOT: .inf
 100 // NO__ERRNO-NOT: @inf
 101 // HAS_ERRNO-NOT: .inf
 102 // HAS_ERRNO-NOT: @inf
 103
 104   __builtin_ldexp(f,f);    __builtin_ldexpf(f,f);   __builtin_ldexpl(f,f);  __builtin_ldexpf128(f,f);
 105
 106 // NO__ERRNO: declare double @llvm.ldexp.f64.i32(double, i32) [[READNONE_INTRINSIC]]
 107 // NO__ERRNO: declare float @llvm.ldexp.f32.i32(float, i32) [[READNONE_INTRINSIC]]
 108 // NO__ERRNO: declare x86_fp80 @llvm.ldexp.f80.i32(x86_fp80, i32) [[READNONE_INTRINSIC]]
 109 // NO__ERRNO: declare fp128 @llvm.ldexp.f128.i32(fp128, i32) [[READNONE_INTRINSIC]]
 110 // HAS_ERRNO: declare double @ldexp(double noundef, i32 noundef) [[NOT_READNONE]]
 111 // HAS_ERRNO: declare float @ldexpf(float noundef, i32 noundef) [[NOT_READNONE]]
 112 // HAS_ERRNO: declare x86_fp80 @ldexpl(x86_fp80 noundef, i32 noundef) [[NOT_READNONE]]
 113 // HAS_ERRNO: declare fp128 @ldexpf128(fp128 noundef, i32 noundef) [[NOT_READNONE]]
 114
 115   __builtin_modf(f,d);       __builtin_modff(f,fp);      __builtin_modfl(f,l); __builtin_modff128(f,l);
 116
 117 // NO__ERRNO: declare double @modf(double noundef, ptr noundef) [[NOT_READNONE:#[0-9]+]]
 118 // NO__ERRNO: declare float @modff(float noundef, ptr noundef) [[NOT_READNONE]]
 119 // NO__ERRNO: declare x86_fp80 @modfl(x86_fp80 noundef, ptr noundef) [[NOT_READNONE]]
 120 // NO__ERRNO: declare fp128 @modff128(fp128 noundef, ptr noundef) [[NOT_READNONE]]
 121 // HAS_ERRNO: declare double @modf(double noundef, ptr noundef) [[NOT_READNONE]]
 122 // HAS_ERRNO: declare float @modff(float noundef, ptr noundef) [[NOT_READNONE]]
 123 // HAS_ERRNO: declare x86_fp80 @modfl(x86_fp80 noundef, ptr noundef) [[NOT_READNONE]]
 124 // HAS_ERRNO: declare fp128 @modff128(fp128 noundef, ptr noundef) [[NOT_READNONE]]
 125
 126   __builtin_nan(c);        __builtin_nanf(c);       __builtin_nanl(c); __builtin_nanf128(c);
 127
 128 // NO__ERRNO: declare double @nan(ptr noundef) [[PURE:#[0-9]+]]
 129 // NO__ERRNO: declare float @nanf(ptr noundef) [[PURE]]
 130 // NO__ERRNO: declare x86_fp80 @nanl(ptr noundef) [[PURE]]
 131 // NO__ERRNO: declare fp128 @nanf128(ptr noundef) [[PURE]]
 132 // HAS_ERRNO: declare double @nan(ptr noundef) [[PURE:#[0-9]+]]
 133 // HAS_ERRNO: declare float @nanf(ptr noundef) [[PURE]]
 134 // HAS_ERRNO: declare x86_fp80 @nanl(ptr noundef) [[PURE]]
 135 // HAS_ERRNO: declare fp128 @nanf128(ptr noundef) [[PURE]]
 136
 137   __builtin_nans(c);        __builtin_nansf(c);       __builtin_nansl(c); __builtin_nansf128(c);
 138
 139 // NO__ERRNO: declare double @nans(ptr noundef) [[PURE]]
 140 // NO__ERRNO: declare float @nansf(ptr noundef) [[PURE]]
 141 // NO__ERRNO: declare x86_fp80 @nansl(ptr noundef) [[PURE]]
 142 // NO__ERRNO: declare fp128 @nansf128(ptr noundef) [[PURE]]
 143 // HAS_ERRNO: declare double @nans(ptr noundef) [[PURE]]
 144 // HAS_ERRNO: declare float @nansf(ptr noundef) [[PURE]]
 145 // HAS_ERRNO: declare x86_fp80 @nansl(ptr noundef) [[PURE]]
 146 // HAS_ERRNO: declare fp128 @nansf128(ptr noundef) [[PURE]]
 147
 148   __builtin_pow(f,f);        __builtin_powf(f,f);       __builtin_powl(f,f); __builtin_powf128(f,f);
 149
 150 // NO__ERRNO: declare double @llvm.pow.f64(double, double) [[READNONE_INTRINSIC]]
 151 // NO__ERRNO: declare float @llvm.pow.f32(float, float) [[READNONE_INTRINSIC]]
 152 // NO__ERRNO: declare x86_fp80 @llvm.pow.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
 153 // NO__ERRNO: declare fp128 @llvm.pow.f128(fp128, fp128) [[READNONE_INTRINSIC]]
 154 // HAS_ERRNO: declare double @pow(double noundef, double noundef) [[NOT_READNONE]]
 155 // HAS_ERRNO: declare float @powf(float noundef, float noundef) [[NOT_READNONE]]
 156 // HAS_ERRNO: declare x86_fp80 @powl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
 157 // HAS_ERRNO: declare fp128 @powf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
 158
 159   __builtin_powi(f,f);        __builtin_powif(f,f);       __builtin_powil(f,f);
 160
 161 // NO__ERRNO: declare double @llvm.powi.f64.i32(double, i32) [[READNONE_INTRINSIC]]
 162 // NO__ERRNO: declare float @llvm.powi.f32.i32(float, i32) [[READNONE_INTRINSIC]]
 163 // NO__ERRNO: declare x86_fp80 @llvm.powi.f80.i32(x86_fp80, i32) [[READNONE_INTRINSIC]]
 164 // HAS_ERRNO: declare double @llvm.powi.f64.i32(double, i32) [[READNONE_INTRINSIC]]
 165 // HAS_ERRNO: declare float @llvm.powi.f32.i32(float, i32) [[READNONE_INTRINSIC]]
 166 // HAS_ERRNO: declare x86_fp80 @llvm.powi.f80.i32(x86_fp80, i32) [[READNONE_INTRINSIC]]
 167
 168   /* math */
 169   __builtin_acos(f);       __builtin_acosf(f);      __builtin_acosl(f); __builtin_acosf128(f);
 170
 171 // NO__ERRNO: declare double @acos(double noundef) [[READNONE]]
 172 // NO__ERRNO: declare float @acosf(float noundef) [[READNONE]]
 173 // NO__ERRNO: declare x86_fp80 @acosl(x86_fp80 noundef) [[READNONE]]
 174 // NO__ERRNO: declare fp128 @acosf128(fp128 noundef) [[READNONE]]
 175 // HAS_ERRNO: declare double @acos(double noundef) [[NOT_READNONE]]
 176 // HAS_ERRNO: declare float @acosf(float noundef) [[NOT_READNONE]]
 177 // HAS_ERRNO: declare x86_fp80 @acosl(x86_fp80 noundef) [[NOT_READNONE]]
 178 // HAS_ERRNO: declare fp128 @acosf128(fp128 noundef) [[NOT_READNONE]]
 179
 180   __builtin_acosh(f);      __builtin_acoshf(f);     __builtin_acoshl(f);  __builtin_acoshf128(f);
 181
 182 // NO__ERRNO: declare double @acosh(double noundef) [[READNONE]]
 183 // NO__ERRNO: declare float @acoshf(float noundef) [[READNONE]]
 184 // NO__ERRNO: declare x86_fp80 @acoshl(x86_fp80 noundef) [[READNONE]]
 185 // NO__ERRNO: declare fp128 @acoshf128(fp128 noundef) [[READNONE]]
 186 // HAS_ERRNO: declare double @acosh(double noundef) [[NOT_READNONE]]
 187 // HAS_ERRNO: declare float @acoshf(float noundef) [[NOT_READNONE]]
 188 // HAS_ERRNO: declare x86_fp80 @acoshl(x86_fp80 noundef) [[NOT_READNONE]]
 189 // HAS_ERRNO: declare fp128 @acoshf128(fp128 noundef) [[NOT_READNONE]]
 190
 191   __builtin_asin(f);       __builtin_asinf(f);      __builtin_asinl(f); __builtin_asinf128(f);
 192
 193 // NO__ERRNO: declare double @asin(double noundef) [[READNONE]]
 194 // NO__ERRNO: declare float @asinf(float noundef) [[READNONE]]
 195 // NO__ERRNO: declare x86_fp80 @asinl(x86_fp80 noundef) [[READNONE]]
 196 // NO__ERRNO: declare fp128 @asinf128(fp128 noundef) [[READNONE]]
 197 // HAS_ERRNO: declare double @asin(double noundef) [[NOT_READNONE]]
 198 // HAS_ERRNO: declare float @asinf(float noundef) [[NOT_READNONE]]
 199 // HAS_ERRNO: declare x86_fp80 @asinl(x86_fp80 noundef) [[NOT_READNONE]]
 200 // HAS_ERRNO: declare fp128 @asinf128(fp128 noundef) [[NOT_READNONE]]
 201
 202   __builtin_asinh(f);      __builtin_asinhf(f);     __builtin_asinhl(f); __builtin_asinhf128(f);
 203
 204 // NO__ERRNO: declare double @asinh(double noundef) [[READNONE]]
 205 // NO__ERRNO: declare float @asinhf(float noundef) [[READNONE]]
 206 // NO__ERRNO: declare x86_fp80 @asinhl(x86_fp80 noundef) [[READNONE]]
 207 // NO__ERRNO: declare fp128 @asinhf128(fp128 noundef) [[READNONE]]
 208 // HAS_ERRNO: declare double @asinh(double noundef) [[NOT_READNONE]]
 209 // HAS_ERRNO: declare float @asinhf(float noundef) [[NOT_READNONE]]
 210 // HAS_ERRNO: declare x86_fp80 @asinhl(x86_fp80 noundef) [[NOT_READNONE]]
 211 // HAS_ERRNO: declare fp128 @asinhf128(fp128 noundef) [[NOT_READNONE]]
 212
 213   __builtin_atan(f);       __builtin_atanf(f);      __builtin_atanl(f); __builtin_atanf128(f);
 214
 215 // NO__ERRNO: declare double @atan(double noundef) [[READNONE]]
 216 // NO__ERRNO: declare float @atanf(float noundef) [[READNONE]]
 217 // NO__ERRNO: declare x86_fp80 @atanl(x86_fp80 noundef) [[READNONE]]
 218 // NO__ERRNO: declare fp128 @atanf128(fp128 noundef) [[READNONE]]
 219 // HAS_ERRNO: declare double @atan(double noundef) [[NOT_READNONE]]
 220 // HAS_ERRNO: declare float @atanf(float noundef) [[NOT_READNONE]]
 221 // HAS_ERRNO: declare x86_fp80 @atanl(x86_fp80 noundef) [[NOT_READNONE]]
 222 // HAS_ERRNO: declare fp128 @atanf128(fp128 noundef) [[NOT_READNONE]]
 223
 224   __builtin_atanh(f);      __builtin_atanhf(f);     __builtin_atanhl(f); __builtin_atanhf128(f);
 225
 226 // NO__ERRNO: declare double @atanh(double noundef) [[READNONE]]
 227 // NO__ERRNO: declare float @atanhf(float noundef) [[READNONE]]
 228 // NO__ERRNO: declare x86_fp80 @atanhl(x86_fp80 noundef) [[READNONE]]
 229 // NO__ERRNO: declare fp128 @atanhf128(fp128 noundef) [[READNONE]]
 230 // HAS_ERRNO: declare double @atanh(double noundef) [[NOT_READNONE]]
 231 // HAS_ERRNO: declare float @atanhf(float noundef) [[NOT_READNONE]]
 232 // HAS_ERRNO: declare x86_fp80 @atanhl(x86_fp80 noundef) [[NOT_READNONE]]
 233 // HAS_ERRNO: declare fp128 @atanhf128(fp128 noundef) [[NOT_READNONE]]
 234
 235   __builtin_cbrt(f);       __builtin_cbrtf(f);      __builtin_cbrtl(f); __builtin_cbrtf128(f);
 236
 237 // NO__ERRNO: declare double @cbrt(double noundef) [[READNONE]]
 238 // NO__ERRNO: declare float @cbrtf(float noundef) [[READNONE]]
 239 // NO__ERRNO: declare x86_fp80 @cbrtl(x86_fp80 noundef) [[READNONE]]
 240 // NO__ERRNO: declare fp128 @cbrtf128(fp128 noundef) [[READNONE]]
 241 // HAS_ERRNO: declare double @cbrt(double noundef) [[READNONE:#[0-9]+]]
 242 // HAS_ERRNO: declare float @cbrtf(float noundef) [[READNONE]]
 243 // HAS_ERRNO: declare x86_fp80 @cbrtl(x86_fp80 noundef) [[READNONE]]
 244 // HAS_ERRNO: declare fp128 @cbrtf128(fp128 noundef) [[READNONE]]
 245
 246   __builtin_ceil(f);       __builtin_ceilf(f);      __builtin_ceill(f); __builtin_ceilf128(f);
 247
 248 // NO__ERRNO: declare double @llvm.ceil.f64(double) [[READNONE_INTRINSIC]]
 249 // NO__ERRNO: declare float @llvm.ceil.f32(float) [[READNONE_INTRINSIC]]
 250 // NO__ERRNO: declare x86_fp80 @llvm.ceil.f80(x86_fp80) [[READNONE_INTRINSIC]]
 251 // NO__ERRNO: declare fp128 @llvm.ceil.f128(fp128) [[READNONE_INTRINSIC]]
 252 // HAS_ERRNO: declare double @llvm.ceil.f64(double) [[READNONE_INTRINSIC]]
 253 // HAS_ERRNO: declare float @llvm.ceil.f32(float) [[READNONE_INTRINSIC]]
 254 // HAS_ERRNO: declare x86_fp80 @llvm.ceil.f80(x86_fp80) [[READNONE_INTRINSIC]]
 255 // HAS_ERRNO: declare fp128 @llvm.ceil.f128(fp128) [[READNONE_INTRINSIC]]
 256
 257   __builtin_cos(f);        __builtin_cosf(f);       __builtin_cosl(f); __builtin_cosf128(f);
 258
 259 // NO__ERRNO: declare double @llvm.cos.f64(double) [[READNONE_INTRINSIC]]
 260 // NO__ERRNO: declare float @llvm.cos.f32(float) [[READNONE_INTRINSIC]]
 261 // NO__ERRNO: declare x86_fp80 @llvm.cos.f80(x86_fp80) [[READNONE_INTRINSIC]]
 262 // NO__ERRNO: declare fp128 @llvm.cos.f128(fp128) [[READNONE_INTRINSIC]]
 263 // HAS_ERRNO: declare double @cos(double noundef) [[NOT_READNONE]]
 264 // HAS_ERRNO: declare float @cosf(float noundef) [[NOT_READNONE]]
 265 // HAS_ERRNO: declare x86_fp80 @cosl(x86_fp80 noundef) [[NOT_READNONE]]
 266 // HAS_ERRNO: declare fp128 @cosf128(fp128 noundef) [[NOT_READNONE]]
 267
 268   __builtin_cosh(f);       __builtin_coshf(f);      __builtin_coshl(f); __builtin_coshf128(f);
 269
 270 // NO__ERRNO: declare double @cosh(double noundef) [[READNONE]]
 271 // NO__ERRNO: declare float @coshf(float noundef) [[READNONE]]
 272 // NO__ERRNO: declare x86_fp80 @coshl(x86_fp80 noundef) [[READNONE]]
 273 // NO__ERRNO: declare fp128 @coshf128(fp128 noundef) [[READNONE]]
 274 // HAS_ERRNO: declare double @cosh(double noundef) [[NOT_READNONE]]
 275 // HAS_ERRNO: declare float @coshf(float noundef) [[NOT_READNONE]]
 276 // HAS_ERRNO: declare x86_fp80 @coshl(x86_fp80 noundef) [[NOT_READNONE]]
 277 // HAS_ERRNO: declare fp128 @coshf128(fp128 noundef) [[NOT_READNONE]]
 278
 279   __builtin_erf(f);        __builtin_erff(f);       __builtin_erfl(f); __builtin_erff128(f);
 280
 281 // NO__ERRNO: declare double @erf(double noundef) [[READNONE]]
 282 // NO__ERRNO: declare float @erff(float noundef) [[READNONE]]
 283 // NO__ERRNO: declare x86_fp80 @erfl(x86_fp80 noundef) [[READNONE]]
 284 // NO__ERRNO: declare fp128 @erff128(fp128 noundef) [[READNONE]]
 285 // HAS_ERRNO: declare double @erf(double noundef) [[NOT_READNONE]]
 286 // HAS_ERRNO: declare float @erff(float noundef) [[NOT_READNONE]]
 287 // HAS_ERRNO: declare x86_fp80 @erfl(x86_fp80 noundef) [[NOT_READNONE]]
 288 // HAS_ERRNO: declare fp128 @erff128(fp128 noundef) [[NOT_READNONE]]
 289
 290 __builtin_erfc(f);       __builtin_erfcf(f);      __builtin_erfcl(f); __builtin_erfcf128(f);
 291
 292 // NO__ERRNO: declare double @erfc(double noundef) [[READNONE]]
 293 // NO__ERRNO: declare float @erfcf(float noundef) [[READNONE]]
 294 // NO__ERRNO: declare x86_fp80 @erfcl(x86_fp80 noundef) [[READNONE]]
 295 // NO__ERRNO: declare fp128 @erfcf128(fp128 noundef) [[READNONE]]
 296 // HAS_ERRNO: declare double @erfc(double noundef) [[NOT_READNONE]]
 297 // HAS_ERRNO: declare float @erfcf(float noundef) [[NOT_READNONE]]
 298 // HAS_ERRNO: declare x86_fp80 @erfcl(x86_fp80 noundef) [[NOT_READNONE]]
 299 // HAS_ERRNO: declare fp128 @erfcf128(fp128 noundef) [[NOT_READNONE]]
 300
 301 __builtin_exp(f);        __builtin_expf(f);       __builtin_expl(f); __builtin_expf128(f);
 302
 303 // NO__ERRNO: declare double @llvm.exp.f64(double) [[READNONE_INTRINSIC]]
 304 // NO__ERRNO: declare float @llvm.exp.f32(float) [[READNONE_INTRINSIC]]
 305 // NO__ERRNO: declare x86_fp80 @llvm.exp.f80(x86_fp80) [[READNONE_INTRINSIC]]
 306 // NO__ERRNO: declare fp128 @llvm.exp.f128(fp128) [[READNONE_INTRINSIC]]
 307 // HAS_ERRNO: declare double @exp(double noundef) [[NOT_READNONE]]
 308 // HAS_ERRNO: declare float @expf(float noundef) [[NOT_READNONE]]
 309 // HAS_ERRNO: declare x86_fp80 @expl(x86_fp80 noundef) [[NOT_READNONE]]
 310 // HAS_ERRNO: declare fp128 @expf128(fp128 noundef) [[NOT_READNONE]]
 311
 312 __builtin_exp2(f);       __builtin_exp2f(f);      __builtin_exp2l(f); __builtin_exp2f128(f);
 313
 314 // NO__ERRNO: declare double @llvm.exp2.f64(double) [[READNONE_INTRINSIC]]
 315 // NO__ERRNO: declare float @llvm.exp2.f32(float) [[READNONE_INTRINSIC]]
 316 // NO__ERRNO: declare x86_fp80 @llvm.exp2.f80(x86_fp80) [[READNONE_INTRINSIC]]
 317 // NO__ERRNO: declare fp128 @llvm.exp2.f128(fp128) [[READNONE_INTRINSIC]]
 318 // HAS_ERRNO: declare double @exp2(double noundef) [[NOT_READNONE]]
 319 // HAS_ERRNO: declare float @exp2f(float noundef) [[NOT_READNONE]]
 320 // HAS_ERRNO: declare x86_fp80 @exp2l(x86_fp80 noundef) [[NOT_READNONE]]
 321 // HAS_ERRNO: declare fp128 @exp2f128(fp128 noundef) [[NOT_READNONE]]
 322
 323 __builtin_exp10(f);       __builtin_exp10f(f);      __builtin_exp10l(f); __builtin_exp10f128(f);
 324
 325 // NO__ERRNO: declare double @llvm.exp10.f64(double) [[READNONE_INTRINSIC]]
 326 // NO__ERRNO: declare float @llvm.exp10.f32(float) [[READNONE_INTRINSIC]]
 327 // NO__ERRNO: declare x86_fp80 @llvm.exp10.f80(x86_fp80) [[READNONE_INTRINSIC]]
 328 // NO__ERRNO: declare fp128 @llvm.exp10.f128(fp128) [[READNONE_INTRINSIC]]
 329 // HAS_ERRNO: declare double @exp10(double noundef) [[NOT_READNONE]]
 330 // HAS_ERRNO: declare float @exp10f(float noundef) [[NOT_READNONE]]
 331 // HAS_ERRNO: declare x86_fp80 @exp10l(x86_fp80 noundef) [[NOT_READNONE]]
 332 // HAS_ERRNO: declare fp128 @exp10f128(fp128 noundef) [[NOT_READNONE]]
 333
 334 __builtin_expm1(f);      __builtin_expm1f(f);     __builtin_expm1l(f); __builtin_expm1f128(f);
 335
 336 // NO__ERRNO: declare double @expm1(double noundef) [[READNONE]]
 337 // NO__ERRNO: declare float @expm1f(float noundef) [[READNONE]]
 338 // NO__ERRNO: declare x86_fp80 @expm1l(x86_fp80 noundef) [[READNONE]]
 339 // NO__ERRNO: declare fp128 @expm1f128(fp128 noundef) [[READNONE]]
 340 // HAS_ERRNO: declare double @expm1(double noundef) [[NOT_READNONE]]
 341 // HAS_ERRNO: declare float @expm1f(float noundef) [[NOT_READNONE]]
 342 // HAS_ERRNO: declare x86_fp80 @expm1l(x86_fp80 noundef) [[NOT_READNONE]]
 343 // HAS_ERRNO: declare fp128 @expm1f128(fp128 noundef) [[NOT_READNONE]]
 344
 345 __builtin_fdim(f,f);       __builtin_fdimf(f,f);      __builtin_fdiml(f,f); __builtin_fdimf128(f,f);
 346
 347 // NO__ERRNO: declare double @fdim(double noundef, double noundef) [[READNONE]]
 348 // NO__ERRNO: declare float @fdimf(float noundef, float noundef) [[READNONE]]
 349 // NO__ERRNO: declare x86_fp80 @fdiml(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
 350 // NO__ERRNO: declare fp128 @fdimf128(fp128 noundef, fp128 noundef) [[READNONE]]
 351 // HAS_ERRNO: declare double @fdim(double noundef, double noundef) [[NOT_READNONE]]
 352 // HAS_ERRNO: declare float @fdimf(float noundef, float noundef) [[NOT_READNONE]]
 353 // HAS_ERRNO: declare x86_fp80 @fdiml(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
 354 // HAS_ERRNO: declare fp128 @fdimf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
 355
 356 __builtin_floor(f);      __builtin_floorf(f);     __builtin_floorl(f); __builtin_floorf128(f);
 357
 358 // NO__ERRNO: declare double @llvm.floor.f64(double) [[READNONE_INTRINSIC]]
 359 // NO__ERRNO: declare float @llvm.floor.f32(float) [[READNONE_INTRINSIC]]
 360 // NO__ERRNO: declare x86_fp80 @llvm.floor.f80(x86_fp80) [[READNONE_INTRINSIC]]
 361 // NO__ERRNO: declare fp128 @llvm.floor.f128(fp128) [[READNONE_INTRINSIC]]
 362 // HAS_ERRNO: declare double @llvm.floor.f64(double) [[READNONE_INTRINSIC]]
 363 // HAS_ERRNO: declare float @llvm.floor.f32(float) [[READNONE_INTRINSIC]]
 364 // HAS_ERRNO: declare x86_fp80 @llvm.floor.f80(x86_fp80) [[READNONE_INTRINSIC]]
 365 // HAS_ERRNO: declare fp128 @llvm.floor.f128(fp128) [[READNONE_INTRINSIC]]
 366
 367 __builtin_fma(f,f,f);        __builtin_fmaf(f,f,f);       __builtin_fmal(f,f,f); __builtin_fmaf128(f,f,f);
 368
 369 // NO__ERRNO: declare double @llvm.fma.f64(double, double, double) [[READNONE_INTRINSIC]]
 370 // NO__ERRNO: declare float @llvm.fma.f32(float, float, float) [[READNONE_INTRINSIC]]
 371 // NO__ERRNO: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
 372 // NO__ERRNO: declare fp128 @llvm.fma.f128(fp128, fp128, fp128) [[READNONE_INTRINSIC]]
 373 // HAS_ERRNO: declare double @fma(double noundef, double noundef, double noundef) [[NOT_READNONE]]
 374 // HAS_ERRNO: declare float @fmaf(float noundef, float noundef, float noundef) [[NOT_READNONE]]
 375 // HAS_ERRNO: declare x86_fp80 @fmal(x86_fp80 noundef, x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
 376 // HAS_ERRNO: declare fp128 @fmaf128(fp128 noundef, fp128 noundef, fp128 noundef) [[NOT_READNONE]]
 377
 378 // On GNU or Win, fma never sets errno, so we can convert to the intrinsic.
 379
 380 // HAS_ERRNO_GNU: declare double @llvm.fma.f64(double, double, double) [[READNONE_INTRINSIC:#[0-9]+]]
 381 // HAS_ERRNO_GNU: declare float @llvm.fma.f32(float, float, float) [[READNONE_INTRINSIC]]
 382 // HAS_ERRNO_GNU: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
 383
 384 // HAS_ERRNO_WIN: declare double @llvm.fma.f64(double, double, double) [[READNONE_INTRINSIC:#[0-9]+]]
 385 // HAS_ERRNO_WIN: declare float @llvm.fma.f32(float, float, float) [[READNONE_INTRINSIC]]
 386 // Long double is just double on win, so no f80 use/declaration.
 387 // HAS_ERRNO_WIN-NOT: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80)
 388
 389 __builtin_fmax(f,f);       __builtin_fmaxf(f,f);      __builtin_fmaxl(f,f); __builtin_fmaxf128(f,f);
 390
 391 // NO__ERRNO: declare double @llvm.maxnum.f64(double, double) [[READNONE_INTRINSIC]]
 392 // NO__ERRNO: declare float @llvm.maxnum.f32(float, float) [[READNONE_INTRINSIC]]
 393 // NO__ERRNO: declare x86_fp80 @llvm.maxnum.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
 394 // NO__ERRNO: declare fp128 @llvm.maxnum.f128(fp128, fp128) [[READNONE_INTRINSIC]]
 395 // HAS_ERRNO: declare double @llvm.maxnum.f64(double, double) [[READNONE_INTRINSIC]]
 396 // HAS_ERRNO: declare float @llvm.maxnum.f32(float, float) [[READNONE_INTRINSIC]]
 397 // HAS_ERRNO: declare x86_fp80 @llvm.maxnum.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
 398 // HAS_ERRNO: declare fp128 @llvm.maxnum.f128(fp128, fp128) [[READNONE_INTRINSIC]]
 399
 400 __builtin_fmin(f,f);       __builtin_fminf(f,f);      __builtin_fminl(f,f); __builtin_fminf128(f,f);
 401
 402 // NO__ERRNO: declare double @llvm.minnum.f64(double, double) [[READNONE_INTRINSIC]]
 403 // NO__ERRNO: declare float @llvm.minnum.f32(float, float) [[READNONE_INTRINSIC]]
 404 // NO__ERRNO: declare x86_fp80 @llvm.minnum.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
 405 // NO__ERRNO: declare fp128 @llvm.minnum.f128(fp128, fp128) [[READNONE_INTRINSIC]]
 406 // HAS_ERRNO: declare double @llvm.minnum.f64(double, double) [[READNONE_INTRINSIC]]
 407 // HAS_ERRNO: declare float @llvm.minnum.f32(float, float) [[READNONE_INTRINSIC]]
 408 // HAS_ERRNO: declare x86_fp80 @llvm.minnum.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
 409 // HAS_ERRNO: declare fp128 @llvm.minnum.f128(fp128, fp128) [[READNONE_INTRINSIC]]
 410
 411 __builtin_hypot(f,f);      __builtin_hypotf(f,f);     __builtin_hypotl(f,f); __builtin_hypotf128(f,f);
 412
 413 // NO__ERRNO: declare double @hypot(double noundef, double noundef) [[READNONE]]
 414 // NO__ERRNO: declare float @hypotf(float noundef, float noundef) [[READNONE]]
 415 // NO__ERRNO: declare x86_fp80 @hypotl(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
 416 // NO__ERRNO: declare fp128 @hypotf128(fp128 noundef, fp128 noundef) [[READNONE]]
 417 // HAS_ERRNO: declare double @hypot(double noundef, double noundef) [[NOT_READNONE]]
 418 // HAS_ERRNO: declare float @hypotf(float noundef, float noundef) [[NOT_READNONE]]
 419 // HAS_ERRNO: declare x86_fp80 @hypotl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
 420 // HAS_ERRNO: declare fp128 @hypotf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
 421
 422 __builtin_ilogb(f);      __builtin_ilogbf(f);     __builtin_ilogbl(f); __builtin_ilogbf128(f);
 423
 424 // NO__ERRNO: declare i32 @ilogb(double noundef) [[READNONE]]
 425 // NO__ERRNO: declare i32 @ilogbf(float noundef) [[READNONE]]
 426 // NO__ERRNO: declare i32 @ilogbl(x86_fp80 noundef) [[READNONE]]
 427 // NO__ERRNO: declare i32 @ilogbf128(fp128 noundef) [[READNONE]]
 428 // HAS_ERRNO: declare i32 @ilogb(double noundef) [[NOT_READNONE]]
 429 // HAS_ERRNO: declare i32 @ilogbf(float noundef) [[NOT_READNONE]]
 430 // HAS_ERRNO: declare i32 @ilogbl(x86_fp80 noundef) [[NOT_READNONE]]
 431 // HAS_ERRNO: declare i32 @ilogbf128(fp128 noundef) [[NOT_READNONE]]
 432
 433 __builtin_lgamma(f);     __builtin_lgammaf(f);    __builtin_lgammal(f); __builtin_lgammaf128(f);
 434
 435 // NO__ERRNO: declare double @lgamma(double noundef) [[NOT_READNONE]]
 436 // NO__ERRNO: declare float @lgammaf(float noundef) [[NOT_READNONE]]
 437 // NO__ERRNO: declare x86_fp80 @lgammal(x86_fp80 noundef) [[NOT_READNONE]]
 438 // NO__ERRNO: declare fp128 @lgammaf128(fp128 noundef) [[NOT_READNONE]]
 439 // HAS_ERRNO: declare double @lgamma(double noundef) [[NOT_READNONE]]
 440 // HAS_ERRNO: declare float @lgammaf(float noundef) [[NOT_READNONE]]
 441 // HAS_ERRNO: declare x86_fp80 @lgammal(x86_fp80 noundef) [[NOT_READNONE]]
 442 // HAS_ERRNO: declare fp128 @lgammaf128(fp128 noundef) [[NOT_READNONE]]
 443
 444 __builtin_llrint(f);     __builtin_llrintf(f);    __builtin_llrintl(f); __builtin_llrintf128(f);
 445
 446 // NO__ERRNO: declare i64 @llvm.llrint.i64.f64(double) [[READNONE_INTRINSIC]]
 447 // NO__ERRNO: declare i64 @llvm.llrint.i64.f32(float) [[READNONE_INTRINSIC]]
 448 // NO__ERRNO: declare i64 @llvm.llrint.i64.f80(x86_fp80) [[READNONE_INTRINSIC]]
 449 // NO__ERRNO: declare i64 @llvm.llrint.i64.f128(fp128) [[READNONE_INTRINSIC]]
 450 // HAS_ERRNO: declare i64 @llrint(double noundef) [[NOT_READNONE]]
 451 // HAS_ERRNO: declare i64 @llrintf(float noundef) [[NOT_READNONE]]
 452 // HAS_ERRNO: declare i64 @llrintl(x86_fp80 noundef) [[NOT_READNONE]]
 453 // HAS_ERRNO: declare i64 @llrintf128(fp128 noundef) [[NOT_READNONE]]
 454
 455 __builtin_llround(f);    __builtin_llroundf(f);   __builtin_llroundl(f); __builtin_llroundf128(f);
 456
 457 // NO__ERRNO: declare i64 @llvm.llround.i64.f64(double) [[READNONE_INTRINSIC]]
 458 // NO__ERRNO: declare i64 @llvm.llround.i64.f32(float) [[READNONE_INTRINSIC]]
 459 // NO__ERRNO: declare i64 @llvm.llround.i64.f80(x86_fp80) [[READNONE_INTRINSIC]]
 460 // NO__ERRNO: declare i64 @llvm.llround.i64.f128(fp128) [[READNONE_INTRINSIC]]
 461 // HAS_ERRNO: declare i64 @llround(double noundef) [[NOT_READNONE]]
 462 // HAS_ERRNO: declare i64 @llroundf(float noundef) [[NOT_READNONE]]
 463 // HAS_ERRNO: declare i64 @llroundl(x86_fp80 noundef) [[NOT_READNONE]]
 464 // HAS_ERRNO: declare i64 @llroundf128(fp128 noundef) [[NOT_READNONE]]
 465
 466 __builtin_log(f);        __builtin_logf(f);       __builtin_logl(f); __builtin_logf128(f);
 467
 468 // NO__ERRNO: declare double @llvm.log.f64(double) [[READNONE_INTRINSIC]]
 469 // NO__ERRNO: declare float @llvm.log.f32(float) [[READNONE_INTRINSIC]]
 470 // NO__ERRNO: declare x86_fp80 @llvm.log.f80(x86_fp80) [[READNONE_INTRINSIC]]
 471 // NO__ERRNO: declare fp128 @llvm.log.f128(fp128) [[READNONE_INTRINSIC]]
 472 // HAS_ERRNO: declare double @log(double noundef) [[NOT_READNONE]]
 473 // HAS_ERRNO: declare float @logf(float noundef) [[NOT_READNONE]]
 474 // HAS_ERRNO: declare x86_fp80 @logl(x86_fp80 noundef) [[NOT_READNONE]]
 475 // HAS_ERRNO: declare fp128 @logf128(fp128 noundef) [[NOT_READNONE]]
 476
 477 __builtin_log10(f);      __builtin_log10f(f);     __builtin_log10l(f); __builtin_log10f128(f);
 478
 479 // NO__ERRNO: declare double @llvm.log10.f64(double) [[READNONE_INTRINSIC]]
 480 // NO__ERRNO: declare float @llvm.log10.f32(float) [[READNONE_INTRINSIC]]
 481 // NO__ERRNO: declare x86_fp80 @llvm.log10.f80(x86_fp80) [[READNONE_INTRINSIC]]
 482 // NO__ERRNO: declare fp128 @llvm.log10.f128(fp128) [[READNONE_INTRINSIC]]
 483 // HAS_ERRNO: declare double @log10(double noundef) [[NOT_READNONE]]
 484 // HAS_ERRNO: declare float @log10f(float noundef) [[NOT_READNONE]]
 485 // HAS_ERRNO: declare x86_fp80 @log10l(x86_fp80 noundef) [[NOT_READNONE]]
 486 // HAS_ERRNO: declare fp128 @log10f128(fp128 noundef) [[NOT_READNONE]]
 487
 488 __builtin_log1p(f);      __builtin_log1pf(f);     __builtin_log1pl(f); __builtin_log1pf128(f);
 489
 490 // NO__ERRNO: declare double @log1p(double noundef) [[READNONE]]
 491 // NO__ERRNO: declare float @log1pf(float noundef) [[READNONE]]
 492 // NO__ERRNO: declare x86_fp80 @log1pl(x86_fp80 noundef) [[READNONE]]
 493 // NO__ERRNO: declare fp128 @log1pf128(fp128 noundef) [[READNONE]]
 494 // HAS_ERRNO: declare double @log1p(double noundef) [[NOT_READNONE]]
 495 // HAS_ERRNO: declare float @log1pf(float noundef) [[NOT_READNONE]]
 496 // HAS_ERRNO: declare x86_fp80 @log1pl(x86_fp80 noundef) [[NOT_READNONE]]
 497 // HAS_ERRNO: declare fp128 @log1pf128(fp128 noundef) [[NOT_READNONE]]
 498
 499 __builtin_log2(f);       __builtin_log2f(f);      __builtin_log2l(f); __builtin_log2f128(f);
 500
 501 // NO__ERRNO: declare double @llvm.log2.f64(double) [[READNONE_INTRINSIC]]
 502 // NO__ERRNO: declare float @llvm.log2.f32(float) [[READNONE_INTRINSIC]]
 503 // NO__ERRNO: declare x86_fp80 @llvm.log2.f80(x86_fp80) [[READNONE_INTRINSIC]]
 504 // NO__ERRNO: declare fp128 @llvm.log2.f128(fp128) [[READNONE_INTRINSIC]]
 505 // HAS_ERRNO: declare double @log2(double noundef) [[NOT_READNONE]]
 506 // HAS_ERRNO: declare float @log2f(float noundef) [[NOT_READNONE]]
 507 // HAS_ERRNO: declare x86_fp80 @log2l(x86_fp80 noundef) [[NOT_READNONE]]
 508 // HAS_ERRNO: declare fp128 @log2f128(fp128 noundef) [[NOT_READNONE]]
 509
 510 __builtin_logb(f);       __builtin_logbf(f);      __builtin_logbl(f); __builtin_logbf128(f);
 511
 512 // NO__ERRNO: declare double @logb(double noundef) [[READNONE]]
 513 // NO__ERRNO: declare float @logbf(float noundef) [[READNONE]]
 514 // NO__ERRNO: declare x86_fp80 @logbl(x86_fp80 noundef) [[READNONE]]
 515 // NO__ERRNO: declare fp128 @logbf128(fp128 noundef) [[READNONE]]
 516 // HAS_ERRNO: declare double @logb(double noundef) [[NOT_READNONE]]
 517 // HAS_ERRNO: declare float @logbf(float noundef) [[NOT_READNONE]]
 518 // HAS_ERRNO: declare x86_fp80 @logbl(x86_fp80 noundef) [[NOT_READNONE]]
 519 // HAS_ERRNO: declare fp128 @logbf128(fp128 noundef) [[NOT_READNONE]]
 520
 521 __builtin_lrint(f);      __builtin_lrintf(f);     __builtin_lrintl(f); __builtin_lrintf128(f);
 522
 523 // NO__ERRNO: declare i64 @llvm.lrint.i64.f64(double) [[READNONE_INTRINSIC]]
 524 // NO__ERRNO: declare i64 @llvm.lrint.i64.f32(float) [[READNONE_INTRINSIC]]
 525 // NO__ERRNO: declare i64 @llvm.lrint.i64.f80(x86_fp80) [[READNONE_INTRINSIC]]
 526 // NO__ERRNO: declare i64 @llvm.lrint.i64.f128(fp128) [[READNONE_INTRINSIC]]
 527 // HAS_ERRNO: declare i64 @lrint(double noundef) [[NOT_READNONE]]
 528 // HAS_ERRNO: declare i64 @lrintf(float noundef) [[NOT_READNONE]]
 529 // HAS_ERRNO: declare i64 @lrintl(x86_fp80 noundef) [[NOT_READNONE]]
 530 // HAS_ERRNO: declare i64 @lrintf128(fp128 noundef) [[NOT_READNONE]]
 531
 532 __builtin_lround(f);     __builtin_lroundf(f);    __builtin_lroundl(f);  __builtin_lroundf128(f);
 533
 534 // NO__ERRNO: declare i64 @llvm.lround.i64.f64(double) [[READNONE_INTRINSIC]]
 535 // NO__ERRNO: declare i64 @llvm.lround.i64.f32(float) [[READNONE_INTRINSIC]]
 536 // NO__ERRNO: declare i64 @llvm.lround.i64.f80(x86_fp80) [[READNONE_INTRINSIC]]
 537 // NO__ERRNO: declare i64 @llvm.lround.i64.f128(fp128) [[READNONE_INTRINSIC]]
 538 // HAS_ERRNO: declare i64 @lround(double noundef) [[NOT_READNONE]]
 539 // HAS_ERRNO: declare i64 @lroundf(float noundef) [[NOT_READNONE]]
 540 // HAS_ERRNO: declare i64 @lroundl(x86_fp80 noundef) [[NOT_READNONE]]
 541 // HAS_ERRNO: declare i64 @lroundf128(fp128 noundef) [[NOT_READNONE]]
 542
 543 __builtin_nearbyint(f);  __builtin_nearbyintf(f); __builtin_nearbyintl(f); __builtin_nearbyintf128(f);
 544
 545 // NO__ERRNO: declare double @llvm.nearbyint.f64(double) [[READNONE_INTRINSIC]]
 546 // NO__ERRNO: declare float @llvm.nearbyint.f32(float) [[READNONE_INTRINSIC]]
 547 // NO__ERRNO: declare x86_fp80 @llvm.nearbyint.f80(x86_fp80) [[READNONE_INTRINSIC]]
 548 // NO__ERRNO: declare fp128 @llvm.nearbyint.f128(fp128) [[READNONE_INTRINSIC]]
 549 // HAS_ERRNO: declare double @llvm.nearbyint.f64(double) [[READNONE_INTRINSIC]]
 550 // HAS_ERRNO: declare float @llvm.nearbyint.f32(float) [[READNONE_INTRINSIC]]
 551 // HAS_ERRNO: declare x86_fp80 @llvm.nearbyint.f80(x86_fp80) [[READNONE_INTRINSIC]]
 552 // HAS_ERRNO: declare fp128 @llvm.nearbyint.f128(fp128) [[READNONE_INTRINSIC]]
 553
 554 __builtin_nextafter(f,f);  __builtin_nextafterf(f,f); __builtin_nextafterl(f,f); __builtin_nextafterf128(f,f);
 555
 556 // NO__ERRNO: declare double @nextafter(double noundef, double noundef) [[READNONE]]
 557 // NO__ERRNO: declare float @nextafterf(float noundef, float noundef) [[READNONE]]
 558 // NO__ERRNO: declare x86_fp80 @nextafterl(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
 559 // NO__ERRNO: declare fp128 @nextafterf128(fp128 noundef, fp128 noundef) [[READNONE]]
 560 // HAS_ERRNO: declare double @nextafter(double noundef, double noundef) [[NOT_READNONE]]
 561 // HAS_ERRNO: declare float @nextafterf(float noundef, float noundef) [[NOT_READNONE]]
 562 // HAS_ERRNO: declare x86_fp80 @nextafterl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
 563 // HAS_ERRNO: declare fp128 @nextafterf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
 564
 565 __builtin_nexttoward(f,f); __builtin_nexttowardf(f,f);__builtin_nexttowardl(f,f); __builtin_nexttowardf128(f,f);
 566
 567 // NO__ERRNO: declare double @nexttoward(double noundef, x86_fp80 noundef) [[READNONE]]
 568 // NO__ERRNO: declare float @nexttowardf(float noundef, x86_fp80 noundef) [[READNONE]]
 569 // NO__ERRNO: declare x86_fp80 @nexttowardl(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
 570 // NO__ERRNO: declare fp128 @nexttowardf128(fp128 noundef, fp128 noundef) [[READNONE]]
 571 // HAS_ERRNO: declare double @nexttoward(double noundef, x86_fp80 noundef) [[NOT_READNONE]]
 572 // HAS_ERRNO: declare float @nexttowardf(float noundef, x86_fp80 noundef) [[NOT_READNONE]]
 573 // HAS_ERRNO: declare x86_fp80 @nexttowardl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
 574 // HAS_ERRNO: declare fp128 @nexttowardf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
 575
 576 __builtin_remainder(f,f);  __builtin_remainderf(f,f); __builtin_remainderl(f,f); __builtin_remainderf128(f,f);
 577
 578 // NO__ERRNO: declare double @remainder(double noundef, double noundef) [[READNONE]]
 579 // NO__ERRNO: declare float @remainderf(float noundef, float noundef) [[READNONE]]
 580 // NO__ERRNO: declare x86_fp80 @remainderl(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
 581 // NO__ERRNO: declare fp128 @remainderf128(fp128 noundef, fp128 noundef) [[READNONE]]
 582 // HAS_ERRNO: declare double @remainder(double noundef, double noundef) [[NOT_READNONE]]
 583 // HAS_ERRNO: declare float @remainderf(float noundef, float noundef) [[NOT_READNONE]]
 584 // HAS_ERRNO: declare x86_fp80 @remainderl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
 585 // HAS_ERRNO: declare fp128 @remainderf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
 586
 587 __builtin_remquo(f,f,i);  __builtin_remquof(f,f,i); __builtin_remquol(f,f,i); __builtin_remquof128(f,f,i);
 588
 589 // NO__ERRNO: declare double @remquo(double noundef, double noundef, ptr noundef) [[NOT_READNONE]]
 590 // NO__ERRNO: declare float @remquof(float noundef, float noundef, ptr noundef) [[NOT_READNONE]]
 591 // NO__ERRNO: declare x86_fp80 @remquol(x86_fp80 noundef, x86_fp80 noundef, ptr noundef) [[NOT_READNONE]]
 592 // NO__ERRNO: declare fp128 @remquof128(fp128 noundef, fp128 noundef, ptr noundef) [[NOT_READNONE]]
 593 // HAS_ERRNO: declare double @remquo(double noundef, double noundef, ptr noundef) [[NOT_READNONE]]
 594 // HAS_ERRNO: declare float @remquof(float noundef, float noundef, ptr noundef) [[NOT_READNONE]]
 595 // HAS_ERRNO: declare x86_fp80 @remquol(x86_fp80 noundef, x86_fp80 noundef, ptr noundef) [[NOT_READNONE]]
 596 // HAS_ERRNO: declare fp128 @remquof128(fp128 noundef, fp128 noundef, ptr noundef) [[NOT_READNONE]]
 597
 598 __builtin_rint(f);       __builtin_rintf(f);      __builtin_rintl(f); __builtin_rintf128(f);
 599
 600 // NO__ERRNO: declare double @llvm.rint.f64(double) [[READNONE_INTRINSIC]]
 601 // NO__ERRNO: declare float @llvm.rint.f32(float) [[READNONE_INTRINSIC]]
 602 // NO__ERRNO: declare x86_fp80 @llvm.rint.f80(x86_fp80) [[READNONE_INTRINSIC]]
 603 // NO__ERRNO: declare fp128 @llvm.rint.f128(fp128) [[READNONE_INTRINSIC]]
 604 // HAS_ERRNO: declare double @llvm.rint.f64(double) [[READNONE_INTRINSIC]]
 605 // HAS_ERRNO: declare float @llvm.rint.f32(float) [[READNONE_INTRINSIC]]
 606 // HAS_ERRNO: declare x86_fp80 @llvm.rint.f80(x86_fp80) [[READNONE_INTRINSIC]]
 607 // HAS_ERRNO: declare fp128 @llvm.rint.f128(fp128) [[READNONE_INTRINSIC]]
 608
 609 __builtin_round(f);      __builtin_roundf(f);     __builtin_roundl(f); __builtin_roundf128(f);
 610
 611 // NO__ERRNO: declare double @llvm.round.f64(double) [[READNONE_INTRINSIC]]
 612 // NO__ERRNO: declare float @llvm.round.f32(float) [[READNONE_INTRINSIC]]
 613 // NO__ERRNO: declare x86_fp80 @llvm.round.f80(x86_fp80) [[READNONE_INTRINSIC]]
 614 // NO__ERRNO: declare fp128 @llvm.round.f128(fp128) [[READNONE_INTRINSIC]]
 615 // HAS_ERRNO: declare double @llvm.round.f64(double) [[READNONE_INTRINSIC]]
 616 // HAS_ERRNO: declare float @llvm.round.f32(float) [[READNONE_INTRINSIC]]
 617 // HAS_ERRNO: declare x86_fp80 @llvm.round.f80(x86_fp80) [[READNONE_INTRINSIC]]
 618 // HAS_ERRNO: declare fp128 @llvm.round.f128(fp128) [[READNONE_INTRINSIC]]
 619
 620 __builtin_scalbln(f,f);    __builtin_scalblnf(f,f);   __builtin_scalblnl(f,f); __builtin_scalblnf128(f,f);
 621
 622 // NO__ERRNO: declare double @scalbln(double noundef, i64 noundef) [[READNONE]]
 623 // NO__ERRNO: declare float @scalblnf(float noundef, i64 noundef) [[READNONE]]
 624 // NO__ERRNO: declare x86_fp80 @scalblnl(x86_fp80 noundef, i64 noundef) [[READNONE]]
 625 // NO__ERRNO: declare fp128 @scalblnf128(fp128 noundef, i64 noundef) [[READNONE]]
 626 // HAS_ERRNO: declare double @scalbln(double noundef, i64 noundef) [[NOT_READNONE]]
 627 // HAS_ERRNO: declare float @scalblnf(float noundef, i64 noundef) [[NOT_READNONE]]
 628 // HAS_ERRNO: declare x86_fp80 @scalblnl(x86_fp80 noundef, i64 noundef) [[NOT_READNONE]]
 629 // HAS_ERRNO: declare fp128 @scalblnf128(fp128 noundef, i64 noundef) [[NOT_READNONE]]
 630
 631 __builtin_scalbn(f,f);     __builtin_scalbnf(f,f);    __builtin_scalbnl(f,f); __builtin_scalbnf128(f,f);
 632
 633 // NO__ERRNO: declare double @scalbn(double noundef, i32 noundef) [[READNONE]]
 634 // NO__ERRNO: declare float @scalbnf(float noundef, i32 noundef) [[READNONE]]
 635 // NO__ERRNO: declare x86_fp80 @scalbnl(x86_fp80 noundef, i32 noundef) [[READNONE]]
 636 // NO__ERRNO: declare fp128 @scalbnf128(fp128 noundef, i32 noundef) [[READNONE]]
 637 // HAS_ERRNO: declare double @scalbn(double noundef, i32 noundef) [[NOT_READNONE]]
 638 // HAS_ERRNO: declare float @scalbnf(float noundef, i32 noundef) [[NOT_READNONE]]
 639 // HAS_ERRNO: declare x86_fp80 @scalbnl(x86_fp80 noundef, i32 noundef) [[NOT_READNONE]]
 640 // HAS_ERRNO: declare fp128 @scalbnf128(fp128 noundef, i32 noundef) [[NOT_READNONE]]
 641
 642 __builtin_sin(f);        __builtin_sinf(f);       __builtin_sinl(f); __builtin_sinf128(f);
 643
 644 // NO__ERRNO: declare double @llvm.sin.f64(double) [[READNONE_INTRINSIC]]
 645 // NO__ERRNO: declare float @llvm.sin.f32(float) [[READNONE_INTRINSIC]]
 646 // NO__ERRNO: declare x86_fp80 @llvm.sin.f80(x86_fp80) [[READNONE_INTRINSIC]]
 647 // NO__ERRNO: declare fp128 @llvm.sin.f128(fp128) [[READNONE_INTRINSIC]]
 648 // HAS_ERRNO: declare double @sin(double noundef) [[NOT_READNONE]]
 649 // HAS_ERRNO: declare float @sinf(float noundef) [[NOT_READNONE]]
 650 // HAS_ERRNO: declare x86_fp80 @sinl(x86_fp80 noundef) [[NOT_READNONE]]
 651 // HAS_ERRNO: declare fp128 @sinf128(fp128 noundef) [[NOT_READNONE]]
 652
 653 __builtin_sinh(f);       __builtin_sinhf(f);      __builtin_sinhl(f); __builtin_sinhf128(f);
 654
 655 // NO__ERRNO: declare double @sinh(double noundef) [[READNONE]]
 656 // NO__ERRNO: declare float @sinhf(float noundef) [[READNONE]]
 657 // NO__ERRNO: declare x86_fp80 @sinhl(x86_fp80 noundef) [[READNONE]]
 658 // NO__ERRNO: declare fp128 @sinhf128(fp128 noundef) [[READNONE]]
 659 // HAS_ERRNO: declare double @sinh(double noundef) [[NOT_READNONE]]
 660 // HAS_ERRNO: declare float @sinhf(float noundef) [[NOT_READNONE]]
 661 // HAS_ERRNO: declare x86_fp80 @sinhl(x86_fp80 noundef) [[NOT_READNONE]]
 662 // HAS_ERRNO: declare fp128 @sinhf128(fp128 noundef) [[NOT_READNONE]]
 663
 664 __builtin_sqrt(f);       __builtin_sqrtf(f);      __builtin_sqrtl(f); __builtin_sqrtf128(f);
 665
 666 // NO__ERRNO: declare double @llvm.sqrt.f64(double) [[READNONE_INTRINSIC]]
 667 // NO__ERRNO: declare float @llvm.sqrt.f32(float) [[READNONE_INTRINSIC]]
 668 // NO__ERRNO: declare x86_fp80 @llvm.sqrt.f80(x86_fp80) [[READNONE_INTRINSIC]]
 669 // NO__ERRNO: declare fp128 @llvm.sqrt.f128(fp128) [[READNONE_INTRINSIC]]
 670 // HAS_ERRNO: declare double @sqrt(double noundef) [[NOT_READNONE]]
 671 // HAS_ERRNO: declare float @sqrtf(float noundef) [[NOT_READNONE]]
 672 // HAS_ERRNO: declare x86_fp80 @sqrtl(x86_fp80 noundef) [[NOT_READNONE]]
 673 // HAS_ERRNO: declare fp128 @sqrtf128(fp128 noundef) [[NOT_READNONE]]
 674
 675 __builtin_tan(f);        __builtin_tanf(f);       __builtin_tanl(f); __builtin_tanf128(f);
 676
 677 // NO__ERRNO: declare double @tan(double noundef) [[READNONE]]
 678 // NO__ERRNO: declare float @tanf(float noundef) [[READNONE]]
 679 // NO__ERRNO: declare x86_fp80 @tanl(x86_fp80 noundef) [[READNONE]]
 680 // NO__ERRNO: declare fp128 @tanf128(fp128 noundef) [[READNONE]]
 681 // HAS_ERRNO: declare double @tan(double noundef) [[NOT_READNONE]]
 682 // HAS_ERRNO: declare float @tanf(float noundef) [[NOT_READNONE]]
 683 // HAS_ERRNO: declare x86_fp80 @tanl(x86_fp80 noundef) [[NOT_READNONE]]
 684 // HAS_ERRNO: declare fp128 @tanf128(fp128 noundef) [[NOT_READNONE]]
 685
 686 __builtin_tanh(f);       __builtin_tanhf(f);      __builtin_tanhl(f); __builtin_tanhf128(f);
 687
 688 // NO__ERRNO: declare double @tanh(double noundef) [[READNONE]]
 689 // NO__ERRNO: declare float @tanhf(float noundef) [[READNONE]]
 690 // NO__ERRNO: declare x86_fp80 @tanhl(x86_fp80 noundef) [[READNONE]]
 691 // NO__ERRNO: declare fp128 @tanhf128(fp128 noundef) [[READNONE]]
 692 // HAS_ERRNO: declare double @tanh(double noundef) [[NOT_READNONE]]
 693 // HAS_ERRNO: declare float @tanhf(float noundef) [[NOT_READNONE]]
 694 // HAS_ERRNO: declare x86_fp80 @tanhl(x86_fp80 noundef) [[NOT_READNONE]]
 695 // HAS_ERRNO: declare fp128 @tanhf128(fp128 noundef) [[NOT_READNONE]]
 696
 697 __builtin_tgamma(f);     __builtin_tgammaf(f);    __builtin_tgammal(f); __builtin_tgammaf128(f);
 698
 699 // NO__ERRNO: declare double @tgamma(double noundef) [[READNONE]]
 700 // NO__ERRNO: declare float @tgammaf(float noundef) [[READNONE]]
 701 // NO__ERRNO: declare x86_fp80 @tgammal(x86_fp80 noundef) [[READNONE]]
 702 // NO__ERRNO: declare fp128 @tgammaf128(fp128 noundef) [[READNONE]]
 703 // HAS_ERRNO: declare double @tgamma(double noundef) [[NOT_READNONE]]
 704 // HAS_ERRNO: declare float @tgammaf(float noundef) [[NOT_READNONE]]
 705 // HAS_ERRNO: declare x86_fp80 @tgammal(x86_fp80 noundef) [[NOT_READNONE]]
 706 // HAS_ERRNO: declare fp128 @tgammaf128(fp128 noundef) [[NOT_READNONE]]
 707
 708 __builtin_trunc(f);      __builtin_truncf(f);     __builtin_truncl(f); __builtin_truncf128(f);
 709
 710 // NO__ERRNO: declare double @llvm.trunc.f64(double) [[READNONE_INTRINSIC]]
 711 // NO__ERRNO: declare float @llvm.trunc.f32(float) [[READNONE_INTRINSIC]]
 712 // NO__ERRNO: declare x86_fp80 @llvm.trunc.f80(x86_fp80) [[READNONE_INTRINSIC]]
 713 // NO__ERRNO: declare fp128 @llvm.trunc.f128(fp128) [[READNONE_INTRINSIC]]
 714 // HAS_ERRNO: declare double @llvm.trunc.f64(double) [[READNONE_INTRINSIC]]
 715 // HAS_ERRNO: declare float @llvm.trunc.f32(float) [[READNONE_INTRINSIC]]
 716 // HAS_ERRNO: declare x86_fp80 @llvm.trunc.f80(x86_fp80) [[READNONE_INTRINSIC]]
 717 // HAS_ERRNO: declare fp128 @llvm.trunc.f128(fp128) [[READNONE_INTRINSIC]]
 718 };
 719
 720 // NO__ERRNO: attributes [[READNONE]] = { {{.*}}memory(none){{.*}} }
 721 // NO__ERRNO: attributes [[READNONE_INTRINSIC]] = { {{.*}}memory(none){{.*}} }
 722 // NO__ERRNO: attributes [[NOT_READNONE]] = { nounwind {{.*}} }
 723 // NO__ERRNO: attributes [[PURE]] = { {{.*}}memory(read){{.*}} }
 724
 725 // HAS_ERRNO: attributes [[NOT_READNONE]] = { nounwind {{.*}} }
 726 // HAS_ERRNO: attributes [[READNONE_INTRINSIC]] = { {{.*}}memory(none){{.*}} }
 727 // HAS_ERRNO: attributes [[PURE]] = { {{.*}}memory(read){{.*}} }
 728 // HAS_ERRNO: attributes [[READNONE]] = { {{.*}}memory(none){{.*}} }
 729
 730 // HAS_ERRNO_GNU: attributes [[READNONE_INTRINSIC]] = { {{.*}}memory(none){{.*}} }
 731 // HAS_ERRNO_WIN: attributes [[READNONE_INTRINSIC]] = { {{.*}}memory(none){{.*}} }
 732