search for: simplifict

...the corresponding Value* or ScevUnknown*. Yes, that's equivalent to what I described for the map (loop->expression): whether you have an expression or just an SSA name that computes that expression is equivalent. > Passing a symbolic expression, as you propose, could allow further > simplifictions, I don't see how it could simplify anything: I think both are equivalent. > Now to the removal of the SCEVRewriter. I am not opposed to it, but > wonder what the benefit of removing it would be? Do you think moving > this transformation directly into SCEV is conceptually nicer o...

...t; new_iv_1) on Scev_1 = {{4*new_iv_1, +, 5}_2, +, 6}_3 Scev_3 = apply (loop_2 -> new_iv_2) on Scev_2 = {4*new_iv_1 + 5*new_iv_2, +, 6}_3 Scev_4 = apply (loop_3 -> new_iv_3) on Scev_3 = 4*new_iv_1 + 5*new_iv_2 + 6*new_iv_3 Passing a symbolic expression, as you propose, could allow further simplifictions, however it also requires s to translate an isl_ast_expr to some kind of ScevExpr. This is non-trivial as we would need to teach SCEV about the different operands isl codegen could produce (floord, ceild, min, max, %, ....). I would suggest to leave this optimization for later and to first remo...

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