projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d59474a) | patch
Make the Verifier more strict about gc.statepoints
authorPhilip Reames <listmail@philipreames.com>
Wed, 3 Dec 2014 19:53:15 +0000 (19:53 +0000)
committerPhilip Reames <listmail@philipreames.com>
Wed, 3 Dec 2014 19:53:15 +0000 (19:53 +0000)
commit38303a329f9334ad961351724bdd38c2c80d4157
tree6daa53e8700501acf68a4cbd1e0bcbb32cf867c2tree | snapshot
parentd59474a6cb86d00a4802f29d455aaec199d7bfbccommit | diff
Make the Verifier more strict about gc.statepoints

The recently added documentation for statepoints claimed that we checked the parameters of the various intrinsics for validity.  This patch adds the code to actually do so.  I also removed a couple of redundant checks for conditions which are checked elsewhere in the Verifier and simplified the logic using the helper functions from Statepoint.h.

llvm-svn: 223259
llvm/lib/IR/Verifier.cpp diff | blob | history
Domain: System / Toolchain;