|  | ; 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 |