priv/guest_generic_bb_to_IR.c stmt_is_guardable(): Add Ist_Dirty.

This might happen when the source contains something like
if (something_involving_pcmpxstrx && foo) { .. }
which might use amd64g_dirtyhelper_PCMPxSTRx.

diff --git a/VEX/priv/guest_generic_bb_to_IR.c b/VEX/priv/guest_generic_bb_to_IR.c
index 507c75e530c8b395121c2c4f5ff0cb11cdd64241..6361725bbf2331c2a016ef3e71fe64cb21cbac41 100644 (file)
--- a/VEX/priv/guest_generic_bb_to_IR.c
+++ b/VEX/priv/guest_generic_bb_to_IR.c
@@ -462,6 +462,7 @@ static Bool stmt_is_guardable ( const IRStmt* st )
       case Ist_Store:
       case Ist_StoreG:
       case Ist_Exit:
+      case Ist_Dirty:
          return False;
       // This is probably guardable, but it depends on the RHS of the
       // assignment.