Author: lattner
Date: Wed Oct 31 23:43:13 2007
New Revision: 43603
URL: http://llvm.org/viewvc/llvm-project?rev=43603&view=rev
Log:
remove verifier command line option: this should be part of the API, not
a command line optn.
Modified:
llvm/trunk/lib/VMCore/Verifier.cpp
Modified: llvm/trunk/lib/VMCore/Verifier.cpp
URL:
http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/Verifier.cpp?rev=43603&r1=43602&r2=43603&view=diff
==============================================================================
--- llvm/trunk/lib/VMCore/Verifier.cpp (original)
+++ llvm/trunk/lib/VMCore/Verifier.cpp Wed Oct 31 23:43:13 2007
@@ -60,7 +60,6 @@
#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>
@@ -68,10 +67,6 @@
using namespace llvm;
namespace { // Anonymous namespace for class
- cl::opt<bool>
- Pedantic("verify-pedantic",
- cl::desc("Reject code with undefined behaviour"));
-
struct VISIBILITY_HIDDEN PreVerifier : public FunctionPass {
static char ID; // Pass ID, replacement for typeid
@@ -830,12 +825,6 @@
CI.getOperand(i+1), FTy->getParamType(i), &CI);
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);
}
_______________________________________________
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
