Lint.cpp File Reference

#include "llvm/Analysis/Lint.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/AssumptionTracker.h"
#include "llvm/Analysis/ConstantFolding.h"
#include "llvm/Analysis/InstructionSimplify.h"
#include "llvm/Analysis/Loads.h"
#include "llvm/Analysis/Passes.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/CallSite.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/InstVisitor.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/Pass.h"
#include "llvm/PassManager.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Target/TargetLibraryInfo.h"

Include dependency graph for Lint.cpp:

Go to the source code of this file.

Namespaces
namespace	MemRef
Defines
#define	Assert(C, M)   do { if (!(C)) { CheckFailed(M); return; } } while (0)
#define	Assert1(C, M, V1)   do { if (!(C)) { CheckFailed(M, V1); return; } } while (0)
#define	Assert2(C, M, V1, V2)   do { if (!(C)) { CheckFailed(M, V1, V2); return; } } while (0)
#define	Assert3(C, M, V1, V2, V3)   do { if (!(C)) { CheckFailed(M, V1, V2, V3); return; } } while (0)
#define	Assert4(C, M, V1, V2, V3, V4)   do { if (!(C)) { CheckFailed(M, V1, V2, V3, V4); return; } } while (0)
Functions
	INITIALIZE_PASS_BEGIN (Lint,"lint","Statically lint-checks LLVM IR", false, true) INITIALIZE_PASS_END(Lint
static bool	isZero (Value *V, const DataLayout *DL, DominatorTree *DT, AssumptionTracker *AT)
Variables
	lint
Statically lint checks LLVM	IR
Statically lint checks LLVM	false

---

Define Documentation

#define Assert	(		C,
			M
	)		do { if (!(C)) { CheckFailed(M); return; } } while (0)

Definition at line 165 of file Lint.cpp.

Referenced by LowerEXTRACT_VECTOR_ELT_SSE4().

#define Assert1	(		C,
			M,
			V1
	)		do { if (!(C)) { CheckFailed(M, V1); return; } } while (0)

Definition at line 167 of file Lint.cpp.

#define Assert2	(		C,
			M,
			V1,
			V2
	)		do { if (!(C)) { CheckFailed(M, V1, V2); return; } } while (0)

Definition at line 169 of file Lint.cpp.

#define Assert3	(		C,
			M,
			V1,
			V2,
			V3
	)		do { if (!(C)) { CheckFailed(M, V1, V2, V3); return; } } while (0)

Definition at line 171 of file Lint.cpp.

#define Assert4	(		C,
			M,
			V1,
			V2,
			V3,
			V4
	)		do { if (!(C)) { CheckFailed(M, V1, V2, V3, V4); return; } } while (0)

Definition at line 173 of file Lint.cpp.

---

Function Documentation

INITIALIZE_PASS_BEGIN	(	Lint	,
		"lint"	,
		"Statically lint-checks LLVM IR"	,
		false	,
		true
	)

static bool isZero	(	Value *	V,
		const DataLayout *	DL,
		DominatorTree *	DT,
		AssumptionTracker *	AT
	)		[static]

Definition at line 512 of file Lint.cpp.

References llvm::CallingConv::C, llvm::computeKnownBits(), llvm::dyn_cast(), llvm::Constant::getAggregateElement(), llvm::SequentialType::getElementType(), llvm::Type::getIntegerBitWidth(), llvm::VectorType::getNumElements(), llvm::Value::getType(), I, llvm::Constant::isZeroValue(), and N.

Referenced by buildGEP(), llvm::InstCombiner::FoldCmpLoadFromIndexedGlobal(), llvm::ConstantStruct::get(), llvm::ScaledNumber< DigitsT >::operator*=(), llvm::ScaledNumber< DigitsT >::operator/=(), and llvm::PPCTargetLowering::PerformDAGCombine().

---

Variable Documentation

Statically lint checks LLVM false

Definition at line 161 of file Lint.cpp.

Statically lint checks LLVM IR

Definition at line 161 of file Lint.cpp.

lint

Definition at line 161 of file Lint.cpp.