ado_treebuild_BB: don't allow loads to be floated past CASs.

(why did this ever work before?)

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

diff --git a/VEX/priv/ir_opt.c b/VEX/priv/ir_opt.c
index a97ce58917f7b973ecb37144273cf0d3bf530012..f2850db61d66dc5282c39f25ac8b3ced1f25b83a 100644 (file)
--- a/VEX/priv/ir_opt.c
+++ b/VEX/priv/ir_opt.c
@@ -4646,7 +4646,8 @@ static IRStmt* atbSubst_Stmt ( ATmpInfo* env, IRStmt* st )
       stmtStores
          = toBool( st->tag == Ist_Store
                    || st->tag == Ist_Dirty
-                   || st->tag == Ist_LLSC );
+                   || st->tag == Ist_LLSC
+                   || st->tag == Ist_CAS );
 
       for (k = A_NENV-1; k >= 0; k--) {
          if (env[k].bindee == NULL)