[PATCH] D10368: Analyze recursive PHI nodes in BasicAA

Tobias Edler von Koch tobiase at quicinc.com
Thu Jul 9 07:31:16 PDT 2015


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







More information about the llvm-commits mailing list