H A D | ValueTracking.cpp | 1 //===- ValueTracking.cpp - Walk computations to compute properties -------- 153 computeKnownBits(const Value * V,KnownBits & Known,unsigned Depth,const SimplifyQuery & Q) computeKnownBits() argument 165 computeKnownBits(const Value * V,KnownBits & Known,const DataLayout & DL,unsigned Depth,AssumptionCache * AC,const Instruction * CxtI,const DominatorTree * DT,bool UseInstrInfo) computeKnownBits() argument 174 computeKnownBits(const Value * V,const DataLayout & DL,unsigned Depth,AssumptionCache * AC,const Instruction * CxtI,const DominatorTree * DT,bool UseInstrInfo) computeKnownBits() argument 182 computeKnownBits(const Value * V,const APInt & DemandedElts,const DataLayout & DL,unsigned Depth,AssumptionCache * AC,const Instruction * CxtI,const DominatorTree * DT,bool UseInstrInfo) computeKnownBits() argument 265 isKnownToBeAPowerOfTwo(const Value * V,const DataLayout & DL,bool OrZero,unsigned Depth,AssumptionCache * AC,const Instruction * CxtI,const DominatorTree * DT,bool UseInstrInfo) isKnownToBeAPowerOfTwo() argument 279 isKnownNonZero(const Value * V,const DataLayout & DL,unsigned Depth,AssumptionCache * AC,const Instruction * CxtI,const DominatorTree * DT,bool UseInstrInfo) isKnownNonZero() argument 287 isKnownNonNegative(const Value * V,const SimplifyQuery & SQ,unsigned Depth) isKnownNonNegative() argument 292 isKnownPositive(const Value * V,const SimplifyQuery & SQ,unsigned Depth) isKnownPositive() argument 302 isKnownNegative(const Value * V,const SimplifyQuery & SQ,unsigned Depth) isKnownNegative() argument 319 MaskedValueIsZero(const Value * V,const APInt & Mask,const SimplifyQuery & SQ,unsigned Depth) MaskedValueIsZero() argument 328 ComputeNumSignBits(const Value * V,unsigned Depth,const SimplifyQuery & Q) ComputeNumSignBits() argument 337 ComputeNumSignBits(const Value * V,const DataLayout & DL,unsigned Depth,AssumptionCache * AC,const Instruction * CxtI,const DominatorTree * DT,bool UseInstrInfo) ComputeNumSignBits() argument 345 ComputeMaxSignificantBits(const Value * V,const DataLayout & DL,unsigned Depth,AssumptionCache * AC,const Instruction * CxtI,const DominatorTree * DT) ComputeMaxSignificantBits() argument 355 computeKnownBitsAddSub(bool Add,const Value * Op0,const Value * Op1,bool NSW,const APInt & DemandedElts,KnownBits & KnownOut,KnownBits & Known2,unsigned Depth,const SimplifyQuery & Q) computeKnownBitsAddSub() argument 369 computeKnownBitsMul(const Value * Op0,const Value * Op1,bool NSW,const APInt & DemandedElts,KnownBits & Known,KnownBits & Known2,unsigned Depth,const SimplifyQuery & Q) computeKnownBitsMul() argument 710 computeKnownBitsFromContext(const Value * V,KnownBits & Known,unsigned Depth,const SimplifyQuery & Q) computeKnownBitsFromContext() argument 817 computeKnownBitsFromShiftOperator(const Operator * I,const APInt & DemandedElts,KnownBits & Known,KnownBits & Known2,unsigned Depth,const SimplifyQuery & Q,function_ref<KnownBits (const KnownBits &,const KnownBits &,bool)> KF) computeKnownBitsFromShiftOperator() argument 833 getKnownBitsFromAndXorOr(const Operator * I,const APInt & DemandedElts,const KnownBits & KnownLHS,const KnownBits & KnownRHS,unsigned Depth,const SimplifyQuery & Q) getKnownBitsFromAndXorOr() argument 905 analyzeKnownBitsFromAndXorOr(const Operator * I,const KnownBits & KnownLHS,const KnownBits & KnownRHS,unsigned Depth,const SimplifyQuery & SQ) analyzeKnownBitsFromAndXorOr() argument 936 computeKnownBitsFromOperator(const Operator * I,const APInt & DemandedElts,KnownBits & Known,unsigned Depth,const SimplifyQuery & Q) computeKnownBitsFromOperator() argument 1703 computeKnownBits(const Value * V,const APInt & DemandedElts,unsigned Depth,const SimplifyQuery & Q) computeKnownBits() argument 1711 computeKnownBits(const Value * V,unsigned Depth,const SimplifyQuery & Q) computeKnownBits() argument 1734 computeKnownBits(const Value * V,const APInt & DemandedElts,KnownBits & Known,unsigned Depth,const SimplifyQuery & Q) computeKnownBits() argument 1874 isPowerOfTwoRecurrence(const PHINode * PN,bool OrZero,unsigned Depth,SimplifyQuery & Q) isPowerOfTwoRecurrence() argument 1932 isKnownToBeAPowerOfTwo(const Value * V,bool OrZero,unsigned Depth,const SimplifyQuery & Q) isKnownToBeAPowerOfTwo() argument 2097 isGEPKnownNonNull(const GEPOperator * GEP,unsigned Depth,const SimplifyQuery & Q) isGEPKnownNonNull() argument 2300 isNonZeroAdd(const APInt & DemandedElts,unsigned Depth,const SimplifyQuery & Q,unsigned BitWidth,Value * X,Value * Y,bool NSW) isNonZeroAdd() argument 2339 isNonZeroSub(const APInt & DemandedElts,unsigned Depth,const SimplifyQuery & Q,unsigned BitWidth,Value * X,Value * Y) isNonZeroSub() argument 2351 isNonZeroShift(const Operator * I,const APInt & DemandedElts,unsigned Depth,const SimplifyQuery & Q,const KnownBits & KnownVal) isNonZeroShift() argument 2403 isKnownNonZeroFromOperator(const Operator * I,const APInt & DemandedElts,unsigned Depth,const SimplifyQuery & Q) isKnownNonZeroFromOperator() argument 2762 isKnownNonZero(const Value * V,const APInt & DemandedElts,unsigned Depth,const SimplifyQuery & Q) isKnownNonZero() argument 2858 isKnownNonZero(const Value * V,unsigned Depth,const SimplifyQuery & Q) isKnownNonZero() argument 2973 isAddOfNonZero(const Value * V1,const Value * V2,unsigned Depth,const SimplifyQuery & Q) isAddOfNonZero() argument 2990 isNonEqualMul(const Value * V1,const Value * V2,unsigned Depth,const SimplifyQuery & Q) isNonEqualMul() argument 3003 isNonEqualShl(const Value * V1,const Value * V2,unsigned Depth,const SimplifyQuery & Q) isNonEqualShl() argument 3015 isNonEqualPHIs(const PHINode * PN1,const PHINode * PN2,unsigned Depth,const SimplifyQuery & Q) isNonEqualPHIs() argument 3044 isNonEqualSelect(const Value * V1,const Value * V2,unsigned Depth,const SimplifyQuery & Q) isNonEqualSelect() argument 3116 isKnownNonEqual(const Value * V1,const Value * V2,unsigned Depth,const SimplifyQuery & Q) isKnownNonEqual() argument 3264 ComputeNumSignBits(const Value * V,const APInt & DemandedElts,unsigned Depth,const SimplifyQuery & Q) ComputeNumSignBits() argument 3279 ComputeNumSignBitsImpl(const Value * V,const APInt & DemandedElts,unsigned Depth,const SimplifyQuery & Q) ComputeNumSignBitsImpl() argument 3715 cannotBeOrderedLessThanZeroImpl(const Value * V,const DataLayout & DL,const TargetLibraryInfo * TLI,bool SignBitOnly,unsigned Depth) cannotBeOrderedLessThanZeroImpl() argument 4299 computeKnownFPClass(const Value * V,KnownFPClass & Known,FPClassTest InterestedClasses,unsigned Depth,const SimplifyQuery & Q) computeKnownFPClass() argument 4310 computeKnownFPClassForFPTrunc(const Operator * Op,const APInt & DemandedElts,FPClassTest InterestedClasses,KnownFPClass & Known,unsigned Depth,const SimplifyQuery & Q) computeKnownFPClassForFPTrunc() argument 4333 computeKnownFPClass(const Value * V,const APInt & DemandedElts,FPClassTest InterestedClasses,KnownFPClass & Known,unsigned Depth,const SimplifyQuery & Q) computeKnownFPClass() argument 5315 computeKnownFPClass(const Value * V,const APInt & DemandedElts,const DataLayout & DL,FPClassTest InterestedClasses,unsigned Depth,const TargetLibraryInfo * TLI,AssumptionCache * AC,const Instruction * CxtI,const DominatorTree * DT,bool UseInstrInfo) computeKnownFPClass() argument 5327 computeKnownFPClass(const Value * V,const DataLayout & DL,FPClassTest InterestedClasses,unsigned Depth,const TargetLibraryInfo * TLI,AssumptionCache * AC,const Instruction * CxtI,const DominatorTree * DT,bool UseInstrInfo) computeKnownFPClass() argument 6737 directlyImpliesPoison(const Value * ValAssumedPoison,const Value * V,unsigned Depth) directlyImpliesPoison() argument 6765 impliesPoison(const Value * ValAssumedPoison,const Value * V,unsigned Depth) impliesPoison() argument 6793 isGuaranteedNotToBeUndefOrPoison(const Value * V,AssumptionCache * AC,const Instruction * CtxI,const DominatorTree * DT,unsigned Depth,UndefPoisonKind Kind) isGuaranteedNotToBeUndefOrPoison() argument 6932 isGuaranteedNotToBeUndefOrPoison(const Value * V,AssumptionCache * AC,const Instruction * CtxI,const DominatorTree * DT,unsigned Depth) isGuaranteedNotToBeUndefOrPoison() argument 6939 isGuaranteedNotToBePoison(const Value * V,AssumptionCache * AC,const Instruction * CtxI,const DominatorTree * DT,unsigned Depth) isGuaranteedNotToBePoison() argument 6946 isGuaranteedNotToBeUndef(const Value * V,AssumptionCache * AC,const Instruction * CtxI,const DominatorTree * DT,unsigned Depth) isGuaranteedNotToBeUndef() argument 7449 matchMinMaxOfMinMax(CmpInst::Predicate Pred,Value * CmpLHS,Value * CmpRHS,Value * TVal,Value * FVal,unsigned Depth) matchMinMaxOfMinMax() argument 7559 matchMinMax(CmpInst::Predicate Pred,Value * CmpLHS,Value * CmpRHS,Value * TrueVal,Value * FalseVal,Value * & LHS,Value * & RHS,unsigned Depth) matchMinMax() argument 7650 matchSelectPattern(CmpInst::Predicate Pred,FastMathFlags FMF,Value * CmpLHS,Value * CmpRHS,Value * TrueVal,Value * FalseVal,Value * & LHS,Value * & RHS,unsigned Depth) matchSelectPattern() argument 7948 matchSelectPattern(Value * V,Value * & LHS,Value * & RHS,Instruction::CastOps * CastOp,unsigned Depth) matchSelectPattern() argument 7967 matchDecomposedSelectPattern(CmpInst * CmpI,Value * TrueVal,Value * FalseVal,Value * & LHS,Value * & RHS,Instruction::CastOps * CastOp,unsigned Depth) matchDecomposedSelectPattern() argument 8159 isTruePredicate(CmpInst::Predicate Pred,const Value * LHS,const Value * RHS,const DataLayout & DL,unsigned Depth) isTruePredicate() argument 8222 isImpliedCondOperands(CmpInst::Predicate Pred,const Value * ALHS,const Value * ARHS,const Value * BLHS,const Value * BRHS,const DataLayout & DL,unsigned Depth) isImpliedCondOperands() argument 8309 isImpliedCondICmps(const ICmpInst * LHS,CmpInst::Predicate RPred,const Value * R0,const Value * R1,const DataLayout & DL,bool LHSIsTrue,unsigned Depth) isImpliedCondICmps() argument 8365 isImpliedCondAndOr(const Instruction * LHS,CmpInst::Predicate RHSPred,const Value * RHSOp0,const Value * RHSOp1,const DataLayout & DL,bool LHSIsTrue,unsigned Depth) isImpliedCondAndOr() argument 8395 isImpliedCondition(const Value * LHS,CmpInst::Predicate RHSPred,const Value * RHSOp0,const Value * RHSOp1,const DataLayout & DL,bool LHSIsTrue,unsigned Depth) isImpliedCondition() argument 8429 isImpliedCondition(const Value * LHS,const Value * RHS,const DataLayout & DL,bool LHSIsTrue,unsigned Depth) isImpliedCondition() argument 8879 computeConstantRange(const Value * V,bool ForSigned,bool UseInstrInfo,AssumptionCache * AC,const Instruction * CtxI,const DominatorTree * DT,unsigned Depth) computeConstantRange() argument [all...] |