[PATCH] D45976: [InstCombine] Simplify Add with remainder expressions as operands.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Fixed Alive proof for the signed case: https://rise4fun.com/Alive/zJr

Granted, I'm pretty sure this patch doesn't check the precondition correctly.


Repository:
  rL LLVM

https://reviews.llvm.org/D45976