| ; REQUIRES: asserts |
| ; RUN: opt < %s -tailduplicate -taildup-threshold=3 -stats -disable-output 2>&1 | not grep tailduplicate |
| ; XFAIL: * |
| |
| define i32 @foo(i32 %l) nounwind { |
| entry: |
| %cond = icmp eq i32 %l, 1 ; <i1> [#uses=1] |
| br i1 %cond, label %bb, label %bb9 |
| |
| bb: ; preds = %entry |
| br label %bb9 |
| |
| bb5: ; preds = %bb9 |
| %tmp7 = call i32 (...)* @bar( i32 %x.0 ) nounwind ; <i32> [#uses=1] |
| br label %bb9 |
| |
| bb9: ; preds = %bb5, %bb, %entry |
| %x.0 = phi i32 [ 0, %entry ], [ %tmp7, %bb5 ], [ 1525, %bb ] ; <i32> [#uses=2] |
| %l_addr.0 = phi i32 [ %l, %entry ], [ %tmp11, %bb5 ], [ %l, %bb ] ; <i32> [#uses=1] |
| %tmp11 = add i32 %l_addr.0, -1 ; <i32> [#uses=2] |
| %tmp13 = icmp eq i32 %tmp11, -1 ; <i1> [#uses=1] |
| br i1 %tmp13, label %bb15, label %bb5 |
| |
| bb15: ; preds = %bb9 |
| ret i32 %x.0 |
| } |
| |
| declare i32 @bar(...) |
