[llvm] [InstCombine] fold `select (trunc nuw X to i1), X, Y` to `select (trunc nuw X to i1), 1, Y` (PR #105914)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Sat Aug 24 00:17:01 PDT 2024
https://github.com/nikic commented:
Please add an alive2 proof to the patch description.
Note that the same transform also works for trunc nsw and -1, though that's probably less practically relevant.
https://github.com/llvm/llvm-project/pull/105914
More information about the llvm-commits
mailing list