[PATCH] D10368: Analyze recursive PHI nodes in BasicAA

[Tobias Edler von Koch]

tobiasvk_caf added a subscriber: tobiasvk_caf.
tobiasvk_caf added a comment.

Sanjoy, thanks for clarifying the semantics of undef. I can see how my code would break if aliasGEP ever started to exploit those semantics. I have been thinking of what else could be used to represent "any arbitrary value that the compiler cannot reason about"... I suppose we could create another temporary, like a load from undef? Pushing logic to special-case those temporary GEP values directly into aliasGEP may be another option but it seems a little intrusive to me.


http://reviews.llvm.org/D10368