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

Max Kazantsev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Apr 3 11:25:24 PDT 2017


mkazantsev added a comment.

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


https://reviews.llvm.org/D31598





More information about the llvm-commits mailing list