|
LLVM
4.0.0
|
#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>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 |
Definition at line 196 of file Lint.cpp.
Referenced by LowerEXTRACT_VECTOR_ELT_SSE4().
|
static |
Definition at line 528 of file Lint.cpp.
References C, llvm::computeKnownBits(), llvm::dyn_cast(), llvm::Constant::getAggregateElement(), llvm::SequentialType::getElementType(), llvm::Type::getIntegerBitWidth(), llvm::SequentialType::getNumElements(), llvm::Value::getType(), I, llvm::Constant::isZeroValue(), and N.
Referenced by buildGEP(), llvm::ConstantStruct::get(), llvm::lowerObjectSizeCall(), llvm::ScaledNumber< DigitsT >::operator*=(), llvm::ScaledNumber< DigitsT >::operator/=(), llvm::JumpThreadingPass::ProcessThreadableEdges(), and rewriteGEPAsOffset().
Definition at line 192 of file Lint.cpp.
Referenced by llvm::AnalysisManager< IRUnitT, ExtraArgTs >::Invalidator::invalidate(), and llvm::AnalysisManager< IRUnitT, ExtraArgTs >::invalidate().
1.8.6