[PATCH] D150091: [InstCombine] Transform `icmp eq/ne ({su}div exact X,Y),C` -> `icmp eq/ne X, Y*C`

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

I'd also suggest to update the proofs to match what you are actually implementing. The current ones are rather roundabout.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D150091/new/

https://reviews.llvm.org/D150091