[llvm] KnownBits: refine KnownBits::srem for high-bits (PR #109121)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 18 05:28:46 PDT 2024


dtcxzyw wrote:

> Alive2 proof: https://alive2.llvm.org/ce/z/WcDkSX

Please provide a generic proof:
https://llvm.org/docs/InstCombineContributorGuide.html#use-generic-values-in-proofs

https://github.com/llvm/llvm-project/pull/109121


More information about the llvm-commits mailing list