Lines Matching full:loc
30 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {
31 ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts, Loc);
37 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {
39 PrintFatalError(Loc, "Set difference needs at least two arguments: " +
42 ST.evaluate(*Expr->arg_begin(), Add, Loc);
43 ST.evaluate(Expr->arg_begin() + 1, Expr->arg_end(), Sub, Loc);
52 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {
54 PrintFatalError(Loc, "Set intersection requires two arguments: " +
57 ST.evaluate(Expr->arg_begin()[0], S1, Loc);
58 ST.evaluate(Expr->arg_begin()[1], S2, Loc);
69 RecSet &Elts, ArrayRef<SMLoc> Loc) =0;
71 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {
73 PrintFatalError(Loc, "Operator requires (Op Set, Int) arguments: " +
76 ST.evaluate(Expr->arg_begin()[0], Set, Loc);
79 PrintFatalError(Loc, "Second argument must be an integer: " +
81 apply2(ST, Expr, Set, II->getValue(), Elts, Loc);
89 RecSet &Elts, ArrayRef<SMLoc> Loc) {
91 PrintFatalError(Loc, "Positive shift required: " +
102 RecSet &Elts, ArrayRef<SMLoc> Loc) {
104 PrintFatalError(Loc, "Positive length required: " +
120 RecSet &Elts, ArrayRef<SMLoc> Loc) {
139 RecSet &Elts, ArrayRef<SMLoc> Loc) {
141 PrintFatalError(Loc, "Positive stride required: " +
150 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {
155 ST.evaluate(Expr->getArg(i), Args[i], Loc);
168 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {
171 PrintFatalError(Loc, "Bad args to (sequence \"Format\", From, To): " +
177 PrintFatalError(Loc, "Stride must be an integer: " +
185 PrintFatalError(Loc, "Format must be a string: " + Expr->getAsString());
191 PrintFatalError(Loc, "From must be an integer: " + Expr->getAsString());
193 PrintFatalError(Loc, "From out of range");
198 PrintFatalError(Loc, "From must be an integer: " + Expr->getAsString());
200 PrintFatalError(Loc, "To out of range");
216 PrintFatalError(Loc, "No def named '" + Name + "': " +
270 void SetTheory::evaluate(Init *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {
281 return evaluate(LI->begin(), LI->end(), Elts, Loc);
286 PrintFatalError(Loc, "Invalid set element: " + Expr->getAsString());
289 PrintFatalError(Loc, "Bad set expression: " + Expr->getAsString());
292 PrintFatalError(Loc, "Unknown set operator: " + Expr->getAsString());
293 Op->apply(*this, DagExpr, Elts, Loc);
