[PATCH] D41689: [SCEVAA] Don't crash on pointers with no dominance relationship.

[Dan Gohman via Phabricator via llvm-commits]

sunfish added a comment.

Ah, I overlooked that the loop doesn't dominate the exit block.

That said, it suggests another idea here, which would be to permit the formation of expressions like `{0,+,64}<%bb4> + (-8 * %tmp2)` in SCEV itself, and then just assert if such an expression is passed into SCEVExpander or similar.


Repository:
  rL LLVM

https://reviews.llvm.org/D41689