Displaying 2 results from an estimated 2 matches for "mechisms".
Did you mean:
mechnisms
2020 Mar 19
2
valid BasicAA behavior?
...]; The IR generated
by clang re-loads the pointer S->Data again in ever iteration, but
do_something might actually change the value of S->Data when called.
That is, we cannot analyze the dependency in this loop unless the load
of S->Data is hoisted out of the loop (e.g. by LICM). Polly has
mechisms to either infer conditions under which S->Data is
loop-invariant or to bail out if it cannot.
> >> As far as the AA interface specification is concerned, the NoAlias result is correct. Such a patch would be a pessimization without giving any additional guarantees.
>
> Ok, fair p...
2020 Mar 18
2
valid BasicAA behavior?
As far
Am Mi., 18. März 2020 um 11:34 Uhr schrieb Chawla, Pankaj
<pankaj.chawla at intel.com>:
> >> There seems to be a bug in DI, see Felipe's answer.
> Maybe I missed something. There seems to be no resolution to the problem. How can DA fix this without help from alias analysis?
DependenceInfo is not using the AA interface correctly. Either DI has
to be fixed, or another