diff options
Diffstat (limited to 'runtime/x86_32/i64_smulh.S')
| -rw-r--r-- | runtime/x86_32/i64_smulh.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/x86_32/i64_smulh.S b/runtime/x86_32/i64_smulh.S index cc0f0167..618f40ba 100644 --- a/runtime/x86_32/i64_smulh.S +++ b/runtime/x86_32/i64_smulh.S @@ -48,7 +48,7 @@ // - subtract X if Y < 0 // - subtract Y if X < 0 -FUNCTION(__i64_smulh) +FUNCTION(__compcert_i64_smulh) pushl %esi pushl %edi movl XL, %eax @@ -91,4 +91,4 @@ FUNCTION(__i64_smulh) popl %edi popl %esi ret -ENDFUNCTION(__i64_smulh) +ENDFUNCTION(__compcert_i64_smulh) |