[PATCH] D91936: [BasicAA] Fix BatchAA results for phi-phi assumptions

[Alina Sbirlea via Phabricator via llvm-commits]

asbirlea accepted this revision.
asbirlea added a comment.
This revision is now accepted and ready to land.

Apologies for the delay, I spent some more time understanding how the assumptions changed in the new implementation.

The compile time impact on this one is noticeable, but it provides more powerful results  and resolves the miscompiles when using BatchAA. Overall I think this is great to have patched in.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D91936/new/

https://reviews.llvm.org/D91936