517 lines · plain
1; RUN: llc -mtriple=aarch64-none-linux-gnu -verify-machineinstrs -o - %s | FileCheck %s2; RUN: llc -mtriple=aarch64-linux-android -verify-machineinstrs -o - %s | FileCheck %s3 4@varfloat = global float 0.05@vardouble = global double 0.06@varfp128 = global fp128 zeroinitializer7 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 @varfloat17; CHECK: bl cosf18 19 %cosdouble = call double @llvm.cos.f64(double %double)20 store double %cosdouble, ptr @vardouble21; CHECK: bl cos22 23 %cosfp128 = call fp128 @llvm.cos.f128(fp128 %fp128)24 store fp128 %cosfp128, ptr @varfp12825; CHECK: bl cosl26 27 ret void28}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 @varfloat39; CHECK: bl expf40 41 %expdouble = call double @llvm.exp.f64(double %double)42 store double %expdouble, ptr @vardouble43; CHECK: bl exp44 45 %expfp128 = call fp128 @llvm.exp.f128(fp128 %fp128)46 store fp128 %expfp128, ptr @varfp12847; CHECK: bl expl48 49 ret void50}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 @varfloat61; CHECK: bl exp2f62 63 %exp2double = call double @llvm.exp2.f64(double %double)64 store double %exp2double, ptr @vardouble65; CHECK: bl exp266 67 %exp2fp128 = call fp128 @llvm.exp2.f128(fp128 %fp128)68 store fp128 %exp2fp128, ptr @varfp12869; CHECK: bl exp2l70 ret void71 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 @varfloat83; CHECK: bl logf84 85 %logdouble = call double @llvm.log.f64(double %double)86 store double %logdouble, ptr @vardouble87; CHECK: bl log88 89 %logfp128 = call fp128 @llvm.log.f128(fp128 %fp128)90 store fp128 %logfp128, ptr @varfp12891; CHECK: bl logl92 93 ret void94}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 @varfloat105; CHECK: bl log2f106 107 %log2double = call double @llvm.log2.f64(double %double)108 store double %log2double, ptr @vardouble109; CHECK: bl log2110 111 %log2fp128 = call fp128 @llvm.log2.f128(fp128 %fp128)112 store fp128 %log2fp128, ptr @varfp128113; CHECK: bl log2l114 ret void115 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 @varfloat127; CHECK: bl log10f128 129 %log10double = call double @llvm.log10.f64(double %double)130 store double %log10double, ptr @vardouble131; CHECK: bl log10132 133 %log10fp128 = call fp128 @llvm.log10.f128(fp128 %fp128)134 store fp128 %log10fp128, ptr @varfp128135; CHECK: bl log10l136 137 ret void138}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 @varfloat149; CHECK: bl sinf150 151 %sindouble = call double @llvm.sin.f64(double %double)152 store double %sindouble, ptr @vardouble153; CHECK: bl sin154 155 %sinfp128 = call fp128 @llvm.sin.f128(fp128 %fp128)156 store fp128 %sinfp128, ptr @varfp128157; CHECK: bl sinl158 ret void159 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 @varfloat171; CHECK: bl tanf172 173 %tandouble = call double @llvm.tan.f64(double %double)174 store double %tandouble, ptr @vardouble175; CHECK: bl tan176 177 %tanfp128 = call fp128 @llvm.tan.f128(fp128 %fp128)178 store fp128 %tanfp128, ptr @varfp128179; CHECK: bl tanl180 ret void181}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 @varfloat192; CHECK: bl acosf193 194 %acosdouble = call double @llvm.acos.f64(double %double)195 store double %acosdouble, ptr @vardouble196; CHECK: bl acos197 198 %acosfp128 = call fp128 @llvm.acos.f128(fp128 %fp128)199 store fp128 %acosfp128, ptr @varfp128200; CHECK: bl acosl201 ret void202}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 @varfloat213; CHECK: bl asinf214 215 %asindouble = call double @llvm.asin.f64(double %double)216 store double %asindouble, ptr @vardouble217; CHECK: bl asin218 219 %asinfp128 = call fp128 @llvm.asin.f128(fp128 %fp128)220 store fp128 %asinfp128, ptr @varfp128221; CHECK: bl asinl222 ret void223}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 @varfloat234; CHECK: bl atanf235 236 %atandouble = call double @llvm.atan.f64(double %double)237 store double %atandouble, ptr @vardouble238; CHECK: bl atan239 240 %atanfp128 = call fp128 @llvm.atan.f128(fp128 %fp128)241 store fp128 %atanfp128, ptr @varfp128242; CHECK: bl atanl243 ret void244}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 @varfloat255; CHECK: bl atan2f256 257 %atan2double = call double @llvm.atan2.f64(double %double1, double %double2)258 store double %atan2double, ptr @vardouble259; CHECK: bl atan2260 261 %atan2fp128 = call fp128 @llvm.atan2.f128(fp128 %fp1281, fp128 %fp1282)262 store fp128 %atan2fp128, ptr @varfp128263; CHECK: bl atan2l264 ret void265}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 @varfloat276; CHECK: bl coshf277 278 %coshdouble = call double @llvm.cosh.f64(double %double)279 store double %coshdouble, ptr @vardouble280; CHECK: bl cosh281 282 %coshfp128 = call fp128 @llvm.cosh.f128(fp128 %fp128)283 store fp128 %coshfp128, ptr @varfp128284; CHECK: bl coshl285 ret void286}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 @varfloat297; CHECK: bl sinhf298 299 %sinhdouble = call double @llvm.sinh.f64(double %double)300 store double %sinhdouble, ptr @vardouble301; CHECK: bl sinh302 303 %sinhfp128 = call fp128 @llvm.sinh.f128(fp128 %fp128)304 store fp128 %sinhfp128, ptr @varfp128305; CHECK: bl sinhl306 ret void307}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 @varfloat318; CHECK: bl tanhf319 320 %tanhdouble = call double @llvm.tanh.f64(double %double)321 store double %tanhdouble, ptr @vardouble322; CHECK: bl tanh323 324 %tanhfp128 = call fp128 @llvm.tanh.f128(fp128 %fp128)325 store fp128 %tanhfp128, ptr @varfp128326; CHECK: bl tanhl327 ret void328}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 @varfloat339; CHECK: bl powf340 341 %powdouble = call double @llvm.pow.f64(double %double, double %double)342 store double %powdouble, ptr @vardouble343; CHECK: bl pow344 345 %powfp128 = call fp128 @llvm.pow.f128(fp128 %fp128, fp128 %fp128)346 store fp128 %powfp128, ptr @varfp128347; CHECK: bl powl348 349 ret void350}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 @varfloat361; CHECK: bl __powisf2362 363 %powidouble = call double @llvm.powi.f64.i32(double %double, i32 %exponent)364 store double %powidouble, ptr @vardouble365; CHECK: bl __powidf2366 367 %powifp128 = call fp128 @llvm.powi.f128.i32(fp128 %fp128, i32 %exponent)368 store fp128 %powifp128, ptr @varfp128369; CHECK: bl __powitf2370 ret void371 372}373 374define void @test_frem(float %float, double %double, fp128 %fp128) {375; CHECK-LABEL: test_frem:376 377 %fremfloat = frem float %float, %float378 store float %fremfloat, ptr @varfloat379; CHECK: bl fmodf380 381 %fremdouble = frem double %double, %double382 store double %fremdouble, ptr @vardouble383; CHECK: bl fmod384 385 %fremfp128 = frem fp128 %fp128, %fp128386 store fp128 %fremfp128, ptr @varfp128387; CHECK: bl fmodl388 389 ret void390}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 @varfp128399; CHECK: bl fmal400 401 ret void402}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 @varfp128411; CHECK-NOT: bl fmal412; CHECK: bl __multf3413; CHECK: bl __addtf3414 415 ret void416}417 418define i32 @test_fptosi32(fp128 %a) {419; CHECK-LABEL: test_fptosi32:420; CHECK: bl __fixtfsi421 %conv.i = fptosi fp128 %a to i32422 %b = add nsw i32 %conv.i, 48423 ret i32 %b424}425 426define i64 @test_fptosi64(fp128 %a) {427; CHECK-LABEL: test_fptosi64:428; CHECK: bl __fixtfdi429 %conv.i = fptosi fp128 %a to i64430 %b = add nsw i64 %conv.i, 48431 ret i64 %b432}433 434define i128 @test_fptosi128(fp128 %a) {435; CHECK-LABEL: test_fptosi128:436; CHECK: bl __fixtfti437 %conv.i = fptosi fp128 %a to i128438 %b = add nsw i128 %conv.i, 48439 ret i128 %b440}441 442define i32 @test_fptoui32(fp128 %a) {443; CHECK-LABEL: test_fptoui32:444; CHECK: bl __fixunstfsi445 %conv.i = fptoui fp128 %a to i32446 %b = add nsw i32 %conv.i, 48447 ret i32 %b448}449 450define i64 @test_fptoui64(fp128 %a) {451; CHECK-LABEL: test_fptoui64:452; CHECK: bl __fixunstfdi453 %conv.i = fptoui fp128 %a to i64454 %b = add nsw i64 %conv.i, 48455 ret i64 %b456}457 458define i128 @test_fptoui128(fp128 %a) {459; CHECK-LABEL: test_fptoui128:460; CHECK: bl __fixunstfti461 %conv.i = fptoui fp128 %a to i128462 %b = add nsw i128 %conv.i, 48463 ret i128 %b464}465 466define void @test_exp_finite(double %double) #0 {467 %expdouble = call double @llvm.exp.f64(double %double)468 store double %expdouble, ptr @vardouble469 ; ANDROID-AARCH64-NOT: bl __exp_finite470 ; CHECK: bl exp471 472 ret void473}474 475define void @test_exp2_finite(double %double) #0 {476 %expdouble = call double @llvm.exp2.f64(double %double)477 store double %expdouble, ptr @vardouble478 ; CHECK-NOT: bl __exp2_finite479 ; CHECK: bl exp2480 481 ret void482}483 484define void @test_log_finite(double %double) #0 {485 %logdouble = call double @llvm.log.f64(double %double)486 store double %logdouble, ptr @vardouble487 ; CHECK-NOT: bl __log_finite488 ; CHECK: bl log489 ret void490}491 492define void @test_log2_finite(double %double) #0 {493 %log2double = call double @llvm.log2.f64(double %double)494 store double %log2double, ptr @vardouble495 ; CHECK-NOT: bl __log2_finite496 ; CHECK: bl log2497 ret void498}499 500define void @test_log10_finite(double %double) #0 {501 %log10double = call double @llvm.log10.f64(double %double)502 store double %log10double, ptr @vardouble503 ; CHECK-NOT: bl __log10_finite504 ; CHECK: bl log10505 ret void506}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 @vardouble511 ; CHECK-NOT: bl __pow_finite512 ; CHECK: bl pow513 ret void514}515 516attributes #0 = { "no-infs-fp-math"="true" "no-nans-fp-math"="true" }517