search for: old_loop

Tobias Grosser wrote: > You create a map from the old_loop to a symbolic expression. What type would > this symbolic expression have? Would it be a SCEVExpr? evaluateAtIteration takes a scev, so apply will take a scev, or a map (loop->scev). You can always build a ScevUnknown from an SSA name and use that in the apply. > At the moment, we calcu...

...) + 6*(c1+c2) > > We will then code generate Scev_4 and we will use this new expression for > the > array access in the new loop nest. Yes. This is very similar to what I had in mind and what I already started to implement. There are some slight differences: You create a map from the old_loop to a symbolic expression. What type would this symbolic expression have? Would it be a SCEVExpr? At the moment, we calculate at the beginning of each polly statement (a basic block) a value for each virtual induction variable of the original loops. For your example we get something like this. new_...

Hi Tobi, I would like to remove the SCEVRewriter code and replace it with a call to SCEVAddRec::apply (see attached a patch that adds just this function). More precisely I want to add another function called apply_map that applies a map (loop -> expr) on a given scev. This is the apply function on a multi-variate polynomial. So here is an overview of how I would like the scev code generator