3 ;; This is an irreducible flow graph
6 void "irreducible"(bool %cond)
8 br bool %cond, label %X, label %Y
16 ;; This is a pair of loops that share the same header
18 void "sharedheader"(bool %cond)
22 br bool %cond, label %X, label %Y
30 ;; This is a simple nested loop
31 void "nested"(bool %cond1, bool %cond2, bool %cond3)
42 br bool %cond3, label %Loop3, label %L3Exit
45 br bool %cond2, label %Loop2, label %L2Exit
48 br bool %cond1, label %Loop1, label %L1Exit