1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -ppc-asm-full-reg-names -verify-machineinstrs \
3; RUN:   -mtriple=powerpc64le-linux-gnu < %s | FileCheck \
4; RUN:   -check-prefix=CHECK-LE %s
5; RUN: llc -ppc-asm-full-reg-names -verify-machineinstrs \
6; RUN:   -mtriple=powerpc-linux-gnu < %s | FileCheck \
7; RUN:   -check-prefix=CHECK-32 %s
8
9define i64 @f0(i64 %x) {
10; CHECK-LE-LABEL: f0:
11; CHECK-LE:       # %bb.0:
12; CHECK-LE-NEXT:    li r4, 125
13; CHECK-LE-NEXT:    cmpdi r3, 0
14; CHECK-LE-NEXT:    li r3, -3
15; CHECK-LE-NEXT:    isellt r3, r3, r4
16; CHECK-LE-NEXT:    blr
17;
18; CHECK-32-LABEL: f0:
19; CHECK-32:       # %bb.0:
20; CHECK-32-NEXT:    li r4, 125
21; CHECK-32-NEXT:    li r5, -3
22; CHECK-32-NEXT:    cmpwi r3, 0
23; CHECK-32-NEXT:    bc 12, lt, .LBB0_1
24; CHECK-32-NEXT:    b .LBB0_2
25; CHECK-32-NEXT:  .LBB0_1:
26; CHECK-32-NEXT:    addi r4, r5, 0
27; CHECK-32-NEXT:  .LBB0_2:
28; CHECK-32-NEXT:    srawi r3, r3, 31
29; CHECK-32-NEXT:    blr
30  %c = icmp slt i64 %x, 0
31  %r = select i1 %c, i64 -3, i64 125
32  ret i64 %r
33}
34
35define i64 @f1(i64 %x) {
36; CHECK-LE-LABEL: f1:
37; CHECK-LE:       # %bb.0:
38; CHECK-LE-NEXT:    li r4, 512
39; CHECK-LE-NEXT:    cmpdi r3, 0
40; CHECK-LE-NEXT:    li r3, 64
41; CHECK-LE-NEXT:    isellt r3, r3, r4
42; CHECK-LE-NEXT:    blr
43;
44; CHECK-32-LABEL: f1:
45; CHECK-32:       # %bb.0:
46; CHECK-32-NEXT:    li r4, 512
47; CHECK-32-NEXT:    cmpwi r3, 0
48; CHECK-32-NEXT:    li r3, 64
49; CHECK-32-NEXT:    bc 12, lt, .LBB1_1
50; CHECK-32-NEXT:    b .LBB1_2
51; CHECK-32-NEXT:  .LBB1_1:
52; CHECK-32-NEXT:    addi r4, r3, 0
53; CHECK-32-NEXT:  .LBB1_2:
54; CHECK-32-NEXT:    li r3, 0
55; CHECK-32-NEXT:    blr
56  %c = icmp slt i64 %x, 0
57  %r = select i1 %c, i64 64, i64 512
58  ret i64 %r
59}
60
61define i64 @f2(i64 %x) {
62; CHECK-LE-LABEL: f2:
63; CHECK-LE:       # %bb.0:
64; CHECK-LE-NEXT:    li r4, 1024
65; CHECK-LE-NEXT:    cmpdi r3, 0
66; CHECK-LE-NEXT:    iseleq r3, 0, r4
67; CHECK-LE-NEXT:    blr
68;
69; CHECK-32-LABEL: f2:
70; CHECK-32:       # %bb.0:
71; CHECK-32-NEXT:    or. r3, r4, r3
72; CHECK-32-NEXT:    li r3, 1024
73; CHECK-32-NEXT:    bc 12, eq, .LBB2_2
74; CHECK-32-NEXT:  # %bb.1:
75; CHECK-32-NEXT:    ori r4, r3, 0
76; CHECK-32-NEXT:    b .LBB2_3
77; CHECK-32-NEXT:  .LBB2_2:
78; CHECK-32-NEXT:    li r4, 0
79; CHECK-32-NEXT:  .LBB2_3:
80; CHECK-32-NEXT:    li r3, 0
81; CHECK-32-NEXT:    blr
82  %c = icmp eq i64 %x, 0
83  %r = select i1 %c, i64 0, i64 1024
84  ret i64 %r
85}
86
87define i64 @f3(i64 %x, i64 %y) {
88; CHECK-LE-LABEL: f3:
89; CHECK-LE:       # %bb.0:
90; CHECK-LE-NEXT:    cmpldi r3, 0
91; CHECK-LE-NEXT:    iseleq r3, 0, r4
92; CHECK-LE-NEXT:    blr
93;
94; CHECK-32-LABEL: f3:
95; CHECK-32:       # %bb.0:
96; CHECK-32-NEXT:    or. r3, r4, r3
97; CHECK-32-NEXT:    bc 12, eq, .LBB3_2
98; CHECK-32-NEXT:  # %bb.1:
99; CHECK-32-NEXT:    ori r3, r5, 0
100; CHECK-32-NEXT:    ori r4, r6, 0
101; CHECK-32-NEXT:    blr
102; CHECK-32-NEXT:  .LBB3_2:
103; CHECK-32-NEXT:    li r3, 0
104; CHECK-32-NEXT:    li r4, 0
105; CHECK-32-NEXT:    blr
106  %c = icmp eq i64 %x, 0
107  %r = select i1 %c, i64 0, i64 %y
108  ret i64 %r
109}
110
111define i64 @f4(i64 %x) {
112; CHECK-LE-LABEL: f4:
113; CHECK-LE:       # %bb.0:
114; CHECK-LE-NEXT:    neg r4, r3
115; CHECK-LE-NEXT:    cmpdi r3, 0
116; CHECK-LE-NEXT:    iselgt r3, r4, r3
117; CHECK-LE-NEXT:    blr
118;
119; CHECK-32-LABEL: f4:
120; CHECK-32:       # %bb.0:
121; CHECK-32-NEXT:    cmplwi r3, 0
122; CHECK-32-NEXT:    cmpwi cr1, r3, 0
123; CHECK-32-NEXT:    crandc 4*cr5+lt, 4*cr1+gt, eq
124; CHECK-32-NEXT:    cmpwi cr1, r4, 0
125; CHECK-32-NEXT:    subfic r5, r4, 0
126; CHECK-32-NEXT:    crandc 4*cr5+gt, eq, 4*cr1+eq
127; CHECK-32-NEXT:    cror 4*cr5+lt, 4*cr5+gt, 4*cr5+lt
128; CHECK-32-NEXT:    subfze r6, r3
129; CHECK-32-NEXT:    bc 12, 4*cr5+lt, .LBB4_1
130; CHECK-32-NEXT:    blr
131; CHECK-32-NEXT:  .LBB4_1:
132; CHECK-32-NEXT:    addi r3, r6, 0
133; CHECK-32-NEXT:    addi r4, r5, 0
134; CHECK-32-NEXT:    blr
135  %c = icmp sgt i64 %x, 0
136  %x.neg = sub i64 0, %x
137  %r = select i1 %c, i64 %x.neg, i64 %x
138  ret i64 %r
139}
140