Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 81fe1fbf4abd00b24e078a80cb15a2d2c1343f11 / . / llvm / test / CodeGen / PowerPC / testComparesieqsll.ll
blob: f5627ff766dcc7cef03f27db3351a1354128ff3a [file] [log] [blame]
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]3; RUN: -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s --check-prefix=CHECK-BE \
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]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 \
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]6; RUN: -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s --check-prefix=CHECK-LE \
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]7; RUN: --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
8; ModuleID = 'ComparisonTestCases/testComparesieqsll.c'
9
10@glob = common local_unnamed_addr global i64 0, align 8
11
12; Function Attrs: norecurse nounwind readnone
13define signext i32 @test_ieqsll(i64 %a, i64 %b) {
14; CHECK-LABEL: test_ieqsll:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +0000[diff] [blame]15; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]16; CHECK-NEXT: xor r3, r3, r4
17; CHECK-NEXT: cntlzd r3, r3
18; CHECK-NEXT: rldicl r3, r3, 58, 63
19; CHECK-NEXT: blr
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]20; CHECK-BE-LABEL: test_ieqsll:
21; CHECK-BE: # %bb.0: # %entry
22; CHECK-BE-NEXT: xor r3, r3, r4
23; CHECK-BE-NEXT: cntlzd r3, r3
24; CHECK-BE-NEXT: rldicl r3, r3, 58, 63
25; CHECK-BE-NEXT: blr
26;
27; CHECK-LE-LABEL: test_ieqsll:
28; CHECK-LE: # %bb.0: # %entry
29; CHECK-LE-NEXT: xor r3, r3, r4
30; CHECK-LE-NEXT: cntlzd r3, r3
31; CHECK-LE-NEXT: rldicl r3, r3, 58, 63
32; CHECK-LE-NEXT: blr
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]33entry:
34 %cmp = icmp eq i64 %a, %b
35 %conv = zext i1 %cmp to i32
36 ret i32 %conv
37}
38
39; Function Attrs: norecurse nounwind readnone
40define signext i32 @test_ieqsll_sext(i64 %a, i64 %b) {
41; CHECK-LABEL: test_ieqsll_sext:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +0000[diff] [blame]42; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]43; CHECK-NEXT: xor r3, r3, r4
44; CHECK-NEXT: addic r3, r3, -1
45; CHECK-NEXT: subfe r3, r3, r3
46; CHECK-NEXT: blr
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]47; CHECK-BE-LABEL: test_ieqsll_sext:
48; CHECK-BE: # %bb.0: # %entry
49; CHECK-BE-NEXT: xor r3, r3, r4
50; CHECK-BE-NEXT: addic r3, r3, -1
51; CHECK-BE-NEXT: subfe r3, r3, r3
52; CHECK-BE-NEXT: blr
53;
54; CHECK-LE-LABEL: test_ieqsll_sext:
55; CHECK-LE: # %bb.0: # %entry
56; CHECK-LE-NEXT: xor r3, r3, r4
57; CHECK-LE-NEXT: addic r3, r3, -1
58; CHECK-LE-NEXT: subfe r3, r3, r3
59; CHECK-LE-NEXT: blr
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]60entry:
61 %cmp = icmp eq i64 %a, %b
62 %sub = sext i1 %cmp to i32
63 ret i32 %sub
64}
65
66; Function Attrs: norecurse nounwind readnone
67define signext i32 @test_ieqsll_z(i64 %a) {
68; CHECK-LABEL: test_ieqsll_z:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +0000[diff] [blame]69; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]70; CHECK-NEXT: cntlzd r3, r3
71; CHECK-NEXT: rldicl r3, r3, 58, 63
72; CHECK-NEXT: blr
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]73; CHECK-BE-LABEL: test_ieqsll_z:
74; CHECK-BE: # %bb.0: # %entry
75; CHECK-BE-NEXT: cntlzd r3, r3
76; CHECK-BE-NEXT: rldicl r3, r3, 58, 63
77; CHECK-BE-NEXT: blr
78;
79; CHECK-LE-LABEL: test_ieqsll_z:
80; CHECK-LE: # %bb.0: # %entry
81; CHECK-LE-NEXT: cntlzd r3, r3
82; CHECK-LE-NEXT: rldicl r3, r3, 58, 63
83; CHECK-LE-NEXT: blr
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]84entry:
85 %cmp = icmp eq i64 %a, 0
86 %conv = zext i1 %cmp to i32
87 ret i32 %conv
88}
89
90; Function Attrs: norecurse nounwind readnone
91define signext i32 @test_ieqsll_sext_z(i64 %a) {
92; CHECK-LABEL: test_ieqsll_sext_z:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +0000[diff] [blame]93; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]94; CHECK-NEXT: addic r3, r3, -1
95; CHECK-NEXT: subfe r3, r3, r3
96; CHECK-NEXT: blr
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]97; CHECK-BE-LABEL: test_ieqsll_sext_z:
98; CHECK-BE: # %bb.0: # %entry
99; CHECK-BE-NEXT: addic r3, r3, -1
100; CHECK-BE-NEXT: subfe r3, r3, r3
101; CHECK-BE-NEXT: blr
102;
103; CHECK-LE-LABEL: test_ieqsll_sext_z:
104; CHECK-LE: # %bb.0: # %entry
105; CHECK-LE-NEXT: addic r3, r3, -1
106; CHECK-LE-NEXT: subfe r3, r3, r3
107; CHECK-LE-NEXT: blr
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]108entry:
109 %cmp = icmp eq i64 %a, 0
110 %sub = sext i1 %cmp to i32
111 ret i32 %sub
112}
113
114; Function Attrs: norecurse nounwind
115define void @test_ieqsll_store(i64 %a, i64 %b) {
116; CHECK-LABEL: test_ieqsll_store:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +0000[diff] [blame]117; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]118; CHECK-NEXT: xor r3, r3, r4
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]119; CHECK-NEXT: addis r5, r2, glob@toc@ha
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]120; CHECK-NEXT: cntlzd r3, r3
121; CHECK-NEXT: rldicl r3, r3, 58, 63
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]122; CHECK-NEXT: std r3, glob@toc@l(r5)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]123; CHECK-NEXT: blr
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]124; CHECK-BE-LABEL: test_ieqsll_store:
125; CHECK-BE: # %bb.0: # %entry
126; CHECK-BE-NEXT: addis r5, r2, .LC0@toc@ha
127; CHECK-BE-NEXT: xor r3, r3, r4
128; CHECK-BE-NEXT: ld r4, .LC0@toc@l(r5)
129; CHECK-BE-NEXT: cntlzd r3, r3
130; CHECK-BE-NEXT: rldicl r3, r3, 58, 63
131; CHECK-BE-NEXT: std r3, 0(r4)
132; CHECK-BE-NEXT: blr
133;
134; CHECK-LE-LABEL: test_ieqsll_store:
135; CHECK-LE: # %bb.0: # %entry
136; CHECK-LE-NEXT: xor r3, r3, r4
137; CHECK-LE-NEXT: addis r5, r2, glob@toc@ha
138; CHECK-LE-NEXT: cntlzd r3, r3
139; CHECK-LE-NEXT: rldicl r3, r3, 58, 63
140; CHECK-LE-NEXT: std r3, glob@toc@l(r5)
141; CHECK-LE-NEXT: blr
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]142entry:
143 %cmp = icmp eq i64 %a, %b
144 %conv1 = zext i1 %cmp to i64
145 store i64 %conv1, i64* @glob, align 8
146 ret void
147}
148
149; Function Attrs: norecurse nounwind
150define void @test_ieqsll_sext_store(i64 %a, i64 %b) {
151; CHECK-LABEL: test_ieqsll_sext_store:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +0000[diff] [blame]152; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]153; CHECK-NEXT: xor r3, r3, r4
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]154; CHECK-NEXT: addis r5, r2, glob@toc@ha
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]155; CHECK-NEXT: addic r3, r3, -1
156; CHECK-NEXT: subfe r3, r3, r3
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]157; CHECK-NEXT: std r3, glob@toc@l(r5)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]158; CHECK-NEXT: blr
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]159; CHECK-BE-LABEL: test_ieqsll_sext_store:
160; CHECK-BE: # %bb.0: # %entry
161; CHECK-BE-NEXT: addis r5, r2, .LC0@toc@ha
162; CHECK-BE-NEXT: xor r3, r3, r4
163; CHECK-BE-NEXT: ld r4, .LC0@toc@l(r5)
164; CHECK-BE-NEXT: addic r3, r3, -1
165; CHECK-BE-NEXT: subfe r3, r3, r3
166; CHECK-BE-NEXT: std r3, 0(r4)
167; CHECK-BE-NEXT: blr
168;
169; CHECK-LE-LABEL: test_ieqsll_sext_store:
170; CHECK-LE: # %bb.0: # %entry
171; CHECK-LE-NEXT: xor r3, r3, r4
172; CHECK-LE-NEXT: addis r5, r2, glob@toc@ha
173; CHECK-LE-NEXT: addic r3, r3, -1
174; CHECK-LE-NEXT: subfe r3, r3, r3
175; CHECK-LE-NEXT: std r3, glob@toc@l(r5)
176; CHECK-LE-NEXT: blr
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]177entry:
178 %cmp = icmp eq i64 %a, %b
179 %conv1 = sext i1 %cmp to i64
180 store i64 %conv1, i64* @glob, align 8
181 ret void
182}
183
184; Function Attrs: norecurse nounwind
185define void @test_ieqsll_z_store(i64 %a) {
186; CHECK-LABEL: test_ieqsll_z_store:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +0000[diff] [blame]187; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]188; CHECK-NEXT: cntlzd r3, r3
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]189; CHECK-NEXT: addis r4, r2, glob@toc@ha
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]190; CHECK-NEXT: rldicl r3, r3, 58, 63
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]191; CHECK-NEXT: std r3, glob@toc@l(r4)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]192; CHECK-NEXT: blr
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]193; CHECK-BE-LABEL: test_ieqsll_z_store:
194; CHECK-BE: # %bb.0: # %entry
195; CHECK-BE-NEXT: addis r4, r2, .LC0@toc@ha
196; CHECK-BE-NEXT: cntlzd r3, r3
197; CHECK-BE-NEXT: ld r4, .LC0@toc@l(r4)
198; CHECK-BE-NEXT: rldicl r3, r3, 58, 63
199; CHECK-BE-NEXT: std r3, 0(r4)
200; CHECK-BE-NEXT: blr
201;
202; CHECK-LE-LABEL: test_ieqsll_z_store:
203; CHECK-LE: # %bb.0: # %entry
204; CHECK-LE-NEXT: cntlzd r3, r3
205; CHECK-LE-NEXT: addis r4, r2, glob@toc@ha
206; CHECK-LE-NEXT: rldicl r3, r3, 58, 63
207; CHECK-LE-NEXT: std r3, glob@toc@l(r4)
208; CHECK-LE-NEXT: blr
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]209entry:
210 %cmp = icmp eq i64 %a, 0
211 %conv1 = zext i1 %cmp to i64
212 store i64 %conv1, i64* @glob, align 8
213 ret void
214}
215
216; Function Attrs: norecurse nounwind
217define void @test_ieqsll_sext_z_store(i64 %a) {
218; CHECK-LABEL: test_ieqsll_sext_z_store:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +0000[diff] [blame]219; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]220; CHECK-NEXT: addic r3, r3, -1
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]221; CHECK-NEXT: addis r4, r2, glob@toc@ha
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]222; CHECK-NEXT: subfe r3, r3, r3
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]223; CHECK-NEXT: std r3, glob@toc@l(r4)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]224; CHECK-NEXT: blr
Stefan Pintilie46f840f2018-12-04 20:14:57 +0000[diff] [blame]225; CHECK-BE-LABEL: test_ieqsll_sext_z_store:
226; CHECK-BE: # %bb.0: # %entry
227; CHECK-BE-NEXT: addis r4, r2, .LC0@toc@ha
228; CHECK-BE-NEXT: addic r3, r3, -1
229; CHECK-BE-NEXT: ld r4, .LC0@toc@l(r4)
230; CHECK-BE-NEXT: subfe r3, r3, r3
231; CHECK-BE-NEXT: std r3, 0(r4)
232; CHECK-BE-NEXT: blr
233;
234; CHECK-LE-LABEL: test_ieqsll_sext_z_store:
235; CHECK-LE: # %bb.0: # %entry
236; CHECK-LE-NEXT: addic r3, r3, -1
237; CHECK-LE-NEXT: addis r4, r2, glob@toc@ha
238; CHECK-LE-NEXT: subfe r3, r3, r3
239; CHECK-LE-NEXT: std r3, glob@toc@l(r4)
240; CHECK-LE-NEXT: blr
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000[diff] [blame]241entry:
242 %cmp = icmp eq i64 %a, 0
243 %conv1 = sext i1 %cmp to i64
244 store i64 %conv1, i64* @glob, align 8
245 ret void
246}