| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -verify-machineinstrs < %s | FileCheck %s |
| |
| target datalayout = "e-m:e-i64:64-n32:64-S128-v256:256:256-v512:512:512" |
| target triple = "powerpc64le-unknown-linux-gnu" |
| |
| %struct = type { [4 x i32], [20 x i8] } |
| |
| declare dso_local i32 @foo1(%struct* byval(%struct) %var) |
| declare dso_local void @foo(%struct* %var) |
| |
| ; FIXME: for the byval parameter %x, now the memory for local variable and |
| ; for parameter save area are overlap. |
| ; For the below case, |
| ; the local variable space is r1 + 40 ~ r1 + 76 |
| ; the parameter save area is r1 + 32 ~ r1 + 68 |
| |
| define dso_local i32 @bar() { |
| ; CHECK-LABEL: bar: |
| ; CHECK: # %bb.0: # %entry |
| ; CHECK-NEXT: mflr 0 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 96 |
| ; CHECK-NEXT: .cfi_offset lr, 16 |
| ; CHECK-NEXT: .cfi_offset r30, -16 |
| ; CHECK-NEXT: std 30, -16(1) # 8-byte Folded Spill |
| ; CHECK-NEXT: std 0, 16(1) |
| ; CHECK-NEXT: stdu 1, -96(1) |
| ; CHECK-NEXT: addi 30, 1, 40 |
| ; CHECK-NEXT: mr 3, 30 |
| ; CHECK-NEXT: bl foo |
| ; CHECK-NEXT: nop |
| ; CHECK-NEXT: li 3, 16 |
| ; CHECK-NEXT: lxvd2x 0, 30, 3 |
| ; CHECK-NEXT: li 3, 48 |
| ; CHECK-NEXT: stxvd2x 0, 1, 3 |
| ; CHECK-NEXT: li 3, 32 |
| ; CHECK-NEXT: lxvd2x 0, 0, 30 |
| ; CHECK-NEXT: stxvd2x 0, 1, 3 |
| ; CHECK-NEXT: lwz 3, 72(1) |
| ; CHECK-NEXT: ld 7, 72(1) |
| ; CHECK-NEXT: ld 5, 56(1) |
| ; CHECK-NEXT: ld 4, 48(1) |
| ; CHECK-NEXT: stw 3, 64(1) |
| ; CHECK-NEXT: ld 3, 40(1) |
| ; CHECK-NEXT: ld 6, 64(1) |
| ; CHECK-NEXT: bl foo1 |
| ; CHECK-NEXT: nop |
| ; CHECK-NEXT: addi 1, 1, 96 |
| ; CHECK-NEXT: ld 0, 16(1) |
| ; CHECK-NEXT: ld 30, -16(1) # 8-byte Folded Reload |
| ; CHECK-NEXT: mtlr 0 |
| ; CHECK-NEXT: blr |
| entry: |
| %x = alloca %struct, align 4 |
| call void @foo(%struct* %x) |
| %r = call i32 @foo1(%struct* byval(%struct) %x) |
| ret i32 %r |
| } |