Files
openbios/libgcc/__divdi3.c
Stefan Reinauer c200933ccd get sparc64 build some further
move libgcc to top level


git-svn-id: svn://coreboot.org/openbios/openbios-devel@61 f158a5a8-5612-0410-a976-696ce0be7e32
2006-06-10 02:22:45 +00:00

30 lines
418 B
C

/*
* arch/i386/libgcc/__divdi3.c
*/
#include <stdint.h>
#include <stddef.h>
extern uint64_t __udivmoddi4(uint64_t num, uint64_t den, uint64_t *rem);
int64_t __divdi3(int64_t num, int64_t den)
{
int minus = 0;
int64_t v;
if ( num < 0 ) {
num = -num;
minus = 1;
}
if ( den < 0 ) {
den = -den;
minus ^= 1;
}
v = __udivmoddi4(num, den, NULL);
if ( minus )
v = -v;
return v;
}