[PATCH] D31598: [SCEV] Try to get RHS from sext in implication via operations

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added a comment.

In https://reviews.llvm.org/D31598#716967, @mkazantsev wrote:

> Well, this situation is not something that can be reached easily (mostly because normal add does not propagate nsw flag), but I will try.


One way is to change it to an assert and then try to bootstrap clang[1], and see what breaks. :)

[1]: http://llvm.org/docs/AdvancedBuilds.html#id2


https://reviews.llvm.org/D31598