test/CodeGen/PowerPC/and_sra.ll

   1 ; Neither of these functions should contain algebraic right shifts
   2 ; RUN: llc < %s -march=ppc32 | not grep srawi
   3
   4 define i32 @test1(i32 %mode.0.i.0) {
   5         %tmp.79 = bitcast i32 %mode.0.i.0 to i32                ; <i32> [#uses=1]
   6         %tmp.80 = ashr i32 %tmp.79, 15          ; <i32> [#uses=1]
   7         %tmp.81 = and i32 %tmp.80, 24           ; <i32> [#uses=1]
   8         ret i32 %tmp.81
   9 }
  10
  11 define i32 @test2(i32 %mode.0.i.0) {
  12         %tmp.79 = bitcast i32 %mode.0.i.0 to i32                ; <i32> [#uses=1]
  13         %tmp.80 = ashr i32 %tmp.79, 15          ; <i32> [#uses=1]
  14         %tmp.81 = lshr i32 %mode.0.i.0, 16              ; <i32> [#uses=1]
  15         %tmp.82 = bitcast i32 %tmp.81 to i32            ; <i32> [#uses=1]
  16         %tmp.83 = and i32 %tmp.80, %tmp.82              ; <i32> [#uses=1]
  17         ret i32 %tmp.83
  18 }
  19
  20 define i32 @test3(i32 %specbits.6.1) {
  21         %tmp.2540 = ashr i32 %specbits.6.1, 11          ; <i32> [#uses=1]
  22         %tmp.2541 = bitcast i32 %tmp.2540 to i32                ; <i32> [#uses=1]
  23         %tmp.2542 = shl i32 %tmp.2541, 13               ; <i32> [#uses=1]
  24         %tmp.2543 = and i32 %tmp.2542, 8192             ; <i32> [#uses=1]
  25         ret i32 %tmp.2543
  26 }
  27