1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -infer-address-spaces -o - %s | FileCheck %s
; CHECK-LABEL: @f0
; CHECK: addrspacecast float* {{%.*}} to float addrspace(3)*
; CHECK: getelementptr inbounds float, float addrspace(3)*
; CHECK: load float, float addrspace(3)*
define float @f0(float* %p) {
entry:
%0 = bitcast float* %p to i8*
%1 = call i1 @llvm.amdgcn.is.shared(i8* %0)
tail call void @llvm.assume(i1 %1)
%2 = tail call i32 @llvm.amdgcn.workitem.id.x()
%idxprom = zext i32 %2 to i64
%arrayidx = getelementptr inbounds float, float* %p, i64 %idxprom
%3 = load float, float* %arrayidx, align 4
ret float %3
}
; CHECK-LABEL: @f1
; CHECK: addrspacecast float* {{%.*}} to float addrspace(5)*
; CHECK: getelementptr inbounds float, float addrspace(5)*
; CHECK: load float, float addrspace(5)*
define float @f1(float* %p) {
entry:
%0 = bitcast float* %p to i8*
%1 = call i1 @llvm.amdgcn.is.private(i8* %0)
tail call void @llvm.assume(i1 %1)
%2 = tail call i32 @llvm.amdgcn.workitem.id.x()
%idxprom = zext i32 %2 to i64
%arrayidx = getelementptr inbounds float, float* %p, i64 %idxprom
%3 = load float, float* %arrayidx, align 4
ret float %3
}
; CHECK-LABEL: @f2
; CHECK: addrspacecast float* {{%.*}} to float addrspace(1)*
; CHECK: getelementptr inbounds float, float addrspace(1)*
; CHECK: load float, float addrspace(1)*
define float @f2(float* %p) {
entry:
%0 = bitcast float* %p to i8*
%1 = call i1 @llvm.amdgcn.is.private(i8* %0)
%2 = xor i1 %1, -1
%3 = call i1 @llvm.amdgcn.is.shared(i8* %0)
%4 = xor i1 %3, -1
%5 = and i1 %2, %4
tail call void @llvm.assume(i1 %5)
%6 = tail call i32 @llvm.amdgcn.workitem.id.x()
%idxprom = zext i32 %6 to i64
%arrayidx = getelementptr inbounds float, float* %p, i64 %idxprom
%7 = load float, float* %arrayidx, align 4
ret float %7
}
; CHECK-LABEL: @g0
; CHECK: if.then:
; CHECK: addrspacecast float* {{%.*}} to float addrspace(3)*
; CHECK: getelementptr inbounds float, float addrspace(3)*
; CHECK: load float, float addrspace(3)*
; CHECK: if.end:
; CHECK: getelementptr inbounds float, float*
; CHECK: load float, float*
define float @g0(i32 %c, float* %p) {
entry:
%tobool.not = icmp eq i32 %c, 0
br i1 %tobool.not, label %if.end, label %if.then
if.then:
%0 = bitcast float* %p to i8*
%1 = call i1 @llvm.amdgcn.is.shared(i8* %0)
tail call void @llvm.assume(i1 %1)
%2 = tail call i32 @llvm.amdgcn.workitem.id.x()
%idxprom = zext i32 %2 to i64
%arrayidx = getelementptr inbounds float, float* %p, i64 %idxprom
%3 = load float, float* %arrayidx, align 4
%add = fadd float %3, 0.
br label %if.end
if.end:
%s = phi float [ %add, %if.then ], [ 0., %entry ]
%4 = tail call i32 @llvm.amdgcn.workitem.id.y()
%idxprom2 = zext i32 %4 to i64
%arrayidx2 = getelementptr inbounds float, float* %p, i64 %idxprom2
%5 = load float, float* %arrayidx2, align 4
%add2 = fadd float %s, %5
ret float %add2
}
declare void @llvm.assume(i1)
declare i1 @llvm.amdgcn.is.shared(i8* nocapture)
declare i1 @llvm.amdgcn.is.private(i8* nocapture)
declare i32 @llvm.amdgcn.workitem.id.x()
declare i32 @llvm.amdgcn.workitem.id.y()
|
