test/CodeGen/ARM/ror.ll

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