115 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -disable-post-ra -mtriple=armv7-apple-darwin -mcpu=cortex-a8 | FileCheck %s -check-prefix=SOFT3; RUN: llc < %s -disable-post-ra -mtriple=armv7-gnueabi -float-abi=hard -mcpu=cortex-a8 | FileCheck %s -check-prefix=HARD4 5; rdar://89843066define float @test1(float %x, float %y) nounwind {7; SOFT-LABEL: test1:8; SOFT: @ %bb.0: @ %entry9; SOFT-NEXT: lsr r1, r1, #3110; SOFT-NEXT: bfi r0, r1, #31, #111; SOFT-NEXT: bx lr12;13; HARD-LABEL: test1:14; HARD: @ %bb.0: @ %entry15; HARD-NEXT: vmov.f32 s2, s116; HARD-NEXT: @ kill: def $s0 killed $s0 def $d017; HARD-NEXT: vmov.i32 d16, #0x8000000018; HARD-NEXT: vbit d0, d1, d1619; HARD-NEXT: @ kill: def $s0 killed $s0 killed $d020; HARD-NEXT: bx lr21entry:22 23 %0 = tail call float @copysignf(float %x, float %y) nounwind readnone24 ret float %025}26 27define double @test2(double %x, double %y) nounwind {28; SOFT-LABEL: test2:29; SOFT: @ %bb.0: @ %entry30; SOFT-NEXT: lsr r2, r3, #3131; SOFT-NEXT: bfi r1, r2, #31, #132; SOFT-NEXT: bx lr33;34; HARD-LABEL: test2:35; HARD: @ %bb.0: @ %entry36; HARD-NEXT: vmov.i32 d16, #0x8000000037; HARD-NEXT: vshl.i64 d16, d16, #3238; HARD-NEXT: vbit d0, d1, d1639; HARD-NEXT: bx lr40entry:41 42 %0 = tail call double @copysign(double %x, double %y) nounwind readnone43 ret double %044}45 46define double @test3(double %x, double %y, double %z) nounwind {47; SOFT-LABEL: test3:48; SOFT: @ %bb.0: @ %entry49; SOFT-NEXT: vmov d16, r2, r350; SOFT-NEXT: vmov d17, r0, r151; SOFT-NEXT: vmul.f64 d16, d17, d1652; SOFT-NEXT: vmov.i32 d17, #0x8000000053; SOFT-NEXT: vshl.i64 d17, d17, #3254; SOFT-NEXT: vldr d18, [sp]55; SOFT-NEXT: vbit d16, d18, d1756; SOFT-NEXT: vmov r0, r1, d1657; SOFT-NEXT: bx lr58;59; HARD-LABEL: test3:60; HARD: @ %bb.0: @ %entry61; HARD-NEXT: vmul.f64 d16, d0, d162; HARD-NEXT: vmov.i32 d17, #0x8000000063; HARD-NEXT: vshl.i64 d17, d17, #3264; HARD-NEXT: vorr d0, d17, d1765; HARD-NEXT: vbsl d0, d2, d1666; HARD-NEXT: bx lr67entry:68 %0 = fmul double %x, %y69 %1 = tail call double @copysign(double %0, double %z) nounwind readnone70 ret double %171}72 73; rdar://928790274define float @test4() nounwind {75; SOFT-LABEL: test4:76; SOFT: @ %bb.0: @ %entry77; SOFT-NEXT: push {lr}78; SOFT-NEXT: bl _bar79; SOFT-NEXT: vmov d16, r0, r180; SOFT-NEXT: vcvt.f32.f64 s0, d1681; SOFT-NEXT: vmov.i32 d17, #0x8000000082; SOFT-NEXT: vshr.u64 d16, d16, #3283; SOFT-NEXT: vmov.f32 d18, #5.000000e-0184; SOFT-NEXT: vbif d16, d18, d1785; SOFT-NEXT: vadd.f32 d0, d0, d1686; SOFT-NEXT: vmov r0, s087; SOFT-NEXT: pop {lr}88; SOFT-NEXT: bx lr89;90; HARD-LABEL: test4:91; HARD: @ %bb.0: @ %entry92; HARD-NEXT: .save {r11, lr}93; HARD-NEXT: push {r11, lr}94; HARD-NEXT: bl bar95; HARD-NEXT: vmov d16, r0, r196; HARD-NEXT: vcvt.f32.f64 s0, d1697; HARD-NEXT: vmov.i32 d17, #0x8000000098; HARD-NEXT: vshr.u64 d16, d16, #3299; HARD-NEXT: vmov.i32 d18, #0x3f000000100; HARD-NEXT: vorr d1, d17, d17101; HARD-NEXT: vbsl d1, d16, d18102; HARD-NEXT: vadd.f32 s0, s0, s2103; HARD-NEXT: pop {r11, pc}104entry:105 %0 = tail call double (...) @bar() nounwind106 %1 = fptrunc double %0 to float107 %2 = tail call float @copysignf(float 5.000000e-01, float %1) nounwind readnone108 %3 = fadd float %1, %2109 ret float %3110}111 112declare double @bar(...)113declare double @copysign(double, double) nounwind114declare float @copysignf(float, float) nounwind115