diff options
Diffstat (limited to 'runtime/x86_32/i64_udivmod.S')
| -rw-r--r-- | runtime/x86_32/i64_udivmod.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/x86_32/i64_udivmod.S b/runtime/x86_32/i64_udivmod.S index dccfc286..a5d42fa5 100644 --- a/runtime/x86_32/i64_udivmod.S +++ b/runtime/x86_32/i64_udivmod.S @@ -45,7 +45,7 @@ // eax:edx is remainder R // ebp is preserved -FUNCTION(__i64_udivmod) +FUNCTION(__compcert_i64_udivmod) cmpl $0, 32(%esp) // single-word divisor? (DH = 0) jne 1f // Special case 64 bits divided by 32 bits @@ -101,4 +101,4 @@ FUNCTION(__i64_udivmod) 5: decl %esi // adjust Q down by 1 jmp 3b // and redo check & computation of remainder -ENDFUNCTION(__i64_udivmod) +ENDFUNCTION(__compcert_i64_udivmod) |