; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -disable-output define void @polnel_() { entry: %tmp595 = icmp slt i32 0, 0 ; <i1> [#uses=4] br i1 %tmp595, label %bb148.critedge, label %cond_true40 bb36: ; preds = %bb43 br i1 %tmp595, label %bb43, label %cond_true40 cond_true40: ; preds = %bb46, %cond_true40, %bb36, %entry %tmp397 = icmp sgt i32 0, 0 ; <i1> [#uses=1] br i1 %tmp397, label %bb43, label %cond_true40 bb43: ; preds = %cond_true40, %bb36 br i1 false, label %bb53, label %bb36 bb46: ; preds = %bb53 br i1 %tmp595, label %bb53, label %cond_true40 bb53: ; preds = %bb46, %bb43 br i1 false, label %bb102, label %bb46 bb92.preheader: ; preds = %bb102 ret void bb102: ; preds = %bb53 br i1 %tmp595, label %bb148, label %bb92.preheader bb148.critedge: ; preds = %entry ret void bb148: ; preds = %bb102 ret void }