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 9a4834341444214f3c4aec0915a89d0ad8f5994e..7363b5249dee86ad871b121b9d2f9046bb10232c 100644 (file)
--- 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");