Displaying 2 results from an estimated 2 matches for "scev_3".
Did you mean:
scev_2
2012 Nov 30
2
[LLVMdev] [polly] scev codegen (first step to remove the dependence on ivcanon pass)
...t; c1+c2
Given an access function from the original program:
Scev_1 = {{{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 n...
2012 Dec 01
0
[LLVMdev] [polly] scev codegen (first step to remove the dependence on ivcanon pass)
...the original program:
> Scev_1 = {{{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.
Yes. This is ver...