| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | |
| ; RUN: llc -mcpu=ppc -mtriple=powerpc64-unknown-unknown -verify-machineinstrs \ | |
| ; RUN: -ppc-asm-full-reg-names < %s | FileCheck %s | |
| @a = dso_local local_unnamed_addr global double 0.000000e+00, align 8 | |
| define dso_local signext i32 @b() local_unnamed_addr #0 { | |
| ; CHECK-LABEL: b: | |
| ; CHECK: # %bb.0: # %entry | |
| ; CHECK-NEXT: mflr r0 | |
| ; CHECK-NEXT: stdu r1, -144(r1) | |
| ; CHECK-NEXT: std r0, 160(r1) | |
| ; CHECK-NEXT: addis r3, r2, a@toc@ha | |
| ; CHECK-NEXT: lfd f0, a@toc@l(r3) | |
| ; CHECK-NEXT: addis r3, r2, .LCPI0_0@toc@ha | |
| ; CHECK-NEXT: lfs f1, .LCPI0_0@toc@l(r3) | |
| ; CHECK-NEXT: fsub f2, f0, f1 | |
| ; CHECK-NEXT: fctidz f2, f2 | |
| ; CHECK-NEXT: stfd f2, 128(r1) | |
| ; CHECK-NEXT: fctidz f2, f0 | |
| ; CHECK-NEXT: fcmpu cr0, f0, f1 | |
| ; CHECK-NEXT: stfd f2, 120(r1) | |
| ; CHECK-NEXT: blt cr0, .LBB0_2 | |
| ; CHECK-NEXT: # %bb.1: # %entry | |
| ; CHECK-NEXT: ld r3, 128(r1) | |
| ; CHECK-NEXT: li r4, 1 | |
| ; CHECK-NEXT: rldic r4, r4, 63, 0 | |
| ; CHECK-NEXT: xor r3, r3, r4 | |
| ; CHECK-NEXT: b .LBB0_3 | |
| ; CHECK-NEXT: .LBB0_2: | |
| ; CHECK-NEXT: ld r3, 120(r1) | |
| ; CHECK-NEXT: .LBB0_3: # %entry | |
| ; CHECK-NEXT: std r3, 112(r1) | |
| ; CHECK-NEXT: addis r3, r2, .LCPI0_1@toc@ha | |
| ; CHECK-NEXT: lfd f0, 112(r1) | |
| ; CHECK-NEXT: lfs f1, .LCPI0_1@toc@l(r3) | |
| ; CHECK-NEXT: fcfid f0, f0 | |
| ; CHECK-NEXT: fmul f0, f0, f1 | |
| ; CHECK-NEXT: fctiwz f0, f0 | |
| ; CHECK-NEXT: stfd f0, 136(r1) | |
| ; CHECK-NEXT: lwa r3, 140(r1) | |
| ; CHECK-NEXT: bl g | |
| ; CHECK-NEXT: nop | |
| ; CHECK-NEXT: addi r1, r1, 144 | |
| ; CHECK-NEXT: ld r0, 16(r1) | |
| ; CHECK-NEXT: mtlr r0 | |
| ; CHECK-NEXT: blr | |
| entry: | |
| %0 = load double, ptr @a, align 8 | |
| %conv = fptoui double %0 to i64 | |
| %conv1 = sitofp i64 %conv to double | |
| %mul = fmul double %conv1, 1.000000e+06 | |
| %conv2 = fptosi double %mul to i32 | |
| %call = tail call signext i32 @g(i32 signext %conv2) #0 | |
| ret i32 %call | |
| } | |
| declare signext i32 @g(i32 signext) local_unnamed_addr | |
| attributes #0 = { nounwind } |