Lines Matching refs:Preconditions
225 SmallVector<ConditionTy, 2> Preconditions; member
434 SmallVectorImpl<ConditionTy> &Preconditions,
443 SmallVectorImpl<ConditionTy> &Preconditions, in decomposeGEP() argument
459 auto IdxResult = decompose(Index, Preconditions, IsSigned, DL); in decomposeGEP()
466 Preconditions.emplace_back(CmpInst::ICMP_SGE, Index, in decomposeGEP()
476 SmallVectorImpl<ConditionTy> &Preconditions, in decompose() argument
479 auto MergeResults = [&Preconditions, IsSigned, &DL](Value *A, Value *B, in decompose()
481 auto ResA = decompose(A, Preconditions, IsSigned, DL); in decompose()
482 auto ResB = decompose(B, Preconditions, IsSignedB, DL); in decompose()
490 return decomposeGEP(*GEP, Preconditions, IsSigned, DL); in decompose()
526 auto Result = decompose(Op0, Preconditions, IsSigned, DL); in decompose()
537 auto Result = decompose(Op0, Preconditions, IsSigned, DL); in decompose()
560 Preconditions.emplace_back(CmpInst::ICMP_SGE, Op0, in decompose()
571 Preconditions.emplace_back(CmpInst::ICMP_SGE, Op0, in decompose()
574 Preconditions.emplace_back(CmpInst::ICMP_SGE, Op1, in decompose()
582 Preconditions.emplace_back( in decompose()
595 auto Result = decompose(Op1, Preconditions, IsSigned, DL); in decompose()
602 auto Result = decompose(Op1, Preconditions, IsSigned, DL); in decompose()
608 auto ResA = decompose(Op0, Preconditions, IsSigned, DL); in decompose()
609 auto ResB = decompose(Op1, Preconditions, IsSigned, DL); in decompose()
659 SmallVector<ConditionTy, 4> Preconditions; in getConstraint() local
663 Preconditions, IsSigned, DL); in getConstraint()
665 Preconditions, IsSigned, DL); in getConstraint()
724 Res.Preconditions = std::move(Preconditions); in getConstraint()
780 all_of(Preconditions, [&Info](const ConditionTy &C) { in isValid()