[llvm] Implement foldICmpRemConstant in InstCombineCompares (PR #77410)
Yingwei Zheng via llvm-commits
llvm-commits at lists.llvm.org
Mon Jan 8 23:25:49 PST 2024
dtcxzyw wrote:
> Doesn't work right now
Please update your PR description and attach alive2 proofs.
https://github.com/llvm/llvm-project/pull/77410
More information about the llvm-commits
mailing list