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;