564 lines
15 KiB
ArmAsm
564 lines
15 KiB
ArmAsm
/* Libgcc Target specific implementation.
|
|
Copyright (C) 2012-2022 Free Software Foundation, Inc.
|
|
Contributed by KPIT Cummins Infosystems Limited.
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 3, or (at your option) any later
|
|
version.
|
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
for more details.
|
|
|
|
Under Section 7 of GPL version 3, you are granted additional
|
|
permissions described in the GCC Runtime Library Exception, version
|
|
3.1, as published by the Free Software Foundation.
|
|
|
|
You should have received a copy of the GNU General Public License and
|
|
a copy of the GCC Runtime Library Exception along with this program;
|
|
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#ifdef L_mulsi3
|
|
.text
|
|
.align 4
|
|
.globl ___mulsi3
|
|
___mulsi3:
|
|
movw r4,r0
|
|
movw r2,r1
|
|
/* Extended multiplication between the 2 lower words */
|
|
muluw r1,(r1,r0)
|
|
|
|
/* Multiply the lower word of each parameter */
|
|
mulw r2,r5
|
|
|
|
/* With the higher word of the other */
|
|
mulw r3,r4
|
|
|
|
/* Add products to the higher part of the final result */
|
|
addw r4,r1
|
|
addw r5,r1
|
|
jump (ra)
|
|
#endif
|
|
|
|
#ifdef L_divdi3
|
|
.text
|
|
.align 4
|
|
.globl ___divdi3
|
|
|
|
___divdi3:
|
|
push $4, r7, ra
|
|
|
|
/* Param #1 Long Long low bit first */
|
|
loadd 12(sp), (r1, r0)
|
|
loadd 16(sp), (r3, r2)
|
|
|
|
/* Param #2 Long Long low bit first */
|
|
loadd 20(sp), (r5, r4)
|
|
loadd 24(sp), (r7, r6)
|
|
|
|
/* Set neg to 0 */
|
|
movw $0, r10
|
|
|
|
subd $16, (sp)
|
|
|
|
/* Compare if param1 is greater than 0 */
|
|
cmpw $0, r3
|
|
ble L4
|
|
|
|
/* Invert param1 and neg */
|
|
movd $-1, (r9, r8) /* Temp set to FFFFFFFF */
|
|
xord (r9, r8), (r1, r0) /* Xor low bits of param 1 with temp */
|
|
xord (r9, r8), (r3, r2) /* Xor high bits of param 1 with temp */
|
|
addd $1, (r1, r0) /* Add 1 to low bits of param 1 */
|
|
xorw $1, r10 /* Invert neg */
|
|
bcc L4 /* If no carry occurred go to L4 */
|
|
addd $1, (r3, r2) /* Add 1 to high bits of param 1 */
|
|
|
|
L4: stord (r1, r0), 0(sp)
|
|
stord (r3, r2), 4(sp)
|
|
|
|
/* Compare if param2 is greater than 0 */
|
|
cmpw $0, r7
|
|
ble L5
|
|
|
|
/* Invert param2 and neg */
|
|
movd $-1, (r9, r8) /* Temp set to FFFFFFFF */
|
|
xord (r9, r8), (r5, r4) /* Xor low bits of param 2 with temp */
|
|
xord (r9, r8), (r7, r6) /* Xor high bits of param 2 with temp */
|
|
addd $1, (r5, r4) /* Add 1 to low bits of param 2 */
|
|
xorw $1, r10 /* Invert neg */
|
|
bcc L5 /* If no carry occurred go to L5 */
|
|
addd $1, (r7, r6) /* Add 1 to high bits of param 2 */
|
|
|
|
L5: stord (r5, r4), 8(sp)
|
|
stord (r7, r6), 12(sp)
|
|
movw $0, r2
|
|
|
|
/* Call udivmoddi3 */
|
|
#ifdef __PIC__
|
|
loadd ___udivmoddi3@cGOT(r12), (r1,r0)
|
|
jal (r1,r0)
|
|
#else
|
|
bal (ra), ___udivmoddi3
|
|
#endif
|
|
|
|
/* If (neg) */
|
|
addd $16, (sp)
|
|
cmpw $0, r10 /* Compare 0 with neg */
|
|
beq Lexit__
|
|
|
|
/* Neg = -Neg */
|
|
xord (r9, r8), (r1, r0) /* Xor low bits of ures with temp */
|
|
xord (r9, r8), (r3, r2) /* Xor high bits of ures with temp */
|
|
addd $1, (r1, r0) /* Add 1 to low bits of ures */
|
|
bcc Lexit__
|
|
addd $1, (r3, r2) /* Add 1 to high bit of ures */
|
|
|
|
Lexit__:
|
|
# ifdef __ID_SHARED_LIB__
|
|
pop $2, r12
|
|
# endif
|
|
popret $4, r7, ra
|
|
#endif
|
|
|
|
#ifdef L_lshrdi3
|
|
.text
|
|
.align 4
|
|
.globl ___lshrdi3
|
|
|
|
___lshrdi3:
|
|
push $3, r7
|
|
|
|
/* Load parameters from stack in this order */
|
|
movw r2, r6 /* Number of shifts */
|
|
loadd 6(sp), (r1, r0) /* Low bits */
|
|
loadd 10(sp), (r3, r2)/* High bits */
|
|
|
|
xorw $-1, r6 /* Invert number of shifts */
|
|
addw $1, r6 /* Add 1 by number of shifts */
|
|
|
|
movw r6, r7 /* Copy number of shifts */
|
|
|
|
tbit $15, r6 /* Test if number is negative */
|
|
bfs L2 /* If negative jump to L2 */
|
|
|
|
movd (r1, r0), (r9, r8) /* Copy low bits */
|
|
|
|
subw $32, r7 /* Calc how many bits will overflow */
|
|
/* Shift the temp low bit to the right to see the overflowing bits */
|
|
lshd r7, (r9, r8)
|
|
|
|
cmpw $32, r6 /* If number of shifts is higher than 31 */
|
|
blt L1 /* Shift by moving */
|
|
|
|
lshd r6, (r3, r2) /* Shift high bits */
|
|
lshd r6, (r1, r0) /* Shift low bits */
|
|
addd (r9, r8), (r3, r2) /* Add overflow to the high bits */
|
|
popret $3, r7 /* Return */
|
|
|
|
L1: movd $0, (r1, r0) /* Reset low bit */
|
|
movd (r9, r8), (r3, r2) /* Add the overflow from the low bit */
|
|
popret $3, r7 /* Return */
|
|
|
|
L2: movd (r3, r2), (r9, r8) /* Copy high bits */
|
|
|
|
addw $32, r7 /* Calc how many bits will overflow */
|
|
/* Shift the temp low bit to the left to see the overflowing bits */
|
|
lshd r7, (r9, r8)
|
|
|
|
cmpw $-32, r6 /* If number of shifts is lower than -31 */
|
|
bgt L3 /* Shift by moving */
|
|
|
|
lshd r6, (r1, r0) /* Shift low bits */
|
|
lshd r6, (r3, r2) /* Shift high bits */
|
|
addd (r9, r8), (r1, r0) /* Add overflow to the low bits */
|
|
popret $3, r7 /* Return */
|
|
|
|
L3: movd $0, (r3, r2) /* Reset the high bit */
|
|
movd (r9, r8), (r1, r0) /* Add the overflow from the high bit */
|
|
popret $3, r7 /* Return */
|
|
#endif
|
|
|
|
#ifdef L_moddi3
|
|
.text
|
|
.align 4
|
|
.globl ___moddi3
|
|
|
|
___moddi3:
|
|
push $4, r7, ra
|
|
|
|
/* Param #1 Long Long low bit first */
|
|
loadd 12(sp), (r1, r0)
|
|
loadd 16(sp), (r3, r2)
|
|
|
|
/* Param #2 Long Long low bit first */
|
|
loadd 20(sp), (r5, r4)
|
|
loadd 24(sp), (r7, r6)
|
|
|
|
subd $18, (sp)
|
|
|
|
/* Set neg to 0 */
|
|
storw $0, 16(sp)
|
|
|
|
movd $-1, (r9, r8) /* Temp set to FFFFFFFF */
|
|
|
|
/* Compare if param1 is greater than 0 */
|
|
cmpw $0, r3
|
|
ble L4
|
|
|
|
/* Invert param1 and neg */
|
|
xord (r9, r8), (r1, r0) /* Xor low bits of param 1 with temp */
|
|
xord (r9, r8), (r3, r2) /* Xor high bits of param 1 with temp */
|
|
addd $1, (r1, r0) /* Add 1 to low bits of param 1 */
|
|
storw $1, 16(sp)
|
|
bcc L4 /* If no carry occurred go to L4 */
|
|
addd $1, (r3, r2) /* Add 1 to high bits of param 1 */
|
|
|
|
L4: stord (r1, r0), 0(sp)
|
|
stord (r3, r2), 4(sp)
|
|
|
|
/* Compare if param2 is greater than 0 */
|
|
cmpw $0, r7
|
|
ble L5
|
|
|
|
/* Invert param2 and neg */
|
|
xord (r9, r8), (r5, r4) /* Xor low bits of param 2 with temp */
|
|
xord (r9, r8), (r7, r6) /* Xor high bits of param 2 with temp */
|
|
addd $1, (r5, r4) /* Add 1 to low bits of param 2 */
|
|
bcc L5 /* If no carry occurred go to L5 */
|
|
addd $1, (r7, r6) /* Add 1 to high bits of param 2 */
|
|
|
|
L5: stord (r5, r4), 8(sp)
|
|
stord (r7, r6), 12(sp)
|
|
movw $1, r2
|
|
|
|
/* Call udivmoddi3 */
|
|
#ifdef __PIC__
|
|
loadd ___udivmoddi3@cGOT(r12), (r1,r0)
|
|
jal (r1,r0)
|
|
#else
|
|
bal (ra), ___udivmoddi3
|
|
#endif
|
|
|
|
/* If (neg) */
|
|
loadw 16(sp), r10 /* Load neg from stack */
|
|
addd $18, (sp)
|
|
cmpw $0, r10 /* Compare 0 with neg */
|
|
beq Lexit__
|
|
|
|
/* Neg = -Neg */
|
|
xord (r9, r8), (r1, r0) /* Xor low bits of ures with temp */
|
|
xord (r9, r8), (r3, r2) /* Xor high bits of ures with temp */
|
|
addd $1, (r1, r0) /* Add 1 to low bits of ures */
|
|
bcc Lexit__
|
|
addd $1, (r3, r2) /* Add 1 to high bit of ures */
|
|
Lexit__:
|
|
# ifdef __ID_SHARED_LIB__
|
|
pop $2, r12
|
|
# endif
|
|
popret $4, r7, ra
|
|
#endif
|
|
|
|
#ifdef L_muldi3
|
|
.text
|
|
.align 4
|
|
.globl ___muldi3
|
|
|
|
___muldi3:
|
|
push $2, r13
|
|
push $7, r7
|
|
|
|
/* Param #1 Long Long low bit first */
|
|
loadd 18(sp), (r1, r0)
|
|
loadd 22(sp), (r3, r2)
|
|
|
|
/* Param #2 Long Long low bit first */
|
|
loadd 26(sp), (r5, r4)
|
|
loadd 30(sp), (r7, r6)
|
|
|
|
/* Clear r13, r12 */
|
|
movd $0, (r12)
|
|
movd $0, (r13)
|
|
|
|
/* Set neg */
|
|
movw $0, r10
|
|
|
|
/* Compare if param1 is greater than 0 */
|
|
cmpw $0, r3
|
|
ble L1
|
|
|
|
/* Invert param1 and neg */
|
|
movd $-1, (r9, r8) /* Temp set to FFFFFFFF */
|
|
xord (r9, r8), (r1, r0) /* Xor low bits of param 1 with temp */
|
|
xord (r9, r8), (r3, r2) /* Xor high bits of param 1 with temp */
|
|
addd $1, (r1, r0) /* Add 1 to low bits of param 1 */
|
|
xorw $1, r10 /* Invert neg */
|
|
bcc L1 /* If no carry occurred go to L1 */
|
|
addd $1, (r3, r2) /* Add 1 to high bits of param 1 */
|
|
|
|
L1: /* Compare if param2 is greater than 0 */
|
|
cmpw $0, r7
|
|
ble L2
|
|
|
|
/* Invert param2 and neg */
|
|
movd $-1, (r9, r8) /* Temp set to FFFFFFFF */
|
|
xord (r9, r8), (r5, r4) /* Xor low bits of param 2 with temp */
|
|
xord (r9, r8), (r7, r6) /* Xor high bits of param 2 with temp */
|
|
addd $1, (r5, r4) /* Add 1 to low bits of param 2 */
|
|
xorw $1, r10 /* Invert neg */
|
|
bcc L2 /* If no carry occurred go to L2 */
|
|
addd $1, (r7, r6) /* Add 1 to high bits of param 2 */
|
|
|
|
L2: storw r10, 18(sp) /* Store neg to stack so we can use r10 */
|
|
|
|
/* B*D */
|
|
/* Bl*Dl */
|
|
macuw r0, r4, (r12) /* Multiply r0 and r4 and add to r12 */
|
|
|
|
/* Bh*Dl */
|
|
movd $0, (r9, r8) /* Clear r9, r8 */
|
|
macuw r1, r4, (r9, r8) /* Multiply Bh*Dl and add result to (r9, r8) */
|
|
movw r9, r10 /* Shift left: r9 to r10 */
|
|
lshd $16, (r9, r8) /* Shift left: r8 to r9 */
|
|
movw $0, r11 /* Clear r11 */
|
|
addd (r9, r8), (r12) /* Add (r9, r8) to r12 */
|
|
bcc L3 /* If no carry occurred go to L3 */
|
|
addd $1, (r13) /* If carry occurred add 1 to r13 */
|
|
|
|
L3: addd (r11, r10), (r13) /* Add (r11, r10) to r13 */
|
|
|
|
/* Bl*Dh */
|
|
movd $0, (r9, r8) /* Clear (r9, r8) */
|
|
macuw r0, r5, (r9, r8) /* Multiply r0 and r5 and stor in (r9, r8) */
|
|
movw r9, r10 /* Shift left: r9 to r10 */
|
|
lshd $16, (r9, r8) /* Shift left: r8 to r9 */
|
|
addd (r9, r8), (r12) /* Add (r9, r8) to r12 */
|
|
bcc L4 /* If no carry occurred go to L4 */
|
|
addd $1, (r13) /* If carry occurred add 1 to r13 */
|
|
|
|
L4: addd (r11, r10), (r13) /* Add (r11, r10) to r13 */
|
|
|
|
/* Bh*Dh */
|
|
movd $0, (r9, r8) /* Clear (r9, r8) */
|
|
macuw r1, r5, (r9, r8) /* Multiply r1 and r5 and add to r13 */
|
|
addd (r9, r8), (r13) /* Add (r9, r8) to result */
|
|
|
|
/* A*D */
|
|
/* Al*Dl */
|
|
movd $0, (r11, r10) /* Clear (r11, r10) */
|
|
macuw r2, r4, (r11, r10)/* Multiply r2 and r4 and add to (r11, r10) */
|
|
|
|
addd (r13), (r11, r10) /* Copy r13 to (r11, r10) */
|
|
|
|
/* Al*Dh */
|
|
movd $0, (r9, r8) /* Clear (r9, r8) */
|
|
macuw r2, r5, (r9, r8) /* Multiply r2 and r5 and add to (r9, r8) */
|
|
addw r8, r11 /* Add r8 to r11 */
|
|
|
|
/* Ah*Dl */
|
|
muluw r3, (r5, r4) /* Multiply r3 and r4 and stor in (r5, r4) */
|
|
addw r4, r11 /* Add r4 to r11 */
|
|
|
|
/* B*C */
|
|
/* Bl*Cl */
|
|
movd $0, (r9, r8) /* Clear (r9, r8) */
|
|
macuw r0, r6, (r9, r8) /* Multiply r0 and r6 and add to (r9, r8) */
|
|
addd (r9, r8), (r11, r10)/* Add (r9, r8) to result */
|
|
|
|
/* Bl*Ch */
|
|
movd $0, (r9, r8) /* Clear (r9, r8) */
|
|
macuw r0, r7, (r9, r8) /* Multiply r0 and r7 and add to (r9, r8) */
|
|
addw r8, r11 /* Add r8 to r11 */
|
|
|
|
loadw 18(sp), r8 /* Load neg from stack */
|
|
|
|
/* Bh*Cl */
|
|
muluw r1, (r7, r6) /* Multiply r1 and r6 and stor in (r7, r6) */
|
|
addw r6, r11 /* Add r6 to r11 */
|
|
|
|
E1: movd (r11, r10), (r3, r2)
|
|
movd (r12), (r1, r0)
|
|
|
|
/* If (neg) */
|
|
cmpw $0, r8 /* Compare 0 with neg */
|
|
beq Lexit__
|
|
|
|
/* Neg = -Neg */
|
|
movd $-1, (r9, r8) /* Temp set to FFFFFFFF */
|
|
xord (r9, r8), (r1, r0) /* Xor low bits of result with temp */
|
|
xord (r9, r8), (r3, r2) /* Xor high bits of result with temp */
|
|
addd $1, (r1, r0) /* Add 1 to low bits of result */
|
|
bcc Lexit__
|
|
addd $1, (r3, r2) /* Add 1 to high bit of result */
|
|
Lexit__:
|
|
pop $7, r7
|
|
popret $2, r13
|
|
#endif
|
|
|
|
#ifdef L_negdi2
|
|
.text
|
|
.align 4
|
|
.globl ___negdi2
|
|
|
|
___negdi2:
|
|
/* Load parameter from the registers in this order */
|
|
loadd 0(sp), (r1, r0)
|
|
loadd 4(sp), (r3, r2)
|
|
|
|
movd $-1, (r6, r5) /* Set temp to FFFFFFFF */
|
|
xord (r6, r5), (r1, r0) /* Xor low bits with temp */
|
|
xord (r6, r5), (r3, r2) /* Xor high bits with temp */
|
|
addd $1, (r1, r0) /* Add one */
|
|
jcc (ra)
|
|
addd $1, (r3, r2) /* Add the carry to the high bits */
|
|
jump (ra)
|
|
#endif
|
|
|
|
#ifdef L_udivdi3
|
|
.text
|
|
.align 4
|
|
.globl ___udivdi3
|
|
|
|
___udivdi3:
|
|
movw $0, r2
|
|
br ___udivmoddi3
|
|
#endif
|
|
|
|
#ifdef L_udivmoddi3
|
|
.text
|
|
.align 4
|
|
.globl ___udivmoddi3
|
|
|
|
___udivmoddi3:
|
|
push $2, r13
|
|
push $7, r7
|
|
|
|
/* Param #1 Long Long low bit first */
|
|
loadd 18(sp), (r1, r0)
|
|
storw r2, 18(sp) /* Store modulo on stack */
|
|
loadd 22(sp), (r3, r2)
|
|
|
|
/* Param #2 Long Long low bit first */
|
|
loadd 26(sp), (r5, r4)
|
|
loadd 30(sp), (r7, r6)
|
|
|
|
/* Set ures to 0 */
|
|
movd $0, (r13)
|
|
movd $0, (r12)
|
|
|
|
cmpd (r12), (r5, r4)
|
|
beq LE
|
|
|
|
L5: movd $1, (r9, r8) /* Store 1 in low bits from bit */
|
|
movd $0, (r11, r10) /* Store 0 in high bits from bit */
|
|
|
|
L6: /* While (den < num && (!den & (1LL<<63))) */
|
|
/* Compare high bits from param 1 and param 2 */
|
|
cmpd (r7, r6), (r3, r2)
|
|
bhi L10 /* If param 2 is greater go to L10 */
|
|
bne L8 /* If param 1 is greater go to L8 */
|
|
cmpd (r5, r4), (r1, r0) /* Compare low bits from param 1 and param 2 */
|
|
/* If param 2 is greater or the same go to L1 */
|
|
bhs L10
|
|
|
|
L8: /* Check if most significant bit of param 2 is set */
|
|
tbit $15, r7
|
|
bfs L10 /* If PSR is set go to L10 */
|
|
|
|
/* Shift bit */
|
|
lshd $1, (r11, r10) /* Shift left: high bits of bit */
|
|
/* Check if most significant bit of bit is set */
|
|
tbit $15, r9
|
|
lshd $1, (r9, r8) /* Shift left: low bits of bit */
|
|
bfs L28 /* If PSR is set go to L28 */
|
|
|
|
L9: /* Shift b */
|
|
lshd $1, (r7, r6) /* Shift left: high bits of param 2 */
|
|
/* Check if most significant bit of param 2 is set */
|
|
tbit $15, r5
|
|
lshd $1, (r5, r4) /* Shift left: low bits of param 2 */
|
|
bfc L6 /* If PSR is set go to L6 */
|
|
addw $1, r6 /* Add 1 to the highest bits of b */
|
|
br L6 /* Go to L6 */
|
|
|
|
L10: /* While (bit) */
|
|
cmpd $0, (r11, r10)
|
|
bne L11
|
|
cmpd $0, (r9, r8)
|
|
beq E1
|
|
|
|
L11: /* If (num >= den) */
|
|
cmpd (r3, r2), (r7, r6) /* Compare high bits of param 1 and param 2 */
|
|
blo L15 /* If param 1 lower than param 2 go to L15 */
|
|
bne L12 /* If not equal go to L12 */
|
|
cmpd (r1, r0), (r5, r4) /* Compare low bits of param 1 and param 2 */
|
|
blo L15 /* If param 1 lower than param 2 go to L15 */
|
|
|
|
L12: /* Ures |= bit */
|
|
ord (r11, r10), (r13)
|
|
ord (r9, r8), (r12)
|
|
|
|
/* Num -= den */
|
|
subd (r7, r6), (r3, r2) /* Subtract highest 32 bits from each other */
|
|
subd (r5, r4), (r1, r0) /* Subtract lowest 32 bits from each other */
|
|
bcc L15 /* If no carry occurred go to L15 */
|
|
subd $1, (r3, r2) /* Subtract the carry */
|
|
|
|
L15: /* Shift bit to the right */
|
|
lshd $-1, (r9, r8) /* Shift right: low bits of bit */
|
|
/* Check if least significant bit of high bits is set */
|
|
tbit $0, r10
|
|
lshd $-1, (r11, r10) /* Shift right: high bits of bit */
|
|
bfs L18 /* If PSR is set go to L18 */
|
|
|
|
L17: /* Shift param#2 to the right */
|
|
lshd $-1, (r5, r4) /* Shift right: low bits of param 2 */
|
|
/* Check if least significant bit of high bits is set */
|
|
tbit $0, r6
|
|
lshd $-1, (r7, r6) /* Shift right: high bits of param 2 */
|
|
bfc L10 /* If PSR is not set go to L10 */
|
|
/* Or with 0x8000 to set most significant bit */
|
|
orw $32768, r5
|
|
br L10 /* Go to L10 */
|
|
|
|
L18: /* Or with 0x8000 to set most significant bit */
|
|
orw $32768, r9
|
|
br L17
|
|
|
|
L28: /* Left shift bit */
|
|
addw $1, r10 /* Add 1 to highest bits of bit */
|
|
br L9 /* Go to L9 */
|
|
|
|
LE: cmpd (r12), (r7, r6)
|
|
bne L5
|
|
excp dvz
|
|
br Lexit__
|
|
|
|
E1: loadw 18(sp), r4
|
|
cmpw $0, r4
|
|
bne Lexit__
|
|
|
|
/* Return result */
|
|
movd (r12), (r1, r0)
|
|
movd (r13), (r3, r2)
|
|
Lexit__:
|
|
pop $7, r7
|
|
popret $2, r13
|
|
#endif
|
|
|
|
#ifdef L_umoddi3
|
|
.text
|
|
.align 4
|
|
.globl ___umoddi3
|
|
|
|
___umoddi3:
|
|
movw $1, r2
|
|
br ___udivmoddi3
|
|
#endif
|
|
|