1; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s
2
3define i32 @f1(i32 %a, i32 %b) {
4    %tmp = shl i32 %b, 5
5    %tmp1 = sub i32 %tmp, %a
6    ret i32 %tmp1
7}
8; CHECK-LABEL: f1:
9; CHECK: 	rsb	r0, r0, r1, lsl #5
10
11define i32 @f2(i32 %a, i32 %b) {
12    %tmp = lshr i32 %b, 6
13    %tmp1 = sub i32 %tmp, %a
14    ret i32 %tmp1
15}
16; CHECK-LABEL: f2:
17; CHECK: 	rsb	r0, r0, r1, lsr #6
18
19define i32 @f3(i32 %a, i32 %b) {
20    %tmp = ashr i32 %b, 7
21    %tmp1 = sub i32 %tmp, %a
22    ret i32 %tmp1
23}
24; CHECK-LABEL: f3:
25; CHECK: 	rsb	r0, r0, r1, asr #7
26
27define i32 @f4(i32 %a, i32 %b) {
28    %l8 = shl i32 %a, 24
29    %r8 = lshr i32 %a, 8
30    %tmp = or i32 %l8, %r8
31    %tmp1 = sub i32 %tmp, %a
32    ret i32 %tmp1
33}
34; CHECK-LABEL: f4:
35; CHECK: 	rsb	r0, r0, r0, ror #8
36