Mercurial > hg > CbC > CbC_llvm

comparison llvm/test/CodeGen/AMDGPU/rewrite-out-arguments-address-space.ll @ 252:1f2b6ac9f198 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM16-1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 18 Aug 2023 09:04:13 +0900
parents c4bab56944e8
children
comparison
equal deleted inserted replaced
237:c80f45b162ad 252:1f2b6ac9f198
1 ; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -amdgpu-any-address-space-out-arguments -amdgpu-rewrite-out-arguments < %s | FileCheck %s 1 ; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -amdgpu-any-address-space-out-arguments -amdgpu-rewrite-out-arguments < %s | FileCheck %s
2 2
3 ; CHECK: %void_one_out_non_private_arg_i32_1_use = type { i32 } 3 ; CHECK: %void_one_out_non_private_arg_i32_1_use = type { i32 }
4 ; CHECK: %bitcast_pointer_as1 = type { <4 x i32> } 4 ; CHECK: %bitcast_pointer_as1 = type { <4 x i32> }
5 5
6 ; CHECK-LABEL: define private %void_one_out_non_private_arg_i32_1_use @void_one_out_non_private_arg_i32_1_use.body(i32 addrspace(1)* %val) #0 { 6 ; CHECK-LABEL: define private %void_one_out_non_private_arg_i32_1_use @void_one_out_non_private_arg_i32_1_use.body(ptr addrspace(1) %val) #0 {
7 ; CHECK-NEXT: ret %void_one_out_non_private_arg_i32_1_use zeroinitializer 7 ; CHECK-NEXT: ret %void_one_out_non_private_arg_i32_1_use zeroinitializer
8 8
9 ; CHECK-LABEL: define void @void_one_out_non_private_arg_i32_1_use(i32 addrspace(1)* %0) #1 { 9 ; CHECK-LABEL: define void @void_one_out_non_private_arg_i32_1_use(ptr addrspace(1) %0) #1 {
10 ; CHECK-NEXT: %2 = call %void_one_out_non_private_arg_i32_1_use @void_one_out_non_private_arg_i32_1_use.body(i32 addrspace(1)* undef) 10 ; CHECK-NEXT: %2 = call %void_one_out_non_private_arg_i32_1_use @void_one_out_non_private_arg_i32_1_use.body(ptr addrspace(1) poison)
11 ; CHECK-NEXT: %3 = extractvalue %void_one_out_non_private_arg_i32_1_use %2, 0 11 ; CHECK-NEXT: %3 = extractvalue %void_one_out_non_private_arg_i32_1_use %2, 0
12 ; CHECK-NEXT: store i32 %3, i32 addrspace(1)* %0, align 4 12 ; CHECK-NEXT: store i32 %3, ptr addrspace(1) %0, align 4
13 ; CHECK-NEXT: ret void 13 ; CHECK-NEXT: ret void
14 define void @void_one_out_non_private_arg_i32_1_use(i32 addrspace(1)* %val) #0 { 14 define void @void_one_out_non_private_arg_i32_1_use(ptr addrspace(1) %val) #0 {
15 store i32 0, i32 addrspace(1)* %val 15 store i32 0, ptr addrspace(1) %val
16 ret void 16 ret void
17 } 17 }
18 18
19 ; CHECK-LABEL: define private %bitcast_pointer_as1 @bitcast_pointer_as1.body(<3 x i32> addrspace(1)* %out) #0 { 19 ; CHECK-LABEL: define private %bitcast_pointer_as1 @bitcast_pointer_as1.body(ptr addrspace(1) %out) #0 {
20 ; CHECK-NEXT: %load = load volatile <4 x i32>, <4 x i32> addrspace(1)* undef 20 ; CHECK-NEXT: %load = load volatile <4 x i32>, ptr addrspace(1) poison
21 ; CHECK-NEXT: %bitcast = bitcast <3 x i32> addrspace(1)* %out to <4 x i32> addrspace(1)* 21 ; CHECK-NEXT: %1 = insertvalue %bitcast_pointer_as1 poison, <4 x i32> %load, 0
22 ; CHECK-NEXT: %1 = insertvalue %bitcast_pointer_as1 undef, <4 x i32> %load, 0
23 ; CHECK-NEXT: ret %bitcast_pointer_as1 %1 22 ; CHECK-NEXT: ret %bitcast_pointer_as1 %1
24 23
25 ; CHECK-LABEL: define void @bitcast_pointer_as1(<3 x i32> addrspace(1)* %0) #1 { 24 ; CHECK-LABEL: define void @bitcast_pointer_as1(ptr addrspace(1) %0) #1 {
26 ; CHECK-NEXT: %2 = call %bitcast_pointer_as1 @bitcast_pointer_as1.body(<3 x i32> addrspace(1)* undef) 25 ; CHECK-NEXT: %2 = call %bitcast_pointer_as1 @bitcast_pointer_as1.body(ptr addrspace(1) poison)
27 define void @bitcast_pointer_as1(<3 x i32> addrspace(1)* %out) #0 { 26 define void @bitcast_pointer_as1(ptr addrspace(1) %out) #0 {
28 %load = load volatile <4 x i32>, <4 x i32> addrspace(1)* undef 27 %load = load volatile <4 x i32>, ptr addrspace(1) poison
29 %bitcast = bitcast <3 x i32> addrspace(1)* %out to <4 x i32> addrspace(1)* 28 store <4 x i32> %load, ptr addrspace(1) %out
30 store <4 x i32> %load, <4 x i32> addrspace(1)* %bitcast
31 ret void 29 ret void
32 } 30 }
33 31
34 ; CHECK: attributes #0 = { nounwind } 32 ; CHECK: attributes #0 = { nounwind }
35 ; CHECK: attributes #1 = { alwaysinline nounwind } 33 ; CHECK: attributes #1 = { alwaysinline nounwind }