1; RUN: opt < %s -passes='print<postdomtree>' 2>&1 | FileCheck %s 2 3@a = external global i32, align 4 4 5define void @fn1() { 6entry: 7 store i32 5, ptr @a, align 4 8 %call = call i32 (...) @foo() 9 %tobool = icmp ne i32 %call, 0 10 br i1 %tobool, label %if.then, label %if.end 11 12if.then: ; preds = %entry, %loop 13 br label %loop 14 15loop: ; preds = %loop, %if.then 16 %0 = load i32, ptr @a, align 4 17 call void @bar(i32 %0) 18 br i1 true, label %loop, label %if.then 19 20if.end: ; preds = %entry 21 store i32 6, ptr @a, align 4 22 ret void 23} 24 25declare i32 @foo(...) 26declare void @bar(i32) 27 28 29; CHECK: Inorder PostDominator Tree: 30; CHECK-NEXT: [1] <<exit node>> 31; CHECK: [2] %loop 32; CHECK-NEXT: [3] %if.then 33; CHECK: Roots: %if.end %loop 34