OLD | NEW |
(Empty) | |
| 1 ; Test unreachable statement (without worrying if legal in context). |
| 2 |
| 3 ; RUN: llvm-as < %s | pnacl-freeze | pnacl-bccompress --remove-abbreviations \ |
| 4 ; RUN: | pnacl-bcdis | FileCheck %s |
| 5 |
| 6 |
| 7 |
| 8 ; Note: This code only tests parsing of unreachable, not correctness |
| 9 ; of use. |
| 10 define void @TestUnreach(i32 %p0) { |
| 11 |
| 12 ; CHECK: | | %b0: |
| 13 |
| 14 %v0 = trunc i32 %p0 to i1 |
| 15 br i1 %v0, label %b1, label %b2 |
| 16 |
| 17 b1: |
| 18 br i1 %v0, label %b3, label %b4 |
| 19 |
| 20 b2: |
| 21 br i1 %v0, label %b5, label %b3 |
| 22 |
| 23 |
| 24 b3: |
| 25 unreachable |
| 26 |
| 27 ; CHECK: | | %b3: |
| 28 ; CHECK-NEXT: {{.*}}| 3: <15> | unreachable; |
| 29 |
| 30 b4: |
| 31 unreachable |
| 32 |
| 33 ; CHECK: | | %b4: |
| 34 ; CHECK-NEXT: {{.*}}| 3: <15> | unreachable; |
| 35 |
| 36 b5: |
| 37 unreachable |
| 38 |
| 39 ; CHECK: | | %b5: |
| 40 ; CHECK-NEXT: {{.*}}| 3: <15> | unreachable; |
| 41 |
| 42 } |
OLD | NEW |