Lines Matching refs:isValidAssumeForContext

454 static bool isValidAssumeForContext(Value *V, const Query &Q) {  in isValidAssumeForContext()  function
507 bool llvm::isValidAssumeForContext(const Instruction *I, in isValidAssumeForContext() function in llvm
510 return ::isValidAssumeForContext(const_cast<Instruction *>(I), in isValidAssumeForContext()
755 if (Arg == V && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
775 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
783 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
796 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
809 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
822 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
835 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
851 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
867 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
877 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
889 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
901 Pred == ICmpInst::ICMP_EQ && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
910 Pred == ICmpInst::ICMP_SGE && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
920 Pred == ICmpInst::ICMP_SGT && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
930 Pred == ICmpInst::ICMP_SLE && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
940 Pred == ICmpInst::ICMP_SLT && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
950 Pred == ICmpInst::ICMP_ULE && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()
959 Pred == ICmpInst::ICMP_ULT && isValidAssumeForContext(I, Q)) { in computeKnownBitsFromAssume()