[llvm] [SLP]Convert compares from zexts, promoted to selects, to inversed op, if improves codegen (PR #181580)
Alexey Bataev via llvm-commits
llvm-commits at lists.llvm.org
Mon Mar 2 04:05:26 PST 2026
alexey-bataev wrote:
> I've bisected a third miscompile back to this patch.
>
> The problem seems to go away with [789bf51](https://github.com/llvm/llvm-project/commit/789bf51f0ce64c541ab0ca81d43c912cf0731628) `[SLP]Do not consider condition with multiple uses and negate predicate as a candidate for inversed select` but I have no idea if that is just by luck or if the actual problem is solved by that patch.
No, not by luck. I thought about a possible reason for the potential miscompilation and just came into an idea of the potential issue with multiple uses of compares
https://github.com/llvm/llvm-project/pull/181580
More information about the llvm-commits
mailing list