Lines Matching refs:PredDep
672 const PredicateBase *PredDep; member
675 const PredicateBase *PredDep = nullptr) in ExprResult()
676 : Expr(Expr), ExtraDep(ExtraDep), PredDep(PredDep) {} in ExprResult()
679 : Expr(Other.Expr), ExtraDep(Other.ExtraDep), PredDep(Other.PredDep) { in ExprResult()
682 Other.PredDep = nullptr; in ExprResult()
696 const PredicateBase *PredDep) { in some()
697 return {Expr, nullptr, PredDep}; in some()
700 const PredicateBase *PredDep) { in some()
701 return {Expr, ExtraDep, PredDep}; in some()
2073 if (Res.PredDep) { in addAdditionalUsers()
2074 if (const auto *PBranch = dyn_cast<PredicateBranch>(Res.PredDep)) in addAdditionalUsers()
2076 else if (const auto *PAssume = dyn_cast<PredicateAssume>(Res.PredDep)) in addAdditionalUsers()
2079 Res.PredDep = nullptr; in addAdditionalUsers()