1 ; RUN: llc -march=amdgcn -mcpu=SI -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
2 ; RUN: llc -march=r600 -mcpu=cypress -verify-machineinstrs < %s | FileCheck -check-prefix=EG -check-prefix=FUNC %s
4 ; FUNC-LABEL: {{^}}sext_bool_icmp_eq_0:
6 ; SI: v_cmp_ne_i32_e32 vcc,
7 ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, vcc
8 ; SI-NEXT:buffer_store_byte [[RESULT]]
11 ; EG: SETNE_INT * [[CMP:T[0-9]+]].[[CMPCHAN:[XYZW]]], KC0[2].Z, KC0[2].W
12 ; EG: AND_INT T{{[0-9]+.[XYZW]}}, PS, 1
13 define void @sext_bool_icmp_eq_0(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
14 %icmp0 = icmp eq i32 %a, %b
15 %ext = sext i1 %icmp0 to i32
16 %icmp1 = icmp eq i32 %ext, 0
17 store i1 %icmp1, i1 addrspace(1)* %out
21 ; FUNC-LABEL: {{^}}sext_bool_icmp_ne_0:
23 ; SI: v_cmp_ne_i32_e32 vcc,
24 ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, vcc
25 ; SI-NEXT: buffer_store_byte [[RESULT]]
28 ; EG: SETNE_INT * [[CMP:T[0-9]+]].[[CMPCHAN:[XYZW]]], KC0[2].Z, KC0[2].W
29 ; EG: AND_INT T{{[0-9]+.[XYZW]}}, PS, 1
30 define void @sext_bool_icmp_ne_0(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
31 %icmp0 = icmp ne i32 %a, %b
32 %ext = sext i1 %icmp0 to i32
33 %icmp1 = icmp ne i32 %ext, 0
34 store i1 %icmp1, i1 addrspace(1)* %out
38 ; This really folds away to false
39 ; FUNC-LABEL: {{^}}sext_bool_icmp_eq_1:
40 ; SI: v_cmp_eq_i32_e32 vcc,
41 ; SI-NEXT: v_cndmask_b32_e64 [[TMP:v[0-9]+]], 0, -1, vcc
42 ; SI-NEXT: v_cmp_eq_i32_e64 {{s\[[0-9]+:[0-9]+\]}}, [[TMP]], 1{{$}}
43 ; SI-NEXT: v_cndmask_b32_e64 [[TMP:v[0-9]+]], 0, 1,
44 ; SI-NEXT: buffer_store_byte [[TMP]]
46 define void @sext_bool_icmp_eq_1(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
47 %icmp0 = icmp eq i32 %a, %b
48 %ext = sext i1 %icmp0 to i32
49 %icmp1 = icmp eq i32 %ext, 1
50 store i1 %icmp1, i1 addrspace(1)* %out
54 ; This really folds away to true
55 ; FUNC-LABEL: {{^}}sext_bool_icmp_ne_1:
56 ; SI: v_cmp_ne_i32_e32 vcc,
57 ; SI-NEXT: v_cndmask_b32_e64 [[TMP:v[0-9]+]], 0, -1, vcc
58 ; SI-NEXT: v_cmp_ne_i32_e64 {{s\[[0-9]+:[0-9]+\]}}, [[TMP]], 1{{$}}
59 ; SI-NEXT: v_cndmask_b32_e64 [[TMP:v[0-9]+]], 0, 1,
60 ; SI-NEXT: buffer_store_byte [[TMP]]
62 define void @sext_bool_icmp_ne_1(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
63 %icmp0 = icmp ne i32 %a, %b
64 %ext = sext i1 %icmp0 to i32
65 %icmp1 = icmp ne i32 %ext, 1
66 store i1 %icmp1, i1 addrspace(1)* %out
70 ; FUNC-LABEL: {{^}}zext_bool_icmp_eq_0:
72 ; SI: v_cmp_ne_i32_e32 vcc,
73 ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, vcc
74 ; SI-NEXT: buffer_store_byte [[RESULT]]
76 define void @zext_bool_icmp_eq_0(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
77 %icmp0 = icmp eq i32 %a, %b
78 %ext = zext i1 %icmp0 to i32
79 %icmp1 = icmp eq i32 %ext, 0
80 store i1 %icmp1, i1 addrspace(1)* %out
84 ; FUNC-LABEL: {{^}}zext_bool_icmp_ne_0:
86 ; SI: v_cmp_ne_i32_e32 vcc,
87 ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, vcc
88 ; SI-NEXT: buffer_store_byte [[RESULT]]
90 define void @zext_bool_icmp_ne_0(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
91 %icmp0 = icmp ne i32 %a, %b
92 %ext = zext i1 %icmp0 to i32
93 %icmp1 = icmp ne i32 %ext, 0
94 store i1 %icmp1, i1 addrspace(1)* %out
98 ; FUNC-LABEL: {{^}}zext_bool_icmp_eq_1:
100 ; SI: v_cmp_eq_i32_e32 vcc,
101 ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, vcc
102 ; SI-NEXT: buffer_store_byte [[RESULT]]
104 define void @zext_bool_icmp_eq_1(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
105 %icmp0 = icmp eq i32 %a, %b
106 %ext = zext i1 %icmp0 to i32
107 %icmp1 = icmp eq i32 %ext, 1
108 store i1 %icmp1, i1 addrspace(1)* %out
112 ; FUNC-LABEL: {{^}}zext_bool_icmp_ne_1:
114 ; SI: v_cmp_eq_i32_e32 vcc,
115 ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, vcc
116 ; SI-NEXT: buffer_store_byte [[RESULT]]
117 define void @zext_bool_icmp_ne_1(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
118 %icmp0 = icmp ne i32 %a, %b
119 %ext = zext i1 %icmp0 to i32
120 %icmp1 = icmp ne i32 %ext, 1
121 store i1 %icmp1, i1 addrspace(1)* %out
125 ; FUNC-LABEL: {{^}}sext_bool_icmp_ne_k:
126 ; SI-DAG: s_load_dword [[A:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xb
127 ; SI-DAG: s_load_dword [[B:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xc
128 ; SI: v_mov_b32_e32 [[VB:v[0-9]+]], [[B]]
129 ; SI: v_cmp_ne_i32_e64 [[CMP:s\[[0-9]+:[0-9]+\]]], [[VB]], 2{{$}}
130 ; SI: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, [[CMP]]
131 ; SI: buffer_store_byte
133 define void @sext_bool_icmp_ne_k(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
134 %icmp0 = icmp ne i32 %a, %b
135 %ext = sext i1 %icmp0 to i32
136 %icmp1 = icmp ne i32 %ext, 2
137 store i1 %icmp1, i1 addrspace(1)* %out
141 ; FUNC-LABEL: {{^}}cmp_zext_k_i8max:
142 ; SI: buffer_load_ubyte [[B:v[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0 offset:44
143 ; SI: v_mov_b32_e32 [[K255:v[0-9]+]], 0xff{{$}}
144 ; SI: v_cmp_ne_i32_e32 vcc, [[B]], [[K255]]
145 ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, vcc
146 ; SI-NEXT: buffer_store_byte [[RESULT]]
148 define void @cmp_zext_k_i8max(i1 addrspace(1)* %out, i8 %b) nounwind {
149 %b.ext = zext i8 %b to i32
150 %icmp0 = icmp ne i32 %b.ext, 255
151 store i1 %icmp0, i1 addrspace(1)* %out
155 ; FUNC-LABEL: {{^}}cmp_sext_k_neg1:
156 ; SI: buffer_load_sbyte [[B:v[0-9]+]]
157 ; SI: v_cmp_ne_i32_e64 [[CMP:s\[[0-9]+:[0-9]+\]]], [[B]], -1{{$}}
158 ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, [[CMP]]
159 ; SI-NEXT: buffer_store_byte [[RESULT]]
161 define void @cmp_sext_k_neg1(i1 addrspace(1)* %out, i8 addrspace(1)* %b.ptr) nounwind {
162 %b = load i8 addrspace(1)* %b.ptr
163 %b.ext = sext i8 %b to i32
164 %icmp0 = icmp ne i32 %b.ext, -1
165 store i1 %icmp0, i1 addrspace(1)* %out
169 ; FUNC-LABEL: {{^}}cmp_sext_k_neg1_i8_sext_arg:
170 ; SI: s_load_dword [[B:s[0-9]+]]
171 ; SI: v_cmp_ne_i32_e64 [[CMP:s\[[0-9]+:[0-9]+\]]], [[B]], -1{{$}}
172 ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, [[CMP]]
173 ; SI-NEXT: buffer_store_byte [[RESULT]]
175 define void @cmp_sext_k_neg1_i8_sext_arg(i1 addrspace(1)* %out, i8 signext %b) nounwind {
176 %b.ext = sext i8 %b to i32
177 %icmp0 = icmp ne i32 %b.ext, -1
178 store i1 %icmp0, i1 addrspace(1)* %out
182 ; FIXME: This ends up doing a buffer_load_ubyte, and and compare to
183 ; 255. Seems to be because of ordering problems when not allowing load widths to be reduced.
184 ; Should do a buffer_load_sbyte and compare with -1
186 ; FUNC-LABEL: {{^}}cmp_sext_k_neg1_i8_arg:
187 ; SI-DAG: buffer_load_ubyte [[B:v[0-9]+]]
188 ; SI-DAG: v_mov_b32_e32 [[K:v[0-9]+]], 0xff{{$}}
189 ; SI: v_cmp_ne_i32_e32 vcc, [[B]], [[K]]{{$}}
190 ; SI-NEXT: v_cndmask_b32_e64 [[RESULT:v[0-9]+]], 0, 1, vcc
191 ; SI-NEXT: buffer_store_byte [[RESULT]]
193 define void @cmp_sext_k_neg1_i8_arg(i1 addrspace(1)* %out, i8 %b) nounwind {
194 %b.ext = sext i8 %b to i32
195 %icmp0 = icmp ne i32 %b.ext, -1
196 store i1 %icmp0, i1 addrspace(1)* %out
200 ; FUNC-LABEL: {{^}}cmp_zext_k_neg1:
201 ; SI: v_mov_b32_e32 [[RESULT:v[0-9]+]], 1{{$}}
202 ; SI-NEXT: buffer_store_byte [[RESULT]]
204 define void @cmp_zext_k_neg1(i1 addrspace(1)* %out, i8 %b) nounwind {
205 %b.ext = zext i8 %b to i32
206 %icmp0 = icmp ne i32 %b.ext, -1
207 store i1 %icmp0, i1 addrspace(1)* %out
211 ; FUNC-LABEL: {{^}}zext_bool_icmp_ne_k:
212 ; SI: v_mov_b32_e32 [[RESULT:v[0-9]+]], 1{{$}}
213 ; SI-NEXT: buffer_store_byte [[RESULT]]
215 define void @zext_bool_icmp_ne_k(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
216 %icmp0 = icmp ne i32 %a, %b
217 %ext = zext i1 %icmp0 to i32
218 %icmp1 = icmp ne i32 %ext, 2
219 store i1 %icmp1, i1 addrspace(1)* %out
223 ; FUNC-LABEL: {{^}}zext_bool_icmp_eq_k:
224 ; SI: v_mov_b32_e32 [[RESULT:v[0-9]+]], 0{{$}}
225 ; SI-NEXT: buffer_store_byte [[RESULT]]
227 define void @zext_bool_icmp_eq_k(i1 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
228 %icmp0 = icmp ne i32 %a, %b
229 %ext = zext i1 %icmp0 to i32
230 %icmp1 = icmp eq i32 %ext, 2
231 store i1 %icmp1, i1 addrspace(1)* %out