| OLD | NEW |
| 1 ; RUN: pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
| 2 | 2 |
| 3 @var = internal global [4 x i8] c"xxxx" | 3 @var = internal global [4 x i8] c"xxxx" |
| 4 | 4 |
| 5 | 5 |
| 6 ; CHECK-NOT: disallowed | 6 ; CHECK-NOT: disallowed |
| 7 | 7 |
| 8 define internal void @bad_cases() { | 8 define internal void @bad_cases() { |
| 9 ; ConstantExprs should be rejected here. | 9 ; ConstantExprs should be rejected here. |
| 10 switch i32 ptrtoint ([4 x i8]* @var to i32), label %next [i32 0, label %next] | 10 switch i32 ptrtoint ([4 x i8]* @var to i32), label %next [i32 0, label %next] |
| 11 ; CHECK: disallowed: bad switch condition | 11 ; CHECK: disallowed: bad switch condition |
| (...skipping 10 matching lines...) Expand all Loading... |
| 22 | 22 |
| 23 ; Note that the reader only allows ConstantInts in the label list. | 23 ; Note that the reader only allows ConstantInts in the label list. |
| 24 ; We don't need to check the following, because the reader rejects | 24 ; We don't need to check the following, because the reader rejects |
| 25 ; it: | 25 ; it: |
| 26 ; switch i32 0, label %next [i32 ptrtoint (i32* @ptr to i32), label %next] | 26 ; switch i32 0, label %next [i32 ptrtoint (i32* @ptr to i32), label %next] |
| 27 | 27 |
| 28 ret void | 28 ret void |
| 29 } | 29 } |
| 30 | 30 |
| 31 ; CHECK-NOT: disallowed | 31 ; CHECK-NOT: disallowed |
| OLD | NEW |