| ; ModuleID = '<stdin>' |
| ; RUN: opt < %s -loop-reduce -S | FileCheck %s |
| ; PR10386 |
| |
| declare i1 @foo() |
| declare ptr @bar(ptr,ptr,ptr,ptr) |
| |
| define void @f(ptr %a,ptr %b,ptr %c,ptr %d,ptr %e,ptr %f,ptr %g) nounwind uwtable { |
| entry: |
| br label %b_throw.preheader |
| |
| D_BREAK_LBL: ; preds = %indirectgoto |
| call i1 @foo() |
| br label %indirectgoto |
| |
| H_CONST_LBL: ; preds = %indirectgoto |
| call i1 @foo() |
| br label %body_failed |
| |
| H_MPZ_LBL: ; preds = %indirectgoto |
| %boo3 = call i1 @foo() |
| br i1 %boo3, label %body_failed, label %while.cond.i |
| |
| while.cond.i: ; preds = %while.body.i15795, %if.then.i15791 |
| %phi = phi i64 [ %tmp20916, %while.body.i15795 ], [ 0, %H_MPZ_LBL ] |
| %tmp20916 = add i64 %phi, 1 |
| %incdec.ptr.i15793 = getelementptr i64, ptr %pc.0.lcssa.i1610719352, i64 %tmp20916 |
| %boo2 = call i1 @foo() |
| br i1 %boo2, label %indirectgoto, label %while.body.i15795 |
| |
| while.body.i15795: ; preds = %while.cond.i |
| %tmp20.i = load i64, ptr %incdec.ptr.i15793, align 8 |
| %boo1 = call i1 @foo() |
| br i1 %boo1, label %while.cond.i, label %body_failed |
| |
| b_throw.preheader: ; preds = %body_failed, %entry |
| call i1 @foo() |
| br label %indirectgoto |
| |
| body_failed: |
| %pc.0.lcssa.i1610719364 = phi ptr [ %pc.0.lcssa.i1610719352, %indirectgoto ], [ %pc.0.lcssa.i1610719352, %H_MPZ_LBL ], [ %b, %H_CONST_LBL ], [ %pc.0.lcssa.i1610719352, %while.body.i15795 ] |
| call i1 @foo() |
| br label %b_throw.preheader |
| |
| indirectgoto: |
| %pc.0.lcssa.i1610719352 = phi ptr [ %pc.0.lcssa.i1610719352, %D_BREAK_LBL ], [ %a, %b_throw.preheader ], [ %d, %while.cond.i ] |
| %p = call ptr @bar(ptr blockaddress(@f, %D_BREAK_LBL), ptr blockaddress(@f, %H_CONST_LBL), ptr blockaddress(@f, %H_MPZ_LBL), ptr blockaddress(@f, %body_failed) ) |
| indirectbr ptr %p, [label %D_BREAK_LBL, label %H_CONST_LBL, label %H_MPZ_LBL, label %body_failed] |
| } |
| |
| ; CHECK: %p = call ptr @bar(ptr blockaddress(@f, %D_BREAK_LBL), ptr blockaddress(@f, %H_CONST_LBL), ptr blockaddress(@f, %H_MPZ_LBL), ptr blockaddress(@f, %body_failed)) |
| ; CHECK: indirectbr ptr %p, [label %D_BREAK_LBL, label %H_CONST_LBL, label %H_MPZ_LBL, label %body_failed] |