| Dan Gohman | 8043960 | 2009-11-05 21:14:46 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -loopsimplify -lcssa -verify-loop-info -verify-dom-info -S \ |
| 2 | ; RUN: | grep -F {indirectbr i8* %x, \[label %L0, label %L1\]} \ |
| 3 | ; RUN: | count 6 |
| 4 | |
| 5 | ; LoopSimplify should not try to transform loops when indirectbr is involved. |
| 6 | |
| 7 | define void @entry(i8* %x) { |
| 8 | entry: |
| 9 | indirectbr i8* %x, [ label %L0, label %L1 ] |
| 10 | |
| 11 | L0: |
| 12 | br label %L0 |
| 13 | |
| 14 | L1: |
| 15 | ret void |
| 16 | } |
| 17 | |
| 18 | define void @backedge(i8* %x) { |
| 19 | entry: |
| 20 | br label %L0 |
| 21 | |
| 22 | L0: |
| 23 | br label %L1 |
| 24 | |
| 25 | L1: |
| 26 | indirectbr i8* %x, [ label %L0, label %L1 ] |
| 27 | } |
| 28 | |
| 29 | define i64 @exit(i8* %x) { |
| 30 | entry: |
| 31 | br label %L2 |
| 32 | |
| 33 | L2: |
| 34 | %z = bitcast i64 0 to i64 |
| 35 | indirectbr i8* %x, [ label %L0, label %L1 ] |
| 36 | |
| 37 | L0: |
| 38 | br label %L2 |
| 39 | |
| 40 | L1: |
| 41 | ret i64 %z |
| 42 | } |
| 43 | |
| 44 | define i64 @criticalexit(i8* %x, i1 %a) { |
| 45 | entry: |
| 46 | br i1 %a, label %L1, label %L2 |
| 47 | |
| 48 | L2: |
| 49 | %z = bitcast i64 0 to i64 |
| 50 | indirectbr i8* %x, [ label %L0, label %L1 ] |
| 51 | |
| 52 | L0: |
| 53 | br label %L2 |
| 54 | |
| 55 | L1: |
| 56 | %y = phi i64 [ %z, %L2 ], [ 1, %entry ] |
| 57 | ret i64 %y |
| 58 | } |
| 59 | |
| 60 | define i64 @exit_backedge(i8* %x) { |
| 61 | entry: |
| 62 | br label %L0 |
| 63 | |
| 64 | L0: |
| 65 | %z = bitcast i64 0 to i64 |
| 66 | indirectbr i8* %x, [ label %L0, label %L1 ] |
| 67 | |
| 68 | L1: |
| 69 | ret i64 %z |
| 70 | } |
| 71 | |
| 72 | define i64 @criticalexit_backedge(i8* %x, i1 %a) { |
| 73 | entry: |
| 74 | br i1 %a, label %L0, label %L1 |
| 75 | |
| 76 | L0: |
| 77 | %z = bitcast i64 0 to i64 |
| 78 | indirectbr i8* %x, [ label %L0, label %L1 ] |
| 79 | |
| 80 | L1: |
| 81 | %y = phi i64 [ %z, %L0 ], [ 1, %entry ] |
| 82 | ret i64 %y |
| 83 | } |