Lines Matching refs:isValidAssumeForContext

566 bool llvm::isValidAssumeForContext(const Instruction *Inv,  in isValidAssumeForContext()  function in llvm
668 if (cmpExcludesZero(Pred, RHS) && isValidAssumeForContext(I, Q.CxtI, Q.DT)) in isKnownNonZeroFromAssume()
712 if (Arg == V && isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
718 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
753 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
761 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
774 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
787 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
800 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
813 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
829 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
845 isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) { in computeKnownBitsFromAssume()
858 isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) { in computeKnownBitsFromAssume()
870 isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) { in computeKnownBitsFromAssume()
880 isValidAssumeForContext(I, Q.CxtI, Q.DT) && C < BitWidth) { in computeKnownBitsFromAssume()
892 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
905 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
918 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
931 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
944 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
955 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
7264 if (!isValidAssumeForContext(I, CtxI, DT)) in computeConstantRange()