[opaque pointer type] Explicit pointee type for call instruction
authorDavid Blaikie <dblaikie@gmail.com>
Fri, 17 Apr 2015 06:40:14 +0000 (06:40 +0000)
committerDavid Blaikie <dblaikie@gmail.com>
Fri, 17 Apr 2015 06:40:14 +0000 (06:40 +0000)
commit5023f151a7501d68d7c0f2bf94f0fb6badb93ae8
tree7aa53b08676b189c94f36468fb8e9e051f3f167a
parent86f714d4be7b940671338a64746325d083cc00ca
[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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@235160 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Bitcode/Reader/BitcodeReader.cpp
lib/Bitcode/Writer/BitcodeWriter.cpp
test/Bitcode/Inputs/invalid-call-mismatched-explicit-type.bc [new file with mode: 0644]
test/Bitcode/Inputs/invalid-call-non-function-explicit-type.bc [new file with mode: 0644]
test/Bitcode/invalid.test