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