From: Julian Seward <jseward@acm.org>
Date: Sat, 14 Jul 2012 14:20:00 +0000 (+0000)
Subject: Implement VCMPNGESS (and other laneages: SD, PD, PS).  Fixes #302578.
X-Git-Tag: svn/VALGRIND_3_8_1^2~47
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=17a36b635a59c813f0d113c18030e6c7b2e7cc40;p=thirdparty%2Fvalgrind.git

Implement VCMPNGESS (and other laneages: SD, PD, PS).  Fixes #302578.


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

diff --git a/VEX/priv/guest_amd64_toIR.c b/VEX/priv/guest_amd64_toIR.c
index a130e5136d..f290a17d45 100644
--- a/VEX/priv/guest_amd64_toIR.c
+++ b/VEX/priv/guest_amd64_toIR.c
@@ -8597,7 +8597,14 @@ static Bool findSSECmpOp ( /*OUT*/Bool* preSwapP,
    // If you add a case here, add a corresponding test for both VCMPSD_128
    // and VCMPSS_128 in avx-1.c.
    switch (imm8) {
-      // "O" = ordered, "Q" = non-signalling (quiet), "S" = signalling
+      // "O" = ordered, "U" = unordered
+      // "Q" = non-signalling (quiet), "S" = signalling
+      //
+      //             swap operands?
+      //             |
+      //             |      cmp op          invert after?
+      //             |      |               |
+      //             v      v               v
       case 0x0:  XXX(False, Iop_CmpEQ32Fx4, False); break; // EQ_OQ
       case 0x1:  XXX(False, Iop_CmpLT32Fx4, False); break; // LT_OS
       case 0x2:  XXX(False, Iop_CmpLE32Fx4, False); break; // LE_OS
@@ -8607,7 +8614,7 @@ static Bool findSSECmpOp ( /*OUT*/Bool* preSwapP,
       case 0x6:  XXX(False, Iop_CmpLE32Fx4, True);  break; // NLE_US
       case 0x7:  XXX(False, Iop_CmpUN32Fx4, True);  break; // ORD_Q
       // 0x8  EQ_UQ
-      // 0x9  NGE_US
+      case 0x9:  XXX(True,  Iop_CmpLE32Fx4, True);  break; // NGE_US
       /* "Enhanced Comparison Predicate[s] for VEX-Encoded [insns] */
       case 0xA:  XXX(True,  Iop_CmpLT32Fx4, True);  break; // NGT_US
       // 0xB  FALSE_OQ