xref: /llvm-project/llvm/test/CodeGen/SystemZ/rot-01.ll (revision 68224c19522220aa27bb0aee9e0f906c0d71f4f9)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; Test shortening of NILL to NILF when the result is used as a rotate amount.
3;
4; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
5
6; Test 32-bit rotate.
7define i32 @f1(i32 %val, i32 %amt) {
8; CHECK-LABEL: f1:
9; CHECK:       # %bb.0:
10; CHECK-NEXT:    nill %r3, 15
11; CHECK-NEXT:    rll %r2, %r2, 0(%r3)
12; CHECK-NEXT:    br %r14
13  %mod = urem i32 %amt, 16
14
15  %inv = sub i32 32, %mod
16  %parta = shl i32 %val, %mod
17  %partb = lshr i32 %val, %inv
18
19  %rotl = or i32 %parta, %partb
20
21  ret i32 %rotl
22}
23
24; Test 64-bit rotate.
25define i64 @f2(i64 %val, i64 %amt) {
26; CHECK-LABEL: f2:
27; CHECK:       # %bb.0:
28; CHECK-NEXT:    nill %r3, 31
29; CHECK-NEXT:    rllg %r2, %r2, 0(%r3)
30; CHECK-NEXT:    br %r14
31  %mod = urem i64 %amt, 32
32
33  %inv = sub i64 64, %mod
34  %parta = shl i64 %val, %mod
35  %partb = lshr i64 %val, %inv
36
37  %rotl = or i64 %parta, %partb
38
39  ret i64 %rotl
40}
41