Verify the predicates on icmp/fcmp. Suggested by Jeff Yasskin!
[llvm.git] / test / CodeGen / Thumb2 / thumb2-branch.ll
blob1d2af7a547456fd6674be5fa7a1c6b367e5c59b4
1 ; RUN: llc < %s -mtriple=thumbv7-apple-darwin -mattr=+thumb2 | FileCheck %s
3 define i32 @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
10 cond_true:              ; preds = %entry
11         store i32 0, i32* %v
12         ret i32 0
14 return:         ; preds = %entry
15         ret i32 1
18 define i32 @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
25 cond_true:              ; preds = %entry
26         store i32 0, i32* %v
27         ret i32 0
29 return:         ; preds = %entry
30         ret i32 1
33 define i32 @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
40 cond_true:              ; preds = %entry
41         store i32 0, i32* %v
42         ret i32 0
44 return:         ; preds = %entry
45         ret i32 1
48 define i32 @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
55 cond_true:              ; preds = %entry
56         store i32 0, i32* %v
57         ret i32 0
59 return:         ; preds = %entry
60         ret i32 1