2012-10-03 02:51:32 +02:00
|
|
|
; RUN: llc < %s -x86-early-ifcvt -stress-early-ifcvt | FileCheck %s
|
2012-07-04 02:09:58 +02:00
|
|
|
target triple = "x86_64-apple-macosx10.8.0"
|
|
|
|
|
|
|
|
; CHECK: mm2
|
|
|
|
define i32 @mm2(i32* nocapture %p, i32 %n) nounwind uwtable readonly ssp {
|
|
|
|
entry:
|
|
|
|
br label %do.body
|
|
|
|
|
|
|
|
; CHECK: do.body
|
|
|
|
; Loop body has no branches before the backedge.
|
|
|
|
; CHECK-NOT: LBB
|
|
|
|
do.body:
|
|
|
|
%max.0 = phi i32 [ 0, %entry ], [ %max.1, %do.cond ]
|
|
|
|
%min.0 = phi i32 [ 0, %entry ], [ %min.1, %do.cond ]
|
|
|
|
%n.addr.0 = phi i32 [ %n, %entry ], [ %dec, %do.cond ]
|
|
|
|
%p.addr.0 = phi i32* [ %p, %entry ], [ %incdec.ptr, %do.cond ]
|
|
|
|
%incdec.ptr = getelementptr inbounds i32* %p.addr.0, i64 1
|
|
|
|
%0 = load i32* %p.addr.0, align 4
|
|
|
|
%cmp = icmp sgt i32 %0, %max.0
|
|
|
|
br i1 %cmp, label %do.cond, label %if.else
|
|
|
|
|
|
|
|
if.else:
|
|
|
|
%cmp1 = icmp slt i32 %0, %min.0
|
|
|
|
%.min.0 = select i1 %cmp1, i32 %0, i32 %min.0
|
|
|
|
br label %do.cond
|
|
|
|
|
|
|
|
do.cond:
|
|
|
|
%max.1 = phi i32 [ %0, %do.body ], [ %max.0, %if.else ]
|
|
|
|
%min.1 = phi i32 [ %min.0, %do.body ], [ %.min.0, %if.else ]
|
|
|
|
; CHECK: decl %esi
|
|
|
|
; CHECK: jne LBB
|
|
|
|
%dec = add i32 %n.addr.0, -1
|
|
|
|
%tobool = icmp eq i32 %dec, 0
|
|
|
|
br i1 %tobool, label %do.end, label %do.body
|
|
|
|
|
|
|
|
do.end:
|
|
|
|
%sub = sub nsw i32 %max.1, %min.1
|
|
|
|
ret i32 %sub
|
|
|
|
}
|
2012-08-13 22:49:04 +02:00
|
|
|
|
|
|
|
; CHECK: multipreds
|
|
|
|
; Deal with alternative tail predecessors
|
|
|
|
; CHECK-NOT: LBB
|
|
|
|
; CHECK: cmov
|
|
|
|
; CHECK-NOT: LBB
|
|
|
|
; CHECK: cmov
|
|
|
|
; CHECK-NOT: LBB
|
|
|
|
; CHECK: fprintf
|
|
|
|
|
|
|
|
define void @multipreds(i32 %sw) nounwind uwtable ssp {
|
|
|
|
entry:
|
|
|
|
switch i32 %sw, label %if.then29 [
|
|
|
|
i32 0, label %if.then37
|
|
|
|
i32 127, label %if.end41
|
|
|
|
]
|
|
|
|
|
|
|
|
if.then29:
|
|
|
|
br label %if.end41
|
|
|
|
|
|
|
|
if.then37:
|
|
|
|
br label %if.end41
|
|
|
|
|
|
|
|
if.end41:
|
|
|
|
%exit_status.0 = phi i32 [ 2, %if.then29 ], [ 0, %if.then37 ], [ 66, %entry ]
|
|
|
|
call void (...)* @fprintf(i32 %exit_status.0) nounwind
|
|
|
|
unreachable
|
|
|
|
}
|
|
|
|
|
|
|
|
declare void @fprintf(...) nounwind
|
2012-10-09 00:06:44 +02:00
|
|
|
|
|
|
|
; CHECK: BZ2_decompress
|
|
|
|
; This test case contains irreducible control flow, so MachineLoopInfo doesn't
|
|
|
|
; recognize the cycle in the CFG. This would confuse MachineTraceMetrics.
|
|
|
|
define void @BZ2_decompress(i8* %s) nounwind ssp {
|
|
|
|
entry:
|
|
|
|
switch i32 undef, label %sw.default [
|
|
|
|
i32 39, label %if.end.sw.bb2050_crit_edge
|
|
|
|
i32 36, label %sw.bb1788
|
|
|
|
i32 37, label %if.end.sw.bb1855_crit_edge
|
|
|
|
i32 40, label %sw.bb2409
|
|
|
|
i32 38, label %sw.bb1983
|
|
|
|
i32 44, label %if.end.sw.bb3058_crit_edge
|
|
|
|
]
|
|
|
|
|
|
|
|
if.end.sw.bb3058_crit_edge: ; preds = %entry
|
|
|
|
br label %save_state_and_return
|
|
|
|
|
|
|
|
if.end.sw.bb1855_crit_edge: ; preds = %entry
|
|
|
|
br label %save_state_and_return
|
|
|
|
|
|
|
|
if.end.sw.bb2050_crit_edge: ; preds = %entry
|
|
|
|
br label %sw.bb2050
|
|
|
|
|
|
|
|
sw.bb1788: ; preds = %entry
|
|
|
|
br label %save_state_and_return
|
|
|
|
|
|
|
|
sw.bb1983: ; preds = %entry
|
|
|
|
br i1 undef, label %save_state_and_return, label %if.then1990
|
|
|
|
|
|
|
|
if.then1990: ; preds = %sw.bb1983
|
|
|
|
br label %while.body2038
|
|
|
|
|
|
|
|
while.body2038: ; preds = %sw.bb2050, %if.then1990
|
|
|
|
%groupPos.8 = phi i32 [ 0, %if.then1990 ], [ %groupPos.9, %sw.bb2050 ]
|
|
|
|
br i1 undef, label %save_state_and_return, label %if.end2042
|
|
|
|
|
|
|
|
if.end2042: ; preds = %while.body2038
|
|
|
|
br i1 undef, label %if.end2048, label %while.end2104
|
|
|
|
|
|
|
|
if.end2048: ; preds = %if.end2042
|
|
|
|
%bsLive2054.pre = getelementptr inbounds i8* %s, i32 8
|
|
|
|
br label %sw.bb2050
|
|
|
|
|
|
|
|
sw.bb2050: ; preds = %if.end2048, %if.end.sw.bb2050_crit_edge
|
|
|
|
%groupPos.9 = phi i32 [ 0, %if.end.sw.bb2050_crit_edge ], [ %groupPos.8, %if.end2048 ]
|
|
|
|
%and2064 = and i32 undef, 1
|
|
|
|
br label %while.body2038
|
|
|
|
|
|
|
|
while.end2104: ; preds = %if.end2042
|
|
|
|
br i1 undef, label %save_state_and_return, label %if.end2117
|
|
|
|
|
|
|
|
if.end2117: ; preds = %while.end2104
|
|
|
|
br i1 undef, label %while.body2161.lr.ph, label %while.body2145.lr.ph
|
|
|
|
|
|
|
|
while.body2145.lr.ph: ; preds = %if.end2117
|
|
|
|
br label %save_state_and_return
|
|
|
|
|
|
|
|
while.body2161.lr.ph: ; preds = %if.end2117
|
|
|
|
br label %save_state_and_return
|
|
|
|
|
|
|
|
sw.bb2409: ; preds = %entry
|
|
|
|
br label %save_state_and_return
|
|
|
|
|
|
|
|
sw.default: ; preds = %entry
|
|
|
|
call void @BZ2_bz__AssertH__fail() nounwind
|
|
|
|
br label %save_state_and_return
|
|
|
|
|
|
|
|
save_state_and_return:
|
|
|
|
%groupPos.14 = phi i32 [ 0, %sw.default ], [ %groupPos.8, %while.body2038 ], [ %groupPos.8, %while.end2104 ], [ 0, %if.end.sw.bb3058_crit_edge ], [ 0, %if.end.sw.bb1855_crit_edge ], [ %groupPos.8, %while.body2161.lr.ph ], [ %groupPos.8, %while.body2145.lr.ph ], [ 0, %sw.bb2409 ], [ 0, %sw.bb1788 ], [ 0, %sw.bb1983 ]
|
|
|
|
store i32 %groupPos.14, i32* undef, align 4
|
|
|
|
ret void
|
|
|
|
}
|
|
|
|
|
|
|
|
declare void @BZ2_bz__AssertH__fail()
|
2013-01-05 08:39:25 +01:00
|
|
|
|
|
|
|
; Make sure we don't speculate on div/idiv instructions
|
|
|
|
; CHECK: test_idiv
|
|
|
|
; CHECK-NOT: cmov
|
|
|
|
define i32 @test_idiv(i32 %a, i32 %b) nounwind uwtable readnone ssp {
|
|
|
|
%1 = icmp eq i32 %b, 0
|
|
|
|
br i1 %1, label %4, label %2
|
|
|
|
|
|
|
|
; <label>:2 ; preds = %0
|
|
|
|
%3 = sdiv i32 %a, %b
|
|
|
|
br label %4
|
|
|
|
|
|
|
|
; <label>:4 ; preds = %0, %2
|
|
|
|
%5 = phi i32 [ %3, %2 ], [ %a, %0 ]
|
|
|
|
ret i32 %5
|
|
|
|
}
|
|
|
|
|
|
|
|
; CHECK: test_div
|
|
|
|
; CHECK-NOT: cmov
|
|
|
|
define i32 @test_div(i32 %a, i32 %b) nounwind uwtable readnone ssp {
|
|
|
|
%1 = icmp eq i32 %b, 0
|
|
|
|
br i1 %1, label %4, label %2
|
|
|
|
|
|
|
|
; <label>:2 ; preds = %0
|
|
|
|
%3 = udiv i32 %a, %b
|
|
|
|
br label %4
|
|
|
|
|
|
|
|
; <label>:4 ; preds = %0, %2
|
|
|
|
%5 = phi i32 [ %3, %2 ], [ %a, %0 ]
|
|
|
|
ret i32 %5
|
|
|
|
}
|