30 lines · plain
1; RUN: opt < %s -passes='print<postdomtree>' 2>&1 | FileCheck %s2 3@a = external global i32, align 44 5define void @fn1() {6entry:7 store i32 5, ptr @a, align 48 %call = call i32 (...) @foo()9 %tobool = icmp ne i32 %call, 010 br i1 %tobool, label %if.then, label %if.end11 12if.then: ; preds = %entry13 br label %loop14 15loop: ; preds = %loop, %if.then16 br label %loop17 18if.end: ; preds = %entry19 store i32 6, ptr @a, align 420 ret void21}22 23declare i32 @foo(...)24 25; CHECK: Inorder PostDominator Tree:26; CHECK-NEXT: [1] <<exit node>>27; CHECK: [2] %loop28; CHECK-NEXT: [3] %if.then29; CHECK: Roots: %if.end %loop30