LLVM  3.7.0
Namespaces | Macros | Functions | Variables
Lint.cpp File Reference
#include "llvm/Analysis/Lint.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallSet.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/Passes.h"
#include "llvm/Analysis/TargetLibraryInfo.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/IR/LegacyPassManager.h"
#include "llvm/Pass.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
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 (0)
 

Functions

 INITIALIZE_PASS_BEGIN (Lint,"lint","Statically lint-checks LLVM IR", false, true) INITIALIZE_PASS_END(Lint
 
static bool allPredsCameFromLandingPad (BasicBlock *BB, SmallSet< BasicBlock *, 4 > &VisitedBlocks)
 
static bool allSuccessorsReachEndCatch (BasicBlock *BB, BasicBlock::iterator InstBegin, IntrinsicInst **SecondBeginCatch, SmallSet< BasicBlock *, 4 > &VisitedBlocks)
 
static bool allPredCameFromBeginCatch (BasicBlock *BB, BasicBlock::reverse_iterator InstRbegin, IntrinsicInst **SecondEndCatch, SmallSet< BasicBlock *, 4 > &VisitedBlocks)
 
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 (0)

Definition at line 173 of file Lint.cpp.

Referenced by LowerEXTRACT_VECTOR_ELT_SSE4().

Function Documentation

static bool allPredCameFromBeginCatch ( BasicBlock BB,
BasicBlock::reverse_iterator  InstRbegin,
IntrinsicInst **  SecondEndCatch,
SmallSet< BasicBlock *, 4 > &  VisitedBlocks 
)
static
static bool allPredsCameFromLandingPad ( BasicBlock BB,
SmallSet< BasicBlock *, 4 > &  VisitedBlocks 
)
static
static bool allSuccessorsReachEndCatch ( BasicBlock BB,
BasicBlock::iterator  InstBegin,
IntrinsicInst **  SecondBeginCatch,
SmallSet< BasicBlock *, 4 > &  VisitedBlocks 
)
static
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 169 of file Lint.cpp.

Statically lint checks LLVM IR

Definition at line 169 of file Lint.cpp.

lint

Definition at line 169 of file Lint.cpp.