1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -infer-address-spaces %s | FileCheck %s
3
4; Addrspacecasts or bitcasts must be inserted after the instructions that define their uses.
5
6%struct.s0 = type { i32*, i32 }
7%struct.s1 = type { %struct.s0 }
8
9@global0 = protected addrspace(4) externally_initialized global %struct.s1 zeroinitializer
10
11declare i32 @func(i32* %arg)
12
13define i32 @addrspacecast_insert_pos_assert() {
14; CHECK-LABEL: @addrspacecast_insert_pos_assert(
15; CHECK-NEXT:    [[ALLOCA:%.*]] = alloca i32, align 4, addrspace(5)
16; CHECK-NEXT:    [[LOAD0:%.*]] = load i32*, i32* addrspace(4)* getelementptr inbounds ([[STRUCT_S1:%.*]], [[STRUCT_S1]] addrspace(4)* @global0, i32 0, i32 0, i32 0), align 8
17; CHECK-NEXT:    [[TMP1:%.*]] = addrspacecast i32* [[LOAD0]] to i32 addrspace(1)*
18; CHECK-NEXT:    [[TMP2:%.*]] = addrspacecast i32 addrspace(1)* [[TMP1]] to i32*
19; CHECK-NEXT:    [[LOAD1:%.*]] = load i32, i32 addrspace(5)* [[ALLOCA]], align 4
20; CHECK-NEXT:    [[SEXT:%.*]] = sext i32 [[LOAD1]] to i64
21; CHECK-NEXT:    [[GEP:%.*]] = getelementptr inbounds i32, i32* [[TMP2]], i64 [[SEXT]]
22; CHECK-NEXT:    [[CALL:%.*]] = call i32 @func(i32* [[GEP]])
23; CHECK-NEXT:    ret i32 [[CALL]]
24;
25  %alloca = alloca i32, align 4, addrspace(5)
26  %cast = addrspacecast i32 addrspace(5)* %alloca to i32*
27  %load0 = load i32*, i32* addrspace(4)* getelementptr inbounds (%struct.s1, %struct.s1 addrspace(4)* @global0, i32 0, i32 0, i32 0)
28  %load1 = load i32, i32* %cast
29  %sext = sext i32 %load1 to i64
30  %gep = getelementptr inbounds i32, i32* %load0, i64 %sext
31  %call = call i32 @func(i32* %gep)
32  ret i32 %call
33}
34
35define void @bitcast_insert_pos_assert_1() {
36; CHECK-LABEL: @bitcast_insert_pos_assert_1(
37; CHECK-NEXT:  bb.0:
38; CHECK-NEXT:    [[ASC0:%.*]] = bitcast [[STRUCT_S1:%.*]] addrspace(5)* undef to i8 addrspace(5)*
39; CHECK-NEXT:    [[BC0:%.*]] = bitcast i8 addrspace(5)* [[ASC0]] to [[STRUCT_S1]] addrspace(5)*
40; CHECK-NEXT:    [[TMP0:%.*]] = bitcast [[STRUCT_S1]] addrspace(5)* [[BC0]] to double* addrspace(5)*
41; CHECK-NEXT:    [[TMP1:%.*]] = addrspacecast double* addrspace(5)* [[TMP0]] to %struct.s1*
42; CHECK-NEXT:    [[PTI0:%.*]] = ptrtoint %struct.s1* [[TMP1]] to i64
43; CHECK-NEXT:    br label [[BB_1:%.*]]
44; CHECK:       bb.1:
45; CHECK-NEXT:    br i1 undef, label [[BB_2:%.*]], label [[BB_3:%.*]]
46; CHECK:       bb.2:
47; CHECK-NEXT:    [[LOAD0:%.*]] = load double*, double* addrspace(5)* [[TMP0]], align 8
48; CHECK-NEXT:    br label [[BB_3]]
49; CHECK:       bb.3:
50; CHECK-NEXT:    ret void
51;
52bb.0:
53  %asc0 = addrspacecast %struct.s1 addrspace(5)* undef to i8*
54  %bc0 = bitcast i8* %asc0 to %struct.s1*
55  %pti0 = ptrtoint %struct.s1* %bc0 to i64
56  br label %bb.1
57
58bb.1:
59  br i1 undef, label %bb.2, label %bb.3
60
61bb.2:
62  %pti1 = ptrtoint %struct.s1* %bc0 to i64
63  %itp0 = inttoptr i64 %pti1 to double**
64  %load0 = load double*, double** %itp0, align 8
65  br label %bb.3
66
67bb.3:
68  ret void
69}
70
71define void @bitcast_insert_pos_assert_2() {
72; CHECK-LABEL: @bitcast_insert_pos_assert_2(
73; CHECK-NEXT:    [[ALLOCA0:%.*]] = alloca [[STRUCT_S1:%.*]], align 16, addrspace(5)
74; CHECK-NEXT:    [[ASC0:%.*]] = bitcast [[STRUCT_S1]] addrspace(5)* [[ALLOCA0]] to i8 addrspace(5)*
75; CHECK-NEXT:    [[BC0:%.*]] = bitcast i8 addrspace(5)* [[ASC0]] to [[STRUCT_S1]] addrspace(5)*
76; CHECK-NEXT:    [[TMP1:%.*]] = bitcast [[STRUCT_S1]] addrspace(5)* [[BC0]] to i64 addrspace(5)*
77; CHECK-NEXT:    [[TMP2:%.*]] = addrspacecast i64 addrspace(5)* [[TMP1]] to %struct.s1*
78; CHECK-NEXT:    [[PTI0:%.*]] = ptrtoint %struct.s1* [[TMP2]] to i64
79; CHECK-NEXT:    [[ITP0:%.*]] = inttoptr i64 [[PTI0]] to i64*
80; CHECK-NEXT:    [[TMP3:%.*]] = addrspacecast i64 addrspace(5)* [[TMP1]] to i64*
81; CHECK-NEXT:    [[GEP0:%.*]] = getelementptr i64, i64* [[TMP3]], i64 0
82; CHECK-NEXT:    ret void
83;
84  %alloca0 = alloca %struct.s1, align 16, addrspace(5)
85  %asc0 = addrspacecast %struct.s1 addrspace(5)* %alloca0 to i8*
86  %bc0 = bitcast i8* %asc0 to %struct.s1*
87  %pti0 = ptrtoint %struct.s1* %bc0 to i64
88  %itp0 = inttoptr i64 %pti0 to i64*
89  %itp1 = ptrtoint %struct.s1* %bc0 to i64
90  %itp2 = inttoptr i64 %itp1 to i64*
91  %gep0 = getelementptr i64, i64* %itp2, i64 0
92  ret void
93}
94