| Hongbin Zheng | 751337f | 2016-02-25 17:54:15 +0000 | [diff] [blame^] | 1 | ; REQUIRES: asserts |
| 2 | ; RUN: opt < %s -passes='print<domfrontier>' 2>&1 | FileCheck %s |
| 3 | |
| 4 | define void @a_linear_impl_fig_1() nounwind { |
| 5 | 0: |
| 6 | br label %"1" |
| 7 | 1: |
| 8 | br label %"2" |
| 9 | 2: |
| 10 | br label %"3" |
| 11 | 3: |
| 12 | br i1 1, label %"13", label %"4" |
| 13 | 4: |
| 14 | br i1 1, label %"5", label %"1" |
| 15 | 5: |
| 16 | br i1 1, label %"8", label %"6" |
| 17 | 6: |
| 18 | br i1 1, label %"7", label %"4" |
| 19 | 7: |
| 20 | ret void |
| 21 | 8: |
| 22 | br i1 1, label %"9", label %"1" |
| 23 | 9: |
| 24 | br label %"10" |
| 25 | 10: |
| 26 | br i1 1, label %"12", label %"11" |
| 27 | 11: |
| 28 | br i1 1, label %"9", label %"8" |
| 29 | 13: |
| 30 | br i1 1, label %"2", label %"1" |
| 31 | 12: |
| 32 | switch i32 0, label %"1" [ i32 0, label %"9" |
| 33 | i32 1, label %"8"] |
| 34 | } |
| 35 | |
| 36 | ; CHECK: DominanceFrontier for function: a_linear_impl_fig_1 |
| 37 | ; CHECK-DAG: DomFrontier for BB %"0" is: |
| 38 | ; CHECK-DAG: DomFrontier for BB %"11" is: %"8" %"9" |
| 39 | ; CHECK-DAG: DomFrontier for BB %"1" is: %"1" |
| 40 | ; CHECK-DAG: DomFrontier for BB %"2" is: %"1" %"2" |
| 41 | ; CHECK-DAG: DomFrontier for BB %"3" is: %"1" %"2" |
| 42 | ; CHECK-DAG: DomFrontier for BB %"13" is: %"1" %"2" |
| 43 | ; CHECK-DAG: DomFrontier for BB %"4" is: %"1" %"4" |
| 44 | ; CHECK-DAG: DomFrontier for BB %"5" is: %"1" %"4" |
| 45 | ; CHECK-DAG: DomFrontier for BB %"8" is: %"1" %"8" |
| 46 | ; CHECK-DAG: DomFrontier for BB %"6" is: %"4" |
| 47 | ; CHECK-DAG: DomFrontier for BB %"7" is: |
| 48 | ; CHECK-DAG: DomFrontier for BB %"9" is: %"1" %"8" %"9" |
| 49 | ; CHECK-DAG: DomFrontier for BB %"10" is: %"1" %"8" %"9" |
| 50 | ; CHECK-DAG: DomFrontier for BB %"12" is: %"1" %"8" %"9" |