1 ; RUN: opt < %s -simplify-libcalls -disable-output 2 ; PR4645 3 4 define i32 @main() { 5 entry: 6 br label %if.then 7 8 lor.lhs.false: ; preds = %while.body 9 br i1 undef, label %if.then, label %for.cond 10 11 if.then: ; preds = %lor.lhs.false, %while.body 12 call void @exit(i32 1) 13 br label %for.cond 14 15 for.cond: ; preds = %for.end, %if.then, %lor.lhs.false 16 %j.0 = phi i32 [ %inc47, %for.end ], [ 0, %if.then ], [ 0, %lor.lhs.false ] ; <i32> [#uses=1] 17 unreachable 18 19 for.end: ; preds = %for.cond20 20 %inc47 = add i32 %j.0, 1 ; <i32> [#uses=1] 21 br label %for.cond 22 } 23 24 declare void @exit(i32) 25
