| Eli Friedman | 3610604 | 2011-07-19 22:59:41 +0000 | [diff] [blame] | 1 | ; ModuleID = '<stdin>' |
| 2 | ; RUN: opt < %s -loop-reduce -S | FileCheck %s |
| 3 | ; PR10386 |
| 4 | |
| 5 | declare i1 @foo() |
| 6 | declare i8* @bar(i8*,i8*,i8*,i8*) |
| 7 | |
| 8 | define void @f(i64* %a,i64* %b,i64* %c,i64* %d,i64* %e,i64* %f,i64* %g) nounwind uwtable { |
| 9 | entry: |
| 10 | br label %b_throw.preheader |
| 11 | |
| 12 | D_BREAK_LBL: ; preds = %indirectgoto |
| 13 | call i1 @foo() |
| 14 | br label %indirectgoto |
| 15 | |
| 16 | H_CONST_LBL: ; preds = %indirectgoto |
| 17 | call i1 @foo() |
| 18 | br label %body_failed |
| 19 | |
| 20 | H_MPZ_LBL: ; preds = %indirectgoto |
| 21 | %boo3 = call i1 @foo() |
| 22 | br i1 %boo3, label %body_failed, label %while.cond.i |
| 23 | |
| 24 | while.cond.i: ; preds = %while.body.i15795, %if.then.i15791 |
| 25 | %phi = phi i64 [ %tmp20916, %while.body.i15795 ], [ 0, %H_MPZ_LBL ] |
| 26 | %tmp20916 = add i64 %phi, 1 |
| 27 | %incdec.ptr.i15793 = getelementptr i64* %pc.0.lcssa.i1610719352, i64 %tmp20916 |
| 28 | %boo2 = call i1 @foo() |
| 29 | br i1 %boo2, label %indirectgoto, label %while.body.i15795 |
| 30 | |
| 31 | while.body.i15795: ; preds = %while.cond.i |
| 32 | %tmp20.i = load i64* %incdec.ptr.i15793, align 8 |
| 33 | %boo1 = call i1 @foo() |
| 34 | br i1 %boo1, label %while.cond.i, label %body_failed |
| 35 | |
| 36 | b_throw.preheader: ; preds = %body_failed, %entry |
| 37 | call i1 @foo() |
| 38 | br label %indirectgoto |
| 39 | |
| 40 | body_failed: |
| 41 | %pc.0.lcssa.i1610719364 = phi i64* [ %pc.0.lcssa.i1610719352, %indirectgoto ], [ %pc.0.lcssa.i1610719352, %H_MPZ_LBL ], [ %b, %H_CONST_LBL ], [ %pc.0.lcssa.i1610719352, %while.body.i15795 ] |
| 42 | call i1 @foo() |
| 43 | br label %b_throw.preheader |
| 44 | |
| 45 | indirectgoto: |
| 46 | %pc.0.lcssa.i1610719352 = phi i64* [ %pc.0.lcssa.i1610719352, %D_BREAK_LBL ], [ %a, %b_throw.preheader ], [ %d, %while.cond.i ] |
| 47 | %p = call i8* @bar(i8* blockaddress(@f, %D_BREAK_LBL), i8* blockaddress(@f, %H_CONST_LBL), i8* blockaddress(@f, %H_MPZ_LBL), i8* blockaddress(@f, %body_failed) ) |
| 48 | indirectbr i8* %p, [label %D_BREAK_LBL, label %H_CONST_LBL, label %H_MPZ_LBL, label %body_failed] |
| 49 | } |
| 50 | |
| 51 | ; CHECK: %p = call i8* @bar(i8* blockaddress(@f, %D_BREAK_LBL), i8* blockaddress(@f, %H_CONST_LBL), i8* blockaddress(@f, %H_MPZ_LBL), i8* blockaddress(@f, %body_failed)) |
| 52 | ; CHECK: indirectbr i8* %p, [label %D_BREAK_LBL, label %H_CONST_LBL, label %H_MPZ_LBL, label %body_failed] |