From: Julian Seward <jseward@acm.org>
Date: Thu, 7 Jul 2005 09:56:24 +0000 (+0000)
Subject: Make LibVEX_Translate (an API fn) take a Bool indicating whether or
X-Git-Tag: svn/VALGRIND_3_0_1^2~71
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2d4ccef72f433cc19b22337f186efb26d3a181c0;p=thirdparty%2Fvalgrind.git

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 3145608f7d..d10481ce80 100644
--- 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 eec566a308..ab405016ad 100644
--- 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 dc5f054811..5710740867 100644
--- 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 
               );