1; RUN: opt < %s -simplifycfg -S | FileCheck %s 2; PR9420 3 4; Note that the crash in PR9420 test is sensitive to the ordering of 5; the transformations done by SimplifyCFG, so this test is likely to rot 6; quickly. 7 8define noalias i8* @func_29() nounwind { 9; CHECK: entry: 10; CHECK-NEXT: unreachable 11entry: 12 br label %for.cond 13 14for.cond: ; preds = %for.inc38, %entry 15 %p_34.addr.0 = phi i16 [ 1, %entry ], [ %conv40, %for.inc38 ] 16 br label %for.cond1 17 18for.cond1: ; preds = %for.inc29, %for.cond 19 %p_32.addr.0 = phi i1 [ true, %for.cond ], [ true, %for.inc29 ] 20 br i1 %p_32.addr.0, label %for.body8, label %for.inc38 21 22for.body8: ; preds = %for.cond1 23 unreachable 24 25for.inc29: ; preds = %for.cond17 26 br label %for.cond1 27 28for.inc38: ; preds = %for.end32 29 %conv40 = add i16 %p_34.addr.0, 1 30 br label %for.cond 31} 32