RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity

Extend the verifier to check usage of 'nonnull' metadata.

Browse Source 
The recently added !nonnull metadata is only valid on loads of pointer type.  

llvm-svn: 220323
This commit is contained in:
Philip Reames 2014-10-21 20:56:29 +00:00
parent 73624b6ac4
commit 2458f7a6d1
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lib/IR/Verifier.cpp
View File

@ -2287,6 +2287,14 @@ void Verifier::visitInstruction(Instruction &I) {
visitRangeMetadata(I, Range, I.getType());
}
if (I.getMetadata(LLVMContext::MD_nonnull)) {
Assert1(I.getType()->isPointerTy(),
"nonnull applies only to pointer types", &I);
Assert1(isa<LoadInst>(I),
"nonnull applies only to load instructions, use attributes"
" for calls or invokes", &I);
}
InstsInThisBlock.insert(&I);
}