41              ArrayRef<SMLoc> Loc) override {  in apply()
42     ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts, Loc);  in apply()
49              ArrayRef<SMLoc> Loc) override {  in apply()
51       PrintFatalError(Loc, "Set difference needs at least two arguments: " +  in apply()
54     ST.evaluate(*Expr->arg_begin(), Add, Loc);  in apply()
55     ST.evaluate(Expr->arg_begin() + 1, Expr->arg_end(), Sub, Loc);  in apply()
65              ArrayRef<SMLoc> Loc) override {  in apply()
67       PrintFatalError(Loc, "Set intersection requires two arguments: " +  in apply()
70     ST.evaluate(Expr->arg_begin()[0], S1, Loc);  in apply()
71     ST.evaluate(Expr->arg_begin()[1], S2, Loc);  in apply()
81                       RecSet &Elts, ArrayRef<SMLoc> Loc) = 0;
84              ArrayRef<SMLoc> Loc) override {  in apply()
86       PrintFatalError(Loc, "Operator requires (Op Set, Int) arguments: " +  in apply()
89     ST.evaluate(Expr->arg_begin()[0], Set, Loc);  in apply()
92       PrintFatalError(Loc, "Second argument must be an integer: " +  in apply()
94     apply2(ST, Expr, Set, II->getValue(), Elts, Loc);  in apply()
101               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
103       PrintFatalError(Loc, "Positive shift required: " +  in apply2()
113               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
115       PrintFatalError(Loc, "Positive length required: " +  in apply2()
130               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
148               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
150       PrintFatalError(Loc, "Positive stride required: " +  in apply2()
160              ArrayRef<SMLoc> Loc) override {  in apply()
165       ST.evaluate(Expr->getArg(i), Args[i], Loc);  in apply()
179              ArrayRef<SMLoc> Loc) override {  in apply()
182       PrintFatalError(Loc, "Bad args to (sequence \"Format\", From, To): " +  in apply()
188         PrintFatalError(Loc, "Stride must be an integer: " +  in apply()
196       PrintFatalError(Loc,  "Format must be a string: " + Expr->getAsString());  in apply()
202       PrintFatalError(Loc, "From must be an integer: " + Expr->getAsString());  in apply()
204       PrintFatalError(Loc, "From out of range");  in apply()
209       PrintFatalError(Loc, "To must be an integer: " + Expr->getAsString());  in apply()
211       PrintFatalError(Loc, "To out of range");  in apply()
227         PrintFatalError(Loc, "No def named '" + Name + "': " +  in apply()
282 void SetTheory::evaluate(Init *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {  in evaluate()  argument
293     return evaluate(LI->begin(), LI->end(), Elts, Loc);  in evaluate()
298     PrintFatalError(Loc, "Invalid set element: " + Expr->getAsString());  in evaluate()
301     PrintFatalError(Loc, "Bad set expression: " + Expr->getAsString());  in evaluate()
304     PrintFatalError(Loc, "Unknown set operator: " + Expr->getAsString());  in evaluate()
305   I->second->apply(*this, DagExpr, Elts, Loc);  in evaluate()