Re: [PATCH] LoongArch: Fold (x == 0 ? x : 0) to zero

[Jeff Law]

On 11/12/26 2:34 PM, Andrea Pinski wrote:

On Thu, Nov 12, 2026 at 1:33 AM Guo Jie <guo...@loongson.cn> wrote:

RTL can contain:

         (set D (if_then_else:GPR (eq:X OP 0) OP 0))

Both outcomes are zero.  Fold this expression to a move of zero.

gcc/ChangeLog:

         * config/loongarch/loongarch.md: New split.

This should really be done in simplify-rt.cc instead if not already.
Can you check on why it is not?

Yea, 100% agreed.

jeff