]> git.ipfire.org Git - thirdparty/valgrind.git/commit
Improve handling of dirty helper calls when building trees in ado_treebuild_BB.
authorFlorian Krohm <florian@eich-krohm.de>
Sun, 30 Dec 2012 18:17:18 +0000 (18:17 +0000)
committerFlorian Krohm <florian@eich-krohm.de>
Sun, 30 Dec 2012 18:17:18 +0000 (18:17 +0000)
commit2b6c4b5a17e2cffe5db125ddfb8b42308c7798b7
tree7a6b0874a6d9a575a2dd1d2ff9c3ba9d854445e7
parent471faf7537968b795b0e7b29a8854af343da89cb
Improve handling of dirty helper calls when building trees in ado_treebuild_BB.
This function took an overly conservative approach and always assumed
that calling a dirty helper would modify both guest state and memory. This
patch introduces two new functions dirty_helper_stores and dirty_helper_puts,
to determine the actual side effets of a helper call. Using these functions
increases precision and allows the tree builder to move a GET past a dirty
helper call.

git-svn-id: svn://svn.valgrind.org/vex/trunk@2625
VEX/priv/ir_opt.c