Make LibVEX_Translate (an API fn) take a Bool indicating whether or

not a self-checking translation has been requested.

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

diff --git a/VEX/priv/main/vex_main.c b/VEX/priv/main/vex_main.c
index 3145608f7dbccd17c8397a792c3a7c115bc327a8..d10481ce80e65ef6b80589e525f153287137d2c1 100644 (file)
--- a/VEX/priv/main/vex_main.c
+++ b/VEX/priv/main/vex_main.c
@@ -190,6 +190,8 @@ VexTranslateResult LibVEX_Translate (
    IRBB*   (*instrument2) ( IRBB*, VexGuestLayout*, 
                             IRType gWordTy, IRType hWordTy ),
    Bool    cleanup_after_instrumentation,
+   /* IN: should this translation be self-checking? */
+   Bool    do_self_check,
    /* IN: optionally, an access check function for guest code. */
    Bool    (*byte_accessible) ( Addr64 ),
    /* IN: debug: trace vex activity at various points */
@@ -400,7 +402,7 @@ VexTranslateResult LibVEX_Translate (
                      host_is_bigendian,
                      archinfo_guest,
                      guest_word_type,
-                     False/*selfcheck*/,
+                     do_self_check,
                      offB_TISTART,
                      offB_TILEN );
 

diff --git a/VEX/pub/libvex.h b/VEX/pub/libvex.h
index eec566a3087d83acd334bce2b43d3bb787a7733b..ab405016add89194b8a2ceca060c7154e37b7f18 100644 (file)
--- a/VEX/pub/libvex.h
+++ b/VEX/pub/libvex.h
@@ -286,6 +286,8 @@ VexTranslateResult LibVEX_Translate (
    IRBB*   (*instrument2) ( IRBB*, VexGuestLayout*, 
                             IRType gWordTy, IRType hWordTy ),
    Bool    cleanup_after_instrumentation,
+   /* IN: should this translation be self-checking? */
+   Bool    do_self_check,
    /* IN: optionally, an access check function for guest code. */
    Bool    (*byte_accessible) ( Addr64 ),
    /* IN: debug: trace vex activity at various points */

diff --git a/VEX/test_main.c b/VEX/test_main.c
index dc5f0548110a3ffa194e463f70d815977bf54755..57107408678f1e6001dd7b45f854932a227d70ae 100644 (file)
--- a/VEX/test_main.c
+++ b/VEX/test_main.c
@@ -166,6 +166,7 @@ int main ( int argc, char** argv )
                  NULL,          /* instrument2 */
                 True,          /* cleanup after instrument */
 #endif
+                 False, /* do_self_check ? */
                  NULL, /* access checker */
                  TEST_FLAGS 
               );