Kyle Butt
a8c7371d16
CodeGen: If Convert blocks that would form a diamond when tail-merged.
The following function currently relies on tail-merging for if
conversion to succeed. The common tail of cond_true and cond_false is
extracted, and this then forms a diamond pattern that can be
successfully if converted.
If this block does not get extracted, either because tail-merging is
disabled or the threshold is higher, we should still recognize this
pattern and if-convert it.
Fixed a regression in the original commit. Need to un-reverse branches after
reversing them, or other conversions go awry.
define i32 @t2(i32 %a, i32 %b) nounwind {
entry:
%tmp1434 = icmp eq i32 %a, %b ; <i1> [#uses=1]
br i1 %tmp1434, label %bb17, label %bb.outer
bb.outer: ; preds = %cond_false, %entry
%b_addr.021.0.ph = phi i32 [ %b, %entry ], [ %tmp10, %cond_false ]
%a_addr.026.0.ph = phi i32 [ %a, %entry ], [ %a_addr.026.0, %cond_false ]
br label %bb
bb: ; preds = %cond_true, %bb.outer
%indvar = phi i32 [ 0, %bb.outer ], [ %indvar.next, %cond_true ]
%tmp. = sub i32 0, %b_addr.021.0.ph
%tmp.40 = mul i32 %indvar, %tmp.
%a_addr.026.0 = add i32 %tmp.40, %a_addr.026.0.ph
%tmp3 = icmp sgt i32 %a_addr.026.0, %b_addr.021.0.ph
br i1 %tmp3, label %cond_true, label %cond_false
cond_true: ; preds = %bb
%tmp7 = sub i32 %a_addr.026.0, %b_addr.021.0.ph
%tmp1437 = icmp eq i32 %tmp7, %b_addr.021.0.ph
%indvar.next = add i32 %indvar, 1
br i1 %tmp1437, label %bb17, label %bb
cond_false: ; preds = %bb
%tmp10 = sub i32 %b_addr.021.0.ph, %a_addr.026.0
%tmp14 = icmp eq i32 %a_addr.026.0, %tmp10
br i1 %tmp14, label %bb17, label %bb.outer
bb17: ; preds = %cond_false, %cond_true, %entry
%a_addr.026.1 = phi i32 [ %a, %entry ], [ %tmp7, %cond_true ], [ %a_addr.026.0, %cond_false ]
ret i32 %a_addr.026.1
}
Without tail-merging or diamond-tail if conversion:
LBB1_1: @ %bb
@ =>This Inner Loop Header: Depth=1
cmp r0, r1
ble LBB1_3
@ BB#2: @ %cond_true
@ in Loop: Header=BB1_1 Depth=1
subs r0, r0, r1
cmp r1, r0
it ne
cmpne r0, r1
bgt LBB1_4
LBB1_3: @ %cond_false
@ in Loop: Header=BB1_1 Depth=1
subs r1, r1, r0
cmp r1, r0
bne LBB1_1
LBB1_4: @ %bb17
bx lr
With diamond-tail if conversion, but without tail-merging:
@ BB#0: @ %entry
cmp r0, r1
it eq
bxeq lr
LBB1_1: @ %bb
@ =>This Inner Loop Header: Depth=1
cmp r0, r1
ite le
suble r1, r1, r0
subgt r0, r0, r1
cmp r1, r0
bne LBB1_1
@ BB#2: @ %bb17
bx lr
llvm-svn: 279671
2016-08-24 21:34:27 +00:00
..
2015-02-27 21:17:42 +00:00
2016-08-23 09:19:22 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-04-16 23:24:18 +00:00
2015-04-16 23:24:18 +00:00
2015-04-16 23:24:18 +00:00
2015-02-27 21:17:42 +00:00
2015-11-19 05:56:52 +00:00
2015-04-23 20:31:26 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-04-16 23:24:18 +00:00
2016-06-23 16:07:10 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2016-02-04 01:27:38 +00:00
2015-03-13 18:20:45 +00:00
2015-02-27 19:29:02 +00:00
2016-05-10 19:17:47 +00:00
2015-03-13 18:20:45 +00:00
2016-05-10 19:17:47 +00:00
2014-05-30 10:09:59 +00:00
2015-04-16 23:24:18 +00:00
2015-02-27 21:17:42 +00:00
2015-03-13 18:20:45 +00:00
2015-04-16 23:24:18 +00:00
2016-08-23 09:19:22 +00:00
2015-04-23 20:31:30 +00:00
2015-02-27 21:17:42 +00:00
2015-11-19 05:56:52 +00:00
2015-02-27 21:17:42 +00:00
2015-03-19 22:48:57 +00:00
2015-07-21 00:18:59 +00:00
2016-01-26 00:03:25 +00:00
2016-08-23 09:19:22 +00:00
2015-02-27 21:17:42 +00:00
2014-04-03 23:47:24 +00:00
2016-07-05 12:37:13 +00:00
2014-05-30 10:09:59 +00:00
2016-01-28 18:59:04 +00:00
2015-04-23 20:31:35 +00:00
2015-05-31 19:22:07 +00:00
2015-02-27 21:17:42 +00:00
2014-11-13 17:58:53 +00:00
2015-06-17 20:52:32 +00:00
2014-10-01 09:02:17 +00:00
2015-09-30 10:56:37 +00:00
2015-02-27 21:17:42 +00:00
2015-04-09 14:07:28 +00:00
2016-04-11 22:27:40 +00:00
2015-07-15 08:39:35 +00:00
2015-11-12 01:02:47 +00:00
2015-10-07 16:58:49 +00:00
2015-06-24 20:03:27 +00:00
2016-08-23 09:19:22 +00:00
2015-02-27 21:17:42 +00:00
2015-11-18 00:40:54 +00:00
2015-02-27 21:17:42 +00:00
2016-08-24 21:34:24 +00:00
2015-02-27 21:17:42 +00:00
2015-04-16 23:24:18 +00:00
2015-04-23 20:31:26 +00:00
2016-03-29 00:23:41 +00:00
2014-06-09 22:42:55 +00:00
2014-04-03 23:47:24 +00:00
2015-02-27 21:17:42 +00:00
2015-09-30 10:56:37 +00:00
2014-04-03 23:47:24 +00:00
2015-07-17 23:18:26 +00:00
2014-04-10 22:58:43 +00:00
2015-07-16 22:34:20 +00:00
2015-02-27 19:29:02 +00:00
2015-02-27 21:17:42 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-05-30 10:09:59 +00:00
2015-02-27 21:17:42 +00:00
2016-05-10 19:17:47 +00:00
2016-06-24 18:16:36 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-12-15 19:07:53 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2016-05-10 17:57:27 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2015-02-27 21:17:42 +00:00
2016-08-24 21:34:27 +00:00
2015-11-18 00:40:54 +00:00
2015-02-27 21:17:42 +00:00
2014-04-03 23:47:24 +00:00
2016-08-23 09:19:22 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-04 01:19:56 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2015-10-23 17:19:19 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2013-12-13 11:16:00 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 17:35:22 +00:00
2014-04-03 23:47:24 +00:00
2015-10-23 17:19:19 +00:00
2015-10-23 17:19:19 +00:00
2015-09-30 10:56:37 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 19:29:02 +00:00
2015-02-27 19:29:02 +00:00
2015-02-27 19:29:02 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2016-08-10 09:34:34 +00:00
2016-08-10 09:34:34 +00:00
2016-01-26 00:03:25 +00:00
2015-05-31 19:22:07 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2014-04-03 23:47:24 +00:00
2016-08-10 09:34:34 +00:00
2014-04-03 23:47:24 +00:00
2015-02-27 21:17:42 +00:00
2016-06-16 16:09:53 +00:00
2015-04-23 20:31:26 +00:00
2015-09-30 10:56:37 +00:00
2015-02-27 21:17:42 +00:00
2015-09-01 01:42:16 +00:00
2013-11-13 18:29:49 +00:00
2016-06-24 18:16:36 +00:00
2014-02-26 11:27:28 +00:00