Add a spec rule for HI after SUB. This turns up quite a lot

on my Nexus S.

git-svn-id: svn://svn.valgrind.org/vex/trunk@2250

diff --git a/VEX/priv/guest_arm_helpers.c b/VEX/priv/guest_arm_helpers.c
index 90ec93fe15115871aec4ae3ea577f04707fb35cb..a545e34bf6d3d37ffdc29781b87e3a01bf4b4622 100644 (file)
--- a/VEX/priv/guest_arm_helpers.c
+++ b/VEX/priv/guest_arm_helpers.c
@@ -643,6 +643,12 @@ IRExpr* guest_arm_spechelper ( HChar*   function_name,
          return unop(Iop_1Uto32,
                      binop(Iop_CmpLE32U, cc_dep1, cc_dep2));
       }
+      if (isU32(cond_n_op, (ARMCondHI << 4) | ARMG_CC_OP_SUB)) {
+         /* HI after SUB --> test argL >u argR
+                         --> test argR <u argL */
+         return unop(Iop_1Uto32,
+                     binop(Iop_CmpLT32U, cc_dep2, cc_dep1));
+      }
 
       /*---------------- SBB ----------------*/