1 ; RUN: llc < %s -mtriple=thumbv7-apple-darwin -mattr=+thumb2 | FileCheck %s
2 ; If-conversion defeats the purpose of this test, which is to check conditional
3 ; branch generation, so use memory barrier instruction to make sure it doesn't
4 ; happen and we get actual branches.
6 define i32 @f1(i32 %a, i32 %b, i32* %v) {
10 %tmp = icmp eq i32 %a, %b ; <i1> [#uses=1]
11 br i1 %tmp, label %cond_true, label %return
13 cond_true: ; preds = %entry
18 return: ; preds = %entry
23 define i32 @f2(i32 %a, i32 %b, i32* %v) {
27 %tmp = icmp slt i32 %a, %b ; <i1> [#uses=1]
28 br i1 %tmp, label %cond_true, label %return
30 cond_true: ; preds = %entry
35 return: ; preds = %entry
40 define i32 @f3(i32 %a, i32 %b, i32* %v) {
44 %tmp = icmp ult i32 %a, %b ; <i1> [#uses=1]
45 br i1 %tmp, label %cond_true, label %return
47 cond_true: ; preds = %entry
52 return: ; preds = %entry
57 define i32 @f4(i32 %a, i32 %b, i32* %v) {
61 %tmp = icmp uge i32 %a, %b ; <i1> [#uses=1]
62 br i1 %tmp, label %cond_true, label %return
64 cond_true: ; preds = %entry
69 return: ; preds = %entry