Try and print a bit faster.

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

diff --git a/VEX/hacked104/vg_translate.c b/VEX/hacked104/vg_translate.c
index f65c595bba0578a51db53d6bbdc67b852b6e9b50..8bd5b086337278e618f70416e5e87232b08e6d84 100644 (file)
--- a/VEX/hacked104/vg_translate.c
+++ b/VEX/hacked104/vg_translate.c
@@ -3093,7 +3093,9 @@ void log_bytes ( Char* bytes, Int nbytes )
 {
   //fwrite ( bytes, 1, nbytes, stdout );
   Int i;
-  for (i = 0; i < nbytes; i++) 
+  for (i = 0; i < nbytes-3; i += 4)
+     VG_(printf)("%c%c%c%c", bytes[i], bytes[i+1], bytes[i+2], bytes[i+3]);
+  for (; i < nbytes; i++) 
      VG_(printf)("%c", bytes[i]);
 }