|
120
|
1 ; Test removal of AND operations that don't affect last 6 bits of rotate amount
|
|
|
2 ; operand.
|
|
|
3 ;
|
|
|
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
|
|
|
5
|
|
|
6 ; Test that AND is not removed when some lower 6 bits are not set.
|
|
|
7 define i32 @f1(i32 %val, i32 %amt) {
|
|
|
8 ; CHECK-LABEL: f1:
|
|
|
9 ; CHECK: nil{{[lf]}} %r3, 31
|
|
|
10 ; CHECK: rll %r2, %r2, 0(%r3)
|
|
|
11 %and = and i32 %amt, 31
|
|
|
12
|
|
|
13 %inv = sub i32 32, %and
|
|
|
14 %parta = shl i32 %val, %and
|
|
|
15 %partb = lshr i32 %val, %inv
|
|
|
16
|
|
|
17 %rotl = or i32 %parta, %partb
|
|
|
18
|
|
|
19 ret i32 %rotl
|
|
|
20 }
|
|
|
21
|
|
|
22 ; Test removal of AND mask with only bottom 6 bits set.
|
|
|
23 define i32 @f2(i32 %val, i32 %amt) {
|
|
|
24 ; CHECK-LABEL: f2:
|
|
|
25 ; CHECK-NOT: nil{{[lf]}} %r3, 63
|
|
|
26 ; CHECK: rll %r2, %r2, 0(%r3)
|
|
|
27 %and = and i32 %amt, 63
|
|
|
28
|
|
|
29 %inv = sub i32 32, %and
|
|
|
30 %parta = shl i32 %val, %and
|
|
|
31 %partb = lshr i32 %val, %inv
|
|
|
32
|
|
|
33 %rotl = or i32 %parta, %partb
|
|
|
34
|
|
|
35 ret i32 %rotl
|
|
|
36 }
|
|
|
37
|
|
|
38 ; Test removal of AND mask including but not limited to bottom 6 bits.
|
|
|
39 define i32 @f3(i32 %val, i32 %amt) {
|
|
|
40 ; CHECK-LABEL: f3:
|
|
|
41 ; CHECK-NOT: nil{{[lf]}} %r3, 255
|
|
|
42 ; CHECK: rll %r2, %r2, 0(%r3)
|
|
|
43 %and = and i32 %amt, 255
|
|
|
44
|
|
|
45 %inv = sub i32 32, %and
|
|
|
46 %parta = shl i32 %val, %and
|
|
|
47 %partb = lshr i32 %val, %inv
|
|
|
48
|
|
|
49 %rotl = or i32 %parta, %partb
|
|
|
50
|
|
|
51 ret i32 %rotl
|
|
|
52 }
|
|
|
53
|
|
|
54 ; Test removal of AND mask from RLLG.
|
|
|
55 define i64 @f4(i64 %val, i64 %amt) {
|
|
|
56 ; CHECK-LABEL: f4:
|
|
|
57 ; CHECK-NOT: nil{{[lf]}} %r3, 63
|
|
|
58 ; CHECK: rllg %r2, %r2, 0(%r3)
|
|
|
59 %and = and i64 %amt, 63
|
|
|
60
|
|
|
61 %inv = sub i64 64, %and
|
|
|
62 %parta = shl i64 %val, %and
|
|
|
63 %partb = lshr i64 %val, %inv
|
|
|
64
|
|
|
65 %rotl = or i64 %parta, %partb
|
|
|
66
|
|
|
67 ret i64 %rotl
|
|
|
68 }
|
|
|
69
|
|
|
70 ; Test that AND is not entirely removed if the result is reused.
|
|
|
71 define i32 @f5(i32 %val, i32 %amt) {
|
|
|
72 ; CHECK-LABEL: f5:
|
|
|
73 ; CHECK: rll %r2, %r2, 0(%r3)
|
|
|
74 ; CHECK: nil{{[lf]}} %r3, 63
|
|
|
75 ; CHECK: ar %r2, %r3
|
|
|
76 %and = and i32 %amt, 63
|
|
|
77
|
|
|
78 %inv = sub i32 32, %and
|
|
|
79 %parta = shl i32 %val, %and
|
|
|
80 %partb = lshr i32 %val, %inv
|
|
|
81
|
|
|
82 %rotl = or i32 %parta, %partb
|
|
|
83
|
|
|
84 %reuse = add i32 %and, %rotl
|
|
|
85 ret i32 %reuse
|
|
|
86 }
|
