| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -mtriple=amdgcn-unknown-amdhsa -mcpu=kaveri -amdgpu-promote-alloca < %s | FileCheck %s |
| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 2 | ; Nothing should be done if the addrspacecast is captured. |
| 3 | |
| Matt Arsenault | b3e14de | 2018-12-05 17:34:59 +0000 | [diff] [blame] | 4 | target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" |
| 5 | |
| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 6 | declare void @consume_ptr2int(i32) #0 |
| 7 | |
| 8 | ; CHECK-LABEL: @addrspacecast_captured( |
| Matt Arsenault | b3e14de | 2018-12-05 17:34:59 +0000 | [diff] [blame] | 9 | ; CHECK: %data = alloca i32, align 4, addrspace(5) |
| 10 | ; CHECK: %cast = addrspacecast i32 addrspace(5)* %data to i32* |
| 11 | ; CHECK: %ptr2int = ptrtoint i32* %cast to i32 |
| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 12 | ; CHECK: store i32 %ptr2int, i32 addrspace(1)* %out |
| Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 13 | define amdgpu_kernel void @addrspacecast_captured(i32 addrspace(1)* %out) #0 { |
| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 14 | entry: |
| Matt Arsenault | b3e14de | 2018-12-05 17:34:59 +0000 | [diff] [blame] | 15 | %data = alloca i32, align 4, addrspace(5) |
| 16 | %cast = addrspacecast i32 addrspace(5)* %data to i32* |
| 17 | %ptr2int = ptrtoint i32* %cast to i32 |
| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 18 | store i32 %ptr2int, i32 addrspace(1)* %out |
| 19 | ret void |
| 20 | } |
| 21 | |
| 22 | ; CHECK-LABEL: @addrspacecast_captured_store( |
| Matt Arsenault | b3e14de | 2018-12-05 17:34:59 +0000 | [diff] [blame] | 23 | ; CHECK: %data = alloca i32, align 4, addrspace(5) |
| 24 | ; CHECK: %cast = addrspacecast i32 addrspace(5)* %data to i32* |
| 25 | ; CHECK: store i32* %cast, i32* addrspace(1)* %out |
| 26 | define amdgpu_kernel void @addrspacecast_captured_store(i32* addrspace(1)* %out) #0 { |
| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 27 | entry: |
| Matt Arsenault | b3e14de | 2018-12-05 17:34:59 +0000 | [diff] [blame] | 28 | %data = alloca i32, align 4, addrspace(5) |
| 29 | %cast = addrspacecast i32 addrspace(5)* %data to i32* |
| 30 | store i32* %cast, i32* addrspace(1)* %out |
| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 31 | ret void |
| 32 | } |
| 33 | |
| 34 | ; CHECK-LABEL: @addrspacecast_captured_call( |
| Matt Arsenault | b3e14de | 2018-12-05 17:34:59 +0000 | [diff] [blame] | 35 | ; CHECK: %data = alloca i32, align 4, addrspace(5) |
| 36 | ; CHECK: %cast = addrspacecast i32 addrspace(5)* %data to i32* |
| 37 | ; CHECK: %ptr2int = ptrtoint i32* %cast to i32 |
| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 38 | ; CHECK: call void @consume_ptr2int(i32 %ptr2int) |
| Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 39 | define amdgpu_kernel void @addrspacecast_captured_call() #0 { |
| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 40 | entry: |
| Matt Arsenault | b3e14de | 2018-12-05 17:34:59 +0000 | [diff] [blame] | 41 | %data = alloca i32, align 4, addrspace(5) |
| 42 | %cast = addrspacecast i32 addrspace(5)* %data to i32* |
| 43 | %ptr2int = ptrtoint i32* %cast to i32 |
| Changpeng Fang | c85abbd | 2017-01-24 19:06:28 +0000 | [diff] [blame] | 44 | call void @consume_ptr2int(i32 %ptr2int) |
| 45 | ret void |
| 46 | } |
| 47 | |
| 48 | attributes #0 = { nounwind } |