OLD | NEW |
1 ; Tests that we check if the element being inserted into a vector is of the | 1 ; Tests that we check if the element being inserted into a vector is of the |
2 ; right type. | 2 ; right type. |
3 | 3 |
4 ; REQUIRES: no_minimal_build | 4 ; REQUIRES: no_minimal_build |
5 | 5 |
6 ; RUN: not %pnacl_sz -bitcode-as-text \ | 6 ; RUN: not %pnacl_sz -bitcode-as-text -allow-externally-defined-symbols \ |
7 ; RUN: %p/Inputs/insertelt-wrong-type.tbc \ | 7 ; RUN: %p/Inputs/insertelt-wrong-type.tbc \ |
8 ; RUN: -bitcode-format=pnacl -notranslate -build-on-read 2>&1 \ | 8 ; RUN: -bitcode-format=pnacl -notranslate -build-on-read 2>&1 \ |
9 ; RUN: | FileCheck %s | 9 ; RUN: | FileCheck %s |
10 | 10 |
11 ; CHECK: Insertelement: Element type i8 doesn't match vector type <16 x i1> | 11 ; CHECK: Insertelement: Element type i8 doesn't match vector type <16 x i1> |
12 | 12 |
13 ; RUN: pnacl-bcfuzz -bitcode-as-text \ | 13 ; RUN: pnacl-bcfuzz -bitcode-as-text \ |
14 ; RUN: %p/Inputs/insertelt-wrong-type.tbc -output - \ | 14 ; RUN: %p/Inputs/insertelt-wrong-type.tbc -output - \ |
15 ; RUN: | not pnacl-bcdis -no-records | FileCheck -check-prefix=ASM %s | 15 ; RUN: | not pnacl-bcdis -no-records | FileCheck -check-prefix=ASM %s |
16 | 16 |
17 ; ASM: function void @f0(<16 x i1> %p0) { // BlockID = 12 | 17 ; ASM: function void @f0(<16 x i1> %p0) { // BlockID = 12 |
18 ; ASM: blocks 1; | 18 ; ASM: blocks 1; |
19 ; ASM: constants { // BlockID = 11 | 19 ; ASM: constants { // BlockID = 11 |
20 ; ASM: i1: | 20 ; ASM: i1: |
21 ; ASM: %c0 = i1 1; | 21 ; ASM: %c0 = i1 1; |
22 ; ASM: i8: | 22 ; ASM: i8: |
23 ; ASM: %c1 = i8 1; | 23 ; ASM: %c1 = i8 1; |
24 ; ASM: i32: | 24 ; ASM: i32: |
25 ; ASM: %c2 = i32 0; | 25 ; ASM: %c2 = i32 0; |
26 ; ASM: } | 26 ; ASM: } |
27 ; ASM: %b0: | 27 ; ASM: %b0: |
28 ; ASM: %v0 = add i8 %c1, %c1; | 28 ; ASM: %v0 = add i8 %c1, %c1; |
29 ; ASM: %v1 = insertelement <16 x i1> %p0, i8 %c1, i32 %c2; | 29 ; ASM: %v1 = insertelement <16 x i1> %p0, i8 %c1, i32 %c2; |
30 ; ASM: Error(128:0): insertelement: Illegal element type i8. Expected: i1 | 30 ; ASM: Error(128:0): insertelement: Illegal element type i8. Expected: i1 |
31 ; ASM: ret void; | 31 ; ASM: ret void; |
32 ; ASM: } | 32 ; ASM: } |
OLD | NEW |