Commit 4458b74a authored by Alessandro Rubini's avatar Alessandro Rubini Committed by Grzegorz Daniluk

check-error: check for udivdi3 too

Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
parent f32a938c
...@@ -21,6 +21,7 @@ int mprintf(const char *fmt, ...); ...@@ -21,6 +21,7 @@ int mprintf(const char *fmt, ...);
long long __moddi3 (long long A, long long B); long long __moddi3 (long long A, long long B);
long long __divdi3 (long long A, long long B); long long __divdi3 (long long A, long long B);
long long __udivdi3 (long long A, long long B);
int printf(const char *fmt, ...) int printf(const char *fmt, ...)
{ {
...@@ -35,7 +36,6 @@ int mprintf(const char *fmt, ...) ...@@ -35,7 +36,6 @@ int mprintf(const char *fmt, ...)
return 0; return 0;
} }
#ifdef CONFIG_PPSI /* with ppsi we can avoid libgcc code for division */ #ifdef CONFIG_PPSI /* with ppsi we can avoid libgcc code for division */
/* was used twice in picos_to_ts */ /* was used twice in picos_to_ts */
long long __moddi3 (long long A, long long B) long long __moddi3 (long long A, long long B)
...@@ -44,6 +44,13 @@ long long __moddi3 (long long A, long long B) ...@@ -44,6 +44,13 @@ long long __moddi3 (long long A, long long B)
return 0; return 0;
} }
/* picos_to_ts again */
long long __udivdi3 (long long A, long long B)
{
__you_should_not_divide_ll_in_wrpc_sw();
return 0;
}
/* was used in set_phase_shift, phase_to_cf_units */ /* was used in set_phase_shift, phase_to_cf_units */
long long __divdi3 (long long A, long long B) long long __divdi3 (long long A, long long B)
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment