Displaying 1 result from an estimated 1 matches for "refaccess".
Did you mean:
reaccess
2015 Jul 28
1
[LLVMdev] AliasSetTracker and UnknownInst's (callsites mostly) problem
...r two noalias pointers if they have some mod/ref
relationships with common callsite?
If modrefinfo(%A, %call1) == REF and modrefinfo(%B, %call1) == MOD
it doesn't mean %A may/must alias %B.
AliasSet's for %A and %B must stay independent with corrected access
lattice: aliasset(%A).Access |= RefAccess, aliasset(%B).Access |= ModAccess.
And I think new UnknownInst must be added to both AliasSet's.
Or maybe UnknownInst's must be collected in central part - AliasSetTracker,
not AliasSet's.
Am I right?
--
Best regards,
Andrew Zhogin
-------------- next part --------------
An HTML att...