6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-07-08 18:30:04 +00:00
Code Issues Projects Releases Wiki Activity

Add 'pedantic' mode to verifier rejecting syntactically valid, but 'bad' due to other reasons code

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43424 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Anton Korobeynikov 2007-10-28 22:50:32 +00:00
parent 5973ef40ca
commit 536c64b4d6
1 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
lib/VMCore/Verifier.cpp
View File

@ -60,6 +60,7 @@
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Compiler.h"
#include <algorithm>
#include <sstream>
@ -67,7 +68,10 @@
using namespace llvm;
namespace { // Anonymous namespace for class
cl::opt<bool>
Pedantic("pedantic",
cl::desc("Reject code with undefined behaviour"));
struct VISIBILITY_HIDDEN
Verifier : public FunctionPass, InstVisitor<Verifier> {
static char ID; // Pass ID, replacement for typeid
@ -806,10 +810,17 @@ void Verifier::visitCallInst(CallInst &CI) {
"Call parameter type does not match function signature!",
CI.getOperand(i+1), FTy->getParamType(i), &CI);
if (Function *F = CI.getCalledFunction())
if (Function *F = CI.getCalledFunction()) {
if (Pedantic) {
// Verify that calling convention of Function and CallInst match
Assert1(F->getCallingConv() == CI.getCallingConv(),
"Call uses different calling convention than function", &CI);
}
if (Intrinsic::ID ID = (Intrinsic::ID)F->getIntrinsicID())
visitIntrinsicFunctionCall(ID, CI);
}
visitInstruction(CI);
}