[ARM] More MVE compare vector splat combines for ANDs
[llvm-complete.git] / test / CodeGen / PowerPC / testComparesllequll.ll
bloba42b5e4c7b7b148ebe39bdbf10b9e6e38dd1cd77
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \
3 ; RUN:   -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s --check-prefix=CHECK-BE \
4 ; RUN:  --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
5 ; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \
6 ; RUN:   -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s --check-prefix=CHECK-LE \
7 ; RUN:  --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
9 @glob = common local_unnamed_addr global i64 0, align 8
11 ; Function Attrs: norecurse nounwind readnone
12 define i64 @test_llequll(i64 %a, i64 %b) {
13 ; CHECK-LABEL: test_llequll:
14 ; CHECK:       # %bb.0: # %entry
15 ; CHECK-NEXT:    xor r3, r3, r4
16 ; CHECK-NEXT:    cntlzd r3, r3
17 ; CHECK-NEXT:    rldicl r3, r3, 58, 63
18 ; CHECK-NEXT:    blr
19 ; CHECK-BE-LABEL: test_llequll:
20 ; CHECK-BE:       # %bb.0: # %entry
21 ; CHECK-BE-NEXT:    xor r3, r3, r4
22 ; CHECK-BE-NEXT:    cntlzd r3, r3
23 ; CHECK-BE-NEXT:    rldicl r3, r3, 58, 63
24 ; CHECK-BE-NEXT:    blr
26 ; CHECK-LE-LABEL: test_llequll:
27 ; CHECK-LE:       # %bb.0: # %entry
28 ; CHECK-LE-NEXT:    xor r3, r3, r4
29 ; CHECK-LE-NEXT:    cntlzd r3, r3
30 ; CHECK-LE-NEXT:    rldicl r3, r3, 58, 63
31 ; CHECK-LE-NEXT:    blr
32 entry:
33   %cmp = icmp eq i64 %a, %b
34   %conv1 = zext i1 %cmp to i64
35   ret i64 %conv1
38 ; Function Attrs: norecurse nounwind readnone
39 define i64 @test_llequll_sext(i64 %a, i64 %b) {
40 ; CHECK-LABEL: test_llequll_sext:
41 ; CHECK:       # %bb.0: # %entry
42 ; CHECK-NEXT:    xor r3, r3, r4
43 ; CHECK-NEXT:    addic r3, r3, -1
44 ; CHECK-NEXT:    subfe r3, r3, r3
45 ; CHECK-NEXT:    blr
46 ; CHECK-BE-LABEL: test_llequll_sext:
47 ; CHECK-BE:       # %bb.0: # %entry
48 ; CHECK-BE-NEXT:    xor r3, r3, r4
49 ; CHECK-BE-NEXT:    addic r3, r3, -1
50 ; CHECK-BE-NEXT:    subfe r3, r3, r3
51 ; CHECK-BE-NEXT:    blr
53 ; CHECK-LE-LABEL: test_llequll_sext:
54 ; CHECK-LE:       # %bb.0: # %entry
55 ; CHECK-LE-NEXT:    xor r3, r3, r4
56 ; CHECK-LE-NEXT:    addic r3, r3, -1
57 ; CHECK-LE-NEXT:    subfe r3, r3, r3
58 ; CHECK-LE-NEXT:    blr
59 entry:
60   %cmp = icmp eq i64 %a, %b
61   %conv1 = sext i1 %cmp to i64
62   ret i64 %conv1
65 ; Function Attrs: norecurse nounwind readnone
66 define i64 @test_llequll_z(i64 %a) {
67 ; CHECK-LABEL: test_llequll_z:
68 ; CHECK:       # %bb.0: # %entry
69 ; CHECK-NEXT:    cntlzd r3, r3
70 ; CHECK-NEXT:    rldicl r3, r3, 58, 63
71 ; CHECK-NEXT:    blr
72 ; CHECK-BE-LABEL: test_llequll_z:
73 ; CHECK-BE:       # %bb.0: # %entry
74 ; CHECK-BE-NEXT:    cntlzd r3, r3
75 ; CHECK-BE-NEXT:    rldicl r3, r3, 58, 63
76 ; CHECK-BE-NEXT:    blr
78 ; CHECK-LE-LABEL: test_llequll_z:
79 ; CHECK-LE:       # %bb.0: # %entry
80 ; CHECK-LE-NEXT:    cntlzd r3, r3
81 ; CHECK-LE-NEXT:    rldicl r3, r3, 58, 63
82 ; CHECK-LE-NEXT:    blr
83 entry:
84   %cmp = icmp eq i64 %a, 0
85   %conv1 = zext i1 %cmp to i64
86   ret i64 %conv1
89 ; Function Attrs: norecurse nounwind readnone
90 define i64 @test_llequll_sext_z(i64 %a) {
91 ; CHECK-LABEL: test_llequll_sext_z:
92 ; CHECK:       # %bb.0: # %entry
93 ; CHECK-NEXT:    addic r3, r3, -1
94 ; CHECK-NEXT:    subfe r3, r3, r3
95 ; CHECK-NEXT:    blr
96 ; CHECK-BE-LABEL: test_llequll_sext_z:
97 ; CHECK-BE:       # %bb.0: # %entry
98 ; CHECK-BE-NEXT:    addic r3, r3, -1
99 ; CHECK-BE-NEXT:    subfe r3, r3, r3
100 ; CHECK-BE-NEXT:    blr
102 ; CHECK-LE-LABEL: test_llequll_sext_z:
103 ; CHECK-LE:       # %bb.0: # %entry
104 ; CHECK-LE-NEXT:    addic r3, r3, -1
105 ; CHECK-LE-NEXT:    subfe r3, r3, r3
106 ; CHECK-LE-NEXT:    blr
107 entry:
108   %cmp = icmp eq i64 %a, 0
109   %conv1 = sext i1 %cmp to i64
110   ret i64 %conv1
113 ; Function Attrs: norecurse nounwind
114 define void @test_llequll_store(i64 %a, i64 %b) {
115 ; CHECK-LABEL: test_llequll_store:
116 ; CHECK:       # %bb.0: # %entry
117 ; CHECK-NEXT:    xor r3, r3, r4
118 ; CHECK-NEXT:    addis r5, r2, glob@toc@ha
119 ; CHECK-NEXT:    cntlzd r3, r3
120 ; CHECK-NEXT:    rldicl r3, r3, 58, 63
121 ; CHECK-NEXT:    std r3, glob@toc@l(r5)
122 ; CHECK-NEXT:    blr
123 ; CHECK-BE-LABEL: test_llequll_store:
124 ; CHECK-BE:       # %bb.0: # %entry
125 ; CHECK-BE-NEXT:    addis r5, r2, .LC0@toc@ha
126 ; CHECK-BE-NEXT:    xor r3, r3, r4
127 ; CHECK-BE-NEXT:    ld r4, .LC0@toc@l(r5)
128 ; CHECK-BE-NEXT:    cntlzd r3, r3
129 ; CHECK-BE-NEXT:    rldicl r3, r3, 58, 63
130 ; CHECK-BE-NEXT:    std r3, 0(r4)
131 ; CHECK-BE-NEXT:    blr
133 ; CHECK-LE-LABEL: test_llequll_store:
134 ; CHECK-LE:       # %bb.0: # %entry
135 ; CHECK-LE-NEXT:    xor r3, r3, r4
136 ; CHECK-LE-NEXT:    addis r5, r2, glob@toc@ha
137 ; CHECK-LE-NEXT:    cntlzd r3, r3
138 ; CHECK-LE-NEXT:    rldicl r3, r3, 58, 63
139 ; CHECK-LE-NEXT:    std r3, glob@toc@l(r5)
140 ; CHECK-LE-NEXT:    blr
141 entry:
142   %cmp = icmp eq i64 %a, %b
143   %conv1 = zext i1 %cmp to i64
144   store i64 %conv1, i64* @glob, align 8
145   ret void
148 ; Function Attrs: norecurse nounwind
149 define void @test_llequll_sext_store(i64 %a, i64 %b) {
150 ; CHECK-LABEL: test_llequll_sext_store:
151 ; CHECK:       # %bb.0: # %entry
152 ; CHECK-NEXT:    xor r3, r3, r4
153 ; CHECK-NEXT:    addis r5, r2, glob@toc@ha
154 ; CHECK-NEXT:    addic r3, r3, -1
155 ; CHECK-NEXT:    subfe r3, r3, r3
156 ; CHECK-NEXT:    std r3, glob@toc@l(r5)
157 ; CHECK-NEXT:    blr
158 ; CHECK-BE-LABEL: test_llequll_sext_store:
159 ; CHECK-BE:       # %bb.0: # %entry
160 ; CHECK-BE-NEXT:    addis r5, r2, .LC0@toc@ha
161 ; CHECK-BE-NEXT:    xor r3, r3, r4
162 ; CHECK-BE-NEXT:    ld r4, .LC0@toc@l(r5)
163 ; CHECK-BE-NEXT:    addic r3, r3, -1
164 ; CHECK-BE-NEXT:    subfe r3, r3, r3
165 ; CHECK-BE-NEXT:    std r3, 0(r4)
166 ; CHECK-BE-NEXT:    blr
168 ; CHECK-LE-LABEL: test_llequll_sext_store:
169 ; CHECK-LE:       # %bb.0: # %entry
170 ; CHECK-LE-NEXT:    xor r3, r3, r4
171 ; CHECK-LE-NEXT:    addis r5, r2, glob@toc@ha
172 ; CHECK-LE-NEXT:    addic r3, r3, -1
173 ; CHECK-LE-NEXT:    subfe r3, r3, r3
174 ; CHECK-LE-NEXT:    std r3, glob@toc@l(r5)
175 ; CHECK-LE-NEXT:    blr
176 entry:
177   %cmp = icmp eq i64 %a, %b
178   %conv1 = sext i1 %cmp to i64
179   store i64 %conv1, i64* @glob, align 8
180   ret void
183 ; Function Attrs: norecurse nounwind
184 define void @test_llequll_z_store(i64 %a) {
185 ; CHECK-LABEL: test_llequll_z_store:
186 ; CHECK:       # %bb.0: # %entry
187 ; CHECK-NEXT:    cntlzd r3, r3
188 ; CHECK-NEXT:    addis r4, r2, glob@toc@ha
189 ; CHECK-NEXT:    rldicl r3, r3, 58, 63
190 ; CHECK-NEXT:    std r3, glob@toc@l(r4)
191 ; CHECK-NEXT:    blr
192 ; CHECK-BE-LABEL: test_llequll_z_store:
193 ; CHECK-BE:       # %bb.0: # %entry
194 ; CHECK-BE-NEXT:    addis r4, r2, .LC0@toc@ha
195 ; CHECK-BE-NEXT:    cntlzd r3, r3
196 ; CHECK-BE-NEXT:    ld r4, .LC0@toc@l(r4)
197 ; CHECK-BE-NEXT:    rldicl r3, r3, 58, 63
198 ; CHECK-BE-NEXT:    std r3, 0(r4)
199 ; CHECK-BE-NEXT:    blr
201 ; CHECK-LE-LABEL: test_llequll_z_store:
202 ; CHECK-LE:       # %bb.0: # %entry
203 ; CHECK-LE-NEXT:    cntlzd r3, r3
204 ; CHECK-LE-NEXT:    addis r4, r2, glob@toc@ha
205 ; CHECK-LE-NEXT:    rldicl r3, r3, 58, 63
206 ; CHECK-LE-NEXT:    std r3, glob@toc@l(r4)
207 ; CHECK-LE-NEXT:    blr
208 entry:
209   %cmp = icmp eq i64 %a, 0
210   %conv1 = zext i1 %cmp to i64
211   store i64 %conv1, i64* @glob, align 8
212   ret void
215 ; Function Attrs: norecurse nounwind
216 define void @test_llequll_sext_z_store(i64 %a) {
217 ; CHECK-LABEL: test_llequll_sext_z_store:
218 ; CHECK:       # %bb.0: # %entry
219 ; CHECK-NEXT:    addic r3, r3, -1
220 ; CHECK-NEXT:    addis r4, r2, glob@toc@ha
221 ; CHECK-NEXT:    subfe r3, r3, r3
222 ; CHECK-NEXT:    std r3, glob@toc@l(r4)
223 ; CHECK-NEXT:    blr
224 ; CHECK-BE-LABEL: test_llequll_sext_z_store:
225 ; CHECK-BE:       # %bb.0: # %entry
226 ; CHECK-BE-NEXT:    addis r4, r2, .LC0@toc@ha
227 ; CHECK-BE-NEXT:    addic r3, r3, -1
228 ; CHECK-BE-NEXT:    ld r4, .LC0@toc@l(r4)
229 ; CHECK-BE-NEXT:    subfe r3, r3, r3
230 ; CHECK-BE-NEXT:    std r3, 0(r4)
231 ; CHECK-BE-NEXT:    blr
233 ; CHECK-LE-LABEL: test_llequll_sext_z_store:
234 ; CHECK-LE:       # %bb.0: # %entry
235 ; CHECK-LE-NEXT:    addic r3, r3, -1
236 ; CHECK-LE-NEXT:    addis r4, r2, glob@toc@ha
237 ; CHECK-LE-NEXT:    subfe r3, r3, r3
238 ; CHECK-LE-NEXT:    std r3, glob@toc@l(r4)
239 ; CHECK-LE-NEXT:    blr
240 entry:
241   %cmp = icmp eq i64 %a, 0
242   %conv1 = sext i1 %cmp to i64
243   store i64 %conv1, i64* @glob, align 8
244   ret void