[Valgrind-developers] [valgrind] ir_opt.c bug fix: folloup to 4b8dcbb146

[Florian K. <fk...@so...>]

https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=c38e9220c3efb2b11c94e744fe679851a4c63957

commit c38e9220c3efb2b11c94e744fe679851a4c63957
Author: Florian Krohm <fl...@ei...>
Date:   Sat Jun 21 19:49:02 2025 +0000

    ir_opt.c bug fix: folloup to 4b8dcbb146
    
    x <= x  is True, you silly.

Diff:
---
 VEX/priv/ir_opt.c | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/VEX/priv/ir_opt.c b/VEX/priv/ir_opt.c
index 6b75119ab7..ee2c5a4a71 100644
--- a/VEX/priv/ir_opt.c
+++ b/VEX/priv/ir_opt.c
@@ -2464,12 +2464,8 @@ static IRExpr* fold_Expr_WRK ( IRExpr** env, IRExpr* e )
             case Iop_ExpCmpNE64:
             case Iop_CmpLT32S:
             case Iop_CmpLT64S:
-            case Iop_CmpLE32S:
-            case Iop_CmpLE64S:
             case Iop_CmpLT32U:
             case Iop_CmpLT64U:
-            case Iop_CmpLE32U:
-            case Iop_CmpLE64U:
             case Iop_CmpNE8:
             case Iop_CmpNE16:
             case Iop_CmpNE32:
@@ -2492,11 +2488,16 @@ static IRExpr* fold_Expr_WRK ( IRExpr** env, IRExpr* e )
                }
                break;
 
+            case Iop_CmpLE32U:
+            case Iop_CmpLE64U:
+            case Iop_CmpLE32S:
+            case Iop_CmpLE64S:
             case Iop_CmpEQ8:
             case Iop_CmpEQ16:
             case Iop_CmpEQ32:
             case Iop_CmpEQ64:
                /* CmpEQ8/16/32/64(t,t) ==> 1, for some IRTemp t */
+               /* CmpLE32U/64U/32S/64S(t,t) ==> 1, for some IRTemp t */
                if (sameIRExprs(env, e->Iex.Binop.arg1, e->Iex.Binop.arg2)) {
                   e2 = mkTrue();
                }