Wibble

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

diff --git a/VEX/orig_amd64/test2.sorted b/VEX/orig_amd64/test2.sorted
index 31591252684d5687f4e370a8d56b6bc93fc08911..c3343bee1233c84d1017a22c0ecb386683276349 100644 (file)
--- a/VEX/orig_amd64/test2.sorted
+++ b/VEX/orig_amd64/test2.sorted
@@ -1937,22 +1937,22 @@ FFE2                                    jmp *%rdx
 488D0492                                leaq (%rdx,%rdx,4), %rax
 488D342E                                leaq (%rsi,%rbp), %rsi
 488D04B6                                leaq (%rsi,%rsi,4), %rax
-448B4C2468                              mov 104(%rsp), %r9d
-8B5C247C                                mov 124(%rsp), %ebx
-8B780C                                  mov 12(%rax), %edi
-8B4C24EC                                mov -20(%rsp), %ecx
-8B4218                                  mov 24(%rdx), %eax
-448BA42424010000                        mov 292(%rsp), %r12d
-8B442430                                mov 48(%rsp), %eax
-418B442408                              mov 8(%r12), %eax
-8B4008                                  mov 8(%rax), %eax
-8B7808                                  mov 8(%rax), %edi
-8B4508                                  mov 8(%rbp), %eax
-448B4108                                mov 8(%rcx), %r8d
-448B4208                                mov 8(%rdx), %r8d
-8B5424F8                                mov -8(%rsp), %edx
-8B542408                                mov 8(%rsp), %edx
-8B742408                                mov 8(%rsp), %esi
+448B4C2468                              movl 104(%rsp), %r9d
+8B5C247C                                movl 124(%rsp), %ebx
+8B780C                                  movl 12(%rax), %edi
+8B4C24EC                                movl -20(%rsp), %ecx
+8B4218                                  movl 24(%rdx), %eax
+448BA42424010000                        movl 292(%rsp), %r12d
+8B442430                                movl 48(%rsp), %eax
+418B442408                              movl 8(%r12), %eax
+8B4008                                  movl 8(%rax), %eax
+8B7808                                  movl 8(%rax), %edi
+8B4508                                  movl 8(%rbp), %eax
+448B4108                                movl 8(%rcx), %r8d
+448B4208                                movl 8(%rdx), %r8d
+8B5424F8                                movl -8(%rsp), %edx
+8B542408                                movl 8(%rsp), %edx
+8B742408                                movl 8(%rsp), %esi
 48BFFF799F501344D33F                    movabsq $4599094494223104511, %rdi
 48BFEF39FAFE422EE63F                    movabsq $4604418534313441775, %rdi
 48BF000000000000F03F                    movabsq $4607182418800017408, %rdi