1; RUN: llc -verify-machineinstrs -mcpu pwr7 < %s | FileCheck %s
2target datalayout = "E-m:e-i64:64-n32:64"
3target triple = "powerpc64-unknown-linux-gnu"
4
5; Function Attrs: nounwind readnone
6define zeroext i16 @test16(i16 zeroext %x, i16 zeroext %y) #0 {
7entry:
8  %0 = xor i16 %y, %x
9  %1 = and i16 %0, 255
10  %cmp = icmp eq i16 %1, 0
11  %cmp20 = icmp ult i16 %0, 256
12  %conv25 = select i1 %cmp, i32 255, i32 0
13  %conv27 = select i1 %cmp20, i32 65280, i32 0
14  %or = or i32 %conv25, %conv27
15  %conv29 = trunc i32 %or to i16
16  ret i16 %conv29
17
18; CHECK-LABEL: @test16
19; CHECK: cmpb [[REG1:[0-9]+]], 4, 3
20; CHECK: clrldi 3, [[REG1]], 48
21; CHECK: blr
22}
23
24define zeroext i16 @test16p1(i16 zeroext %x, i16 zeroext %y) #0 {
25entry:
26  %0 = xor i16 %y, %x
27  %1 = and i16 %0, 255
28  %cmp = icmp eq i16 %1, 0
29  %cmp20 = icmp ult i16 %0, 256
30  %conv28 = select i1 %cmp, i32 5, i32 0
31  %conv30 = select i1 %cmp20, i32 65280, i32 0
32  %or = or i32 %conv28, %conv30
33  %conv32 = trunc i32 %or to i16
34  ret i16 %conv32
35
36; CHECK-LABEL: @test16p1
37; CHECK: cmpb [[REG1:[0-9]+]], 4, 3
38; CHECK: andi. 3, [[REG1]], 65285
39; CHECK: blr
40}
41
42; Function Attrs: nounwind readnone
43define zeroext i16 @test16p2(i16 zeroext %x, i16 zeroext %y) #0 {
44entry:
45  %0 = xor i16 %y, %x
46  %1 = and i16 %0, 255
47  %cmp = icmp eq i16 %1, 0
48  %cmp20 = icmp ult i16 %0, 256
49  %conv28 = select i1 %cmp, i32 255, i32 0
50  %conv30 = select i1 %cmp20, i32 1280, i32 0
51  %or = or i32 %conv28, %conv30
52  %conv32 = trunc i32 %or to i16
53  ret i16 %conv32
54
55; CHECK-LABEL: @test16p2
56; CHECK: cmpb [[REG1:[0-9]+]], 4, 3
57; CHECK: andi. 3, [[REG1]], 1535
58; CHECK: blr
59}
60
61; Function Attrs: nounwind readnone
62define zeroext i16 @test16p3(i16 zeroext %x, i16 zeroext %y) #0 {
63entry:
64  %0 = xor i16 %y, %x
65  %1 = and i16 %0, 255
66  %cmp = icmp eq i16 %1, 0
67  %cmp20 = icmp ult i16 %0, 256
68  %conv27 = select i1 %cmp, i32 255, i32 0
69  %conv29 = select i1 %cmp20, i32 1024, i32 1280
70  %or = or i32 %conv27, %conv29
71  %conv31 = trunc i32 %or to i16
72  ret i16 %conv31
73
74; CHECK-LABEL: @test16p3
75; CHECK: cmpb [[REG1:[0-9]+]], 4, 3
76; CHECK: clrldi [[REG2:[0-9]+]], [[REG1]], 55
77; CHECK: xori 3, [[REG2]], 1280
78; CHECK: blr
79}
80
81define zeroext i32 @test32(i32 zeroext %x, i32 zeroext %y) #0 {
82entry:
83  %0 = xor i32 %y, %x
84  %1 = and i32 %0, 255
85  %cmp = icmp eq i32 %1, 0
86  %2 = and i32 %0, 65280
87  %cmp28 = icmp eq i32 %2, 0
88  %3 = and i32 %0, 16711680
89  %cmp34 = icmp eq i32 %3, 0
90  %cmp40 = icmp ult i32 %0, 16777216
91  %conv44 = select i1 %cmp, i32 255, i32 0
92  %conv45 = select i1 %cmp28, i32 65280, i32 0
93  %conv47 = select i1 %cmp34, i32 16711680, i32 0
94  %conv50 = select i1 %cmp40, i32 -16777216, i32 0
95  %or = or i32 %conv45, %conv50
96  %or49 = or i32 %or, %conv44
97  %or52 = or i32 %or49, %conv47
98  ret i32 %or52
99
100; CHECK-LABEL: @test32
101; CHECK: cmpb [[REG1:[0-9]+]], 4, 3
102; CHECK: clrldi 3, [[REG1]], 32
103; CHECK: blr
104}
105
106define zeroext i32 @test32p1(i32 zeroext %x, i32 zeroext %y) #0 {
107entry:
108  %0 = xor i32 %y, %x
109  %1 = and i32 %0, 255
110  %cmp = icmp eq i32 %1, 0
111  %2 = and i32 %0, 65280
112  %cmp28 = icmp eq i32 %2, 0
113  %3 = and i32 %0, 16711680
114  %cmp34 = icmp eq i32 %3, 0
115  %cmp40 = icmp ult i32 %0, 16777216
116  %conv47 = select i1 %cmp, i32 255, i32 0
117  %conv48 = select i1 %cmp28, i32 65280, i32 0
118  %conv50 = select i1 %cmp34, i32 458752, i32 0
119  %conv53 = select i1 %cmp40, i32 -16777216, i32 0
120  %or = or i32 %conv48, %conv53
121  %or52 = or i32 %or, %conv47
122  %or55 = or i32 %or52, %conv50
123  ret i32 %or55
124
125; CHECK-LABEL: @test32p1
126; CHECK: cmpb [[REG1:[0-9]+]], 4, 3
127; CHECK: rldicl [[REG2:[0-9]+]], [[REG1]], 40, 5
128; CHECK: rldicl 3, [[REG2]], 24, 32
129; CHECK: blr
130}
131
132define zeroext i32 @test32p2(i32 zeroext %x, i32 zeroext %y) #0 {
133entry:
134  %0 = xor i32 %y, %x
135  %1 = and i32 %0, 255
136  %cmp = icmp eq i32 %1, 0
137  %2 = and i32 %0, 65280
138  %cmp22 = icmp eq i32 %2, 0
139  %cmp28 = icmp ult i32 %0, 16777216
140  %conv32 = select i1 %cmp, i32 255, i32 0
141  %conv33 = select i1 %cmp22, i32 65280, i32 0
142  %conv35 = select i1 %cmp28, i32 -16777216, i32 0
143  %or = or i32 %conv33, %conv35
144  %or37 = or i32 %or, %conv32
145  ret i32 %or37
146
147; CHECK-LABEL: @test32p2
148; CHECK: cmpb [[REG1:[0-9]+]], 4, 3
149; CHECK: rldicl [[REG2:[0-9]+]], [[REG1]], 40, 8
150; CHECK: rldicl 3, [[REG2]], 24, 32
151; CHECK: blr
152}
153
154define i64 @test64(i64 %x, i64 %y) #0 {
155entry:
156  %shr19 = lshr i64 %x, 56
157  %conv21 = trunc i64 %shr19 to i32
158  %shr43 = lshr i64 %y, 56
159  %conv45 = trunc i64 %shr43 to i32
160  %0 = xor i64 %y, %x
161  %1 = and i64 %0, 255
162  %cmp = icmp eq i64 %1, 0
163  %2 = and i64 %0, 65280
164  %cmp52 = icmp eq i64 %2, 0
165  %3 = and i64 %0, 16711680
166  %cmp58 = icmp eq i64 %3, 0
167  %4 = and i64 %0, 4278190080
168  %cmp64 = icmp eq i64 %4, 0
169  %5 = and i64 %0, 1095216660480
170  %cmp70 = icmp eq i64 %5, 0
171  %6 = and i64 %0, 280375465082880
172  %cmp76 = icmp eq i64 %6, 0
173  %7 = and i64 %0, 71776119061217280
174  %cmp82 = icmp eq i64 %7, 0
175  %cmp88 = icmp eq i32 %conv21, %conv45
176  %conv92 = select i1 %cmp, i64 255, i64 0
177  %conv93 = select i1 %cmp52, i64 65280, i64 0
178  %or = or i64 %conv92, %conv93
179  %conv95 = select i1 %cmp58, i64 16711680, i64 0
180  %or97 = or i64 %or, %conv95
181  %conv98 = select i1 %cmp64, i64 4278190080, i64 0
182  %or100 = or i64 %or97, %conv98
183  %conv101 = select i1 %cmp70, i64 1095216660480, i64 0
184  %or103 = or i64 %or100, %conv101
185  %conv104 = select i1 %cmp76, i64 280375465082880, i64 0
186  %or106 = or i64 %or103, %conv104
187  %conv107 = select i1 %cmp82, i64 71776119061217280, i64 0
188  %or109 = or i64 %or106, %conv107
189  %conv110 = select i1 %cmp88, i64 -72057594037927936, i64 0
190  %or112 = or i64 %or109, %conv110
191  ret i64 %or112
192
193; CHECK-LABEL: @test64
194; CHECK: cmpb 3, 3, 4
195; CHECK-NOT: rldicl
196; CHECK: blr
197}
198
199attributes #0 = { nounwind readnone }
200
201