Mark Wielaard 564e480
diff --git a/VEX/priv/guest_ppc_toIR.c b/VEX/priv/guest_ppc_toIR.c
Mark Wielaard 564e480
index e16e837..a8d4926 100644
Mark Wielaard 564e480
--- a/VEX/priv/guest_ppc_toIR.c
Mark Wielaard 564e480
+++ b/VEX/priv/guest_ppc_toIR.c
Mark Wielaard 564e480
@@ -29356,62 +29356,70 @@ DisResult disInstr_PPC_WRK (
Mark Wielaard 564e480
 
Mark Wielaard 564e480
    decode_noF:
Mark Wielaard 564e480
       vassert(!allow_F);
Mark Wielaard 564e480
-      vex_printf("disInstr(ppc): found the Floating Point instruction 0x%x that\n"
Mark Wielaard 564e480
-		 "can't be handled by Valgrind on this host.  This instruction\n"
Mark Wielaard 564e480
-		 "requires a host that supports Floating Point instructions.\n",
Mark Wielaard 564e480
-		 theInstr);
Mark Wielaard 564e480
+      if (sigill_diag)
Mark Wielaard 564e480
+         vex_printf("disInstr(ppc): found the Floating Point instruction 0x%x that\n"
Mark Wielaard 564e480
+		    "can't be handled by Valgrind on this host.  This instruction\n"
Mark Wielaard 564e480
+		    "requires a host that supports Floating Point instructions.\n",
Mark Wielaard 564e480
+		    theInstr);
Mark Wielaard 564e480
       goto not_supported;
Mark Wielaard 564e480
    decode_noV:
Mark Wielaard 564e480
       vassert(!allow_V);
Mark Wielaard 564e480
-      vex_printf("disInstr(ppc): found an AltiVec or an e500 instruction 0x%x\n"
Mark Wielaard 564e480
-		 "that can't be handled by Valgrind.  If this instruction is an\n"
Mark Wielaard 564e480
-		 "Altivec instruction, Valgrind must be run on a host that supports"
Mark Wielaard 564e480
-		 "AltiVec instructions.  If the application was compiled for e500, then\n"
Mark Wielaard 564e480
-		 "unfortunately Valgrind does not yet support e500 instructions.\n",
Mark Wielaard 564e480
-		 theInstr);
Mark Wielaard 564e480
+      if (sigill_diag)
Mark Wielaard 564e480
+         vex_printf("disInstr(ppc): found an AltiVec or an e500 instruction 0x%x\n"
Mark Wielaard 564e480
+		    "that can't be handled by Valgrind.  If this instruction is an\n"
Mark Wielaard 564e480
+		    "Altivec instruction, Valgrind must be run on a host that supports"
Mark Wielaard 564e480
+		    "AltiVec instructions.  If the application was compiled for e500, then\n"
Mark Wielaard 564e480
+		    "unfortunately Valgrind does not yet support e500 instructions.\n",
Mark Wielaard 564e480
+		    theInstr);
Mark Wielaard 564e480
       goto not_supported;
Mark Wielaard 564e480
    decode_noVX:
Mark Wielaard 564e480
       vassert(!allow_VX);
Mark Wielaard 564e480
-      vex_printf("disInstr(ppc): found the instruction 0x%x that is defined in the\n"
Mark Wielaard 564e480
-		 "Power ISA 2.06 ABI but can't be handled by Valgrind on this host.\n"
Mark Wielaard 564e480
-		 "This instruction \nrequires a host that supports the ISA 2.06 ABI.\n",
Mark Wielaard 564e480
-		 theInstr);
Mark Wielaard 564e480
+      if (sigill_diag)
Mark Wielaard 564e480
+         vex_printf("disInstr(ppc): found the instruction 0x%x that is defined in the\n"
Mark Wielaard 564e480
+		    "Power ISA 2.06 ABI but can't be handled by Valgrind on this host.\n"
Mark Wielaard 564e480
+		    "This instruction \nrequires a host that supports the ISA 2.06 ABI.\n",
Mark Wielaard 564e480
+		    theInstr);
Mark Wielaard 564e480
       goto not_supported;
Mark Wielaard 564e480
    decode_noFX:
Mark Wielaard 564e480
       vassert(!allow_FX);
Mark Wielaard 564e480
-      vex_printf("disInstr(ppc): found the General Purpose-Optional instruction 0x%x\n"
Mark Wielaard 564e480
-		 "that can't be handled by Valgrind on this host. This instruction\n"
Mark Wielaard 564e480
-		 "requires a host that supports the General Purpose-Optional instructions.\n",
Mark Wielaard 564e480
-		 theInstr);
Mark Wielaard 564e480
+      if (sigill_diag)
Mark Wielaard 564e480
+         vex_printf("disInstr(ppc): found the General Purpose-Optional instruction 0x%x\n"
Mark Wielaard 564e480
+		    "that can't be handled by Valgrind on this host. This instruction\n"
Mark Wielaard 564e480
+		    "requires a host that supports the General Purpose-Optional instructions.\n",
Mark Wielaard 564e480
+		    theInstr);
Mark Wielaard 564e480
       goto not_supported;
Mark Wielaard 564e480
    decode_noGX:
Mark Wielaard 564e480
       vassert(!allow_GX);
Mark Wielaard 564e480
-      vex_printf("disInstr(ppc): found the Graphics-Optional instruction 0x%x\n"
Mark Wielaard 564e480
-		 "that can't be handled by Valgrind on this host. This instruction\n"
Mark Wielaard 564e480
-		 "requires a host that supports the Graphic-Optional instructions.\n",
Mark Wielaard 564e480
-		 theInstr);
Mark Wielaard 564e480
+      if (sigill_diag)
Mark Wielaard 564e480
+         vex_printf("disInstr(ppc): found the Graphics-Optional instruction 0x%x\n"
Mark Wielaard 564e480
+		    "that can't be handled by Valgrind on this host. This instruction\n"
Mark Wielaard 564e480
+		    "requires a host that supports the Graphic-Optional instructions.\n",
Mark Wielaard 564e480
+		    theInstr);
Mark Wielaard 564e480
       goto not_supported;
Mark Wielaard 564e480
    decode_noDFP:
Mark Wielaard 564e480
       vassert(!allow_DFP);
Mark Wielaard 564e480
-      vex_printf("disInstr(ppc): found the decimal floating point (DFP) instruction 0x%x\n"
Mark Wielaard 564e480
-		 "that can't be handled by Valgrind on this host.  This instruction\n"
Mark Wielaard 564e480
-		 "requires a host that supports DFP instructions.\n",
Mark Wielaard 564e480
-		 theInstr);
Mark Wielaard 564e480
+      if (sigill_diag)
Mark Wielaard 564e480
+         vex_printf("disInstr(ppc): found the decimal floating point (DFP) instruction 0x%x\n"
Mark Wielaard 564e480
+		    "that can't be handled by Valgrind on this host.  This instruction\n"
Mark Wielaard 564e480
+		    "requires a host that supports DFP instructions.\n",
Mark Wielaard 564e480
+		    theInstr);
Mark Wielaard 564e480
       goto not_supported;
Mark Wielaard 564e480
    decode_noP8:
Mark Wielaard 564e480
       vassert(!allow_isa_2_07);
Mark Wielaard 564e480
-      vex_printf("disInstr(ppc): found the Power 8 instruction 0x%x that can't be handled\n"
Mark Wielaard 564e480
-		 "by Valgrind on this host.  This instruction requires a host that\n"
Mark Wielaard 564e480
-		 "supports Power 8 instructions.\n",
Mark Wielaard 564e480
-		 theInstr);
Mark Wielaard 564e480
+      if (sigill_diag)
Mark Wielaard 564e480
+         vex_printf("disInstr(ppc): found the Power 8 instruction 0x%x that can't be handled\n"
Mark Wielaard 564e480
+		    "by Valgrind on this host.  This instruction requires a host that\n"
Mark Wielaard 564e480
+		    "supports Power 8 instructions.\n",
Mark Wielaard 564e480
+		    theInstr);
Mark Wielaard 564e480
       goto not_supported;
Mark Wielaard 564e480
 
Mark Wielaard 564e480
    decode_noP9:
Mark Wielaard 564e480
       vassert(!allow_isa_3_0);
Mark Wielaard 564e480
-      vex_printf("disInstr(ppc): found the Power 9 instruction 0x%x that can't be handled\n"
Mark Wielaard 564e480
-                 "by Valgrind on this host.  This instruction requires a host that\n"
Mark Wielaard 564e480
-		 "supports Power 9 instructions.\n",
Mark Wielaard 564e480
-		 theInstr);
Mark Wielaard 564e480
+      if (sigill_diag)
Mark Wielaard 564e480
+         vex_printf("disInstr(ppc): found the Power 9 instruction 0x%x that can't be handled\n"
Mark Wielaard 564e480
+                    "by Valgrind on this host.  This instruction requires a host that\n"
Mark Wielaard 564e480
+		    "supports Power 9 instructions.\n",
Mark Wielaard 564e480
+		    theInstr);
Mark Wielaard 564e480
       goto not_supported;
Mark Wielaard 564e480
 
Mark Wielaard 564e480
    decode_failure: