More fixes.

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

diff --git a/VEX/orig_amd64/test1.orig b/VEX/orig_amd64/test1.orig
index 6864c79c20b18b782cd41652ffcf718981e9b711..026efc65992e1c16dd0392c7184c5c207ca580c1 100644 (file)
--- a/VEX/orig_amd64/test1.orig
+++ b/VEX/orig_amd64/test1.orig
@@ -4724,12 +4724,12 @@ pushq %rbx
 . 53 C3
 
 rep ; ret
-. 1182 0x12345678 3
-. F3 C3 C3
+. 1182 0x12345678 2
+. F3 C3
 
 ret
-. 1183 0x12345678 2
-. C3 C3
+. 1183 0x12345678 1
+. C3
 
 roll %eax
 . 1184 0x12345678 3