[PATCH] D52508: [InstCombine] Clean up after IndVarSimplify

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

Is there a bug report associated with this? I saw a comment about this case somewhere, but I'm not finding it now.

Definitely, let's split these up. I starting looking at the demanded bits half and convinced myself there must be some umin sibling that we miss. This is what I came up with:
https://rise4fun.com/Alive/TSb

Make sure that looks right - I adjusted the precondition from your proof trying to see how this works, then I propagated 'not' vals through that. We should be able to fold both versions (but doesn't have to be in 1 patch).


https://reviews.llvm.org/D52508