Displaying 3 results from an estimated 3 matches for "scevrewriter".
2012 Dec 01
0
[LLVMdev] [polly] scev codegen (first step to remove the dependence on ivcanon pass)
On Fri, Nov 30, 2012, at 08:46 PM, Sebastian Pop wrote:
> 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-...
2012 Nov 30
2
[LLVMdev] [polly] scev codegen (first step to remove the dependence on ivcanon pass)
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 o...
2012 Dec 03
1
[LLVMdev] [polly] scev codegen (first step to remove the dependence on ivcanon pass)
...hether 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 or is there
> some additional benefit.
Other code would be able to call apply: it's a general operation that can be
expos...