Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / dc7a557e6a061780dbbf303816849b3184b10366 / . / llvm / test / CodeGen / Thumb2 / thumb2-ifcvt1.ll
blob: a78b0c134263f3915015260160084d05c0a29008 [file] [log] [blame]
Dan Gohmanc8054d92009-09-09 00:09:15 +0000[diff] [blame]1; RUN: llc < %s -mtriple=thumbv7-apple-darwin | FileCheck %s
Weiming Zhao0da5cc02013-11-13 18:29:49 +0000[diff] [blame]2; RUN: llc < %s -mtriple=thumbv7-apple-darwin -arm-default-it | FileCheck %s
Kyle Butta8c73712016-08-24 21:34:27 +0000[diff] [blame]3; RUN: llc < %s -mtriple=thumbv8 -arm-no-restrict-it | FileCheck %s
4; RUN: llc < %s -mtriple=thumbv8 -arm-no-restrict-it -enable-tail-merge=0 | FileCheck %s
Dan Gohman45774ce2010-02-12 10:34:29 +0000[diff] [blame]5define i32 @t1(i32 %a, i32 %b, i32 %c, i32 %d) nounwind {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]6; CHECK-LABEL: t1:
Jim Grosbach74719372011-07-08 21:50:04 +0000[diff] [blame]7; CHECK: ittt ne
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]8; CHECK: cmpne
Jim Grosbach74719372011-07-08 21:50:04 +0000[diff] [blame]9; CHECK: addne
10; CHECK: bxne lr
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]11 switch i32 %c, label %cond_next [
12 i32 1, label %cond_true
13 i32 7, label %cond_true
14 ]
15
16cond_true:
17 %tmp12 = add i32 %a, 1
18 %tmp1518 = add i32 %tmp12, %b
19 ret i32 %tmp1518
20
21cond_next:
22 %tmp15 = add i32 %b, %a
23 ret i32 %tmp15
24}
25
Dan Gohman45774ce2010-02-12 10:34:29 +0000[diff] [blame]26define i32 @t2(i32 %a, i32 %b) nounwind {
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]27entry:
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]28; CHECK-LABEL: t2:
Kyle Butta8c73712016-08-24 21:34:27 +0000[diff] [blame]29; CHECK: ite {{gt|le}}
30; CHECK-DAG: suble
31; CHECK-DAG: subgt
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]32 %tmp1434 = icmp eq i32 %a, %b ; <i1> [#uses=1]
33 br i1 %tmp1434, label %bb17, label %bb.outer
34
35bb.outer: ; preds = %cond_false, %entry
36 %b_addr.021.0.ph = phi i32 [ %b, %entry ], [ %tmp10, %cond_false ] ; <i32> [#uses=5]
37 %a_addr.026.0.ph = phi i32 [ %a, %entry ], [ %a_addr.026.0, %cond_false ] ; <i32> [#uses=1]
38 br label %bb
39
40bb: ; preds = %cond_true, %bb.outer
41 %indvar = phi i32 [ 0, %bb.outer ], [ %indvar.next, %cond_true ] ; <i32> [#uses=2]
42 %tmp. = sub i32 0, %b_addr.021.0.ph ; <i32> [#uses=1]
43 %tmp.40 = mul i32 %indvar, %tmp. ; <i32> [#uses=1]
44 %a_addr.026.0 = add i32 %tmp.40, %a_addr.026.0.ph ; <i32> [#uses=6]
45 %tmp3 = icmp sgt i32 %a_addr.026.0, %b_addr.021.0.ph ; <i1> [#uses=1]
46 br i1 %tmp3, label %cond_true, label %cond_false
47
48cond_true: ; preds = %bb
49 %tmp7 = sub i32 %a_addr.026.0, %b_addr.021.0.ph ; <i32> [#uses=2]
50 %tmp1437 = icmp eq i32 %tmp7, %b_addr.021.0.ph ; <i1> [#uses=1]
51 %indvar.next = add i32 %indvar, 1 ; <i32> [#uses=1]
52 br i1 %tmp1437, label %bb17, label %bb
53
54cond_false: ; preds = %bb
55 %tmp10 = sub i32 %b_addr.021.0.ph, %a_addr.026.0 ; <i32> [#uses=2]
56 %tmp14 = icmp eq i32 %a_addr.026.0, %tmp10 ; <i1> [#uses=1]
57 br i1 %tmp14, label %bb17, label %bb.outer
58
59bb17: ; preds = %cond_false, %cond_true, %entry
60 %a_addr.026.1 = phi i32 [ %a, %entry ], [ %tmp7, %cond_true ], [ %a_addr.026.0, %cond_false ] ; <i32> [#uses=1]
61 ret i32 %a_addr.026.1
62}
63
Kyle Butta8c73712016-08-24 21:34:27 +0000[diff] [blame]64define i32 @t2_nomerge(i32 %a, i32 %b) nounwind {
65entry:
66; CHECK-LABEL: t2_nomerge:
67; CHECK-NOT: ite {{gt|le}}
68; CHECK-NOT: suble
69; CHECK-NOT: subgt
70 %tmp1434 = icmp eq i32 %a, %b ; <i1> [#uses=1]
71 br i1 %tmp1434, label %bb17, label %bb.outer
72
73bb.outer: ; preds = %cond_false, %entry
74 %b_addr.021.0.ph = phi i32 [ %b, %entry ], [ %tmp10, %cond_false ] ; <i32> [#uses=5]
75 %a_addr.026.0.ph = phi i32 [ %a, %entry ], [ %a_addr.026.0, %cond_false ] ; <i32> [#uses=1]
76 br label %bb
77
78bb: ; preds = %cond_true, %bb.outer
79 %indvar = phi i32 [ 0, %bb.outer ], [ %indvar.next, %cond_true ] ; <i32> [#uses=2]
80 %tmp. = sub i32 0, %b_addr.021.0.ph ; <i32> [#uses=1]
81 %tmp.40 = mul i32 %indvar, %tmp. ; <i32> [#uses=1]
82 %a_addr.026.0 = add i32 %tmp.40, %a_addr.026.0.ph ; <i32> [#uses=6]
83 %tmp3 = icmp sgt i32 %a_addr.026.0, %b_addr.021.0.ph ; <i1> [#uses=1]
84 br i1 %tmp3, label %cond_true, label %cond_false
85
86cond_true: ; preds = %bb
87 %tmp7 = sub i32 %a_addr.026.0, %b_addr.021.0.ph ; <i32> [#uses=2]
88 %tmp1437 = icmp eq i32 %tmp7, %b_addr.021.0.ph ; <i1> [#uses=1]
89 %indvar.next = add i32 %indvar, 1 ; <i32> [#uses=1]
90 br i1 %tmp1437, label %bb17, label %bb
91
92cond_false: ; preds = %bb
93 %tmp10 = sub i32 %b_addr.021.0.ph, %a_addr.026.0 ; <i32> [#uses=2]
94 %tmp14 = icmp eq i32 %b_addr.021.0.ph, %tmp10 ; <i1> [#uses=1]
95 br i1 %tmp14, label %bb17, label %bb.outer
96
97bb17: ; preds = %cond_false, %cond_true, %entry
98 %a_addr.026.1 = phi i32 [ %a, %entry ], [ %tmp7, %cond_true ], [ %a_addr.026.0, %cond_false ] ; <i32> [#uses=1]
99 ret i32 %a_addr.026.1
100}
101
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]102@x = external global i32* ; <i32**> [#uses=1]
103
Dan Gohman45774ce2010-02-12 10:34:29 +0000[diff] [blame]104define void @foo(i32 %a) nounwind {
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]105entry:
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]106 %tmp = load i32*, i32** @x ; <i32*> [#uses=1]
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]107 store i32 %a, i32* %tmp
108 ret void
109}
110
Dan Gohman45774ce2010-02-12 10:34:29 +0000[diff] [blame]111define void @t3(i32 %a, i32 %b) nounwind {
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]112entry:
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]113; CHECK-LABEL: t3:
Quentin Colombet8cb95b82015-11-18 00:40:54 +0000[diff] [blame]114; CHECK: it lt
115; CHECK-NEXT: bxlt lr
116; CHECK: mov r0, r1
117; CHECK: bl {{_?}}foo
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]118 %tmp1 = icmp sgt i32 %a, 10 ; <i1> [#uses=1]
119 br i1 %tmp1, label %cond_true, label %UnifiedReturnBlock
120
121cond_true: ; preds = %entry
Dale Johannesene288fee2010-06-04 00:03:37 +0000[diff] [blame]122 call void @foo( i32 %b )
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000[diff] [blame]123 ret void
124
125UnifiedReturnBlock: ; preds = %entry
126 ret void
127}