LLVM  4.0.0
Namespaces | Macros | Functions | Variables
Lint.cpp File Reference
#include "llvm/Analysis/Lint.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/Twine.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/ConstantFolding.h"
#include "llvm/Analysis/InstructionSimplify.h"
#include "llvm/Analysis/Loads.h"
#include "llvm/Analysis/MemoryLocation.h"
#include "llvm/Analysis/Passes.h"
#include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/Argument.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/CallSite.h"
#include "llvm/IR/Constant.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/GlobalVariable.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/InstVisitor.h"
#include "llvm/IR/InstrTypes.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/LegacyPassManager.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Value.h"
#include "llvm/Pass.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/raw_ostream.h"
#include <cassert>
#include <cstdint>
#include <iterator>
#include <string>
Include dependency graph for Lint.cpp:

Go to the source code of this file.

Namespaces

 MemRef
 

Macros

#define Assert(C,...)   do { if (!(C)) { CheckFailed(__VA_ARGS__); return; } } while (false)
 

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, AssumptionCache *AC)
 

Variables

 lint
 
Statically lint checks LLVM IR
 
Statically lint checks LLVM false
 

Macro Definition Documentation

#define Assert (   C,
  ... 
)    do { if (!(C)) { CheckFailed(__VA_ARGS__); return; } } while (false)

Definition at line 196 of file Lint.cpp.

Referenced by LowerEXTRACT_VECTOR_ELT_SSE4().

Function Documentation

INITIALIZE_PASS_BEGIN ( Lint  ,
"lint"  ,
"Statically lint-checks LLVM IR ,
false  ,
true   
)
static bool isZero ( Value V,
const DataLayout DL,
DominatorTree DT,
AssumptionCache AC 
)
static

Variable Documentation

Statically lint checks LLVM false

Definition at line 192 of file Lint.cpp.

Statically lint checks LLVM IR
lint

Definition at line 192 of file Lint.cpp.