; 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