; RUN: opt < %s -postdomtree -analyze | FileCheck %s | |
; RUN: opt < %s -passes='print<postdomtree>' 2>&1 | FileCheck %s | |
; Function Attrs: nounwind ssp uwtable | |
define void @foo() { | |
br label %1 | |
; <label>:1 ; preds = %0, %1 | |
br label %1 | |
; No predecessors! | |
ret void | |
} | |
; CHECK: Inorder PostDominator Tree: | |
; CHECK-NEXT: [1] <<exit node>> | |
; CHECK-NEXT: [2] %2 | |
; CHECK-NEXT: [2] %1 | |
; CHECK-NEXT: [3] %0 |