Displaying 7 results from an estimated 7 matches for "prepone".
2017 Mar 14
4
[Proposal][RFC] Epilog loop vectorization
...till don’t understand why that’s not possible with some
>>> sophisticated predicate propagation independent from the vectorizer.
>>> I am not saying it’s already possible but it should be.
>>>
>>> Adam
>>>
>>>
>>>> NOTE: We cannot prepone alias check as its expensive compared to
>>>> other checks.
>>>> <Approach-1>
>>>> 1)Current patch depends on the existing functionality of
>>>> LoopVectorizer, it uses ‘InnerLoopVectorizer’ again to vectorize
>>>> the epilog loop...
2017 Mar 14
10
[Proposal][RFC] Epilog loop vectorization
...ck result instead of re computing again.
2) Rerun the vectorizer and hoist the new alias check:
It’s not possible to hoist alias checks as its not fully redundant (not dominated by other checks), it’s not getting execute in all paths.
[cid:image003.jpg at 01D29CF1.122287F0]
NOTE: We cannot prepone alias check as its expensive compared to other checks.
<Approach-1>
1) Current patch depends on the existing functionality of LoopVectorizer, it uses ‘InnerLoopVectorizer’ again to vectorize the epilog loop, as it happens in the same vectorization pass we have flexibility to reuse alre...
2017 Mar 14
2
[Proposal][RFC] Epilog loop vectorization
...ything about the aliasing checks.
-Hal
>
> I still don’t understand why that’s not possible with some
> sophisticated predicate propagation independent from the vectorizer.
> I am not saying it’s already possible but it should be.
>
> Adam
>
>
>> NOTE: We cannot prepone alias check as its expensive compared to
>> other checks.
>> <Approach-1>
>> 1)Current patch depends on the existing functionality of
>> LoopVectorizer, it uses ‘InnerLoopVectorizer’ again to vectorize the
>> epilog loop, as it happens in the same vectorizatio...
2017 Mar 14
2
[Proposal][RFC] Epilog loop vectorization
...f
> re computing again.
>
> 2)Rerun the vectorizer and hoist the new alias check:
>
> It’s not possible to hoist alias checks as its not fully redundant
> (not dominated by other checks), it’s not getting execute in all
> paths.
>
> NOTE: We cannot prepone alias check as its expensive compared to
> other checks.
>
> <Approach-1>
>
> 1)Current patch depends on the existing functionality of
> LoopVectorizer, it uses ‘InnerLoopVectorizer’ again to vectorize
> the epilog loop, as it happens in the same vecto...
2017 Mar 15
4
[Proposal][RFC] Epilog loop vectorization
...>>>>> sophisticated predicate propagation independent from the
>>>>> vectorizer. I am not saying it’s already possible but it should be.
>>>>>
>>>>> Adam
>>>>>
>>>>>
>>>>>> NOTE: We cannot prepone alias check as its expensive compared to
>>>>>> other checks.
>>>>>> <Approach-1>
>>>>>> 1)Current patch depends on the existing functionality of
>>>>>> LoopVectorizer, it uses ‘InnerLoopVectorizer’ again to vectorize...
2017 Mar 14
1
[Proposal][RFC] Epilog loop vectorization
...2)Rerun the vectorizer and hoist the new alias check:
>>
>> It’s not possible to hoist alias checks as its not fully
>> redundant (not dominated by other checks), it’s not getting
>> execute in all paths.
>>
>> NOTE: We cannot prepone alias check as its expensive compared
>> to other checks.
>>
>> <Approach-1>
>>
>> 1)Current patch depends on the existing functionality of
>> LoopVectorizer, it uses ‘InnerLoopVectorizer’ again to
>> vectorize...
2017 Feb 28
3
[Proposal][RFC] Epilog loop vectorization
I have tried running both gvn and newgvn but it did not helped in hoisting the alias checks:
Please check, maybe I have missed something.
<TestCase>
void foo (char *A, char *B, char *C, int len) {
int i = 0;
for (i=0 ; i< len; i++)
A[i] = B[i] + C[i];
}
<Command>
$ opt –O3 –gvn test.ll –o test.opt.ll
$ opt –O3 –newgvn test.ll –o test.opt.ll
“test.ll” is attached, it