1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=arm-eabi -mattr=+v6 %s -o - | FileCheck %s
; rotr (rotr x, 4), 6 -> rotr x, 10 -> ror r0, r0, #10
define i32 @test1(i32 %x) nounwind readnone {
; CHECK-LABEL: test1:
; CHECK: @ %bb.0: @ %entry
; CHECK-NEXT: ror r0, r0, #10
; CHECK-NEXT: bx lr
entry:
%high_part.i = shl i32 %x, 28
%low_part.i = lshr i32 %x, 4
%result.i = or i32 %high_part.i, %low_part.i
%high_part.i.1 = shl i32 %result.i, 26
%low_part.i.2 = lshr i32 %result.i, 6
%result.i.3 = or i32 %low_part.i.2, %high_part.i.1
ret i32 %result.i.3
}
; the same vector test
define <2 x i32> @test2(<2 x i32> %x) nounwind readnone {
; CHECK-LABEL: test2:
; CHECK: @ %bb.0: @ %entry
; CHECK-NEXT: ror r0, r0, #10
; CHECK-NEXT: ror r1, r1, #10
; CHECK-NEXT: bx lr
entry:
%high_part.i = shl <2 x i32> %x, <i32 28, i32 28>
%low_part.i = lshr <2 x i32> %x, <i32 4, i32 4>
%result.i = or <2 x i32> %high_part.i, %low_part.i
%high_part.i.1 = shl <2 x i32> %result.i, <i32 26, i32 26>
%low_part.i.2 = lshr <2 x i32> %result.i, <i32 6, i32 6>
%result.i.3 = or <2 x i32> %low_part.i.2, %high_part.i.1
ret <2 x i32> %result.i.3
}
|