Index: /trunk/src/VBox/VMM/VMMAll/IEMAllAImplC.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/IEMAllAImplC.cpp	(revision 65029)
+++ /trunk/src/VBox/VMM/VMMAll/IEMAllAImplC.cpp	(revision 65030)
@@ -683,5 +683,5 @@
 {
     /* Note! "undefined" flags: OF, SF, AF, PF, CF. */
-    /** @todo check what real CPUs does. */
+    /** @todo check what real CPUs do. */
     if (uSrc)
     {
@@ -734,5 +734,5 @@
 {
     /* Note! "undefined" flags: OF, SF, AF, PF, CF. */
-    /** @todo check what real CPUs does. */
+    /** @todo check what real CPUs do. */
     if (uSrc)
     {
@@ -741,10 +741,10 @@
         if (uSrc & UINT64_C(0xffffffff00000000))
         {
-            iBit = 64;
+            iBit = 63;
             u32Src = uSrc >> 32;
         }
         else
         {
-            iBit = 32;
+            iBit = 31;
             u32Src = uSrc;
         }
@@ -769,9 +769,8 @@
             u32Src <<= 2;
         }
-        if (!(u32Src & UINT32_C(0x10000000)))
+        if (!(u32Src & UINT32_C(0x80000000)))
         {
             iBit -= 1;
-            u32Src <<= 1;
-            Assert(u32Src & RT_BIT_64(63));
+            Assert(u32Src & RT_BIT(30));
         }