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 \
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 \
7; RUN:  --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
8
9@glob = common local_unnamed_addr global i32 0, align 4
10
11define signext i32 @test_inesi(i32 signext %a, i32 signext %b) {
12; CHECK-LABEL: test_inesi:
13; CHECK:       # %bb.0: # %entry
14; CHECK-NEXT:    xor r3, r3, r4
15; CHECK-NEXT:    cntlzw r3, r3
16; CHECK-NEXT:    srwi r3, r3, 5
17; CHECK-NEXT:    xori r3, r3, 1
18; CHECK-NEXT:    blr
19entry:
20  %cmp = icmp ne i32 %a, %b
21  %conv = zext i1 %cmp to i32
22  ret i32 %conv
23}
24
25define signext i32 @test_inesi_sext(i32 signext %a, i32 signext %b) {
26; CHECK-LABEL: test_inesi_sext:
27; CHECK:       # %bb.0: # %entry
28; CHECK-NEXT:    xor r3, r3, r4
29; CHECK-NEXT:    cntlzw r3, r3
30; CHECK-NEXT:    srwi r3, r3, 5
31; CHECK-NEXT:    xori r3, r3, 1
32; CHECK-NEXT:    neg r3, r3
33; CHECK-NEXT:    blr
34entry:
35  %cmp = icmp ne i32 %a, %b
36  %sub = sext i1 %cmp to i32
37  ret i32 %sub
38}
39
40define signext i32 @test_inesi_z(i32 signext %a) {
41; CHECK-LABEL: test_inesi_z:
42; CHECK:       # %bb.0: # %entry
43; CHECK-NEXT:    cntlzw r3, r3
44; CHECK-NEXT:    srwi r3, r3, 5
45; CHECK-NEXT:    xori r3, r3, 1
46; CHECK-NEXT:    blr
47entry:
48  %cmp = icmp ne i32 %a, 0
49  %conv = zext i1 %cmp to i32
50  ret i32 %conv
51}
52
53define signext i32 @test_inesi_sext_z(i32 signext %a) {
54; CHECK-LABEL: test_inesi_sext_z:
55; CHECK:       # %bb.0: # %entry
56; CHECK-NEXT:    cntlzw r3, r3
57; CHECK-NEXT:    srwi r3, r3, 5
58; CHECK-NEXT:    xori r3, r3, 1
59; CHECK-NEXT:    neg r3, r3
60; CHECK-NEXT:    blr
61entry:
62  %cmp = icmp ne i32 %a, 0
63  %sub = sext i1 %cmp to i32
64  ret i32 %sub
65}
66
67define void @test_inesi_store(i32 signext %a, i32 signext %b) {
68; CHECK-LABEL: test_inesi_store:
69; CHECK:       # %bb.0: # %entry
70; CHECK-NEXT:    xor r3, r3, r4
71; CHECK-NEXT:    addis r5, r2, glob@toc@ha
72; CHECK-NEXT:    cntlzw r3, r3
73; CHECK-NEXT:    srwi r3, r3, 5
74; CHECK-NEXT:    xori r3, r3, 1
75; CHECK-NEXT:    stw r3, glob@toc@l(r5)
76; CHECK-NEXT:    blr
77entry:
78  %cmp = icmp ne i32 %a, %b
79  %conv = zext i1 %cmp to i32
80  store i32 %conv, i32* @glob, align 4
81  ret void
82}
83
84define void @test_inesi_sext_store(i32 signext %a, i32 signext %b) {
85; CHECK-LABEL: test_inesi_sext_store:
86; CHECK:       # %bb.0: # %entry
87; CHECK-NEXT:    xor r3, r3, r4
88; CHECK-NEXT:    addis r5, r2, glob@toc@ha
89; CHECK-NEXT:    cntlzw r3, r3
90; CHECK-NEXT:    srwi r3, r3, 5
91; CHECK-NEXT:    xori r3, r3, 1
92; CHECK-NEXT:    neg r3, r3
93; CHECK-NEXT:    stw r3, glob@toc@l(r5)
94; CHECK-NEXT:    blr
95entry:
96  %cmp = icmp ne i32 %a, %b
97  %sub = sext i1 %cmp to i32
98  store i32 %sub, i32* @glob, align 4
99  ret void
100}
101
102define void @test_inesi_z_store(i32 signext %a) {
103; CHECK-LABEL: test_inesi_z_store:
104; CHECK:       # %bb.0: # %entry
105; CHECK-NEXT:    cntlzw r3, r3
106; CHECK-NEXT:    addis r4, r2, glob@toc@ha
107; CHECK-NEXT:    srwi r3, r3, 5
108; CHECK-NEXT:    xori r3, r3, 1
109; CHECK-NEXT:    stw r3, glob@toc@l(r4)
110; CHECK-NEXT:    blr
111entry:
112  %cmp = icmp ne i32 %a, 0
113  %conv = zext i1 %cmp to i32
114  store i32 %conv, i32* @glob, align 4
115  ret void
116}
117
118define void @test_inesi_sext_z_store(i32 signext %a) {
119; CHECK-LABEL: test_inesi_sext_z_store:
120; CHECK:       # %bb.0: # %entry
121; CHECK-NEXT:    cntlzw r3, r3
122; CHECK-NEXT:    addis r4, r2, glob@toc@ha
123; CHECK-NEXT:    srwi r3, r3, 5
124; CHECK-NEXT:    xori r3, r3, 1
125; CHECK-NEXT:    neg r3, r3
126; CHECK-NEXT:    stw r3, glob@toc@l(r4)
127; CHECK-NEXT:    blr
128entry:
129  %cmp = icmp ne i32 %a, 0
130  %sub = sext i1 %cmp to i32
131  store i32 %sub, i32* @glob, align 4
132  ret void
133}
134