Go to the source code of this file.
|
| #define | Assert(C,...) do { if (!(C)) { CheckFailed(__VA_ARGS__); return; } } while (0) |
| |
|
| | 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) |
| |
| #define Assert |
( |
|
C, |
|
|
|
... |
|
) |
| do { if (!(C)) { CheckFailed(__VA_ARGS__); return; } } while (0) |
Definition at line 618 of file Lint.cpp.
References llvm::SmallSet< T, N, C >::count(), llvm::dyn_cast(), llvm::IntrinsicInst::getIntrinsicID(), llvm::SmallSet< T, N, C >::insert(), llvm::pred_empty(), llvm::predecessors(), and llvm::BasicBlock::rend().
Definition at line 535 of file Lint.cpp.
References llvm::SmallSet< T, N, C >::count(), llvm::dyn_cast(), llvm::BasicBlock::end(), llvm::IntrinsicInst::getIntrinsicID(), I, llvm::SmallSet< T, N, C >::insert(), llvm::succ_empty(), and llvm::successors().
Definition at line 697 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().