test/CodeGen/Thumb2/thumb2-branch.ll

   1 ; RUN: llc < %s -march=thumb -mattr=+thumb2 -disable-arm-if-conversion | FileCheck %s
   2
   3 define void @f1(i32 %a, i32 %b, i32* %v) {
   4 entry:
   5 ; CHECK: f1:
   6 ; CHECK bne LBB
   7         %tmp = icmp eq i32 %a, %b               ; <i1> [#uses=1]
   8         br i1 %tmp, label %cond_true, label %return
   9
  10 cond_true:              ; preds = %entry
  11         store i32 0, i32* %v
  12         ret void
  13
  14 return:         ; preds = %entry
  15         ret void
  16 }
  17
  18 define void @f2(i32 %a, i32 %b, i32* %v) {
  19 entry:
  20 ; CHECK: f2:
  21 ; CHECK bge LBB
  22         %tmp = icmp slt i32 %a, %b              ; <i1> [#uses=1]
  23         br i1 %tmp, label %cond_true, label %return
  24
  25 cond_true:              ; preds = %entry
  26         store i32 0, i32* %v
  27         ret void
  28
  29 return:         ; preds = %entry
  30         ret void
  31 }
  32
  33 define void @f3(i32 %a, i32 %b, i32* %v) {
  34 entry:
  35 ; CHECK: f3:
  36 ; CHECK bhs LBB
  37         %tmp = icmp ult i32 %a, %b              ; <i1> [#uses=1]
  38         br i1 %tmp, label %cond_true, label %return
  39
  40 cond_true:              ; preds = %entry
  41         store i32 0, i32* %v
  42         ret void
  43
  44 return:         ; preds = %entry
  45         ret void
  46 }
  47
  48 define void @f4(i32 %a, i32 %b, i32* %v) {
  49 entry:
  50 ; CHECK: f4:
  51 ; CHECK blo LBB
  52         %tmp = icmp ult i32 %a, %b              ; <i1> [#uses=1]
  53         br i1 %tmp, label %return, label %cond_true
  54
  55 cond_true:              ; preds = %entry
  56         store i32 0, i32* %v
  57         ret void
  58
  59 return:         ; preds = %entry
  60         ret void
  61 }