[llvm] KnownBits: refine KnownBits::srem for high-bits (PR #109121)
Simon Pilgrim via llvm-commits
llvm-commits at lists.llvm.org
Wed Sep 18 10:13:45 PDT 2024
RKSimon wrote:
I'm not sure if you can use assume in the tgt for verification, maybe try something like this: https://alive2.llvm.org/ce/z/Ugh-Dq
https://github.com/llvm/llvm-project/pull/109121
More information about the llvm-commits
mailing list