| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll |
| 2 | ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll |
| 3 | ; RUN: diff %t1.ll %t2.ll |
| 4 | |
| 5 | implementation |
| 6 | |
| 7 | ;; This is an irreducible flow graph |
| 8 | |
| 9 | |
| 10 | define void "irreducible"(i1 %cond) |
| 11 | begin |
| 12 | br i1 %cond, label %X, label %Y |
| 13 | |
| 14 | X: |
| 15 | br label %Y |
| 16 | Y: |
| 17 | br label %X |
| 18 | end |
| 19 | |
| 20 | ;; This is a pair of loops that share the same header |
| 21 | |
| 22 | define void "sharedheader"(i1 %cond) |
| 23 | begin |
| 24 | br label %A |
| 25 | A: |
| 26 | br i1 %cond, label %X, label %Y |
| 27 | |
| 28 | X: |
| 29 | br label %A |
| 30 | Y: |
| 31 | br label %A |
| 32 | end |
| 33 | |
| 34 | ;; This is a simple nested loop |
| 35 | define void "nested"(i1 %cond1, i1 %cond2, i1 %cond3) |
| 36 | begin |
| 37 | br label %Loop1 |
| 38 | |
| 39 | Loop1: |
| 40 | br label %Loop2 |
| 41 | |
| 42 | Loop2: |
| 43 | br label %Loop3 |
| 44 | |
| 45 | Loop3: |
| 46 | br i1 %cond3, label %Loop3, label %L3Exit |
| 47 | |
| 48 | L3Exit: |
| 49 | br i1 %cond2, label %Loop2, label %L2Exit |
| 50 | |
| 51 | L2Exit: |
| 52 | br i1 %cond1, label %Loop1, label %L1Exit |
| 53 | |
| 54 | L1Exit: |
| 55 | ret void |
| 56 | end |
| 57 | |