Lines Matching defs:RecSet

35 using RecSet = SetTheory::RecSet;
40   void apply(SetTheory &ST, const DagInit *Expr, RecSet &Elts,
48   void apply(SetTheory &ST, const DagInit *Expr, RecSet &Elts,
53     RecSet Add, Sub;
64   void apply(SetTheory &ST, const DagInit *Expr, RecSet &Elts,
69     RecSet S1, S2;
80   virtual void apply2(SetTheory &ST, const DagInit *Expr, RecSet &Set,
81                       int64_t N, RecSet &Elts, ArrayRef<SMLoc> Loc) = 0;
83   void apply(SetTheory &ST, const DagInit *Expr, RecSet &Elts,
88     RecSet Set;
100   void apply2(SetTheory &ST, const DagInit *Expr, RecSet &Set, int64_t N,
101               RecSet &Elts, ArrayRef<SMLoc> Loc) override {
112   void apply2(SetTheory &ST, const DagInit *Expr, RecSet &Set, int64_t N,
113               RecSet &Elts, ArrayRef<SMLoc> Loc) override {
129   void apply2(SetTheory &ST, const DagInit *Expr, RecSet &Set, int64_t N,
130               RecSet &Elts, ArrayRef<SMLoc> Loc) override {
147   void apply2(SetTheory &ST, const DagInit *Expr, RecSet &Set, int64_t N,
148               RecSet &Elts, ArrayRef<SMLoc> Loc) override {
159   void apply(SetTheory &ST, const DagInit *Expr, RecSet &Elts,
162     SmallVector<RecSet, 4> Values(Expr->getNumArgs());
170       for (const RecSet &Value : Values)
178   void apply(SetTheory &ST, const DagInit *Expr, RecSet &Elts,
246   void expand(SetTheory &ST, const Record *Def, RecSet &Elts) override {
282 void SetTheory::evaluate(const Init *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {
324     RecSet Elts;