1 ;; SPDX-License-Identifier: GPL-2.0-or-later
2 ;; Copyright (C) 2010 Texas Instruments Incorporated
3 ;; Contributed by Mark Salter <msalter@redhat.com>.
6 #include <linux/linkage.h>
8 ;; uint64_t __c6xabi_mpyll(uint64_t x, uint64_t y)
11 ;; First compute partial results using 32-bit parts of x and y:
14 ;; -----------------------------
16 ;; -----------------------------
22 ;; result = (P2 << 64) + (P1 << 32) + P0
24 ;; Since the result is also 64-bit, we can skip the P2 term.
28 mpy32u .m1x A4,B4,A1:A0 ; X0*Y0
30 || mpy32u .m2x B5,A4,B1:B0 ; X0*Y1 (don't need upper 32-bits)
31 || mpy32u .m1x A5,B4,A3:A2 ; X1*Y0 (don't need upper 32-bits)
37 ENDPROC(__c6xabi_mpyll)