test/CodeGen/PowerPC/rlwinm.ll

   1 ; All of these ands and shifts should be folded into rlwimi's
   2 ; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -o %t
   3 ; RUN: not grep and %t
   4 ; RUN: not grep srawi %t
   5 ; RUN: not grep srwi %t
   6 ; RUN: not grep slwi %t
   7 ; RUN: grep rlwinm %t | count 8
   8
   9 define i32 @test1(i32 %a) {
  10 entry:
  11         %tmp.1 = and i32 %a, 268431360          ; <i32> [#uses=1]
  12         ret i32 %tmp.1
  13 }
  14
  15 define i32 @test2(i32 %a) {
  16 entry:
  17         %tmp.1 = and i32 %a, -268435441         ; <i32> [#uses=1]
  18         ret i32 %tmp.1
  19 }
  20
  21 define i32 @test3(i32 %a) {
  22 entry:
  23         %tmp.2 = ashr i32 %a, 8         ; <i32> [#uses=1]
  24         %tmp.3 = and i32 %tmp.2, 255            ; <i32> [#uses=1]
  25         ret i32 %tmp.3
  26 }
  27
  28 define i32 @test4(i32 %a) {
  29 entry:
  30         %tmp.3 = lshr i32 %a, 8         ; <i32> [#uses=1]
  31         %tmp.4 = and i32 %tmp.3, 255            ; <i32> [#uses=1]
  32         ret i32 %tmp.4
  33 }
  34
  35 define i32 @test5(i32 %a) {
  36 entry:
  37         %tmp.2 = shl i32 %a, 8          ; <i32> [#uses=1]
  38         %tmp.3 = and i32 %tmp.2, -8388608               ; <i32> [#uses=1]
  39         ret i32 %tmp.3
  40 }
  41
  42 define i32 @test6(i32 %a) {
  43 entry:
  44         %tmp.1 = and i32 %a, 65280              ; <i32> [#uses=1]
  45         %tmp.2 = ashr i32 %tmp.1, 8             ; <i32> [#uses=1]
  46         ret i32 %tmp.2
  47 }
  48
  49 define i32 @test7(i32 %a) {
  50 entry:
  51         %tmp.1 = and i32 %a, 65280              ; <i32> [#uses=1]
  52         %tmp.2 = lshr i32 %tmp.1, 8             ; <i32> [#uses=1]
  53         ret i32 %tmp.2
  54 }
  55
  56 define i32 @test8(i32 %a) {
  57 entry:
  58         %tmp.1 = and i32 %a, 16711680           ; <i32> [#uses=1]
  59         %tmp.2 = shl i32 %tmp.1, 8              ; <i32> [#uses=1]
  60         ret i32 %tmp.2
  61 }