[PATCH] D44564: [BasicAA] Relax restriction on PHI node handling.

[John Brawn via Phabricator via llvm-commits]

john.brawn updated this revision to Diff 138962.
john.brawn retitled this revision from "[InstSimplify] Look at the whole PHI graph when simplifying a PHI node" to "[BasicAA] Relax restriction on PHI node handling.".
john.brawn edited the summary of this revision.
john.brawn added a comment.

I've gone for the approach of doing this in alias analysis, which works without any test failures. I'd also considered doing it in GetUnderlyingObject, or adjusting aliasCheck to use GetUnderlyingObjects instead, but the problem there is that they look also through GEPs and there would have to be a parallel change to DecomposeGEPExpression to add a bunch of PHI handling there as well.


Repository:
  rL LLVM

https://reviews.llvm.org/D44564

Files:
  lib/Analysis/BasicAliasAnalysis.cpp
  test/Analysis/BasicAA/phi-aa.ll
  test/Transforms/GVN/pre-after-rle.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D44564.138962.patch
Type: text/x-patch
Size: 4965 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180319/c7fbf904/attachment.bin>