From: Mark Wielaard <mark@klomp.org>
Date: Wed, 15 Jan 2020 16:43:15 +0000 (+0100)
Subject: priv/guest_generic_bb_to_IR.c stmt_is_guardable(): Add Ist_Dirty.
X-Git-Tag: VALGRIND_3_16_0~136
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6f9a8d619d2276c416d982cbd2cfb3cb84c50a43;p=thirdparty%2Fvalgrind.git

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 507c75e530..6361725bbf 100644
--- 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.