Changeset 11173

Timestamp:

08/06/08 06:20:58 (4 months ago)

Author:

vboxsync

Message:

IPRT: Added ASMModS64ByS32RetS32 and ASMModU64ByU32RetU32.

Files:

• trunk/include/iprt/asm.h (modified) (3 diffs)
• trunk/src/VBox/Runtime/testcase/tstInlineAsm.cpp (modified) (1 diff)

trunk/include/iprt/asm.h

@@ -4263 +4263 @@
-
-/**
-e
+i
- *
- * @returns u64 / u32.
@@ -4297 +4297 @@
-
-/**
-e
+i
- *
- * @returns u64 / u32.
@@ -4322 +4322 @@
-        idiv    ecx
-        mov     [i32], eax
+    }
+#  endif
+    return i32;
+# endif /* !RT_ARCH_AMD64 */
+}
+#endif
+
+
+/**
+ * Performs 64-bit unsigned by a 32-bit unsigned division with a 32-bit unsigned result,
+ * returning the rest.
+ *
+ * @returns u64 % u32.
+ *
+ * @remarks It is important that the result is <= UINT32_MAX or we'll overflow and crash.
+ */
+#if RT_INLINE_ASM_EXTERNAL && !defined(RT_ARCH_AMD64)
+DECLASM(uint32_t) ASMModU64ByU32RetU32(uint64_t u64, uint32_t u32);
+#else
+DECLINLINE(uint32_t) ASMModU64ByU32RetU32(uint64_t u64, uint32_t u32)
+{
+# ifdef RT_ARCH_AMD64
+    return (uint32_t)(u64 % u32);
+# else /* !RT_ARCH_AMD64 */
+#  if RT_INLINE_ASM_GNU_STYLE
+    RTCCUINTREG uDummy;
+    __asm__ __volatile__("divl %3"
+                         : "=a" (uDummy), "=d"(u32)
+                         : "A" (u64), "r" (u32));
+#  else
+    __asm
+    {
+        mov     eax, dword ptr [u64]
+        mov     edx, dword ptr [u64 + 4]
+        mov     ecx, [u32]
+        div     ecx
+        mov     [u32], edx
+    }
+#  endif
+    return u32;
+# endif /* !RT_ARCH_AMD64 */
+}
+#endif
+
+
+/**
+ * Performs 64-bit signed by a 32-bit signed division with a 32-bit signed result,
+ * returning the rest.
+ *
+ * @returns u64 % u32.
+ *
+ * @remarks It is important that the result is <= UINT32_MAX or we'll overflow and crash.
+ */
+#if RT_INLINE_ASM_EXTERNAL && !defined(RT_ARCH_AMD64)
+DECLASM(int32_t) ASMModS64ByS32RetS32(int64_t i64, int32_t i32);
+#else
+DECLINLINE(int32_t) ASMModS64ByS32RetS32(int64_t i64, int32_t i32)
+{
+# ifdef RT_ARCH_AMD64
+    return (int32_t)(i64 % i32);
+# else /* !RT_ARCH_AMD64 */
+#  if RT_INLINE_ASM_GNU_STYLE
+    RTCCUINTREG iDummy;
+    __asm__ __volatile__("idivl %3"
+                         : "=a" (iDummy), "=d"(i32)
+                         : "A" (i64), "r" (i32));
+#  else
+    __asm
+    {
+        mov     eax, dword ptr [i64]
+        mov     edx, dword ptr [i64 + 4]
+        mov     ecx, [i32]
+        idiv    ecx
+        mov     [i32], edx
-    }
-#  endif

trunk/src/VBox/Runtime/testcase/tstInlineAsm.cpp

@@ -1069 +1069 @@
-    CHECKVAL(u64, UINT64_C(0x02b8f9a2aa74e3dc), "%#018RX64");
-#endif
+
+    u32 = ASMModU64ByU32RetU32(UINT64_C(0x0ffffff8c65d6731), UINT32_C(0x77d7daf8));
+    CHECKVAL(u32, UINT32_C(0x3B642451), "%#010RX32");
+
+    int32_t i32;
+    i32 = ASMModS64ByS32RetS32(INT64_C(-11), INT32_C(-2));
+    CHECKVAL(i32, INT32_C(-1), "%010RI32");
+    i32 = ASMModS64ByS32RetS32(INT64_C(-11), INT32_C(2));
+    CHECKVAL(i32, INT32_C(-1), "%010RI32");
+    i32 = ASMModS64ByS32RetS32(INT64_C(11), INT32_C(-2));
+    CHECKVAL(i32, INT32_C(1), "%010RI32");
+
+    i32 = ASMModS64ByS32RetS32(INT64_C(92233720368547758), INT32_C(2147483647));
+    CHECKVAL(i32, INT32_C(2104533974), "%010RI32");
+    i32 = ASMModS64ByS32RetS32(INT64_C(-92233720368547758), INT32_C(2147483647));
+    CHECKVAL(i32, INT32_C(-2104533974), "%010RI32");
-}
-