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)
commit936c56393c99e9268e787baee382614c1df12451
tree9470550f84d2a952f0d88b92356c4f224020f06c
parent220d08d942ab0df3211388e602ed34fa6139ca61
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`).

llvm-svn: 234177
llvm/lib/IR/Verifier.cpp
llvm/test/Assembler/debug-info.ll
llvm/test/Verifier/mdcompositetype-templateparams-tuple.ll [new file with mode: 0644]
llvm/test/Verifier/mdcompositetype-templateparams.ll [new file with mode: 0644]