blob: ea275e68df546d1ce48f27e60225138437bafd22 [file] [log] [blame]
Zhan Jun Liau347db3e2016-06-28 21:03:19 +00001; Test shortening of NILL to NILF when the result is used as a rotate amount.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
4
5; Test 32-bit rotate.
6define i32 @f1(i32 %val, i32 %amt) {
7; CHECK-LABEL: f1:
8; CHECK: nill %r3, 31
9; CHECK: rll %r2, %r2, 0(%r3)
10 %mod = urem i32 %amt, 32
11
12 %inv = sub i32 32, %mod
13 %parta = shl i32 %val, %mod
14 %partb = lshr i32 %val, %inv
15
16 %rotl = or i32 %parta, %partb
17
18 ret i32 %rotl
19}
20
21; Test 64-bit rotate.
22define i64 @f2(i64 %val, i64 %amt) {
23; CHECK-LABEL: f2:
Elliot Colpbc2cfc22016-07-06 18:13:11 +000024; CHECK: nill %r3, 31
Zhan Jun Liau347db3e2016-06-28 21:03:19 +000025; CHECK: rllg %r2, %r2, 0(%r3)
Elliot Colpbc2cfc22016-07-06 18:13:11 +000026 %mod = urem i64 %amt, 32
Zhan Jun Liau347db3e2016-06-28 21:03:19 +000027
28 %inv = sub i64 64, %mod
29 %parta = shl i64 %val, %mod
30 %partb = lshr i64 %val, %inv
31
32 %rotl = or i64 %parta, %partb
33
34 ret i64 %rotl
35}