| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s -mtriple=arm64-apple-ios7.0 -homogeneous-prolog-epilog -frame-helper-size-threshold=6 | FileCheck %s |
| ; RUN: llc < %s -mtriple=aarch64-unknown-linux-gnu -homogeneous-prolog-epilog -frame-helper-size-threshold=6 | FileCheck %s --check-prefixes=CHECK-LINUX |
| |
| define float @_Z3foofffi(float %b, float %x, float %y, i32 %z) uwtable ssp minsize "frame-pointer"="non-leaf" { |
| ; CHECK-LABEL: _Z3foofffi: |
| ; CHECK: ; %bb.0: ; %entry |
| ; CHECK-NEXT: stp d11, d10, [sp, #-64]! |
| ; CHECK-NEXT: stp d9, d8, [sp, #16] |
| ; CHECK-NEXT: stp x20, x19, [sp, #32] |
| ; CHECK-NEXT: stp x29, x30, [sp, #48] |
| ; CHECK-NEXT: add x29, sp, #48 |
| ; CHECK-NEXT: .cfi_def_cfa w29, 16 |
| ; CHECK-NEXT: .cfi_offset w30, -8 |
| ; CHECK-NEXT: .cfi_offset w29, -16 |
| ; CHECK-NEXT: .cfi_offset w19, -24 |
| ; CHECK-NEXT: .cfi_offset w20, -32 |
| ; CHECK-NEXT: .cfi_offset b8, -40 |
| ; CHECK-NEXT: .cfi_offset b9, -48 |
| ; CHECK-NEXT: .cfi_offset b10, -56 |
| ; CHECK-NEXT: .cfi_offset b11, -64 |
| ; CHECK-NEXT: fmov s3, #1.00000000 |
| ; CHECK-NEXT: sub w19, w0, #1 |
| ; CHECK-NEXT: fadd s8, s0, s3 |
| ; CHECK-NEXT: fadd s0, s8, s1 |
| ; CHECK-NEXT: scvtf s1, w0 |
| ; CHECK-NEXT: fadd s0, s0, s2 |
| ; CHECK-NEXT: fsub s9, s0, s1 |
| ; CHECK-NEXT: fmov s0, s8 |
| ; CHECK-NEXT: bl __Z3goof |
| ; CHECK-NEXT: fmov s10, s0 |
| ; CHECK-NEXT: fmov s0, s9 |
| ; CHECK-NEXT: bl __Z3goof |
| ; CHECK-NEXT: fadd s0, s10, s0 |
| ; CHECK-NEXT: scvtf s1, w19 |
| ; CHECK-NEXT: ldp x29, x30, [sp, #48] |
| ; CHECK-NEXT: ldp x20, x19, [sp, #32] |
| ; CHECK-NEXT: fmul s0, s8, s0 |
| ; CHECK-NEXT: fadd s0, s9, s0 |
| ; CHECK-NEXT: ldp d9, d8, [sp, #16] |
| ; CHECK-NEXT: fsub s0, s0, s1 |
| ; CHECK-NEXT: ldp d11, d10, [sp], #64 |
| ; CHECK-NEXT: ret |
| ; |
| ; CHECK-LINUX-LABEL: _Z3foofffi: |
| ; CHECK-LINUX: // %bb.0: // %entry |
| ; CHECK-LINUX-NEXT: stp d11, d10, [sp, #-64]! |
| ; CHECK-LINUX-NEXT: stp d9, d8, [sp, #16] |
| ; CHECK-LINUX-NEXT: stp x29, x30, [sp, #32] |
| ; CHECK-LINUX-NEXT: stp x20, x19, [sp, #48] |
| ; CHECK-LINUX-NEXT: add x29, sp, #32 |
| ; CHECK-LINUX-NEXT: .cfi_def_cfa w29, 32 |
| ; CHECK-LINUX-NEXT: .cfi_offset w19, -8 |
| ; CHECK-LINUX-NEXT: .cfi_offset w20, -16 |
| ; CHECK-LINUX-NEXT: .cfi_offset w30, -24 |
| ; CHECK-LINUX-NEXT: .cfi_offset w29, -32 |
| ; CHECK-LINUX-NEXT: .cfi_offset b8, -40 |
| ; CHECK-LINUX-NEXT: .cfi_offset b9, -48 |
| ; CHECK-LINUX-NEXT: .cfi_offset b10, -56 |
| ; CHECK-LINUX-NEXT: .cfi_offset b11, -64 |
| ; CHECK-LINUX-NEXT: fmov s3, #1.00000000 |
| ; CHECK-LINUX-NEXT: sub w19, w0, #1 |
| ; CHECK-LINUX-NEXT: fadd s8, s0, s3 |
| ; CHECK-LINUX-NEXT: fadd s0, s8, s1 |
| ; CHECK-LINUX-NEXT: scvtf s1, w0 |
| ; CHECK-LINUX-NEXT: fadd s0, s0, s2 |
| ; CHECK-LINUX-NEXT: fsub s9, s0, s1 |
| ; CHECK-LINUX-NEXT: fmov s0, s8 |
| ; CHECK-LINUX-NEXT: bl _Z3goof |
| ; CHECK-LINUX-NEXT: fmov s10, s0 |
| ; CHECK-LINUX-NEXT: fmov s0, s9 |
| ; CHECK-LINUX-NEXT: bl _Z3goof |
| ; CHECK-LINUX-NEXT: fadd s0, s10, s0 |
| ; CHECK-LINUX-NEXT: scvtf s1, w19 |
| ; CHECK-LINUX-NEXT: ldp x20, x19, [sp, #48] |
| ; CHECK-LINUX-NEXT: ldp x29, x30, [sp, #32] |
| ; CHECK-LINUX-NEXT: fmul s0, s8, s0 |
| ; CHECK-LINUX-NEXT: fadd s0, s9, s0 |
| ; CHECK-LINUX-NEXT: ldp d9, d8, [sp, #16] |
| ; CHECK-LINUX-NEXT: fsub s0, s0, s1 |
| ; CHECK-LINUX-NEXT: ldp d11, d10, [sp], #64 |
| ; CHECK-LINUX-NEXT: ret |
| entry: |
| %inc = fadd float %b, 1.000000e+00 |
| %add = fadd float %inc, %x |
| %add1 = fadd float %add, %y |
| %conv = sitofp i32 %z to float |
| %sub = fsub float %add1, %conv |
| %dec = add nsw i32 %z, -1 |
| %call = tail call float @_Z3goof(float %inc) #2 |
| %call2 = tail call float @_Z3goof(float %sub) #2 |
| %add3 = fadd float %call, %call2 |
| %mul = fmul float %inc, %add3 |
| %add4 = fadd float %sub, %mul |
| %conv5 = sitofp i32 %dec to float |
| %sub6 = fsub float %add4, %conv5 |
| ret float %sub6 |
| } |
| |
| define i32 @_Z3zoov() nounwind ssp minsize { |
| ; CHECK-LABEL: _Z3zoov: |
| ; CHECK: ; %bb.0: |
| ; CHECK-NEXT: stp x29, x30, [sp, #-16]! |
| ; CHECK-NEXT: bl __Z3hoov |
| ; CHECK-NEXT: add w0, w0, #1 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 |
| ; CHECK-NEXT: ret |
| ; |
| ; CHECK-LINUX-LABEL: _Z3zoov: |
| ; CHECK-LINUX: // %bb.0: |
| ; CHECK-LINUX-NEXT: stp x29, x30, [sp, #-16]! |
| ; CHECK-LINUX-NEXT: bl _Z3hoov |
| ; CHECK-LINUX-NEXT: add w0, w0, #1 |
| ; CHECK-LINUX-NEXT: ldp x29, x30, [sp], #16 |
| ; CHECK-LINUX-NEXT: ret |
| %1 = tail call i32 @_Z3hoov() #2 |
| %2 = add nsw i32 %1, 1 |
| ret i32 %2 |
| } |
| |
| |
| declare float @_Z3goof(float) nounwind ssp minsize |
| declare i32 @_Z3hoov() nounwind ssp minsize |