OLD | NEW |
(Empty) | |
| 1 ; Test that we no longer put VECTOR/ARRAY type entries, associated with |
| 2 ; switch instructions, into the bitcode file. |
| 3 |
| 4 ; RUN: llvm-as < %s | pnacl-freeze \ |
| 5 ; RUN: | pnacl-bcanalyzer -dump-records \ |
| 6 ; RUN: | FileCheck %s -check-prefix=PF2 |
| 7 |
| 8 ; Test case where we switch on a variable. |
| 9 define void @SwitchVariable(i32) { |
| 10 switch i32 %0, label %l1 [ |
| 11 i32 1, label %l2 |
| 12 i32 2, label %l2 |
| 13 i32 4, label %l3 |
| 14 i32 5, label %l3 |
| 15 ] |
| 16 br label %end |
| 17 l1: |
| 18 br label %end |
| 19 l2: |
| 20 br label %end |
| 21 l3: |
| 22 br label %end |
| 23 end: |
| 24 ret void |
| 25 } |
| 26 |
| 27 ; Test case where we switch on a constant. |
| 28 define void @SwitchConstant(i32) { |
| 29 switch i32 3, label %l1 [ |
| 30 i32 1, label %l2 |
| 31 i32 2, label %l2 |
| 32 i32 4, label %l3 |
| 33 i32 5, label %l3 |
| 34 ] |
| 35 br label %end |
| 36 l1: |
| 37 br label %end |
| 38 l2: |
| 39 br label %end |
| 40 l3: |
| 41 br label %end |
| 42 end: |
| 43 ret void |
| 44 } |
| 45 |
| 46 ; PF2: <TYPE_BLOCK_ID> |
| 47 ; PF2-NEXT: <NUMENTRY op0=3/> |
| 48 ; PF2-NEXT: <VOID/> |
| 49 ; PF2-NEXT: <INTEGER op0=32/> |
| 50 ; PF2-NEXT: <FUNCTION op0={{.*}} op1={{.*}} op2={{.*}}/> |
| 51 ; PF2-NEXT: </TYPE_BLOCK_ID> |
OLD | NEW |