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