1; RUN: opt -passes=indvars -S < %s | FileCheck %s 2 3@__const.e.f = private unnamed_addr constant <{ <{ [2 x i32], [2 x i32], [8 x [2 x i32]] }>, [10 x [2 x i32]] }> <{ <{ [2 x i32], [2 x i32], [8 x [2 x i32]] }> <{ [2 x i32] [i32 4, i32 8], [2 x i32] [i32 3, i32 10], [8 x [2 x i32]] zeroinitializer }>, [10 x [2 x i32]] [[2 x i32] zeroinitializer, [2 x i32] zeroinitializer, [2 x i32] [i32 1, i32 5], [2 x i32] [i32 2080555007, i32 0], [2 x i32] zeroinitializer, [2 x i32] zeroinitializer, [2 x i32] zeroinitializer, [2 x i32] zeroinitializer, [2 x i32] zeroinitializer, [2 x i32] zeroinitializer] }>, align 4 4 5define dso_local i8 @main() local_unnamed_addr { 6entry: 7 br label %for.cond1.preheader 8 9for.cond1.preheader: ; preds = %for.inc15, %entry 10 %storemerge32 = phi i32 [ 0, %entry ], [ %inc16, %for.inc15 ] 11 br label %for.cond4 12 13for.cond4: ; preds = %for.inc, %for.cond1.preheader 14 %storemerge2531 = phi i32 [ 0, %for.cond1.preheader ], [ %inc, %for.inc ] 15 %tobool = icmp eq i32 1, 0 16 br i1 %tobool, label %cleanup, label %if.then 17 18if.then: ; preds = %for.cond4 19; CHECK: if.then: ; preds = %for.cond4 20; CHECK-NEXT: br i1 false, label %cleanup, label %for.inc 21 %add = add nuw nsw i32 %storemerge2531, 2 22 %idxprom8 = zext i32 %add to i64 23 %arrayidx10 = getelementptr inbounds <{ <{ [2 x i32], [2 x i32], [8 x [2 x i32]] }>, [10 x [2 x i32]] }>, ptr @__const.e.f, i64 0, i32 1, i64 %idxprom8, i64 0 24 %0 = load i32, ptr %arrayidx10, align 4 25 %tobool11 = icmp eq i32 %0, 0 26 br i1 %tobool11, label %cleanup, label %for.inc 27 28for.inc: ; preds = %if.then 29 %inc = add nuw nsw i32 %storemerge2531, 1 30 %cmp2 = icmp ult i32 %inc, 2 31 br i1 %cmp2, label %for.cond4, label %for.inc15 32 33cleanup: ; preds = %if.then, %for.cond4 34 br label %return 35 36for.inc15: ; preds = %for.inc 37; CHECK: for.inc15: 38; CHECK-NEXT: %inc16 = add nuw nsw i32 %storemerge32, 1 39; CHECK-NEXT: %cmp = icmp eq i32 %inc16, 4 40; CHECK-NEXT: br i1 %cmp, label %for.cond18thread-pre-split, label %for.cond1.preheader 41 %inc16 = add nuw nsw i32 %storemerge32, 1 42 %cmp = icmp eq i32 %inc16, 4 43 br i1 %cmp, label %for.cond18thread-pre-split, label %for.cond1.preheader 44 45for.cond18thread-pre-split: ; preds = %for.inc15 46 br i1 1, label %return.loopexit, label %for.inc21.lr.ph 47 48for.inc21.lr.ph: ; preds = %for.cond18thread-pre-split 49 br label %for.inc21 50 51for.inc21: ; preds = %for.inc21, %for.inc21.lr.ph 52 %1 = phi i32 [ undef, %for.inc21.lr.ph ], [ %inc22, %for.inc21 ] 53 %inc22 = add nsw i32 %1, 1 54 br i1 true, label %for.cond18.return.loopexit_crit_edge, label %for.inc21 55 56for.cond18.return.loopexit_crit_edge: ; preds = %for.inc21 57 br label %return.loopexit 58 59return.loopexit: ; preds = %for.cond18.return.loopexit_crit_edge, %for.cond18thread-pre-split 60 br label %return 61 62return: ; preds = %return.loopexit, %cleanup 63 ret i8 undef 64} 65