Verifier: Check composite type template params
authorDuncan P. N. Exon Smith <dexonsmith@apple.com>
Mon, 6 Apr 2015 17:04:58 +0000 (17:04 +0000)
committerDuncan P. N. Exon Smith <dexonsmith@apple.com>
Mon, 6 Apr 2015 17:04:58 +0000 (17:04 +0000)
commitfe42afc0e5044373279d3bbf36b82b87ce5b3819
tree54fad912c6608003166156e3b2ef4b56a677a231
parentb508daa9c2f69d38fd939765530ec0b03373175f
Verifier: Check composite type template params

Add missing checks for `templateParams:` in `MDCompositeType`.  Pull the
current check for `MDSubprogram` to reduce duplicated code and fix it up
to print a good message when the immediate operand isn't an `MDTuple`
(as a drive-by, make the same fix to `variables:` in `MDSubprogram`).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@234177 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Verifier.cpp
test/Assembler/debug-info.ll
test/Verifier/mdcompositetype-templateparams-tuple.ll [new file with mode: 0644]
test/Verifier/mdcompositetype-templateparams.ll [new file with mode: 0644]