test/CodeGen/Thumb2/thumb2-cmp.ll

   1 ; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s
   2
   3 ; 0x000000bb = 187
   4 define i1 @f1(i32 %a) {
   5 ; CHECK: f1:
   6 ; CHECK: cmp r0, #187
   7     %tmp = icmp ne i32 %a, 187
   8     ret i1 %tmp
   9 }
  10
  11 ; 0x00aa00aa = 11141290
  12 define i1 @f2(i32 %a) {
  13 ; CHECK: f2:
  14 ; CHECK: cmp.w r0, #11141290
  15     %tmp = icmp eq i32 %a, 11141290
  16     ret i1 %tmp
  17 }
  18
  19 ; 0xcc00cc00 = 3422604288
  20 define i1 @f3(i32 %a) {
  21 ; CHECK: f3:
  22 ; CHECK: cmp.w r0, #-872363008
  23     %tmp = icmp ne i32 %a, 3422604288
  24     ret i1 %tmp
  25 }
  26
  27 ; 0xdddddddd = 3722304989
  28 define i1 @f4(i32 %a) {
  29 ; CHECK: f4:
  30 ; CHECK: cmp.w r0, #-572662307
  31     %tmp = icmp ne i32 %a, 3722304989
  32     ret i1 %tmp
  33 }
  34
  35 ; 0x00110000 = 1114112
  36 define i1 @f5(i32 %a) {
  37 ; CHECK: f5:
  38 ; CHECK: cmp.w r0, #1114112
  39     %tmp = icmp eq i32 %a, 1114112
  40     ret i1 %tmp
  41 }
  42
  43 ; Check that we don't do an invalid (a > b) --> !(a < b + 1) transform.
  44 ;
  45 ; CHECK: f6:
  46 ; CHECK-NOT: cmp.w r0, #-2147483648
  47 ; CHECK: bx lr
  48 define i32 @f6(i32 %a) {
  49     %tmp = icmp sgt i32 %a, 2147483647
  50     br i1 %tmp, label %true, label %false
  51 true:
  52     ret i32 2
  53 false:
  54     ret i32 0
  55 }