| ; RUN: opt < %s -postdomtree -analyze | FileCheck %s | |
| define internal void @f() { | |
| entry: | |
| br i1 undef, label %bb35, label %bb3.i | |
| bb3.i: | |
| br label %bb3.i | |
| bb: | |
| br label %bb35 | |
| bb.i: | |
| br label %bb35 | |
| _float32_unpack.exit: | |
| br label %bb35 | |
| bb.i5: | |
| br label %bb35 | |
| _float32_unpack.exit8: | |
| br label %bb35 | |
| bb32.preheader: | |
| br label %bb35 | |
| bb3: | |
| br label %bb35 | |
| bb3.split.us: | |
| br label %bb35 | |
| bb.i4.us: | |
| br label %bb35 | |
| bb7.i.us: | |
| br label %bb35 | |
| bb.i4.us.backedge: | |
| br label %bb35 | |
| bb1.i.us: | |
| br label %bb35 | |
| bb6.i.us: | |
| br label %bb35 | |
| bb4.i.us: | |
| br label %bb35 | |
| bb8.i.us: | |
| br label %bb35 | |
| bb3.i.loopexit.us: | |
| br label %bb35 | |
| bb.nph21: | |
| br label %bb35 | |
| bb4: | |
| br label %bb35 | |
| bb5: | |
| br label %bb35 | |
| bb14.preheader: | |
| br label %bb35 | |
| bb.nph18: | |
| br label %bb35 | |
| bb8.us.preheader: | |
| br label %bb35 | |
| bb8.preheader: | |
| br label %bb35 | |
| bb8.us: | |
| br label %bb35 | |
| bb8: | |
| br label %bb35 | |
| bb15.loopexit: | |
| br label %bb35 | |
| bb15.loopexit2: | |
| br label %bb35 | |
| bb15: | |
| br label %bb35 | |
| bb16: | |
| br label %bb35 | |
| bb17.loopexit.split: | |
| br label %bb35 | |
| bb.nph14: | |
| br label %bb35 | |
| bb19: | |
| br label %bb35 | |
| bb20: | |
| br label %bb35 | |
| bb29.preheader: | |
| br label %bb35 | |
| bb.nph: | |
| br label %bb35 | |
| bb23.us.preheader: | |
| br label %bb35 | |
| bb23.preheader: | |
| br label %bb35 | |
| bb23.us: | |
| br label %bb35 | |
| bb23: | |
| br label %bb35 | |
| bb30.loopexit: | |
| br label %bb35 | |
| bb30.loopexit1: | |
| br label %bb35 | |
| bb30: | |
| br label %bb35 | |
| bb31: | |
| br label %bb35 | |
| bb35.loopexit: | |
| br label %bb35 | |
| bb35.loopexit3: | |
| br label %bb35 | |
| bb35: | |
| ret void | |
| } | |
| ; CHECK: [3] %entry |