commit 3cfd1f038f2f8457f63f2731ed5a53d4544f52ab
author sewardj <sewardj@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Wed Aug 07 09:45:08 2013 +0000
committer sewardj <sewardj@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Wed Aug 07 09:45:08 2013 +0000
tree 13190191def28e45049ffd9e9c0625ea6032b8aa
parent 0af77fcdcb77afe171e70b2cd7a237ded9b7bfd9

Add a spec rule for SUBQ/NLE.


git-svn-id: svn://svn.valgrind.org/vex/trunk@2738 8f6e269a-dfd6-0310-a8e1-e2731360e62c

priv/guest_amd64_helpers.c

diff --git a/priv/guest_amd64_helpers.c b/priv/guest_amd64_helpers.c
index c3cf1e2..a173ec1 100644
--- a/priv/guest_amd64_helpers.c
+++ b/priv/guest_amd64_helpers.c
@@ -1027,6 +1027,16 @@
                      binop(Iop_CmpLE64U, cc_dep2, cc_dep1));
       }
 
+      if (isU64(cc_op, AMD64G_CC_OP_SUBQ) && isU64(cond, AMD64CondNLE)) {
+         /* long sub/cmp, then NLE (signed greater than) 
+            --> test !(dst <=s src)
+            --> test (dst >s src)
+            --> test (src <s dst) */
+         return unop(Iop_1Uto64,
+                     binop(Iop_CmpLT64S, cc_dep2, cc_dep1));
+
+      }
+
       if (isU64(cc_op, AMD64G_CC_OP_SUBQ) && isU64(cond, AMD64CondBE)) {
          /* long long sub/cmp, then BE (unsigned less than or equal)
             --> test dst <=u src */