| ; RUN: opt < %s -simplifycfg -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 | |
| } | |