121
|
1 ; RUN: llc -amdgpu-scalarize-global-loads=false -march=amdgcn < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
|
|
2 ; RUN: llc -amdgpu-scalarize-global-loads=false -march=r600 -mcpu=cypress < %s | FileCheck -check-prefix=EG -check-prefix=FUNC %s
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4
|
100
|
5 ; FUNC-LABEL: {{^}}v_test_imax_sge_i32:
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 ; SI: v_max_i32_e32
|
120
|
7
|
|
8 ; EG: MAX_INT
|
121
|
9 define amdgpu_kernel void @v_test_imax_sge_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %aptr, i32 addrspace(1)* %bptr) nounwind {
|
120
|
10 %a = load i32, i32 addrspace(1)* %aptr, align 4
|
|
11 %b = load i32, i32 addrspace(1)* %bptr, align 4
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 %cmp = icmp sge i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 %val = select i1 %cmp, i32 %a, i32 %b
|
120
|
14 store i32 %val, i32 addrspace(1)* %out, align 4
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17
|
100
|
18 ; FUNC-LABEL: {{^}}v_test_imax_sge_v4i32:
|
|
19 ; SI: v_max_i32_e32
|
|
20 ; SI: v_max_i32_e32
|
|
21 ; SI: v_max_i32_e32
|
|
22 ; SI: v_max_i32_e32
|
120
|
23
|
|
24 ; These could be merged into one
|
|
25 ; EG: MAX_INT
|
|
26 ; EG: MAX_INT
|
|
27 ; EG: MAX_INT
|
|
28 ; EG: MAX_INT
|
121
|
29 define amdgpu_kernel void @v_test_imax_sge_v4i32(<4 x i32> addrspace(1)* %out, <4 x i32> addrspace(1)* %aptr, <4 x i32> addrspace(1)* %bptr) nounwind {
|
120
|
30 %a = load <4 x i32>, <4 x i32> addrspace(1)* %aptr, align 4
|
|
31 %b = load <4 x i32>, <4 x i32> addrspace(1)* %bptr, align 4
|
100
|
32 %cmp = icmp sge <4 x i32> %a, %b
|
|
33 %val = select <4 x i1> %cmp, <4 x i32> %a, <4 x i32> %b
|
120
|
34 store <4 x i32> %val, <4 x i32> addrspace(1)* %out, align 4
|
100
|
35 ret void
|
|
36 }
|
|
37
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
38 ; FUNC-LABEL: @s_test_imax_sge_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39 ; SI: s_max_i32
|
120
|
40
|
|
41 ; EG: MAX_INT
|
121
|
42 define amdgpu_kernel void @s_test_imax_sge_i32(i32 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
43 %cmp = icmp sge i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
44 %val = select i1 %cmp, i32 %a, i32 %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
45 store i32 %val, i32 addrspace(1)* %out, align 4
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
46 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
47 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
48
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49 ; FUNC-LABEL: {{^}}s_test_imax_sge_imm_i32:
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50 ; SI: s_max_i32 {{s[0-9]+}}, {{s[0-9]+}}, 9
|
120
|
51
|
|
52 ; EG: MAX_INT {{.*}}literal.{{[xyzw]}}
|
121
|
53 define amdgpu_kernel void @s_test_imax_sge_imm_i32(i32 addrspace(1)* %out, i32 %a) nounwind {
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 %cmp = icmp sge i32 %a, 9
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55 %val = select i1 %cmp, i32 %a, i32 9
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56 store i32 %val, i32 addrspace(1)* %out, align 4
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
57 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
58 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59
|
100
|
60 ; FUNC-LABEL: {{^}}v_test_imax_sge_i8:
|
|
61 ; SI: buffer_load_sbyte
|
|
62 ; SI: buffer_load_sbyte
|
|
63 ; SI: v_max_i32_e32
|
120
|
64
|
|
65 ; EG: MAX_INT
|
121
|
66 define amdgpu_kernel void @v_test_imax_sge_i8(i8 addrspace(1)* %out, i8 addrspace(1)* %aptr, i8 addrspace(1)* %bptr) nounwind {
|
120
|
67 %a = load i8, i8 addrspace(1)* %aptr, align 1
|
|
68 %b = load i8, i8 addrspace(1)* %bptr, align 1
|
100
|
69 %cmp = icmp sge i8 %a, %b
|
|
70 %val = select i1 %cmp, i8 %a, i8 %b
|
120
|
71 store i8 %val, i8 addrspace(1)* %out, align 1
|
100
|
72 ret void
|
|
73 }
|
|
74
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75 ; FUNC-LABEL: {{^}}s_test_imax_sgt_imm_i32:
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 ; SI: s_max_i32 {{s[0-9]+}}, {{s[0-9]+}}, 9
|
120
|
77
|
|
78 ; EG: MAX_INT {{.*}}literal.{{[xyzw]}}
|
121
|
79 define amdgpu_kernel void @s_test_imax_sgt_imm_i32(i32 addrspace(1)* %out, i32 %a) nounwind {
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
80 %cmp = icmp sgt i32 %a, 9
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
81 %val = select i1 %cmp, i32 %a, i32 9
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
82 store i32 %val, i32 addrspace(1)* %out, align 4
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
83 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
84 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
85
|
100
|
86 ; FUNC-LABEL: {{^}}s_test_imax_sgt_imm_v2i32:
|
|
87 ; SI: s_max_i32 {{s[0-9]+}}, {{s[0-9]+}}, 9
|
|
88 ; SI: s_max_i32 {{s[0-9]+}}, {{s[0-9]+}}, 9
|
120
|
89
|
|
90 ; EG: MAX_INT {{.*}}literal.{{[xyzw]}}
|
|
91 ; EG: MAX_INT {{.*}}literal.{{[xyzw]}}
|
121
|
92 define amdgpu_kernel void @s_test_imax_sgt_imm_v2i32(<2 x i32> addrspace(1)* %out, <2 x i32> %a) nounwind {
|
100
|
93 %cmp = icmp sgt <2 x i32> %a, <i32 9, i32 9>
|
|
94 %val = select <2 x i1> %cmp, <2 x i32> %a, <2 x i32> <i32 9, i32 9>
|
|
95 store <2 x i32> %val, <2 x i32> addrspace(1)* %out, align 4
|
|
96 ret void
|
|
97 }
|
120
|
98
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
99 ; FUNC-LABEL: @v_test_imax_sgt_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
100 ; SI: v_max_i32_e32
|
120
|
101
|
|
102 ; EG: MAX_INT
|
121
|
103 define amdgpu_kernel void @v_test_imax_sgt_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %aptr, i32 addrspace(1)* %bptr) nounwind {
|
120
|
104 %a = load i32, i32 addrspace(1)* %aptr, align 4
|
|
105 %b = load i32, i32 addrspace(1)* %bptr, align 4
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
106 %cmp = icmp sgt i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
107 %val = select i1 %cmp, i32 %a, i32 %b
|
120
|
108 store i32 %val, i32 addrspace(1)* %out, align 4
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
109 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
110 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
111
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
112 ; FUNC-LABEL: @s_test_imax_sgt_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
113 ; SI: s_max_i32
|
120
|
114
|
|
115 ; EG: MAX_INT
|
121
|
116 define amdgpu_kernel void @s_test_imax_sgt_i32(i32 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
117 %cmp = icmp sgt i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
118 %val = select i1 %cmp, i32 %a, i32 %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
119 store i32 %val, i32 addrspace(1)* %out, align 4
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
120 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
121 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
122
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
123 ; FUNC-LABEL: @v_test_umax_uge_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
124 ; SI: v_max_u32_e32
|
120
|
125
|
|
126 ; EG: MAX_UINT
|
121
|
127 define amdgpu_kernel void @v_test_umax_uge_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %aptr, i32 addrspace(1)* %bptr) nounwind {
|
120
|
128 %a = load i32, i32 addrspace(1)* %aptr, align 4
|
|
129 %b = load i32, i32 addrspace(1)* %bptr, align 4
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
130 %cmp = icmp uge i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
131 %val = select i1 %cmp, i32 %a, i32 %b
|
120
|
132 store i32 %val, i32 addrspace(1)* %out, align 4
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
133 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
134 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
135
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
136 ; FUNC-LABEL: @s_test_umax_uge_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
137 ; SI: s_max_u32
|
120
|
138
|
|
139 ; EG: MAX_UINT
|
121
|
140 define amdgpu_kernel void @s_test_umax_uge_i32(i32 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
141 %cmp = icmp uge i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
142 %val = select i1 %cmp, i32 %a, i32 %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
143 store i32 %val, i32 addrspace(1)* %out, align 4
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
144 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
145 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
146
|
100
|
147 ; FUNC-LABEL: {{^}}s_test_umax_uge_v3i32:
|
|
148 ; SI: s_max_u32
|
|
149 ; SI: s_max_u32
|
|
150 ; SI: s_max_u32
|
|
151 ; SI-NOT: s_max_u32
|
|
152 ; SI: s_endpgm
|
120
|
153
|
|
154 ; EG: MAX_UINT
|
|
155 ; EG: MAX_UINT
|
|
156 ; EG: MAX_UINT
|
|
157 ; EG-NOT: MAX_UINT
|
121
|
158 define amdgpu_kernel void @s_test_umax_uge_v3i32(<3 x i32> addrspace(1)* %out, <3 x i32> %a, <3 x i32> %b) nounwind {
|
100
|
159 %cmp = icmp uge <3 x i32> %a, %b
|
|
160 %val = select <3 x i1> %cmp, <3 x i32> %a, <3 x i32> %b
|
|
161 store <3 x i32> %val, <3 x i32> addrspace(1)* %out, align 4
|
|
162 ret void
|
|
163 }
|
|
164
|
|
165 ; FUNC-LABEL: {{^}}v_test_umax_uge_i8:
|
|
166 ; SI: buffer_load_ubyte
|
|
167 ; SI: buffer_load_ubyte
|
|
168 ; SI: v_max_u32_e32
|
120
|
169
|
|
170 ; EG: MAX_UINT
|
121
|
171 define amdgpu_kernel void @v_test_umax_uge_i8(i8 addrspace(1)* %out, i8 addrspace(1)* %aptr, i8 addrspace(1)* %bptr) nounwind {
|
120
|
172 %a = load i8, i8 addrspace(1)* %aptr, align 1
|
|
173 %b = load i8, i8 addrspace(1)* %bptr, align 1
|
100
|
174 %cmp = icmp uge i8 %a, %b
|
|
175 %val = select i1 %cmp, i8 %a, i8 %b
|
120
|
176 store i8 %val, i8 addrspace(1)* %out, align 1
|
100
|
177 ret void
|
|
178 }
|
|
179
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
180 ; FUNC-LABEL: @v_test_umax_ugt_i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
181 ; SI: v_max_u32_e32
|
120
|
182
|
|
183 ; EG: MAX_UINT
|
121
|
184 define amdgpu_kernel void @v_test_umax_ugt_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %aptr, i32 addrspace(1)* %bptr) nounwind {
|
120
|
185 %a = load i32, i32 addrspace(1)* %aptr, align 4
|
|
186 %b = load i32, i32 addrspace(1)* %bptr, align 4
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
187 %cmp = icmp ugt i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
188 %val = select i1 %cmp, i32 %a, i32 %b
|
120
|
189 store i32 %val, i32 addrspace(1)* %out, align 4
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
190 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
191 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
192
|
100
|
193 ; FUNC-LABEL: {{^}}s_test_umax_ugt_i32:
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
194 ; SI: s_max_u32
|
120
|
195
|
|
196 ; EG: MAX_UINT
|
121
|
197 define amdgpu_kernel void @s_test_umax_ugt_i32(i32 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
198 %cmp = icmp ugt i32 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
199 %val = select i1 %cmp, i32 %a, i32 %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
200 store i32 %val, i32 addrspace(1)* %out, align 4
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
201 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
202 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
203
|
100
|
204 ; FUNC-LABEL: {{^}}s_test_umax_ugt_imm_v2i32:
|
120
|
205 ; SI-DAG: s_max_u32 {{s[0-9]+}}, {{s[0-9]+}}, 15
|
|
206 ; SI-DAG: s_max_u32 {{s[0-9]+}}, {{s[0-9]+}}, 23
|
|
207
|
|
208 ; EG: MAX_UINT {{.*}}literal.{{[xyzw]}}
|
|
209 ; EG: MAX_UINT {{.*}}literal.{{[xyzw]}}
|
121
|
210 define amdgpu_kernel void @s_test_umax_ugt_imm_v2i32(<2 x i32> addrspace(1)* %out, <2 x i32> %a) nounwind {
|
100
|
211 %cmp = icmp ugt <2 x i32> %a, <i32 15, i32 23>
|
|
212 %val = select <2 x i1> %cmp, <2 x i32> %a, <2 x i32> <i32 15, i32 23>
|
|
213 store <2 x i32> %val, <2 x i32> addrspace(1)* %out, align 4
|
|
214 ret void
|
|
215 }
|
|
216
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
217 ; Make sure redundant and removed
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
218 ; FUNC-LABEL: {{^}}simplify_demanded_bits_test_umax_ugt_i16:
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
219 ; SI-DAG: s_load_dword [[A:s[0-9]+]], {{s\[[0-9]+:[0-9]+\]}}, 0xb
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
220 ; SI-DAG: s_load_dword [[B:s[0-9]+]], {{s\[[0-9]+:[0-9]+\]}}, 0xc
|
100
|
221 ; SI: s_max_u32 [[MAX:s[0-9]+]], [[A]], [[B]]
|
120
|
222 ; SI: v_mov_b32_e32 [[VMAX:v[0-9]+]], [[MAX]]
|
|
223 ; SI: buffer_store_dword [[VMAX]]
|
|
224
|
|
225 ; EG: MAX_UINT
|
121
|
226 define amdgpu_kernel void @simplify_demanded_bits_test_umax_ugt_i16(i32 addrspace(1)* %out, i16 zeroext %a, i16 zeroext %b) nounwind {
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
227 %a.ext = zext i16 %a to i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
228 %b.ext = zext i16 %b to i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
229 %cmp = icmp ugt i32 %a.ext, %b.ext
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
230 %val = select i1 %cmp, i32 %a.ext, i32 %b.ext
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
231 %mask = and i32 %val, 65535
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
232 store i32 %mask, i32 addrspace(1)* %out
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
233 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
234 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
235
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
236 ; Make sure redundant sign_extend_inreg removed.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
237
|
100
|
238 ; FUNC-LABEL: {{^}}simplify_demanded_bits_test_max_slt_i16:
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
239 ; SI-DAG: s_load_dword [[A:s[0-9]+]], {{s\[[0-9]+:[0-9]+\]}}, 0xb
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
240 ; SI-DAG: s_load_dword [[B:s[0-9]+]], {{s\[[0-9]+:[0-9]+\]}}, 0xc
|
100
|
241 ; SI: s_max_i32 [[MAX:s[0-9]+]], [[A]], [[B]]
|
120
|
242 ; SI: v_mov_b32_e32 [[VMAX:v[0-9]+]], [[MAX]]
|
|
243 ; SI: buffer_store_dword [[VMAX]]
|
|
244
|
|
245 ; EG: MAX_INT
|
121
|
246 define amdgpu_kernel void @simplify_demanded_bits_test_max_slt_i16(i32 addrspace(1)* %out, i16 signext %a, i16 signext %b) nounwind {
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
247 %a.ext = sext i16 %a to i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
248 %b.ext = sext i16 %b to i32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
249 %cmp = icmp sgt i32 %a.ext, %b.ext
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
250 %val = select i1 %cmp, i32 %a.ext, i32 %b.ext
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
251 %shl = shl i32 %val, 16
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
252 %sextinreg = ashr i32 %shl, 16
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
253 store i32 %sextinreg, i32 addrspace(1)* %out
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
254 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
255 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
256
|
100
|
257 ; FUNC-LABEL: {{^}}s_test_imax_sge_i16:
|
|
258 ; SI: s_load_dword
|
|
259 ; SI: s_load_dword
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
260 ; SI: s_sext_i32_i16
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
261 ; SI: s_sext_i32_i16
|
100
|
262 ; SI: s_max_i32
|
120
|
263
|
|
264 ; EG: MAX_INT
|
121
|
265 define amdgpu_kernel void @s_test_imax_sge_i16(i16 addrspace(1)* %out, i16 %a, i16 %b) nounwind {
|
95
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
266 %cmp = icmp sge i16 %a, %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
267 %val = select i1 %cmp, i16 %a, i16 %b
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
268 store i16 %val, i16 addrspace(1)* %out
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
269 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
270 }
|
120
|
271
|
|
272 ; 64 bit
|
|
273 ; FUNC-LABEL: {{^}}test_umax_ugt_i64
|
|
274 ; SI: s_endpgm
|
|
275
|
|
276 ; EG: MAX_UINT
|
|
277 ; EG: MAX_UINT
|
121
|
278 define amdgpu_kernel void @test_umax_ugt_i64(i64 addrspace(1)* %out, i64 %a, i64 %b) nounwind {
|
120
|
279 %tmp = icmp ugt i64 %a, %b
|
|
280 %val = select i1 %tmp, i64 %a, i64 %b
|
|
281 store i64 %val, i64 addrspace(1)* %out, align 8
|
|
282 ret void
|
|
283 }
|
|
284
|
|
285 ; FUNC-LABEL: {{^}}test_umax_uge_i64
|
|
286 ; SI: s_endpgm
|
|
287
|
|
288 ; EG: MAX_UINT
|
|
289 ; EG: MAX_UINT
|
121
|
290 define amdgpu_kernel void @test_umax_uge_i64(i64 addrspace(1)* %out, i64 %a, i64 %b) nounwind {
|
120
|
291 %tmp = icmp uge i64 %a, %b
|
|
292 %val = select i1 %tmp, i64 %a, i64 %b
|
|
293 store i64 %val, i64 addrspace(1)* %out, align 8
|
|
294 ret void
|
|
295 }
|
|
296
|
|
297 ; FUNC-LABEL: {{^}}test_imax_sgt_i64
|
|
298 ; SI: s_endpgm
|
|
299
|
|
300 ; EG-DAG: MAX_UINT
|
|
301 ; EG-DAG: MAX_INT
|
121
|
302 define amdgpu_kernel void @test_imax_sgt_i64(i64 addrspace(1)* %out, i64 %a, i64 %b) nounwind {
|
120
|
303 %tmp = icmp sgt i64 %a, %b
|
|
304 %val = select i1 %tmp, i64 %a, i64 %b
|
|
305 store i64 %val, i64 addrspace(1)* %out, align 8
|
|
306 ret void
|
|
307 }
|
|
308
|
|
309 ; FUNC-LABEL: {{^}}test_imax_sge_i64
|
|
310 ; SI: s_endpgm
|
|
311
|
|
312 ; EG-DAG: MAX_UINT
|
|
313 ; EG-DAG: MAX_INT
|
121
|
314 define amdgpu_kernel void @test_imax_sge_i64(i64 addrspace(1)* %out, i64 %a, i64 %b) nounwind {
|
120
|
315 %tmp = icmp sge i64 %a, %b
|
|
316 %val = select i1 %tmp, i64 %a, i64 %b
|
|
317 store i64 %val, i64 addrspace(1)* %out, align 8
|
|
318 ret void
|
|
319 }
|