41 lines · plain
1; RUN: opt < %s -S -passes=loop-unroll,simplifycfg -simplifycfg-require-and-preserve-domtree=1 | FileCheck %s2; PR12513: Loop unrolling breaks with indirect branches.3; If loop unrolling attempts to transform this loop, it replaces the4; indirectbr successors. SimplifyCFG then considers them to be unreachable.5declare void @subtract() nounwind uwtable6 7; CHECK-NOT: unreachable8define i32 @main(i32 %argc, ptr nocapture %argv) nounwind uwtable {9entry:10 %vals19 = alloca [5 x i32], align 1611 %x20 = alloca i32, align 412 store i32 135, ptr %x20, align 413 br label %for.body14 15for.body: ; preds = ; %call2_termjoin, %call3_termjoin16 %indvars.iv = phi i64 [ 0, %entry ], [ %joinphi15.in.in, %call2_termjoin ]17 %a6 = call coldcc ptr @funca(ptr blockaddress(@main, %for.body_code), ptr18blockaddress(@main, %for.body_codeprime)) nounwind19 indirectbr ptr %a6, [label %for.body_code, label %for.body_codeprime]20 21for.body_code: ; preds = %for.body22 call void @subtract()23 br label %call2_termjoin24 25call2_termjoin: ; preds = %for.body_codeprime, %for.body_code26 %joinphi15.in.in = add i64 %indvars.iv, 127 %exitcond = icmp eq i64 %joinphi15.in.in, 528 br i1 %exitcond, label %for.end, label %for.body29 30for.end: ; preds = %call2_termjoin31 ret i32 032 33for.body_codeprime: ; preds = %for.body34 call void @subtract_v2(i64 %indvars.iv)35 br label %call2_termjoin36}37 38declare coldcc ptr @funca(ptr, ptr) readonly39 40declare void @subtract_v2(i64) nounwind uwtable41