Displaying 2 results from an estimated 2 matches for "scev_4".
Did you mean:
scev_2
2012 Nov 30
2
[LLVMdev] [polly] scev codegen (first step to remove the dependence on ivcanon pass)
...{{{0, +, 4}_1, +, 5}_2, +, 6}_3
we will apply the map on it, and we will get a symbolic expression function of
the new induction variables c1, and c2:
Scev_2 = apply (loop_1 -> c1) on Scev_1 = {{4*c1, +, 5}_2, +, 6}_3
Scev_3 = apply (loop_2 -> c1+7) on Scev_2 = {4*c1 + 5*(c1+7), +, 6}_3
Scev_4 = apply (loop_3 -> c1+c2) on Scev_3 = 4*c1 + 5*(c1+7) + 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.
Remark that in all this process we have never referred to the original
"canonical induction variable". S...
2012 Dec 01
0
[LLVMdev] [polly] scev codegen (first step to remove the dependence on ivcanon pass)
...t; we will apply the map on it, and we will get a symbolic expression
> function of
> the new induction variables c1, and c2:
>
> Scev_2 = apply (loop_1 -> c1) on Scev_1 = {{4*c1, +, 5}_2, +, 6}_3
> Scev_3 = apply (loop_2 -> c1+7) on Scev_2 = {4*c1 + 5*(c1+7), +, 6}_3
> Scev_4 = apply (loop_3 -> c1+c2) on Scev_3 = 4*c1 + 5*(c1+7) + 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...