[llvm] [InstCombine] Factorise add/sub and max/min using distributivity (PR #101507)
Jorge Botto via llvm-commits
llvm-commits at lists.llvm.org
Thu Aug 1 09:02:22 PDT 2024
jf-botto wrote:
> > The alive proof sometimes times out. I have to add `noundef` to certain variables to make it not time out more consistently. Given how min/max/add preserve undef, I believe these optimisations to be correct when undef values are passed through.
>
> Try replacing all the i32s with i8. That usually helps with timeouts.
Thank you! That really helps. I will update the alive link. I may have to separate the tests into 3-4 links.
https://github.com/llvm/llvm-project/pull/101507
More information about the llvm-commits
mailing list