[llvm] c16c99a - [Powerpc] testcases for D111485; nfc
Chen Zheng via llvm-commits
llvm-commits at lists.llvm.org
Tue Dec 7 18:22:44 PST 2021
Author: Chen Zheng
Date: 2021-12-08T02:22:00Z
New Revision: c16c99ab03c6b7b4effb074acbaecda083b18b03
URL: https://github.com/llvm/llvm-project/commit/c16c99ab03c6b7b4effb074acbaecda083b18b03
DIFF: https://github.com/llvm/llvm-project/commit/c16c99ab03c6b7b4effb074acbaecda083b18b03.diff
LOG: [Powerpc] testcases for D111485; nfc
Added:
llvm/test/CodeGen/PowerPC/elf64-byval-cc.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/PowerPC/elf64-byval-cc.ll b/llvm/test/CodeGen/PowerPC/elf64-byval-cc.ll
new file mode 100644
index 000000000000..eced55e11cbc
--- /dev/null
+++ b/llvm/test/CodeGen/PowerPC/elf64-byval-cc.ll
@@ -0,0 +1,650 @@
+; 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_S1 = type { [1 x i8] }
+ at gS1 = external global %struct_S1, align 1
+
+define void @call_test_byval_mem1() #0 {
+; CHECK-LABEL: call_test_byval_mem1:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -32(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 32
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC0 at toc@ha
+; CHECK-NEXT: ld 3, .LC0 at toc@l(3)
+; CHECK-NEXT: lbz 3, 0(3)
+; CHECK-NEXT: bl test_byval_mem1
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 32
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem1(%struct_S1* byval(%struct_S1) align 1 @gS1)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem1(%struct_S1* byval(%struct_S1) align 1 %s) {
+; CHECK-LABEL: test_byval_mem1:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mr 4, 3
+; CHECK-NEXT: clrldi 3, 3, 56
+; CHECK-NEXT: stb 4, -8(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S1, %struct_S1* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+define void @call_test_byval_mem1_2() #0 {
+; CHECK-LABEL: call_test_byval_mem1_2:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -112(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 112
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC0 at toc@ha
+; CHECK-NEXT: li 4, 1
+; CHECK-NEXT: li 5, 2
+; CHECK-NEXT: li 6, 3
+; CHECK-NEXT: li 7, 4
+; CHECK-NEXT: li 8, 5
+; CHECK-NEXT: li 9, 6
+; CHECK-NEXT: ld 3, .LC0 at toc@l(3)
+; CHECK-NEXT: li 10, 7
+; CHECK-NEXT: lbz 3, 0(3)
+; CHECK-NEXT: stb 3, 96(1)
+; CHECK-NEXT: li 3, 0
+; CHECK-NEXT: bl test_byval_mem1_2
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 112
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem1_2(i64 0, i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, %struct_S1* byval(%struct_S1) align 1 @gS1)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem1_2(i64 %v1, i64 %v2, i64 %v3, i64 %v4, i64 %v5, i64 %v6, i64 %v7, i64 %v8, %struct_S1* byval(%struct_S1) align 1 %s) {
+; CHECK-LABEL: test_byval_mem1_2:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: lbz 3, 96(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S1, %struct_S1* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+define void @call_test_byval_mem1_3() #0 {
+; CHECK-LABEL: call_test_byval_mem1_3:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -32(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 32
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC0 at toc@ha
+; CHECK-NEXT: li 4, 1
+; CHECK-NEXT: li 5, 2
+; CHECK-NEXT: li 6, 3
+; CHECK-NEXT: li 7, 4
+; CHECK-NEXT: li 8, 5
+; CHECK-NEXT: li 9, 6
+; CHECK-NEXT: ld 3, .LC0 at toc@l(3)
+; CHECK-NEXT: lbz 10, 0(3)
+; CHECK-NEXT: li 3, 0
+; CHECK-NEXT: bl test_byval_mem1_3
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 32
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem1_3(i64 0, i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, %struct_S1* byval(%struct_S1) align 1 @gS1)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem1_3(i64 %v1, i64 %v2, i64 %v3, i64 %v4, i64 %v5, i64 %v6, i64 %v7, %struct_S1* byval(%struct_S1) align 1 %s) {
+; CHECK-LABEL: test_byval_mem1_3:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: clrldi 3, 10, 56
+; CHECK-NEXT: stb 10, -8(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S1, %struct_S1* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+define void @call_test_byval_mem1_4() #0 {
+; CHECK-LABEL: call_test_byval_mem1_4:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -112(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 112
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC0 at toc@ha
+; CHECK-NEXT: li 4, 7
+; CHECK-NEXT: li 5, 2
+; CHECK-NEXT: li 7, 3
+; CHECK-NEXT: li 8, 4
+; CHECK-NEXT: li 9, 5
+; CHECK-NEXT: li 10, 6
+; CHECK-NEXT: ld 3, .LC0 at toc@l(3)
+; CHECK-NEXT: std 4, 96(1)
+; CHECK-NEXT: li 4, 1
+; CHECK-NEXT: lbz 6, 0(3)
+; CHECK-NEXT: li 3, 0
+; CHECK-NEXT: bl test_byval_mem1_4
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 112
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem1_4(i64 0, i64 1, i64 2, %struct_S1* byval(%struct_S1) align 1 @gS1, i64 3, i64 4, i64 5, i64 6, i64 7)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem1_4(i64 %v1, i64 %v2, i64 %v3, %struct_S1* byval(%struct_S1) align 1 %s, i64 %v4, i64 %v5, i64 %v6, i64 %v7, i64 %v8) {
+; CHECK-LABEL: test_byval_mem1_4:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: clrldi 3, 6, 56
+; CHECK-NEXT: stb 6, 56(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S1, %struct_S1* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+define void @call_test_byval_mem1_5() #0 {
+; CHECK-LABEL: call_test_byval_mem1_5:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -32(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 32
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC0 at toc@ha
+; CHECK-NEXT: li 4, 1
+; CHECK-NEXT: li 5, 2
+; CHECK-NEXT: li 7, 3
+; CHECK-NEXT: li 8, 4
+; CHECK-NEXT: li 9, 5
+; CHECK-NEXT: li 10, 6
+; CHECK-NEXT: ld 3, .LC0 at toc@l(3)
+; CHECK-NEXT: lbz 6, 0(3)
+; CHECK-NEXT: li 3, 0
+; CHECK-NEXT: bl test_byval_mem1_5
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 32
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem1_5(i64 0, i64 1, i64 2, %struct_S1* byval(%struct_S1) align 1 @gS1, i64 3, i64 4, i64 5, i64 6)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem1_5(i64 %v1, i64 %v2, i64 %v3, %struct_S1* byval(%struct_S1) align 1 %s, i64 %v4, i64 %v5, i64 %v6, i64 %v7) {
+; CHECK-LABEL: test_byval_mem1_5:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: clrldi 3, 6, 56
+; CHECK-NEXT: stb 6, -8(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S1, %struct_S1* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+%struct_S2 = type { [2 x i8] }
+ at gS2 = external global %struct_S2, align 1
+
+define void @call_test_byval_mem2() #0 {
+; CHECK-LABEL: call_test_byval_mem2:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -32(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 32
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC1 at toc@ha
+; CHECK-NEXT: ld 3, .LC1 at toc@l(3)
+; CHECK-NEXT: lhz 3, 0(3)
+; CHECK-NEXT: bl test_byval_mem2
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 32
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem2(%struct_S2* byval(%struct_S2) align 1 @gS2)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem2(%struct_S2* byval(%struct_S2) align 1 %s) {
+; CHECK-LABEL: test_byval_mem2:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: sth 3, -8(1)
+; CHECK-NEXT: lbz 3, -8(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S2, %struct_S2* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+%struct_S3 = type { [3 x i8] }
+ at gS3 = external global %struct_S3, align 1
+
+define void @call_test_byval_mem3() #0 {
+; CHECK-LABEL: call_test_byval_mem3:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -32(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 32
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC2 at toc@ha
+; CHECK-NEXT: ld 3, .LC2 at toc@l(3)
+; CHECK-NEXT: lbz 4, 2(3)
+; CHECK-NEXT: stb 4, 34(1)
+; CHECK-NEXT: lhz 3, 0(3)
+; CHECK-NEXT: sth 3, 32(1)
+; CHECK-NEXT: ld 3, 32(1)
+; CHECK-NEXT: bl test_byval_mem3
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 32
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem3(%struct_S3* byval(%struct_S3) align 1 @gS3)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem3(%struct_S3* byval(%struct_S3) align 1 %s) {
+; CHECK-LABEL: test_byval_mem3:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: sth 3, -8(1)
+; CHECK-NEXT: rldicl 5, 3, 48, 16
+; CHECK-NEXT: lbz 4, -8(1)
+; CHECK-NEXT: stb 5, -6(1)
+; CHECK-NEXT: mr 3, 4
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S3, %struct_S3* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+%struct_S4 = type { [4 x i8] }
+ at gS4 = external global %struct_S4, align 1
+
+define void @call_test_byval_mem4() #0 {
+; CHECK-LABEL: call_test_byval_mem4:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -32(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 32
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC3 at toc@ha
+; CHECK-NEXT: ld 3, .LC3 at toc@l(3)
+; CHECK-NEXT: lwz 3, 0(3)
+; CHECK-NEXT: bl test_byval_mem4
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 32
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem4(%struct_S4* byval(%struct_S4) align 1 @gS4)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem4(%struct_S4* byval(%struct_S4) align 1 %s) {
+; CHECK-LABEL: test_byval_mem4:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: stw 3, -8(1)
+; CHECK-NEXT: lbz 3, -8(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S4, %struct_S4* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+%struct_S8 = type { [8 x i8] }
+ at gS8 = external global %struct_S8, align 1
+
+define void @call_test_byval_mem8() #0 {
+; CHECK-LABEL: call_test_byval_mem8:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -32(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 32
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC4 at toc@ha
+; CHECK-NEXT: ld 3, .LC4 at toc@l(3)
+; CHECK-NEXT: ld 4, 0(3)
+; CHECK-NEXT: std 4, 32(1)
+; CHECK-NEXT: ld 3, 0(3)
+; CHECK-NEXT: bl test_byval_mem8
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 32
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem8(%struct_S8* byval(%struct_S8) align 1 @gS8)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem8(%struct_S8* byval(%struct_S8) align 1 %s) {
+; CHECK-LABEL: test_byval_mem8:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mr 4, 3
+; CHECK-NEXT: clrldi 3, 3, 56
+; CHECK-NEXT: std 4, -8(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S8, %struct_S8* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+%struct_S32 = type {[32 x i8] }
+ at gS32 = external global %struct_S32, align 1
+
+define void @call_test_byval_mem32() #0 {
+; CHECK-LABEL: call_test_byval_mem32:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -32(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 32
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC5 at toc@ha
+; CHECK-NEXT: li 4, 16
+; CHECK-NEXT: ld 3, .LC5 at toc@l(3)
+; CHECK-NEXT: lxvd2x 0, 3, 4
+; CHECK-NEXT: li 4, 48
+; CHECK-NEXT: stxvd2x 0, 1, 4
+; CHECK-NEXT: li 4, 32
+; CHECK-NEXT: lxvd2x 0, 0, 3
+; CHECK-NEXT: stxvd2x 0, 1, 4
+; CHECK-NEXT: ld 6, 24(3)
+; CHECK-NEXT: ld 5, 16(3)
+; CHECK-NEXT: ld 4, 8(3)
+; CHECK-NEXT: ld 3, 0(3)
+; CHECK-NEXT: bl test_byval_mem32
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 32
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem32(%struct_S32* byval(%struct_S32) align 1 @gS32)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem32(%struct_S32* byval(%struct_S32) align 1 %s) {
+; CHECK-LABEL: test_byval_mem32:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mr 7, 3
+; CHECK-NEXT: clrldi 3, 3, 56
+; CHECK-NEXT: std 4, -24(1)
+; CHECK-NEXT: std 5, -16(1)
+; CHECK-NEXT: std 6, -8(1)
+; CHECK-NEXT: std 7, -32(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S32, %struct_S32* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+define void @call_test_byval_mem32_2() #0 {
+; CHECK-LABEL: call_test_byval_mem32_2:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -32(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 32
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC5 at toc@ha
+; CHECK-NEXT: li 4, 16
+; CHECK-NEXT: addis 8, 2, .LCPI20_0 at toc@ha
+; CHECK-NEXT: ld 3, .LC5 at toc@l(3)
+; CHECK-NEXT: lfs 1, .LCPI20_0 at toc@l(8)
+; CHECK-NEXT: lxvd2x 0, 3, 4
+; CHECK-NEXT: li 4, 56
+; CHECK-NEXT: stxvd2x 0, 1, 4
+; CHECK-NEXT: li 4, 40
+; CHECK-NEXT: lxvd2x 0, 0, 3
+; CHECK-NEXT: stxvd2x 0, 1, 4
+; CHECK-NEXT: ld 7, 24(3)
+; CHECK-NEXT: ld 6, 16(3)
+; CHECK-NEXT: ld 5, 8(3)
+; CHECK-NEXT: ld 4, 0(3)
+; CHECK-NEXT: bl test_byval_mem32_2
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 32
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem32_2(float 1.0, %struct_S32* byval(%struct_S32) align 1 @gS32)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem32_2(float %f, %struct_S32* byval(%struct_S32) align 1 %s) {
+; CHECK-LABEL: test_byval_mem32_2:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: clrldi 3, 4, 56
+; CHECK-NEXT: std 4, -32(1)
+; CHECK-NEXT: std 5, -24(1)
+; CHECK-NEXT: std 6, -16(1)
+; CHECK-NEXT: std 7, -8(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S32, %struct_S32* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+define void @call_test_byval_mem32_3() #0 {
+; CHECK-LABEL: call_test_byval_mem32_3:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -112(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 112
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC5 at toc@ha
+; CHECK-NEXT: li 4, 16
+; CHECK-NEXT: addis 5, 2, .LCPI22_1 at toc@ha
+; CHECK-NEXT: li 7, 2
+; CHECK-NEXT: ld 3, .LC5 at toc@l(3)
+; CHECK-NEXT: lfs 2, .LCPI22_1 at toc@l(5)
+; CHECK-NEXT: li 5, 3
+; CHECK-NEXT: lxvd2x 0, 3, 4
+; CHECK-NEXT: li 4, 88
+; CHECK-NEXT: stxvd2x 0, 1, 4
+; CHECK-NEXT: li 4, 72
+; CHECK-NEXT: lxvd2x 0, 0, 3
+; CHECK-NEXT: stxvd2x 0, 1, 4
+; CHECK-NEXT: addis 4, 2, .LCPI22_0 at toc@ha
+; CHECK-NEXT: lfs 1, .LCPI22_0 at toc@l(4)
+; CHECK-NEXT: ld 10, 16(3)
+; CHECK-NEXT: ld 9, 8(3)
+; CHECK-NEXT: ld 8, 0(3)
+; CHECK-NEXT: li 3, 1
+; CHECK-NEXT: bl test_byval_mem32_3
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 112
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem32_3(i64 1, float 1.0, i64 3, double 4.0, i32 2, %struct_S32* byval(%struct_S32) align 1 @gS32)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem32_3(i64 %i1, float %f, i64 %i2, double %d, i32 %i3, %struct_S32* byval(%struct_S32) align 1 %s) {
+; CHECK-LABEL: test_byval_mem32_3:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: clrldi 3, 8, 56
+; CHECK-NEXT: std 8, 72(1)
+; CHECK-NEXT: std 9, 80(1)
+; CHECK-NEXT: std 10, 88(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S32, %struct_S32* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+%struct_S64 = type {[64 x i8] }
+ at gS64= external global %struct_S64, align 1
+
+define void @call_test_byval_mem64() #0 {
+; CHECK-LABEL: call_test_byval_mem64:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -32(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 32
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC6 at toc@ha
+; CHECK-NEXT: li 4, 48
+; CHECK-NEXT: li 5, 80
+; CHECK-NEXT: li 6, 64
+; CHECK-NEXT: ld 3, .LC6 at toc@l(3)
+; CHECK-NEXT: lxvd2x 0, 3, 4
+; CHECK-NEXT: stxvd2x 0, 1, 5
+; CHECK-NEXT: li 5, 32
+; CHECK-NEXT: lxvd2x 0, 3, 5
+; CHECK-NEXT: stxvd2x 0, 1, 6
+; CHECK-NEXT: li 6, 16
+; CHECK-NEXT: lxvd2x 0, 3, 6
+; CHECK-NEXT: stxvd2x 0, 1, 4
+; CHECK-NEXT: lxvd2x 0, 0, 3
+; CHECK-NEXT: stxvd2x 0, 1, 5
+; CHECK-NEXT: ld 10, 56(3)
+; CHECK-NEXT: ld 9, 48(3)
+; CHECK-NEXT: ld 8, 40(3)
+; CHECK-NEXT: ld 7, 32(3)
+; CHECK-NEXT: ld 6, 24(3)
+; CHECK-NEXT: ld 5, 16(3)
+; CHECK-NEXT: ld 4, 8(3)
+; CHECK-NEXT: ld 3, 0(3)
+; CHECK-NEXT: bl test_byval_mem64
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 32
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem64(%struct_S64* byval(%struct_S64) align 1 @gS64)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem64(%struct_S64* byval(%struct_S64) align 1 %s) {
+; CHECK-LABEL: test_byval_mem64:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: std 3, -64(1)
+; CHECK-NEXT: clrldi 3, 3, 56
+; CHECK-NEXT: std 4, -56(1)
+; CHECK-NEXT: std 5, -48(1)
+; CHECK-NEXT: std 6, -40(1)
+; CHECK-NEXT: std 7, -32(1)
+; CHECK-NEXT: std 8, -24(1)
+; CHECK-NEXT: std 9, -16(1)
+; CHECK-NEXT: std 10, -8(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S64, %struct_S64* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
+
+%struct_S65 = type { [65 x i8] }
+ at gS65 = external global %struct_S65, align 1
+
+define void @call_test_byval_mem65() #0 {
+; CHECK-LABEL: call_test_byval_mem65:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: mflr 0
+; CHECK-NEXT: std 0, 16(1)
+; CHECK-NEXT: stdu 1, -112(1)
+; CHECK-NEXT: .cfi_def_cfa_offset 112
+; CHECK-NEXT: .cfi_offset lr, 16
+; CHECK-NEXT: addis 3, 2, .LC7 at toc@ha
+; CHECK-NEXT: li 4, 48
+; CHECK-NEXT: li 5, 80
+; CHECK-NEXT: li 6, 64
+; CHECK-NEXT: ld 3, .LC7 at toc@l(3)
+; CHECK-NEXT: lxvd2x 0, 3, 4
+; CHECK-NEXT: stxvd2x 0, 1, 5
+; CHECK-NEXT: li 5, 32
+; CHECK-NEXT: lxvd2x 0, 3, 5
+; CHECK-NEXT: stxvd2x 0, 1, 6
+; CHECK-NEXT: li 6, 16
+; CHECK-NEXT: lxvd2x 0, 3, 6
+; CHECK-NEXT: stxvd2x 0, 1, 4
+; CHECK-NEXT: lxvd2x 0, 0, 3
+; CHECK-NEXT: stxvd2x 0, 1, 5
+; CHECK-NEXT: lbz 4, 64(3)
+; CHECK-NEXT: stb 4, 96(1)
+; CHECK-NEXT: ld 10, 56(3)
+; CHECK-NEXT: ld 9, 48(3)
+; CHECK-NEXT: ld 8, 40(3)
+; CHECK-NEXT: ld 7, 32(3)
+; CHECK-NEXT: ld 6, 24(3)
+; CHECK-NEXT: ld 5, 16(3)
+; CHECK-NEXT: ld 4, 8(3)
+; CHECK-NEXT: ld 3, 0(3)
+; CHECK-NEXT: bl test_byval_mem65
+; CHECK-NEXT: nop
+; CHECK-NEXT: addi 1, 1, 112
+; CHECK-NEXT: ld 0, 16(1)
+; CHECK-NEXT: mtlr 0
+; CHECK-NEXT: blr
+entry:
+ %call = call zeroext i8 @test_byval_mem65(%struct_S65* byval(%struct_S65) align 1 @gS65)
+ ret void
+}
+
+define zeroext i8 @test_byval_mem65(%struct_S65* byval(%struct_S65) align 1 %s) {
+; CHECK-LABEL: test_byval_mem65:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: std 3, 32(1)
+; CHECK-NEXT: clrldi 3, 3, 56
+; CHECK-NEXT: std 4, 40(1)
+; CHECK-NEXT: std 5, 48(1)
+; CHECK-NEXT: std 6, 56(1)
+; CHECK-NEXT: std 7, 64(1)
+; CHECK-NEXT: std 8, 72(1)
+; CHECK-NEXT: std 9, 80(1)
+; CHECK-NEXT: std 10, 88(1)
+; CHECK-NEXT: blr
+entry:
+ %arrayidx = getelementptr inbounds %struct_S65, %struct_S65* %s, i32 0, i32 0, i32 0
+ %0 = load i8, i8* %arrayidx, align 1
+ ret i8 %0
+}
More information about the llvm-commits
mailing list