1; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \
2; RUN:   -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
3; RUN:  --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
4; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \
5; RUN:   -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
6; RUN:  --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
7
8@glob = common local_unnamed_addr global i16 0, align 2
9
10; Function Attrs: norecurse nounwind readnone
11define signext i32 @test_igeus(i16 zeroext %a, i16 zeroext %b) {
12entry:
13  %cmp = icmp uge i16 %a, %b
14  %conv2 = zext i1 %cmp to i32
15  ret i32 %conv2
16; CHECK-LABEL: test_igeus:
17; CHECK: sub [[REG1:r[0-9]+]], r3, r4
18; CHECK-NEXT: rldicl [[REG2:r[0-9]+]], [[REG2]], 1, 63
19; CHECK-NEXT: xori r3, [[REG2]], 1
20; CHECK: blr
21}
22
23; Function Attrs: norecurse nounwind readnone
24define signext i32 @test_igeus_sext(i16 zeroext %a, i16 zeroext %b) {
25entry:
26  %cmp = icmp uge i16 %a, %b
27  %sub = sext i1 %cmp to i32
28  ret i32 %sub
29; CHECK-LABEL: @test_igeus_sext
30; CHECK: sub [[REG1:r[0-9]+]], r3, r4
31; CHECK-NEXT: rldicl [[REG2:r[0-9]+]], [[REG1]], 1, 63
32; CHECK-NEXT: addi [[REG3:r[0-9]+]], [[REG2]], -1
33; CHECK-NEXT: blr
34}
35
36; Function Attrs: norecurse nounwind readnone
37define signext i32 @test_igeus_z(i16 zeroext %a) {
38entry:
39  %cmp = icmp uge i16 %a, 0
40  %conv2 = zext i1 %cmp to i32
41  ret i32 %conv2
42; CHECK-LABEL: @test_igeus_z
43; CHECK: li r3, 1
44; CHECK-NEXT: blr
45}
46
47; Function Attrs: norecurse nounwind readnone
48define signext i32 @test_igeus_sext_z(i16 zeroext %a) {
49entry:
50  %cmp = icmp uge i16 %a, 0
51  %conv2 = zext i1 %cmp to i32
52  ret i32 %conv2
53; CHECK-LABEL: @test_igeus_sext_z
54; CHECK: li r3, 1
55; CHECK-NEXT: blr
56}
57
58; Function Attrs: norecurse nounwind
59define void @test_igeus_store(i16 zeroext %a, i16 zeroext %b) {
60entry:
61  %cmp = icmp uge i16 %a, %b
62  %conv3 = zext i1 %cmp to i16
63  store i16 %conv3, i16* @glob
64  ret void
65; CHECK_LABEL: test_igeus_store:
66; CHECK: sub [[REG1:r[0-9]+]], r3, r4
67; CHECK: rldicl [[REG2:r[0-9]+]], [[REG2]], 1, 63
68; CHECK: xori {{r[0-9]+}}, [[REG2]], 1
69; CHECK: blr
70}
71
72; Function Attrs: norecurse nounwind
73define void @test_igeus_sext_store(i16 zeroext %a, i16 zeroext %b) {
74entry:
75  %cmp = icmp uge i16 %a, %b
76  %conv3 = sext i1 %cmp to i16
77  store i16 %conv3, i16* @glob
78  ret void
79; CHECK-LABEL: @test_igeus_sext_store
80; CHECK: sub [[REG1:r[0-9]+]], r3, r4
81; CHECK: rldicl [[REG2:r[0-9]+]], [[REG1]], 1, 63
82; CHECK: addi [[REG3:r[0-9]+]], [[REG2]], -1
83; CHECK: sth  [[REG3]]
84; CHECK: blr
85}
86
87; Function Attrs: norecurse nounwind
88define void @test_igeus_z_store(i16 zeroext %a) {
89entry:
90  %cmp = icmp uge i16 %a, 0
91  %conv3 = zext i1 %cmp to i16
92  store i16 %conv3, i16* @glob
93  ret void
94; CHECK-LABEL: @test_igeus_z_store
95; CHECK: li [[REG1:r[0-9]+]], 1
96; CHECK: sth [[REG1]]
97; CHECK: blr
98}
99
100; Function Attrs: norecurse nounwind
101define void @test_igeus_sext_z_store(i16 zeroext %a) {
102entry:
103  %cmp = icmp uge i16 %a, 0
104  %conv3 = sext i1 %cmp to i16
105  store i16 %conv3, i16* @glob
106  ret void
107; CHECK-LABEL: @test_igeus_sext_z_store
108; CHECK: li [[REG1:r[0-9]+]], -1
109; CHECK: sth [[REG1]]
110; CHECK: blr
111}
112
113