[PATCH] D140405: [CVP] Simplify SRem when constantrange abs(lhs) < abs(rhs)

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Proof: https://alive2.llvm.org/ce/z/ExGwu7


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D140405