test/CodeGen/Thumb2/thumb2-tst2.ll

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