427fb35192
The LIT test cases were migrated with the script provided by Nikita Popov. Due to the size of the change it is split into several parts. Reviewed By: nemanja, amyk, nikic, PowerPC Differential Revision: https://reviews.llvm.org/D135470
94 lines
2.8 KiB
LLVM
94 lines
2.8 KiB
LLVM
; RUN: llc -verify-machineinstrs -O0 -mcpu=ppc64 -mtriple=powerpc64-unknown-linux-gnu -fast-isel=false < %s | FileCheck %s
|
|
|
|
; Test case for PR 14779: anonymous aggregates are not handled correctly.
|
|
; Darwin bug report PR 15821 is similar.
|
|
; The bug is triggered by passing a byval structure after an anonymous
|
|
; aggregate.
|
|
|
|
%tarray = type { i64, ptr }
|
|
|
|
define ptr @func1({ i64, ptr } %array, ptr %ptr) {
|
|
entry:
|
|
%array_ptr = extractvalue {i64, ptr } %array, 1
|
|
%cond = icmp eq ptr %array_ptr, %ptr
|
|
br i1 %cond, label %equal, label %unequal
|
|
equal:
|
|
ret ptr %array_ptr
|
|
unequal:
|
|
ret ptr %ptr
|
|
}
|
|
|
|
; CHECK-LABEL: func1:
|
|
; CHECK-DAG: std 3, -[[OFFSET1:[0-9]+]]
|
|
; CHECK-DAG: std 5, -[[OFFSET2:[0-9]+]]
|
|
; CHECK: cmpld {{([0-9]+,)?}}4, 5
|
|
; CHECK: ld 3, -[[OFFSET1]](1)
|
|
; CHECK: ld 3, -[[OFFSET2]](1)
|
|
|
|
define ptr @func2({ i64, ptr } %array1, ptr byval(%tarray) %array2) {
|
|
entry:
|
|
%array1_ptr = extractvalue {i64, ptr } %array1, 1
|
|
%tmp = getelementptr inbounds %tarray, ptr %array2, i32 0, i32 1
|
|
%array2_ptr = load ptr, ptr %tmp
|
|
%cond = icmp eq ptr %array1_ptr, %array2_ptr
|
|
br i1 %cond, label %equal, label %unequal
|
|
equal:
|
|
ret ptr %array1_ptr
|
|
unequal:
|
|
ret ptr %array2_ptr
|
|
}
|
|
; CHECK-LABEL: func2:
|
|
; CHECK-DAG: cmpld {{([0-9]+,)?}}4, 3
|
|
; CHECK-DAG: std 6, 72(1)
|
|
; CHECK-DAG: std 5, 64(1)
|
|
; CHECK-DAG: std 3, -[[OFFSET1:[0-9]+]]
|
|
; CHECK-DAG: std 3, -[[OFFSET2:[0-9]+]]
|
|
; CHECK: ld 3, -[[OFFSET1]](1)
|
|
; CHECK: ld 3, -[[OFFSET2]](1)
|
|
|
|
define ptr @func3(ptr byval({ i64, ptr }) %array1, ptr byval(%tarray) %array2) {
|
|
entry:
|
|
%tmp1 = getelementptr inbounds { i64, ptr }, ptr %array1, i32 0, i32 1
|
|
%array1_ptr = load ptr, ptr %tmp1
|
|
%tmp2 = getelementptr inbounds %tarray, ptr %array2, i32 0, i32 1
|
|
%array2_ptr = load ptr, ptr %tmp2
|
|
%cond = icmp eq ptr %array1_ptr, %array2_ptr
|
|
br i1 %cond, label %equal, label %unequal
|
|
equal:
|
|
ret ptr %array1_ptr
|
|
unequal:
|
|
ret ptr %array2_ptr
|
|
}
|
|
|
|
; CHECK-LABEL: func3:
|
|
; CHECK-DAG: cmpld {{([0-9]+,)?}}3, 4
|
|
; CHECK-DAG: std 3, -[[OFFSET2:[0-9]+]](1)
|
|
; CHECK-DAG: std 4, -[[OFFSET1:[0-9]+]](1)
|
|
; CHECK: ld 3, -[[OFFSET2]](1)
|
|
; CHECK: ld 3, -[[OFFSET1]](1)
|
|
|
|
define ptr @func4(i64 %p1, i64 %p2, i64 %p3, i64 %p4,
|
|
i64 %p5, i64 %p6, i64 %p7, i64 %p8,
|
|
{ i64, ptr } %array1, ptr byval(%tarray) %array2) {
|
|
entry:
|
|
%array1_ptr = extractvalue {i64, ptr } %array1, 1
|
|
%tmp = getelementptr inbounds %tarray, ptr %array2, i32 0, i32 1
|
|
%array2_ptr = load ptr, ptr %tmp
|
|
%cond = icmp eq ptr %array1_ptr, %array2_ptr
|
|
br i1 %cond, label %equal, label %unequal
|
|
equal:
|
|
ret ptr %array1_ptr
|
|
unequal:
|
|
ret ptr %array2_ptr
|
|
}
|
|
|
|
; CHECK-LABEL: func4:
|
|
; CHECK-DAG: ld [[REG2:[0-9]+]], 120(1)
|
|
; CHECK-DAG: ld [[REG3:[0-9]+]], 136(1)
|
|
; CHECK-DAG: std [[REG2]], -[[OFFSET1:[0-9]+]](1)
|
|
; CHECK: std [[REG3]], -[[OFFSET2:[0-9]+]](1)
|
|
; CHECK: cmpld {{([0-9]+,)?}}[[REG2]], [[REG3]]
|
|
; CHECK: ld 3, -[[OFFSET1]](1)
|
|
; CHECK: ld 3, -[[OFFSET2]](1)
|
|
|