Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / ccf43ca05cb1540f3d95a73b7b329bf926808c7b / . / llvm / test / CodeGen / Thumb2 / thumb2-ifcvt1.ll
blob: af8fcc64124706ad448cc5b59180f03faa9546e4 [file] [log] [blame]
Dan Gohmanc8054d92009-09-09 00:09:15 +0000[diff] [blame]1; RUN: llc < %s -mtriple=thumbv7-apple-darwin | FileCheck %s
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]2
Dan Gohman45774ce2010-02-12 10:34:29 +0000[diff] [blame]3define i32 @t1(i32 %a, i32 %b, i32 %c, i32 %d) nounwind {
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]4; CHECK: t1:
Jim Grosbach74719372011-07-08 21:50:04 +0000[diff] [blame]5; CHECK: ittt ne
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]6; CHECK: cmpne
Jim Grosbach74719372011-07-08 21:50:04 +0000[diff] [blame]7; CHECK: addne
8; CHECK: bxne lr
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]9 switch i32 %c, label %cond_next [
10 i32 1, label %cond_true
11 i32 7, label %cond_true
12 ]
13
14cond_true:
15 %tmp12 = add i32 %a, 1
16 %tmp1518 = add i32 %tmp12, %b
17 ret i32 %tmp1518
18
19cond_next:
20 %tmp15 = add i32 %b, %a
21 ret i32 %tmp15
22}
23
Dan Gohman45774ce2010-02-12 10:34:29 +0000[diff] [blame]24define i32 @t2(i32 %a, i32 %b) nounwind {
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]25entry:
Jakub Staszak15e5b742011-08-03 22:34:43 +0000[diff] [blame]26; Do not if-convert when branches go to the different loops.
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]27; CHECK: t2:
Jakub Staszak15e5b742011-08-03 22:34:43 +0000[diff] [blame]28; CHECK-NOT: ite gt
29; CHECK-NOT: subgt
30; CHECK-NOT: suble
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]31 %tmp1434 = icmp eq i32 %a, %b ; <i1> [#uses=1]
32 br i1 %tmp1434, label %bb17, label %bb.outer
33
34bb.outer: ; preds = %cond_false, %entry
35 %b_addr.021.0.ph = phi i32 [ %b, %entry ], [ %tmp10, %cond_false ] ; <i32> [#uses=5]
36 %a_addr.026.0.ph = phi i32 [ %a, %entry ], [ %a_addr.026.0, %cond_false ] ; <i32> [#uses=1]
37 br label %bb
38
39bb: ; preds = %cond_true, %bb.outer
40 %indvar = phi i32 [ 0, %bb.outer ], [ %indvar.next, %cond_true ] ; <i32> [#uses=2]
41 %tmp. = sub i32 0, %b_addr.021.0.ph ; <i32> [#uses=1]
42 %tmp.40 = mul i32 %indvar, %tmp. ; <i32> [#uses=1]
43 %a_addr.026.0 = add i32 %tmp.40, %a_addr.026.0.ph ; <i32> [#uses=6]
44 %tmp3 = icmp sgt i32 %a_addr.026.0, %b_addr.021.0.ph ; <i1> [#uses=1]
45 br i1 %tmp3, label %cond_true, label %cond_false
46
47cond_true: ; preds = %bb
48 %tmp7 = sub i32 %a_addr.026.0, %b_addr.021.0.ph ; <i32> [#uses=2]
49 %tmp1437 = icmp eq i32 %tmp7, %b_addr.021.0.ph ; <i1> [#uses=1]
50 %indvar.next = add i32 %indvar, 1 ; <i32> [#uses=1]
51 br i1 %tmp1437, label %bb17, label %bb
52
53cond_false: ; preds = %bb
54 %tmp10 = sub i32 %b_addr.021.0.ph, %a_addr.026.0 ; <i32> [#uses=2]
55 %tmp14 = icmp eq i32 %a_addr.026.0, %tmp10 ; <i1> [#uses=1]
56 br i1 %tmp14, label %bb17, label %bb.outer
57
58bb17: ; preds = %cond_false, %cond_true, %entry
59 %a_addr.026.1 = phi i32 [ %a, %entry ], [ %tmp7, %cond_true ], [ %a_addr.026.0, %cond_false ] ; <i32> [#uses=1]
60 ret i32 %a_addr.026.1
61}
62
63@x = external global i32* ; <i32**> [#uses=1]
64
Dan Gohman45774ce2010-02-12 10:34:29 +0000[diff] [blame]65define void @foo(i32 %a) nounwind {
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]66entry:
67 %tmp = load i32** @x ; <i32*> [#uses=1]
68 store i32 %a, i32* %tmp
69 ret void
70}
71
Dan Gohman45774ce2010-02-12 10:34:29 +0000[diff] [blame]72define void @t3(i32 %a, i32 %b) nounwind {
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]73entry:
74; CHECK: t3:
Jim Grosbachb98ab912011-06-30 22:10:46 +0000[diff] [blame]75; CHECK: itt ge
76; CHECK: movge r0, r1
77; CHECK: blge _foo
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]78 %tmp1 = icmp sgt i32 %a, 10 ; <i1> [#uses=1]
79 br i1 %tmp1, label %cond_true, label %UnifiedReturnBlock
80
81cond_true: ; preds = %entry
Dale Johannesene288fee2010-06-04 00:03:37 +0000[diff] [blame]82 call void @foo( i32 %b )
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]83 ret void
84
85UnifiedReturnBlock: ; preds = %entry
86 ret void
87}