Re: [PATCH v2] match.pd: Recognize X == MIN ? MIN : X - 1 as signed sat add [PR127985]

[Uttam Bhadauriya]

Hello Zhongyao,

Thank you for checking the patch and sharing the test results. I'm
sorry to see that it's failing on the RISC-V tests.

I have presented a v3 of the patch, with the tests I ran locally,
maybe those would be able to pass now.

Kind regards,
Uttam

On Wed, Oct 21, 2026 at 12:52 PM Zhongyao Chen
<chenzhongyao....@gmail.com> wrote:
>
> the new riscv test fail.
>
> FAIL: gcc.target/riscv/sat/pr127985.c -O2  scan-assembler-not \\.L[0-9]+
> FAIL: gcc.target/riscv/sat/pr127985.c -O2  scan-tree-dump-times
> optimized ".SAT_ADD " 8
> FAIL: gcc.target/riscv/sat/pr127985.c -O3  scan-assembler-not \\.L[0-9]+
> FAIL: gcc.target/riscv/sat/pr127985.c -O3  scan-tree-dump-times
> optimized ".SAT_ADD " 8
> FAIL: gcc.target/riscv/sat/pr127985.c -Ofast  scan-assembler-not \\.L[0-9]+
> FAIL: gcc.target/riscv/sat/pr127985.c -Ofast  scan-tree-dump-times
> optimized ".SAT_ADD " 8
> FAIL: gcc.target/riscv/sat/pr127985.c -Os  scan-assembler-not \\.L[0-9]+
> FAIL: gcc.target/riscv/sat/pr127985.c -Os  scan-tree-dump-times
> optimized ".SAT_ADD " 8
> FAIL: gcc.target/riscv/sat/pr127985.c -Oz  scan-assembler-not \\.L[0-9]+
> FAIL: gcc.target/riscv/sat/pr127985.c -Oz  scan-tree-dump-times
> optimized ".SAT_ADD " 8
>
>
> --
> Regards,
> Zhongyao