diff options
Diffstat (limited to 'runtime/x86_32/i64_umulh.S')
-rw-r--r-- | runtime/x86_32/i64_umulh.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/x86_32/i64_umulh.S b/runtime/x86_32/i64_umulh.S index 449a0f8b..2dba0975 100644 --- a/runtime/x86_32/i64_umulh.S +++ b/runtime/x86_32/i64_umulh.S @@ -45,7 +45,7 @@ // X * Y = 2^64 XH.YH + 2^32 (XH.YL + XL.YH) + XL.YL -FUNCTION(__i64_umulh) +FUNCTION(__compcert_i64_umulh) pushl %esi pushl %edi movl XL, %eax @@ -70,5 +70,5 @@ FUNCTION(__i64_umulh) popl %edi popl %esi ret -ENDFUNCTION(__i64_umulh) +ENDFUNCTION(__compcert_i64_umulh) |