1; RUN: llc -mtriple=aarch64-none-linux-gnu -verify-machineinstrs -o - %s | FileCheck %s 2; RUN: llc -mtriple=aarch64-linux-android -verify-machineinstrs -o - %s | FileCheck %s 3 4@varfloat = global float 0.0 5@vardouble = global double 0.0 6@varfp128 = global fp128 zeroinitializer 7 8declare float @llvm.cos.f32(float) 9declare double @llvm.cos.f64(double) 10declare fp128 @llvm.cos.f128(fp128) 11 12define void @test_cos(float %float, double %double, fp128 %fp128) { 13; CHECK-LABEL: test_cos: 14 15 %cosfloat = call float @llvm.cos.f32(float %float) 16 store float %cosfloat, ptr @varfloat 17; CHECK: bl cosf 18 19 %cosdouble = call double @llvm.cos.f64(double %double) 20 store double %cosdouble, ptr @vardouble 21; CHECK: bl cos 22 23 %cosfp128 = call fp128 @llvm.cos.f128(fp128 %fp128) 24 store fp128 %cosfp128, ptr @varfp128 25; CHECK: bl cosl 26 27 ret void 28} 29 30declare float @llvm.exp.f32(float) 31declare double @llvm.exp.f64(double) 32declare fp128 @llvm.exp.f128(fp128) 33 34define void @test_exp(float %float, double %double, fp128 %fp128) { 35; CHECK-LABEL: test_exp: 36 37 %expfloat = call float @llvm.exp.f32(float %float) 38 store float %expfloat, ptr @varfloat 39; CHECK: bl expf 40 41 %expdouble = call double @llvm.exp.f64(double %double) 42 store double %expdouble, ptr @vardouble 43; CHECK: bl exp 44 45 %expfp128 = call fp128 @llvm.exp.f128(fp128 %fp128) 46 store fp128 %expfp128, ptr @varfp128 47; CHECK: bl expl 48 49 ret void 50} 51 52declare float @llvm.exp2.f32(float) 53declare double @llvm.exp2.f64(double) 54declare fp128 @llvm.exp2.f128(fp128) 55 56define void @test_exp2(float %float, double %double, fp128 %fp128) { 57; CHECK-LABEL: test_exp2: 58 59 %exp2float = call float @llvm.exp2.f32(float %float) 60 store float %exp2float, ptr @varfloat 61; CHECK: bl exp2f 62 63 %exp2double = call double @llvm.exp2.f64(double %double) 64 store double %exp2double, ptr @vardouble 65; CHECK: bl exp2 66 67 %exp2fp128 = call fp128 @llvm.exp2.f128(fp128 %fp128) 68 store fp128 %exp2fp128, ptr @varfp128 69; CHECK: bl exp2l 70 ret void 71 72} 73 74declare float @llvm.log.f32(float) 75declare double @llvm.log.f64(double) 76declare fp128 @llvm.log.f128(fp128) 77 78define void @test_log(float %float, double %double, fp128 %fp128) { 79; CHECK-LABEL: test_log: 80 81 %logfloat = call float @llvm.log.f32(float %float) 82 store float %logfloat, ptr @varfloat 83; CHECK: bl logf 84 85 %logdouble = call double @llvm.log.f64(double %double) 86 store double %logdouble, ptr @vardouble 87; CHECK: bl log 88 89 %logfp128 = call fp128 @llvm.log.f128(fp128 %fp128) 90 store fp128 %logfp128, ptr @varfp128 91; CHECK: bl logl 92 93 ret void 94} 95 96declare float @llvm.log2.f32(float) 97declare double @llvm.log2.f64(double) 98declare fp128 @llvm.log2.f128(fp128) 99 100define void @test_log2(float %float, double %double, fp128 %fp128) { 101; CHECK-LABEL: test_log2: 102 103 %log2float = call float @llvm.log2.f32(float %float) 104 store float %log2float, ptr @varfloat 105; CHECK: bl log2f 106 107 %log2double = call double @llvm.log2.f64(double %double) 108 store double %log2double, ptr @vardouble 109; CHECK: bl log2 110 111 %log2fp128 = call fp128 @llvm.log2.f128(fp128 %fp128) 112 store fp128 %log2fp128, ptr @varfp128 113; CHECK: bl log2l 114 ret void 115 116} 117 118declare float @llvm.log10.f32(float) 119declare double @llvm.log10.f64(double) 120declare fp128 @llvm.log10.f128(fp128) 121 122define void @test_log10(float %float, double %double, fp128 %fp128) { 123; CHECK-LABEL: test_log10: 124 125 %log10float = call float @llvm.log10.f32(float %float) 126 store float %log10float, ptr @varfloat 127; CHECK: bl log10f 128 129 %log10double = call double @llvm.log10.f64(double %double) 130 store double %log10double, ptr @vardouble 131; CHECK: bl log10 132 133 %log10fp128 = call fp128 @llvm.log10.f128(fp128 %fp128) 134 store fp128 %log10fp128, ptr @varfp128 135; CHECK: bl log10l 136 137 ret void 138} 139 140declare float @llvm.sin.f32(float) 141declare double @llvm.sin.f64(double) 142declare fp128 @llvm.sin.f128(fp128) 143 144define void @test_sin(float %float, double %double, fp128 %fp128) { 145; CHECK-LABEL: test_sin: 146 147 %sinfloat = call float @llvm.sin.f32(float %float) 148 store float %sinfloat, ptr @varfloat 149; CHECK: bl sinf 150 151 %sindouble = call double @llvm.sin.f64(double %double) 152 store double %sindouble, ptr @vardouble 153; CHECK: bl sin 154 155 %sinfp128 = call fp128 @llvm.sin.f128(fp128 %fp128) 156 store fp128 %sinfp128, ptr @varfp128 157; CHECK: bl sinl 158 ret void 159 160} 161 162declare float @llvm.tan.f32(float) 163declare double @llvm.tan.f64(double) 164declare fp128 @llvm.tan.f128(fp128) 165 166define void @test_tan(float %float, double %double, fp128 %fp128) { 167; CHECK-LABEL: test_tan: 168 169 %tanfloat = call float @llvm.tan.f32(float %float) 170 store float %tanfloat, ptr @varfloat 171; CHECK: bl tanf 172 173 %tandouble = call double @llvm.tan.f64(double %double) 174 store double %tandouble, ptr @vardouble 175; CHECK: bl tan 176 177 %tanfp128 = call fp128 @llvm.tan.f128(fp128 %fp128) 178 store fp128 %tanfp128, ptr @varfp128 179; CHECK: bl tanl 180 ret void 181} 182 183declare float @llvm.acos.f32(float) 184declare double @llvm.acos.f64(double) 185declare fp128 @llvm.acos.f128(fp128) 186 187define void @test_acos(float %float, double %double, fp128 %fp128) { 188; CHECK-LABEL: test_acos: 189 190 %acosfloat = call float @llvm.acos.f32(float %float) 191 store float %acosfloat, ptr @varfloat 192; CHECK: bl acosf 193 194 %acosdouble = call double @llvm.acos.f64(double %double) 195 store double %acosdouble, ptr @vardouble 196; CHECK: bl acos 197 198 %acosfp128 = call fp128 @llvm.acos.f128(fp128 %fp128) 199 store fp128 %acosfp128, ptr @varfp128 200; CHECK: bl acosl 201 ret void 202} 203 204declare float @llvm.asin.f32(float) 205declare double @llvm.asin.f64(double) 206declare fp128 @llvm.asin.f128(fp128) 207 208define void @test_asin(float %float, double %double, fp128 %fp128) { 209; CHECK-LABEL: test_asin: 210 211 %asinfloat = call float @llvm.asin.f32(float %float) 212 store float %asinfloat, ptr @varfloat 213; CHECK: bl asinf 214 215 %asindouble = call double @llvm.asin.f64(double %double) 216 store double %asindouble, ptr @vardouble 217; CHECK: bl asin 218 219 %asinfp128 = call fp128 @llvm.asin.f128(fp128 %fp128) 220 store fp128 %asinfp128, ptr @varfp128 221; CHECK: bl asinl 222 ret void 223} 224 225declare float @llvm.atan.f32(float) 226declare double @llvm.atan.f64(double) 227declare fp128 @llvm.atan.f128(fp128) 228 229define void @test_atan(float %float, double %double, fp128 %fp128) { 230; CHECK-LABEL: test_atan: 231 232 %atanfloat = call float @llvm.atan.f32(float %float) 233 store float %atanfloat, ptr @varfloat 234; CHECK: bl atanf 235 236 %atandouble = call double @llvm.atan.f64(double %double) 237 store double %atandouble, ptr @vardouble 238; CHECK: bl atan 239 240 %atanfp128 = call fp128 @llvm.atan.f128(fp128 %fp128) 241 store fp128 %atanfp128, ptr @varfp128 242; CHECK: bl atanl 243 ret void 244} 245 246declare float @llvm.atan2.f32(float, float) 247declare double @llvm.atan2.f64(double, double) 248declare fp128 @llvm.atan2.f128(fp128, fp128) 249 250define void @test_atan2(float %float1, double %double1, fp128 %fp1281, float %float2, double %double2, fp128 %fp1282) { 251; CHECK-LABEL: test_atan2: 252 253 %atan2float = call float @llvm.atan2.f32(float %float1, float %float2) 254 store float %atan2float, ptr @varfloat 255; CHECK: bl atan2f 256 257 %atan2double = call double @llvm.atan2.f64(double %double1, double %double2) 258 store double %atan2double, ptr @vardouble 259; CHECK: bl atan2 260 261 %atan2fp128 = call fp128 @llvm.atan2.f128(fp128 %fp1281, fp128 %fp1282) 262 store fp128 %atan2fp128, ptr @varfp128 263; CHECK: bl atan2l 264 ret void 265} 266 267declare float @llvm.cosh.f32(float) 268declare double @llvm.cosh.f64(double) 269declare fp128 @llvm.cosh.f128(fp128) 270 271define void @test_cosh(float %float, double %double, fp128 %fp128) { 272; CHECK-LABEL: test_cosh: 273 274 %coshfloat = call float @llvm.cosh.f32(float %float) 275 store float %coshfloat, ptr @varfloat 276; CHECK: bl coshf 277 278 %coshdouble = call double @llvm.cosh.f64(double %double) 279 store double %coshdouble, ptr @vardouble 280; CHECK: bl cosh 281 282 %coshfp128 = call fp128 @llvm.cosh.f128(fp128 %fp128) 283 store fp128 %coshfp128, ptr @varfp128 284; CHECK: bl coshl 285 ret void 286} 287 288declare float @llvm.sinh.f32(float) 289declare double @llvm.sinh.f64(double) 290declare fp128 @llvm.sinh.f128(fp128) 291 292define void @test_sinh(float %float, double %double, fp128 %fp128) { 293; CHECK-LABEL: test_sinh: 294 295 %sinhfloat = call float @llvm.sinh.f32(float %float) 296 store float %sinhfloat, ptr @varfloat 297; CHECK: bl sinhf 298 299 %sinhdouble = call double @llvm.sinh.f64(double %double) 300 store double %sinhdouble, ptr @vardouble 301; CHECK: bl sinh 302 303 %sinhfp128 = call fp128 @llvm.sinh.f128(fp128 %fp128) 304 store fp128 %sinhfp128, ptr @varfp128 305; CHECK: bl sinhl 306 ret void 307} 308 309declare float @llvm.tanh.f32(float) 310declare double @llvm.tanh.f64(double) 311declare fp128 @llvm.tanh.f128(fp128) 312 313define void @test_tanh(float %float, double %double, fp128 %fp128) { 314; CHECK-LABEL: test_tanh: 315 316 %tanhfloat = call float @llvm.tanh.f32(float %float) 317 store float %tanhfloat, ptr @varfloat 318; CHECK: bl tanhf 319 320 %tanhdouble = call double @llvm.tanh.f64(double %double) 321 store double %tanhdouble, ptr @vardouble 322; CHECK: bl tanh 323 324 %tanhfp128 = call fp128 @llvm.tanh.f128(fp128 %fp128) 325 store fp128 %tanhfp128, ptr @varfp128 326; CHECK: bl tanhl 327 ret void 328} 329 330declare float @llvm.pow.f32(float, float) 331declare double @llvm.pow.f64(double, double) 332declare fp128 @llvm.pow.f128(fp128, fp128) 333 334define void @test_pow(float %float, double %double, fp128 %fp128) { 335; CHECK-LABEL: test_pow: 336 337 %powfloat = call float @llvm.pow.f32(float %float, float %float) 338 store float %powfloat, ptr @varfloat 339; CHECK: bl powf 340 341 %powdouble = call double @llvm.pow.f64(double %double, double %double) 342 store double %powdouble, ptr @vardouble 343; CHECK: bl pow 344 345 %powfp128 = call fp128 @llvm.pow.f128(fp128 %fp128, fp128 %fp128) 346 store fp128 %powfp128, ptr @varfp128 347; CHECK: bl powl 348 349 ret void 350} 351 352declare float @llvm.powi.f32.i32(float, i32) 353declare double @llvm.powi.f64.i32(double, i32) 354declare fp128 @llvm.powi.f128.i32(fp128, i32) 355 356define void @test_powi(float %float, double %double, i32 %exponent, fp128 %fp128) { 357; CHECK-LABEL: test_powi: 358 359 %powifloat = call float @llvm.powi.f32.i32(float %float, i32 %exponent) 360 store float %powifloat, ptr @varfloat 361; CHECK: bl __powisf2 362 363 %powidouble = call double @llvm.powi.f64.i32(double %double, i32 %exponent) 364 store double %powidouble, ptr @vardouble 365; CHECK: bl __powidf2 366 367 %powifp128 = call fp128 @llvm.powi.f128.i32(fp128 %fp128, i32 %exponent) 368 store fp128 %powifp128, ptr @varfp128 369; CHECK: bl __powitf2 370 ret void 371 372} 373 374define void @test_frem(float %float, double %double, fp128 %fp128) { 375; CHECK-LABEL: test_frem: 376 377 %fremfloat = frem float %float, %float 378 store float %fremfloat, ptr @varfloat 379; CHECK: bl fmodf 380 381 %fremdouble = frem double %double, %double 382 store double %fremdouble, ptr @vardouble 383; CHECK: bl fmod 384 385 %fremfp128 = frem fp128 %fp128, %fp128 386 store fp128 %fremfp128, ptr @varfp128 387; CHECK: bl fmodl 388 389 ret void 390} 391 392declare fp128 @llvm.fma.f128(fp128, fp128, fp128) 393 394define void @test_fma(fp128 %fp128) { 395; CHECK-LABEL: test_fma: 396 397 %fmafp128 = call fp128 @llvm.fma.f128(fp128 %fp128, fp128 %fp128, fp128 %fp128) 398 store fp128 %fmafp128, ptr @varfp128 399; CHECK: bl fmal 400 401 ret void 402} 403 404declare fp128 @llvm.fmuladd.f128(fp128, fp128, fp128) 405 406define void @test_fmuladd(fp128 %fp128) { 407; CHECK-LABEL: test_fmuladd: 408 409 %fmuladdfp128 = call fp128 @llvm.fmuladd.f128(fp128 %fp128, fp128 %fp128, fp128 %fp128) 410 store fp128 %fmuladdfp128, ptr @varfp128 411; CHECK-NOT: bl fmal 412; CHECK: bl __multf3 413; CHECK: bl __addtf3 414 415 ret void 416} 417 418define i32 @test_fptosi32(fp128 %a) { 419; CHECK-LABEL: test_fptosi32: 420; CHECK: bl __fixtfsi 421 %conv.i = fptosi fp128 %a to i32 422 %b = add nsw i32 %conv.i, 48 423 ret i32 %b 424} 425 426define i64 @test_fptosi64(fp128 %a) { 427; CHECK-LABEL: test_fptosi64: 428; CHECK: bl __fixtfdi 429 %conv.i = fptosi fp128 %a to i64 430 %b = add nsw i64 %conv.i, 48 431 ret i64 %b 432} 433 434define i128 @test_fptosi128(fp128 %a) { 435; CHECK-LABEL: test_fptosi128: 436; CHECK: bl __fixtfti 437 %conv.i = fptosi fp128 %a to i128 438 %b = add nsw i128 %conv.i, 48 439 ret i128 %b 440} 441 442define i32 @test_fptoui32(fp128 %a) { 443; CHECK-LABEL: test_fptoui32: 444; CHECK: bl __fixunstfsi 445 %conv.i = fptoui fp128 %a to i32 446 %b = add nsw i32 %conv.i, 48 447 ret i32 %b 448} 449 450define i64 @test_fptoui64(fp128 %a) { 451; CHECK-LABEL: test_fptoui64: 452; CHECK: bl __fixunstfdi 453 %conv.i = fptoui fp128 %a to i64 454 %b = add nsw i64 %conv.i, 48 455 ret i64 %b 456} 457 458define i128 @test_fptoui128(fp128 %a) { 459; CHECK-LABEL: test_fptoui128: 460; CHECK: bl __fixunstfti 461 %conv.i = fptoui fp128 %a to i128 462 %b = add nsw i128 %conv.i, 48 463 ret i128 %b 464} 465 466define void @test_exp_finite(double %double) #0 { 467 %expdouble = call double @llvm.exp.f64(double %double) 468 store double %expdouble, ptr @vardouble 469 ; ANDROID-AARCH64-NOT: bl __exp_finite 470 ; CHECK: bl exp 471 472 ret void 473} 474 475define void @test_exp2_finite(double %double) #0 { 476 %expdouble = call double @llvm.exp2.f64(double %double) 477 store double %expdouble, ptr @vardouble 478 ; CHECK-NOT: bl __exp2_finite 479 ; CHECK: bl exp2 480 481 ret void 482} 483 484define void @test_log_finite(double %double) #0 { 485 %logdouble = call double @llvm.log.f64(double %double) 486 store double %logdouble, ptr @vardouble 487 ; CHECK-NOT: bl __log_finite 488 ; CHECK: bl log 489 ret void 490} 491 492define void @test_log2_finite(double %double) #0 { 493 %log2double = call double @llvm.log2.f64(double %double) 494 store double %log2double, ptr @vardouble 495 ; CHECK-NOT: bl __log2_finite 496 ; CHECK: bl log2 497 ret void 498} 499 500define void @test_log10_finite(double %double) #0 { 501 %log10double = call double @llvm.log10.f64(double %double) 502 store double %log10double, ptr @vardouble 503 ; CHECK-NOT: bl __log10_finite 504 ; CHECK: bl log10 505 ret void 506} 507 508define void @test_pow_finite(double %double) #0 { 509 %powdouble = call double @llvm.pow.f64(double %double, double %double) 510 store double %powdouble, ptr @vardouble 511 ; CHECK-NOT: bl __pow_finite 512 ; CHECK: bl pow 513 ret void 514} 515 516attributes #0 = { "no-infs-fp-math"="true" "no-nans-fp-math"="true" } 517