42              ArrayRef<SMLoc> Loc) override {  in apply()
43     ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts, Loc);  in apply()
50              ArrayRef<SMLoc> Loc) override {  in apply()
52       PrintFatalError(Loc, "Set difference needs at least two arguments: " +  in apply()
55     ST.evaluate(*Expr->arg_begin(), Add, Loc);  in apply()
56     ST.evaluate(Expr->arg_begin() + 1, Expr->arg_end(), Sub, Loc);  in apply()
66              ArrayRef<SMLoc> Loc) override {  in apply()
68       PrintFatalError(Loc, "Set intersection requires two arguments: " +  in apply()
71     ST.evaluate(Expr->arg_begin()[0], S1, Loc);  in apply()
72     ST.evaluate(Expr->arg_begin()[1], S2, Loc);  in apply()
82                       RecSet &Elts, ArrayRef<SMLoc> Loc) = 0;
85              ArrayRef<SMLoc> Loc) override {  in apply()
87       PrintFatalError(Loc, "Operator requires (Op Set, Int) arguments: " +  in apply()
90     ST.evaluate(Expr->arg_begin()[0], Set, Loc);  in apply()
93       PrintFatalError(Loc, "Second argument must be an integer: " +  in apply()
95     apply2(ST, Expr, Set, II->getValue(), Elts, Loc);  in apply()
102               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
104       PrintFatalError(Loc, "Positive shift required: " +  in apply2()
114               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
116       PrintFatalError(Loc, "Positive length required: " +  in apply2()
131               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
149               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
151       PrintFatalError(Loc, "Positive stride required: " +  in apply2()
161              ArrayRef<SMLoc> Loc) override {  in apply()
166       ST.evaluate(Expr->getArg(i), Args[i], Loc);  in apply()
180              ArrayRef<SMLoc> Loc) override {  in apply()
183       PrintFatalError(Loc, "Bad args to (sequence \"Format\", From, To): " +  in apply()
189         PrintFatalError(Loc, "Stride must be an integer: " +  in apply()
197       PrintFatalError(Loc,  "Format must be a string: " + Expr->getAsString());  in apply()
203       PrintFatalError(Loc, "From must be an integer: " + Expr->getAsString());  in apply()
205       PrintFatalError(Loc, "From out of range");  in apply()
210       PrintFatalError(Loc, "To must be an integer: " + Expr->getAsString());  in apply()
212       PrintFatalError(Loc, "To out of range");  in apply()
228         PrintFatalError(Loc, "No def named '" + Name + "': " +  in apply()
283 void SetTheory::evaluate(Init *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {  in evaluate()  argument
294     return evaluate(LI->begin(), LI->end(), Elts, Loc);  in evaluate()
299     PrintFatalError(Loc, "Invalid set element: " + Expr->getAsString());  in evaluate()
302     PrintFatalError(Loc, "Bad set expression: " + Expr->getAsString());  in evaluate()
305     PrintFatalError(Loc, "Unknown set operator: " + Expr->getAsString());  in evaluate()
306   I->second->apply(*this, DagExpr, Elts, Loc);  in evaluate()