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