test/CodeGen/Thumb2/thumb2-tst2.ll

   1 ; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s
   2
   3 define i1 @f1(i32 %a, i32 %b) {
   4 ; CHECK: f1:
   5 ; CHECK: tst r0, r1
   6     %tmp = and i32 %a, %b
   7     %tmp1 = icmp ne i32 %tmp, 0
   8     ret i1 %tmp1
   9 }
  10
  11 define i1 @f2(i32 %a, i32 %b) {
  12 ; CHECK: f2:
  13 ; CHECK: tst r0, r1
  14     %tmp = and i32 %a, %b
  15     %tmp1 = icmp eq i32 %tmp, 0
  16     ret i1 %tmp1
  17 }
  18
  19 define i1 @f3(i32 %a, i32 %b) {
  20 ; CHECK: f3:
  21 ; CHECK: tst r0, r1
  22     %tmp = and i32 %a, %b
  23     %tmp1 = icmp ne i32 0, %tmp
  24     ret i1 %tmp1
  25 }
  26
  27 define i1 @f4(i32 %a, i32 %b) {
  28 ; CHECK: f4:
  29 ; CHECK: tst r0, r1
  30     %tmp = and i32 %a, %b
  31     %tmp1 = icmp eq i32 0, %tmp
  32     ret i1 %tmp1
  33 }
  34
  35 define i1 @f6(i32 %a, i32 %b) {
  36 ; CHECK: f6:
  37 ; CHECK: tst.w r0, r1, lsl #5
  38     %tmp = shl i32 %b, 5
  39     %tmp1 = and i32 %a, %tmp
  40     %tmp2 = icmp eq i32 %tmp1, 0
  41     ret i1 %tmp2
  42 }
  43
  44 define i1 @f7(i32 %a, i32 %b) {
  45 ; CHECK: f7:
  46 ; CHECK: tst.w r0, r1, lsr #6
  47     %tmp = lshr i32 %b, 6
  48     %tmp1 = and i32 %a, %tmp
  49     %tmp2 = icmp eq i32 %tmp1, 0
  50     ret i1 %tmp2
  51 }
  52
  53 define i1 @f8(i32 %a, i32 %b) {
  54 ; CHECK: f8:
  55 ; CHECK: tst.w r0, r1, asr #7
  56     %tmp = ashr i32 %b, 7
  57     %tmp1 = and i32 %a, %tmp
  58     %tmp2 = icmp eq i32 %tmp1, 0
  59     ret i1 %tmp2
  60 }
  61
  62 define i1 @f9(i32 %a, i32 %b) {
  63 ; CHECK: f9:
  64 ; CHECK: tst.w r0, r0, ror #8
  65     %l8 = shl i32 %a, 24
  66     %r8 = lshr i32 %a, 8
  67     %tmp = or i32 %l8, %r8
  68     %tmp1 = and i32 %a, %tmp
  69     %tmp2 = icmp eq i32 %tmp1, 0
  70     ret i1 %tmp2
  71 }