diff options
| author | David Blaikie <dblaikie@gmail.com> | 2015-04-17 06:40:14 +0000 |
|---|---|---|
| committer | David Blaikie <dblaikie@gmail.com> | 2015-04-17 06:40:14 +0000 |
| commit | dbe6e0f17187f02c836bbd34b8b153dd83225b59 (patch) | |
| tree | 8de52267f95b8b60b0d6c02fa2bffe4979073214 /llvm/test/Bitcode | |
| parent | e6aba2806cc3380b7c2cb29aa6ceba8af4c71534 (diff) | |
| download | bcm5719-llvm-dbe6e0f17187f02c836bbd34b8b153dd83225b59.tar.gz bcm5719-llvm-dbe6e0f17187f02c836bbd34b8b153dd83225b59.zip | |
[opaque pointer type] Explicit pointee type for call instruction
Use an extra bit in the CCInfo to flag the newer version of the
instructiont hat includes the type explicitly.
Tested the newer error cases I added, but didn't add tests for the finer
granularity improvements to existing error paths.
llvm-svn: 235160
Diffstat (limited to 'llvm/test/Bitcode')
| -rw-r--r-- | llvm/test/Bitcode/Inputs/invalid-call-mismatched-explicit-type.bc | bin | 0 -> 1316 bytes | |||
| -rw-r--r-- | llvm/test/Bitcode/Inputs/invalid-call-non-function-explicit-type.bc | bin | 0 -> 1316 bytes | |||
| -rw-r--r-- | llvm/test/Bitcode/invalid.test | 6 |
3 files changed, 6 insertions, 0 deletions
diff --git a/llvm/test/Bitcode/Inputs/invalid-call-mismatched-explicit-type.bc b/llvm/test/Bitcode/Inputs/invalid-call-mismatched-explicit-type.bc Binary files differnew file mode 100644 index 00000000000..802d28edbf4 --- /dev/null +++ b/llvm/test/Bitcode/Inputs/invalid-call-mismatched-explicit-type.bc diff --git a/llvm/test/Bitcode/Inputs/invalid-call-non-function-explicit-type.bc b/llvm/test/Bitcode/Inputs/invalid-call-non-function-explicit-type.bc Binary files differnew file mode 100644 index 00000000000..d080689e567 --- /dev/null +++ b/llvm/test/Bitcode/Inputs/invalid-call-non-function-explicit-type.bc diff --git a/llvm/test/Bitcode/invalid.test b/llvm/test/Bitcode/invalid.test index 9cab227ab19..5c6e280024c 100644 --- a/llvm/test/Bitcode/invalid.test +++ b/llvm/test/Bitcode/invalid.test @@ -18,6 +18,10 @@ RUN: not llvm-dis -disable-output %p/Inputs/invalid-load-mismatched-explicit-typ RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-LOAD %s RUN: not llvm-dis -disable-output %p/Inputs/invalid-gep-operator-mismatched-explicit-type.bc 2>&1 | \ RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-GEP-OPERATOR %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-call-mismatched-explicit-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-CALL %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-call-non-function-explicit-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=NON-FUNCTION-EXPLICIT-CALL %s INVALID-ENCODING: Invalid encoding BAD-ABBREV: Abbreviation starts with an Array or a Blob @@ -29,6 +33,8 @@ BAD-ALIGN: Invalid alignment value MISMATCHED-EXPLICIT-GEP: Explicit gep type does not match pointee type of pointer operand MISMATCHED-EXPLICIT-LOAD: Explicit load type does not match pointee type of pointer operand MISMATCHED-EXPLICIT-GEP-OPERATOR: Explicit gep operator type does not match pointee type of pointer operand +MISMATCHED-EXPLICIT-CALL: Explicit call type does not match pointee type of callee operand +NON-FUNCTION-EXPLICIT-CALL: Explicit call type is not a function type RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-array-idx.bc 2>&1 | \ RUN: FileCheck --check-prefix=EXTRACT-ARRAY %s |
