OLD | NEW |
1 ; Check when separator(,) not followed by a value. | 1 ; Check when separator(,) not followed by a value. |
2 | 2 |
3 RUN: not pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-separator.tbc \ | 3 RUN: not pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-separator.tbc \ |
4 RUN: -output - 2>&1 | FileCheck --check-prefix=BAD-SEP %s | 4 RUN: -output - 2>&1 | FileCheck --check-prefix=BAD-SEP %s |
5 | 5 |
6 BAD-SEP: Value expected after separator, but not found | 6 BAD-SEP: Value expected after separator, but not found |
7 | 7 |
8 ; Check that comparison operator of branch is i1. | 8 ; Check that comparison operator of branch is i1. |
9 | 9 |
10 RUN: pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-branch-compare.tbc \ | 10 RUN: pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-branch-compare.tbc \ |
11 RUN: -output - | not pnacl-bcdis | FileCheck --check-prefix=BAD-BC-BR-CMP %s | 11 RUN: -output - | not pnacl-bcdis | FileCheck --check-prefix=BAD-BC-BR-CMP %s |
12 | 12 |
13 BAD-BC-BR-CMP: br i32 %p0, label %b1, label %b2; | 13 BAD-BC-BR-CMP: br i32 %p0, label %b1, label %b2; |
14 BAD-BC-BR-CMP-NEXT: Branch condition not i1 | 14 BAD-BC-BR-CMP-NEXT: Branch condition not i1 |
15 | 15 |
16 RUN: pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-branch-compare.tbc \ | 16 RUN: pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-branch-compare.tbc \ |
17 RUN: -output - | not pnacl-thaw -verbose-parse-errors -o /dev/null 2>&1 \ | 17 RUN: -output - | not pnacl-thaw -o /dev/null 2>&1 \ |
18 RUN: | FileCheck --check-prefix=BAD-BR-CMP %s | 18 RUN: | FileCheck --check-prefix=BAD-BR-CMP %s |
19 | 19 |
20 BAD-BR-CMP: Type of branch condition not i1. Found: i32 | 20 BAD-BR-CMP: Type of branch condition not i1. Found: i32 |
21 | 21 |
22 ; Tests that we recognize wrong abbreviation index bitsize in a blockinfo block, | 22 ; Tests that we recognize wrong abbreviation index bitsize in a blockinfo block, |
23 ; and properly exit with an appropriate error message. | 23 ; and properly exit with an appropriate error message. |
24 ; Tests issue: https://code.google.com/p/nativeclient/issues/detail?id=4215 | 24 ; Tests issue: https://code.google.com/p/nativeclient/issues/detail?id=4215 |
25 RUN: not pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-blockinfo-numbits.tbc \ | 25 RUN: not pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-blockinfo-numbits.tbc \ |
26 RUN: -output - 2>&1 | FileCheck --check-prefix=BAD-BLKINFO_BITS %s | 26 RUN: -output - 2>&1 | FileCheck --check-prefix=BAD-BLKINFO_BITS %s |
27 | 27 |
28 BAD-BLKINFO_BITS: Numbits entry for abbreviations in blockinfo block not 2. | 28 BAD-BLKINFO_BITS: Numbits entry for abbreviations in blockinfo block not 2. |
29 BAD-BLKINFO_BITS: Failed to write bitcode | 29 BAD-BLKINFO_BITS: Failed to write bitcode |
30 | 30 |
31 ; Check that we catch error where line doesn't begin with a record code. | 31 ; Check that we catch error where line doesn't begin with a record code. |
32 | 32 |
33 RUN: not pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-code.tbc \ | 33 RUN: not pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-code.tbc \ |
34 RUN: -output - 2>&1 | FileCheck --check-prefix=BAD-CODE %s | 34 RUN: -output - 2>&1 | FileCheck --check-prefix=BAD-CODE %s |
35 | 35 |
36 BAD-CODE: Bitcode record doesn't begin with a record code | 36 BAD-CODE: Bitcode record doesn't begin with a record code |
OLD | NEW |