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/BasicAliasAnalysis.h"
#include "llvm/Analysis/ConstantFolding.h"
#include "llvm/Analysis/InstructionSimplify.h"
#include "llvm/Analysis/Loads.h"
#include "llvm/Analysis/MemoryLocation.h"
#include "llvm/Analysis/ScopedNoAliasAA.h"
#include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/Analysis/TypeBasedAliasAnalysis.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/Argument.h"
#include "llvm/IR/BasicBlock.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/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/Module.h"
#include "llvm/IR/PassManager.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Value.h"
#include "llvm/Support/AMDGPUAddrSpace.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/KnownBits.h"
#include "llvm/Support/raw_ostream.h"
#include <cassert>
#include <cstdint>
#include <iterator>
#include <string>

Go to the source code of this file.

Namespaces
namespace	MemRef

Macros
#define	Check(C, ...)

Functions
static bool	isZero (Value *V, const DataLayout &DL, DominatorTree *DT, AssumptionCache *AC)

Macro Definition Documentation

Check

#define Check	(		C,
			... )

Value:

  do {                                                                         \
    if (!(C)) {                                                                \
      CheckFailed(__VA_ARGS__);                                                \
      return;                                                                  \
    }                                                                          \
  } while (false)

Definition at line 172 of file Lint.cpp.

Function Documentation

isZero()

bool isZero ( Value * V, const DataLayout & DL, DominatorTree * DT, AssumptionCache * AC )

static

Definition at line 539 of file Lint.cpp.

References C(), llvm::cast(), llvm::computeKnownBits(), DL, llvm::dyn_cast(), I, llvm::isa(), llvm::Known, and N.

Referenced by llvm::CanonicalLoopInfo::assertOK(), llvm::KnownFPClass::bitcast(), combineAnd(), combineAndnp(), llvm::detail::DoubleAPFloat::compareAbsoluteValue(), computeVectorAddr(), createShuffleMaskFromVSELECT(), llvm::ConstantRange::ctlz(), foldGEPChainAsStructAccess(), FoldSTEP_VECTOR(), llvm::ConstantStruct::get(), llvm::APInt::getBoolValue(), llvm::detail::IEEEFloat::getExactLog2Abs(), getTargetShuffleMask(), llvm::APInt::isMinValue(), llvm::SelectionDAG::isSplatValue(), llvm::APInt::isStrictlyPositive(), llvm::APSInt::isStrictlyPositive(), llvm::APInt::operator!(), llvm::ScaledNumber< DigitsT >::operator*=(), llvm::ScaledNumber< DigitsT >::operator/=(), llvm::MachineMemOperand::print(), llvm::JumpThreadingPass::processThreadableEdges(), rewriteGEPAsOffset(), SameSignRange::SameSignRange(), llvm::X86TargetLowering::SimplifyDemandedVectorEltsForTargetNode(), upgradeSingleNVVMAnnotation(), llvm::InstCombinerImpl::visitOr(), and llvm::InstCombinerImpl::visitSub().