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:  --check-prefixes=CHECK,BE
6; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \
7; RUN:   -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
8; RUN:   --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl \
9; RUN:  --check-prefixes=CHECK,LE
10
11@glob = local_unnamed_addr global i16 0, align 2
12
13; Function Attrs: norecurse nounwind readnone
14define signext i32 @test_iltss(i16 signext %a, i16 signext %b) {
15; CHECK-LABEL: test_iltss:
16; CHECK:       # %bb.0: # %entry
17; CHECK-NEXT:    sub r3, r3, r4
18; CHECK-NEXT:    rldicl r3, r3, 1, 63
19; CHECK-NEXT:    blr
20entry:
21  %cmp = icmp slt i16 %a, %b
22  %conv2 = zext i1 %cmp to i32
23  ret i32 %conv2
24}
25
26; Function Attrs: norecurse nounwind readnone
27define signext i32 @test_iltss_sext(i16 signext %a, i16 signext %b) {
28; CHECK-LABEL: test_iltss_sext:
29; CHECK:       # %bb.0: # %entry
30; CHECK-NEXT:    sub r3, r3, r4
31; CHECK-NEXT:    sradi r3, r3, 63
32; CHECK-NEXT:    blr
33entry:
34  %cmp = icmp slt i16 %a, %b
35  %sub = sext i1 %cmp to i32
36  ret i32 %sub
37}
38
39; Function Attrs: norecurse nounwind readnone
40define signext i32 @test_iltss_sext_z(i16 signext %a) {
41; CHECK-LABEL: test_iltss_sext_z:
42; CHECK:       # %bb.0: # %entry
43; CHECK-NEXT:    srawi r3, r3, 31
44; CHECK-NEXT:    blr
45entry:
46  %cmp = icmp slt i16 %a, 0
47  %sub = sext i1 %cmp to i32
48  ret i32 %sub
49}
50
51; Function Attrs: norecurse nounwind
52define void @test_iltss_store(i16 signext %a, i16 signext %b) {
53; BE-LABEL: test_iltss_store:
54; BE:       # %bb.0: # %entry
55; BE-NEXT:    addis r5, r2, .LC0@toc@ha
56; BE-NEXT:    sub r3, r3, r4
57; BE-NEXT:    ld r5, .LC0@toc@l(r5)
58; BE-NEXT:    rldicl r3, r3, 1, 63
59; BE-NEXT:    sth r3, 0(r5)
60; BE-NEXT:    blr
61;
62; LE-LABEL: test_iltss_store:
63; LE:       # %bb.0: # %entry
64; LE-NEXT:    sub r3, r3, r4
65; LE-NEXT:    addis r5, r2, glob@toc@ha
66; LE-NEXT:    rldicl r3, r3, 1, 63
67; LE-NEXT:    sth r3, glob@toc@l(r5)
68; LE-NEXT:    blr
69entry:
70  %cmp = icmp slt i16 %a, %b
71  %conv3 = zext i1 %cmp to i16
72  store i16 %conv3, i16* @glob, align 2
73  ret void
74}
75
76; Function Attrs: norecurse nounwind
77define void @test_iltss_sext_store(i16 signext %a, i16 signext %b) {
78; BE-LABEL: test_iltss_sext_store:
79; BE:       # %bb.0: # %entry
80; BE-NEXT:    addis r5, r2, .LC0@toc@ha
81; BE-NEXT:    sub r3, r3, r4
82; BE-NEXT:    ld r5, .LC0@toc@l(r5)
83; BE-NEXT:    sradi r3, r3, 63
84; BE-NEXT:    sth r3, 0(r5)
85; BE-NEXT:    blr
86;
87; LE-LABEL: test_iltss_sext_store:
88; LE:       # %bb.0: # %entry
89; LE-NEXT:    sub r3, r3, r4
90; LE-NEXT:    addis r5, r2, glob@toc@ha
91; LE-NEXT:    sradi r3, r3, 63
92; LE-NEXT:    sth r3, glob@toc@l(r5)
93; LE-NEXT:    blr
94entry:
95  %cmp = icmp slt i16 %a, %b
96  %conv3 = sext i1 %cmp to i16
97  store i16 %conv3, i16* @glob, align 2
98  ret void
99}
100
101; Function Attrs: norecurse nounwind
102define void @test_iltss_sext_z_store(i16 signext %a) {
103; BE-LABEL: test_iltss_sext_z_store:
104; BE:       # %bb.0: # %entry
105; BE-NEXT:    addis r4, r2, .LC0@toc@ha
106; BE-NEXT:    srwi r3, r3, 15
107; BE-NEXT:    ld r4, .LC0@toc@l(r4)
108; BE-NEXT:    sth r3, 0(r4)
109; BE-NEXT:    blr
110;
111; LE-LABEL: test_iltss_sext_z_store:
112; LE:       # %bb.0: # %entry
113; LE-NEXT:    addis r4, r2, glob@toc@ha
114; LE-NEXT:    srwi r3, r3, 15
115; LE-NEXT:    sth r3, glob@toc@l(r4)
116; LE-NEXT:    blr
117entry:
118  %cmp = icmp slt i16 %a, 0
119  %sub = sext i1 %cmp to i16
120  store i16 %sub, i16* @glob, align 2
121  ret void
122}
123