test/CodeGen/ARM/bfi.ll

   1 ; RUN: llc -march=arm -mattr=+v6t2 < %s | FileCheck %s
   2
   3 %struct.F = type { [3 x i8], i8 }
   4
   5 @X = common global %struct.F zeroinitializer, align 4 ; <%struct.F*> [#uses=1]
   6
   7 define void @f1([1 x i32] %f.coerce0) nounwind {
   8 entry:
   9 ; CHECK: f1
  10 ; CHECK: mov r2, #10
  11 ; CHECK: bfi r1, r2, #22, #4
  12   %0 = load i32* bitcast (%struct.F* @X to i32*), align 4 ; <i32> [#uses=1]
  13   %1 = and i32 %0, -62914561                      ; <i32> [#uses=1]
  14   %2 = or i32 %1, 41943040                        ; <i32> [#uses=1]
  15   store i32 %2, i32* bitcast (%struct.F* @X to i32*), align 4
  16   ret void
  17 }
  18
  19 define i32 @f2(i32 %A, i32 %B) nounwind readnone optsize {
  20 entry:
  21 ; CHECK: f2
  22 ; CHECK: mov r1, r1, lsr #7
  23 ; CHECK: bfi r0, r1, #7, #16
  24   %and = and i32 %A, -8388481                     ; <i32> [#uses=1]
  25   %and2 = and i32 %B, 8388480                     ; <i32> [#uses=1]
  26   %or = or i32 %and2, %and                        ; <i32> [#uses=1]
  27   ret i32 %or
  28 }
  29
  30 define i32 @f3(i32 %A, i32 %B) nounwind readnone optsize {
  31 entry:
  32 ; CHECK: f3
  33 ; CHECK: mov r2, r0, lsr #7
  34 ; CHECK: mov r0, r1
  35 ; CHECK: bfi r0, r2, #7, #16
  36   %and = and i32 %A, 8388480                      ; <i32> [#uses=1]
  37   %and2 = and i32 %B, -8388481                    ; <i32> [#uses=1]
  38   %or = or i32 %and2, %and                        ; <i32> [#uses=1]
  39   ret i32 %or
  40 }