A few more checks for gc.statepoints in the Verifier
authorPhilip Reames <listmail@philipreames.com>
Thu, 4 Dec 2014 00:01:48 +0000 (00:01 +0000)
committerPhilip Reames <listmail@philipreames.com>
Thu, 4 Dec 2014 00:01:48 +0000 (00:01 +0000)
commita7eb3cb46e83a6c275cd212c95497627e157aa98
treeae78c6c492b9a443710e126cf66f1adf8490d91a
parent12084a24750f1b10f9ffe93e5b7d0e14d76ab8c6
A few more checks for gc.statepoints in the Verifier

This is simply a grab bag of unrelated checks:
- A statepoint call can't be marked readonly or readnone
- We don't currently support inline asm or varadic target functions.  Both could be supported, but don't currently work.
- I forgot to check that the number of call arguments actually matched the wrapped callee in my previous change.  Included here.

llvm-svn: 223322
llvm/lib/IR/Verifier.cpp