[llvm] [InstCombine] Fix saturated add canonicalization (PR #97973)
via llvm-commits
llvm-commits at lists.llvm.org
Mon Jul 8 14:28:17 PDT 2024
AtariDreams wrote:
> Comments apply to both copies of the code.
>
> Can you please add an alive2 proof to the patch description?
Done!
https://github.com/llvm/llvm-project/pull/97973
More information about the llvm-commits
mailing list