xbolva00 added a comment. And according to GCC mailing list (https://gcc.gnu.org/ml/gcc-patches/2018-09/msg00193.html) and their stats, unsigned case of X % C1 == C2 is still worth to handle as well. Repository: rL LLVM https://reviews.llvm.org/D50222