Displaying 1 result from an estimated 1 matches for "noaliascall".
Did you mean:
isnoaliascall
2010 Jun 09
1
[LLVMdev] AliasAnalysis Documentation Ambiguity
...fic alias analysis implementations.
This implies that alias can run on ANY two Values without restrictions. However, line 696 of BasicAliasAnalysis reads:
// Arguments can't alias with local allocations or noalias calls.
if ((isa<Argument>(O1) && (isa<AllocaInst>(O2) || isNoAliasCall(O2))) ||
(isa<Argument>(O2) && (isa<AllocaInst>(O1) || isNoAliasCall(O1))))
return NoAlias;
This reasoning is only valid if the Argument and the AllocaInst or NoAliasCall in question are part of the same function. Here is an example:
void foo(int *bar) {
}
void baz(void...