diff options
| author | Philip Reames <listmail@philipreames.com> | 2015-06-26 21:39:44 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2015-06-26 21:39:44 +0000 |
| commit | a3c6f0048cbb703da2c1ee3a7f40d134c68f861c (patch) | |
| tree | ab383893362676788bdadb17a33060362d6cf9a0 /llvm/lib/CodeGen/MachineFunction.cpp | |
| parent | 06b298e4b6a8964295fd30950028be7529633779 (diff) | |
| download | llvm-a3c6f0048cbb703da2c1ee3a7f40d134c68f861c.zip llvm-a3c6f0048cbb703da2c1ee3a7f40d134c68f861c.tar.gz llvm-a3c6f0048cbb703da2c1ee3a7f40d134c68f861c.tar.bz2 | |
[Verifier] Verify invokes of intrinsics
We support invoking a subset of llvm's intrinsics, but the verifier didn't account for this. We had previously added a special case to verify invokes of statepoints. By generalizing the code in terms of CallSite, we can verify invokes of other intrinsics as well. Interestingly, this found one test case which was invalid.
Note: I'm deliberately leaving the naming change from CI to CS to a follow up change. That will happen shortly, I just wanted to reduce the diff to make it clear what was happening with this one.
Differential Revision: http://reviews.llvm.org/D10118
llvm-svn: 240836
Diffstat (limited to 'llvm/lib/CodeGen/MachineFunction.cpp')
0 files changed, 0 insertions, 0 deletions