Lint.cpp File Reference

#include "llvm/Analysis/Lint.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/ConstantFolding.h"
#include "llvm/Analysis/Dominators.h"
#include "llvm/Analysis/InstructionSimplify.h"
#include "llvm/Analysis/Loads.h"
#include "llvm/Analysis/Passes.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/Assembly/Writer.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/InstVisitor.h"
#include "llvm/Pass.h"
#include "llvm/PassManager.h"
#include "llvm/Support/CallSite.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
	MemRef

Macros
#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, DataLayout *DL)

Variables
	lint
Statically lint checks LLVM	IR
Statically lint checks LLVM	false

Macro Definition Documentation

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

Definition at line 162 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 164 of file Lint.cpp.

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

Definition at line 166 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 168 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 170 of file Lint.cpp.

Function Documentation

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

static bool isZero ( Value *  V, DataLayout *  DL  )

static

Definition at line 507 of file Lint.cpp.

References llvm::CallingConv::C, llvm::ComputeMaskedBits(), 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::ConstantVector::get(), and llvm::PPCTargetLowering::PerformDAGCombine().

Variable Documentation

Statically lint checks LLVM false

Definition at line 158 of file Lint.cpp.

Statically lint checks LLVM IR

Definition at line 158 of file Lint.cpp.

lint

Definition at line 158 of file Lint.cpp.