blob: 01136f13a4ee24782c99e474b01c2cbe4773688e [file] [log] [blame]
Nemanja Ivanovicaccab032017-05-31 08:04:07 +00001; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \
Nemanja Ivanovicdb7e7702017-11-30 13:39:10 +00003; RUN: -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
Nemanja Ivanovicaccab032017-05-31 08:04:07 +00004; RUN: --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
5; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \
Nemanja Ivanovicdb7e7702017-11-30 13:39:10 +00006; RUN: -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
Nemanja Ivanovicaccab032017-05-31 08:04:07 +00007; RUN: --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
8
9@glob = common local_unnamed_addr global i64 0, align 8
10
11; Function Attrs: norecurse nounwind readnone
12define i64 @test_llequll(i64 %a, i64 %b) {
13; CHECK-LABEL: test_llequll:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000014; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +000015; CHECK-NEXT: xor r3, r3, r4
16; CHECK-NEXT: cntlzd r3, r3
17; CHECK-NEXT: rldicl r3, r3, 58, 63
18; CHECK-NEXT: blr
19entry:
20 %cmp = icmp eq i64 %a, %b
21 %conv1 = zext i1 %cmp to i64
22 ret i64 %conv1
23}
24
25; Function Attrs: norecurse nounwind readnone
26define i64 @test_llequll_sext(i64 %a, i64 %b) {
27; CHECK-LABEL: test_llequll_sext:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000028; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +000029; CHECK-NEXT: xor r3, r3, r4
30; CHECK-NEXT: addic r3, r3, -1
31; CHECK-NEXT: subfe r3, r3, r3
32; CHECK-NEXT: blr
33entry:
34 %cmp = icmp eq i64 %a, %b
35 %conv1 = sext i1 %cmp to i64
36 ret i64 %conv1
37}
38
39; Function Attrs: norecurse nounwind readnone
40define i64 @test_llequll_z(i64 %a) {
41; CHECK-LABEL: test_llequll_z:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000042; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +000043; CHECK-NEXT: cntlzd r3, r3
44; CHECK-NEXT: rldicl r3, r3, 58, 63
45; CHECK-NEXT: blr
46entry:
47 %cmp = icmp eq i64 %a, 0
48 %conv1 = zext i1 %cmp to i64
49 ret i64 %conv1
50}
51
52; Function Attrs: norecurse nounwind readnone
53define i64 @test_llequll_sext_z(i64 %a) {
54; CHECK-LABEL: test_llequll_sext_z:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000055; CHECK: # %bb.0: # %entry
Nemanja Ivanovicaccab032017-05-31 08:04:07 +000056; CHECK-NEXT: addic r3, r3, -1
57; CHECK-NEXT: subfe r3, r3, r3
58; CHECK-NEXT: blr
59entry:
60 %cmp = icmp eq i64 %a, 0
61 %conv1 = sext i1 %cmp to i64
62 ret i64 %conv1
63}
64
65; Function Attrs: norecurse nounwind
66define void @test_llequll_store(i64 %a, i64 %b) {
67; CHECK-LABEL: test_llequll_store:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000068; CHECK: # %bb.0: # %entry
Stefan Pintilie90044442018-11-16 19:24:23 +000069; CHECK-NEXT: addis r5, r2, .LC0@toc@ha
Nemanja Ivanovicaccab032017-05-31 08:04:07 +000070; CHECK-NEXT: xor r3, r3, r4
Stefan Pintilie90044442018-11-16 19:24:23 +000071; CHECK-NEXT: ld r4, .LC0@toc@l(r5)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +000072; CHECK-NEXT: cntlzd r3, r3
73; CHECK-NEXT: rldicl r3, r3, 58, 63
Stefan Pintilie90044442018-11-16 19:24:23 +000074; CHECK-NEXT: std r3, 0(r4)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +000075; CHECK-NEXT: blr
76entry:
77 %cmp = icmp eq i64 %a, %b
78 %conv1 = zext i1 %cmp to i64
79 store i64 %conv1, i64* @glob, align 8
80 ret void
81}
82
83; Function Attrs: norecurse nounwind
84define void @test_llequll_sext_store(i64 %a, i64 %b) {
85; CHECK-LABEL: test_llequll_sext_store:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000086; CHECK: # %bb.0: # %entry
Stefan Pintilie90044442018-11-16 19:24:23 +000087; CHECK-NEXT: addis r5, r2, .LC0@toc@ha
Nemanja Ivanovicaccab032017-05-31 08:04:07 +000088; CHECK-NEXT: xor r3, r3, r4
Stefan Pintilie90044442018-11-16 19:24:23 +000089; CHECK-NEXT: ld r4, .LC0@toc@l(r5)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +000090; CHECK-NEXT: addic r3, r3, -1
91; CHECK-NEXT: subfe r3, r3, r3
Stefan Pintilie90044442018-11-16 19:24:23 +000092; CHECK-NEXT: std r3, 0(r4)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +000093; CHECK-NEXT: blr
94entry:
95 %cmp = icmp eq i64 %a, %b
96 %conv1 = sext i1 %cmp to i64
97 store i64 %conv1, i64* @glob, align 8
98 ret void
99}
100
101; Function Attrs: norecurse nounwind
102define void @test_llequll_z_store(i64 %a) {
103; CHECK-LABEL: test_llequll_z_store:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +0000104; CHECK: # %bb.0: # %entry
Stefan Pintilie90044442018-11-16 19:24:23 +0000105; CHECK-NEXT: addis r4, r2, .LC0@toc@ha
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000106; CHECK-NEXT: cntlzd r3, r3
Stefan Pintilie90044442018-11-16 19:24:23 +0000107; CHECK-NEXT: ld r4, .LC0@toc@l(r4)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000108; CHECK-NEXT: rldicl r3, r3, 58, 63
Stefan Pintilie90044442018-11-16 19:24:23 +0000109; CHECK-NEXT: std r3, 0(r4)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000110; CHECK-NEXT: blr
111entry:
112 %cmp = icmp eq i64 %a, 0
113 %conv1 = zext i1 %cmp to i64
114 store i64 %conv1, i64* @glob, align 8
115 ret void
116}
117
118; Function Attrs: norecurse nounwind
119define void @test_llequll_sext_z_store(i64 %a) {
120; CHECK-LABEL: test_llequll_sext_z_store:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +0000121; CHECK: # %bb.0: # %entry
Stefan Pintilie90044442018-11-16 19:24:23 +0000122; CHECK-NEXT: addis r4, r2, .LC0@toc@ha
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000123; CHECK-NEXT: addic r3, r3, -1
Stefan Pintilie90044442018-11-16 19:24:23 +0000124; CHECK-NEXT: ld r4, .LC0@toc@l(r4)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000125; CHECK-NEXT: subfe r3, r3, r3
Stefan Pintilie90044442018-11-16 19:24:23 +0000126; CHECK-NEXT: std r3, 0(r4)
Nemanja Ivanovicaccab032017-05-31 08:04:07 +0000127; CHECK-NEXT: blr
128entry:
129 %cmp = icmp eq i64 %a, 0
130 %conv1 = sext i1 %cmp to i64
131 store i64 %conv1, i64* @glob, align 8
132 ret void
133}