[PATCH] D50679: [BasicAA] Don't assume tail calls with byval don't alias allocas

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

The DSE test is fine, and I think that you should keep it, but can you please add a direct AA test (like, e.g., test/Analysis/BasicAA/cs-cs.ll)?

Should we just always return ModRefInfo::Ref in this case? It can read the data (to copy it), but can't write, correct?


https://reviews.llvm.org/D50679