replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

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

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 622be238eb
commit 0ca58b33cf
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
llvm/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);
}