Lines Matching defs:Preconditions

224   SmallVector<ConditionTy, 2> Preconditions;
442                                SmallVectorImpl<ConditionTy> &Preconditions,
451                                   SmallVectorImpl<ConditionTy> &Preconditions,
469     auto IdxResult = decompose(Index, Preconditions, IsSigned, DL);
477         Preconditions.emplace_back(CmpInst::ICMP_SGE, Index,
488                                SmallVectorImpl<ConditionTy> &Preconditions,
491   auto MergeResults = [&Preconditions, IsSigned, &DL](Value *A, Value *B,
493     auto ResA = decompose(A, Preconditions, IsSigned, DL);
494     auto ResB = decompose(B, Preconditions, IsSignedB, DL);
502       return decomposeGEP(*GEP, Preconditions, IsSigned, DL);
540       auto ResA = decompose(Op0, Preconditions, IsSigned, DL);
541       auto ResB = decompose(Op1, Preconditions, IsSigned, DL);
548       auto Result = decompose(Op0, Preconditions, IsSigned, DL);
559         auto Result = decompose(Op0, Preconditions, IsSigned, DL);
580     Preconditions.emplace_back(CmpInst::ICMP_SGE, Op0,
587           Preconditions.emplace_back(CmpInst::ICMP_SGE, V,
600       Preconditions.emplace_back(CmpInst::ICMP_SGE, Op0,
603       Preconditions.emplace_back(CmpInst::ICMP_SGE, Op1,
611     Preconditions.emplace_back(
624     auto Result = decompose(Op1, Preconditions, IsSigned, DL);
631     auto Result = decompose(Op1, Preconditions, IsSigned, DL);
637     auto ResA = decompose(Op0, Preconditions, IsSigned, DL);
638     auto ResB = decompose(Op1, Preconditions, IsSigned, DL);
692   SmallVector<ConditionTy, 4> Preconditions;
696                         Preconditions, IsSigned, DL);
698                         Preconditions, IsSigned, DL);
757   Res.Preconditions = std::move(Preconditions);
813          all_of(Preconditions, [&Info](const ConditionTy &C) {