| 123456789101112131415161718192021222324 |
- ; RUN: opt < %s -postdomtree -analyze | FileCheck %s
- define internal void @f() {
- entry:
- br i1 1, label %a, label %b
- a:
- br label %c
- b:
- br label %c
- c:
- br i1 undef, label %bb35, label %bb3.i
- bb3.i:
- br label %bb3.i
- bb35.loopexit3:
- br label %bb35
- bb35:
- ret void
- }
- ; CHECK: [4] %entry
|