[Bug tree-optimization/127985] [17 Regression] Recent match.pd simplification breaking saturation discovery on RISC-V

[chenzhongyao.hit at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127985

Zhongyao Chen <chenzhongyao.hit at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |chenzhongyao.hit at gmail dot 
com

--- Comment #1 from Zhongyao Chen <chenzhongyao.hit at gmail dot com> ---
So to fix it, we should update match-sat-alu.pd to match (x == INT_MIN) ?
INT_MIN : (x - 1), right? I can look into it.