From: Julian Seward <jseward@acm.org>
Date: Mon, 23 Aug 2004 22:57:45 +0000 (+0000)
Subject: Better printing of raw bb data.
X-Git-Tag: svn/VALGRIND_3_0_1^2~1139
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b69c26d5a07475d528320a8cb0ef5152dd6f9a75;p=thirdparty%2Fvalgrind.git

Better printing of raw bb data.


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

diff --git a/VEX/hacked104/vg_translate.c b/VEX/hacked104/vg_translate.c
index 9a48343414..7363b5249d 100644
--- a/VEX/hacked104/vg_translate.c
+++ b/VEX/hacked104/vg_translate.c
@@ -3133,7 +3133,7 @@ void VG_(translate) ( ThreadState* tst,
                     0,  /* verbosity */
                     False, 
 		    //True, 
-                    20 /* max insns per bb */ );
+                    4 /* max insns per bb */ );
       vex_init_done = True;
    }
 
@@ -3174,7 +3174,10 @@ void VG_(translate) ( ThreadState* tst,
 
    if (debugging_translation) {
       UChar* p = (UChar*)orig_addr;
-      VG_(printf)(". %d %x %d\n.", 0, orig_addr, t_orig_size );
+      VG_(printf)("\n");
+      VG_(printf)(". %d %x %d\n.", 
+                  debugging_translation ? 0 : VG_(overall_in_count), 
+                  orig_addr, t_orig_size );
       for (i = 0; i < t_orig_size; i++)
          VG_(printf)(" %02x", (Int)p[i] );
       VG_(printf)("\n");