The mask64 value, in file VEX/priv/guest_ppc_toIR.c is missing the

HWCAPS bit for ISA3.0.

bugzilla 377478

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

diff --git a/VEX/priv/guest_ppc_toIR.c b/VEX/priv/guest_ppc_toIR.c
index 0d273899383ffd2d516c5fa35decb35c1b4f6d83..6fede61aec4228ea582245e091d5ea988e5d8fd5 100644 (file)
--- a/VEX/priv/guest_ppc_toIR.c
+++ b/VEX/priv/guest_ppc_toIR.c
@@ -29122,7 +29122,7 @@ DisResult disInstr_PPC ( IRSB*        irsb_IN,
 
    mask64 = VEX_HWCAPS_PPC64_V | VEX_HWCAPS_PPC64_FX
             | VEX_HWCAPS_PPC64_GX | VEX_HWCAPS_PPC64_VX | VEX_HWCAPS_PPC64_DFP
-            | VEX_HWCAPS_PPC64_ISA2_07;
+            | VEX_HWCAPS_PPC64_ISA2_07 | VEX_HWCAPS_PPC64_ISA3_0;
 
    if (mode64) {
       vassert((hwcaps_guest & mask32) == 0);