From: Florian Krohm <flo2030@eich-krohm.de>
Date: Sat, 21 Jun 2025 19:49:02 +0000 (+0000)
Subject: ir_opt.c bug fix: folloup to 4b8dcbb146
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c38e9220c3efb2b11c94e744fe679851a4c63957;p=thirdparty%2Fvalgrind.git

ir_opt.c bug fix: folloup to 4b8dcbb146

x <= x  is True, you silly.
---

diff --git a/VEX/priv/ir_opt.c b/VEX/priv/ir_opt.c
index 6b75119ab..ee2c5a4a7 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();
                }