30   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
32     ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts, Loc);  in apply()
38   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
40     if (Expr->arg_size() < 2)  in apply()
42         Expr->getAsString());  in apply()
44     ST.evaluate(*Expr->arg_begin(), Add, Loc);  in apply()
45     ST.evaluate(Expr->arg_begin() + 1, Expr->arg_end(), Sub, Loc);  in apply()
54   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
56     if (Expr->arg_size() != 2)  in apply()
58         Expr->getAsString());  in apply()
60     ST.evaluate(Expr->arg_begin()[0], S1, Loc);  in apply()
61     ST.evaluate(Expr->arg_begin()[1], S2, Loc);  in apply()
70   virtual void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
73   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
75     if (Expr->arg_size() != 2)  in apply()
77         Expr->getAsString());  in apply()
79     ST.evaluate(Expr->arg_begin()[0], Set, Loc);  in apply()
80     IntInit *II = dyn_cast<IntInit>(Expr->arg_begin()[1]);  in apply()
83         Expr->getAsString());  in apply()
84     apply2(ST, Expr, Set, II->getValue(), Elts, Loc);  in apply()
90   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
94         Expr->getAsString());  in apply2()
102   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
106         Expr->getAsString());  in apply2()
119   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
137   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
141         Expr->getAsString());  in apply2()
149   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
152     SmallVector<RecSet, 4> Args(Expr->getNumArgs());  in apply()
154     for (unsigned i = 0, e = Expr->getNumArgs(); i != e; ++i) {  in apply()
155       ST.evaluate(Expr->getArg(i), Args[i], Loc);  in apply()
160       for (unsigned i = 0, e = Expr->getNumArgs(); i != e; ++i)  in apply()
168   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
171     if (Expr->arg_size() > 4)  in apply()
173         Expr->getAsString());  in apply()
174     else if (Expr->arg_size() == 4) {  in apply()
175       if (IntInit *II = dyn_cast<IntInit>(Expr->arg_begin()[3])) {  in apply()
179           Expr->getAsString());  in apply()
183     if (StringInit *SI = dyn_cast<StringInit>(Expr->arg_begin()[0]))  in apply()
186       PrintFatalError(Loc,  "Format must be a string: " + Expr->getAsString());  in apply()
189     if (IntInit *II = dyn_cast<IntInit>(Expr->arg_begin()[1]))  in apply()
192       PrintFatalError(Loc, "From must be an integer: " + Expr->getAsString());  in apply()
196     if (IntInit *II = dyn_cast<IntInit>(Expr->arg_begin()[2]))  in apply()
199       PrintFatalError(Loc, "To must be an integer: " + Expr->getAsString());  in apply()
204       cast<DefInit>(Expr->getOperator())->getDef()->getRecords();  in apply()
218           Expr->getAsString());  in apply()
272 void SetTheory::evaluate(Init *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {  in evaluate()  argument
274   if (DefInit *Def = dyn_cast<DefInit>(Expr)) {  in evaluate()
282   if (ListInit *LI = dyn_cast<ListInit>(Expr))  in evaluate()
286   DagInit *DagExpr = dyn_cast<DagInit>(Expr);  in evaluate()
288     PrintFatalError(Loc, "Invalid set element: " + Expr->getAsString());  in evaluate()
291     PrintFatalError(Loc, "Bad set expression: " + Expr->getAsString());  in evaluate()
294     PrintFatalError(Loc, "Unknown set operator: " + Expr->getAsString());  in evaluate()