lib/util: use a special function for 64bit modulo

Don't use 64bit modulo function from libgcc This saves ~1.2KB Signed-off-by: Adam Wujek <adam.wujek@creotech.pl>

lib/util: use a special function for 64bit modulo
Don't use 64bit modulo function from libgcc This saves ~1.2KB Signed-off-by: Adam Wujek <adam.wujek@creotech.pl>
aaab1542 · Adam Wujek · 4ecfbddf · aaab1542 · aaab1542
Commit aaab1542 authored Feb 26, 2021 by Adam Wujek
Hide whitespace changes
Inline Side-by-side

Showing with 14 additions and 5 deletions

check-error.c check-error.c +7 -5

util.c lib/util.c +7 -0

No files found.
--- a/check-error.c
+++ b/check-error.c
@@ -38,11 +38,6 @@ int mprintf(const char *fmt, ...)

 #ifdef CONFIG_DISALLOW_LONG_DIVISION /* with ppsi we can avoid libgcc code for division */
 /* was used twice in picos_to_ts  */
-long long __moddi3 (long long A, long long B)
-{
-	__you_should_not_divide_ll_in_wrpc_sw();
-	return 0;
-}

 /* picos_to_ts again */
 long long __udivdi3 (long long A, long long B)
@@ -52,3 +47,10 @@ long long __udivdi3 (long long A, long long B)
 }

 #endif
+
+long long __moddi3 (long long A, long long B)
+{
+	__you_should_not_divide_ll_in_wrpc_sw();
+	/* use unsigned modulo instead */
+	return 0;
+}
--- a/lib/util.c
+++ b/lib/util.c
@@ -288,3 +288,10 @@ long long __divdi3 (long long A, long long B)
    return sign_a * sign_b * (long long) (a_u / b_u);
 }

+/* To save code, at the 64bit modulo use division and multiplication instead of
+ * modulo function from the standard library */
+unsigned long long __umoddi3 (unsigned long long A, unsigned long long B)
+{
+	volatile uint64_t x = A/B;
+	return A - (x)*B;
+}