| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -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: std r0, 16(r1) |
| ; CHECK-NEXT: stdu r1, -144(r1) |
| ; CHECK-NEXT: addis r3, r2, a@toc@ha |
| ; CHECK-NEXT: li r4, 1 |
| ; CHECK-NEXT: lfd f0, a@toc@l(r3) |
| ; CHECK-NEXT: addis r3, r2, .LCPI0_0@toc@ha |
| ; CHECK-NEXT: rldic r4, r4, 63, 0 |
| ; 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: stfd f2, 120(r1) |
| ; CHECK-NEXT: ld r3, 128(r1) |
| ; CHECK-NEXT: ld r5, 120(r1) |
| ; CHECK-NEXT: fcmpu cr0, f0, f1 |
| ; CHECK-NEXT: xor r3, r3, r4 |
| ; CHECK-NEXT: bc 12, lt, .LBB0_1 |
| ; CHECK-NEXT: b .LBB0_2 |
| ; CHECK-NEXT: .LBB0_1: # %entry |
| ; CHECK-NEXT: addi r3, r5, 0 |
| ; CHECK-NEXT: .LBB0_2: # %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, double* @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 } |
