Lines Matching defs:RecSet

34 using RecSet = SetTheory::RecSet;
39   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,
47   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,
52     RecSet Add, Sub;
63   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,
68     RecSet S1, S2;
79   virtual void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
80                       RecSet &Elts, ArrayRef<SMLoc> Loc) = 0;
82   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,
87     RecSet Set;
99   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
100               RecSet &Elts, ArrayRef<SMLoc> Loc) override {
111   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
112               RecSet &Elts, ArrayRef<SMLoc> Loc) override {
128   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
129               RecSet &Elts, ArrayRef<SMLoc> Loc) override {
146   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
147               RecSet &Elts, ArrayRef<SMLoc> Loc) override {
158   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,
161     SmallVector<RecSet, 4> Args(Expr->getNumArgs());
177   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,
245   void expand(SetTheory &ST, Record *Def, RecSet &Elts) override {
281 void SetTheory::evaluate(Init *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {
323       RecSet Elts;