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

Dan Gohman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Jan 5 15:12:49 PST 2018

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.



More information about the llvm-commits mailing list