[PATCH] D142542: [InstSimplify] Simplify icmp between Shl instructions of the same value

[Nikita Popov via Phabricator via llvm-commits]

nikic added a reviewer: nikic.
nikic added a comment.

Can you please include the relevant alive2 proofs for the transform in the patch description? Should be something along the lines of https://alive2.llvm.org/ce/z/KCrE8j and https://alive2.llvm.org/ce/z/wH8vBN I think. Notably, a signed predicate requires *both* nuw and nsw. I don't think this is correctly enforced right now?

Can you please also pre-commit the tests?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D142542