[llvm] [InstSimplify] Simplify the select with integer comparison relationship (PR #66668)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Tue Sep 19 03:39:41 PDT 2023
https://github.com/nikic commented:
Please add an alive2 proof to the patch description. This should also needs additional tests (preferably more minimal than the example you added), e.g. that this does not fold without nsw, wrong constant, etc.
https://github.com/llvm/llvm-project/pull/66668
More information about the llvm-commits
mailing list