test/CodeGen/Thumb2/thumb2-branch.ll

   1 ; RUN: llc < %s -mtriple=thumbv7-apple-darwin -mattr=+thumb2 -arm-atomic-cfg-tidy=0 | FileCheck %s
   2 ; If-conversion defeats the purpose of this test, which is to check
   3 ; conditional branch generation, so a call to make sure it doesn't
   4 ; happen and we get actual branches.
   5
   6 declare void @foo()
   7
   8 define i32 @f1(i32 %a, i32 %b, i32* %v) {
   9 entry:
  10 ; CHECK-LABEL: f1:
  11 ; CHECK: bne LBB
  12         %tmp = icmp eq i32 %a, %b               ; <i1> [#uses=1]
  13         br i1 %tmp, label %cond_true, label %return
  14
  15 cond_true:              ; preds = %entry
  16         call void @foo()
  17         store i32 0, i32* %v
  18         ret i32 0
  19
  20 return:         ; preds = %entry
  21         call void @foo()
  22         ret i32 1
  23 }
  24
  25 define i32 @f2(i32 %a, i32 %b, i32* %v) {
  26 entry:
  27 ; CHECK-LABEL: f2:
  28 ; CHECK: bge LBB
  29         %tmp = icmp slt i32 %a, %b              ; <i1> [#uses=1]
  30         br i1 %tmp, label %cond_true, label %return
  31
  32 cond_true:              ; preds = %entry
  33         call void @foo()
  34         store i32 0, i32* %v
  35         ret i32 0
  36
  37 return:         ; preds = %entry
  38         call void @foo()
  39         ret i32 1
  40 }
  41
  42 define i32 @f3(i32 %a, i32 %b, i32* %v) {
  43 entry:
  44 ; CHECK-LABEL: f3:
  45 ; CHECK: bhs LBB
  46         %tmp = icmp ult i32 %a, %b              ; <i1> [#uses=1]
  47         br i1 %tmp, label %cond_true, label %return
  48
  49 cond_true:              ; preds = %entry
  50         call void @foo()
  51         store i32 0, i32* %v
  52         ret i32 0
  53
  54 return:         ; preds = %entry
  55         call void @foo()
  56         ret i32 1
  57 }
  58
  59 define i32 @f4(i32 %a, i32 %b, i32* %v) {
  60 entry:
  61 ; CHECK-LABEL: f4:
  62 ; CHECK: blo LBB
  63         %tmp = icmp uge i32 %a, %b              ; <i1> [#uses=1]
  64         br i1 %tmp, label %cond_true, label %return
  65
  66 cond_true:              ; preds = %entry
  67         call void @foo()
  68         store i32 0, i32* %v
  69         ret i32 0
  70
  71 return:         ; preds = %entry
  72         call void @foo()
  73         ret i32 1
  74 }