xref: /netbsd-src/sys/external/bsd/compiler_rt/dist/lib/builtins/arm/udivsi3.S (revision ef84fd3bd8895f4e6be1e38baf19e6dc3255bc64)
1156cd587Sjoerg/*===-- udivsi3.S - 32-bit unsigned integer divide ------------------------===//
2156cd587Sjoerg *
3156cd587Sjoerg *                     The LLVM Compiler Infrastructure
4156cd587Sjoerg *
5156cd587Sjoerg * This file is dual licensed under the MIT and the University of Illinois Open
6156cd587Sjoerg * Source Licenses. See LICENSE.TXT for details.
7156cd587Sjoerg *
8156cd587Sjoerg *===----------------------------------------------------------------------===//
9156cd587Sjoerg *
10156cd587Sjoerg * This file implements the __udivsi3 (32-bit unsigned integer divide)
11156cd587Sjoerg * function for the ARM 32-bit architecture.
12156cd587Sjoerg *
13156cd587Sjoerg *===----------------------------------------------------------------------===*/
14156cd587Sjoerg
15156cd587Sjoerg#include "../assembly.h"
16156cd587Sjoerg
17156cd587Sjoerg	.syntax unified
18156cd587Sjoerg	.text
19190e92d8Sjoerg
20190e92d8Sjoerg#if __ARM_ARCH_ISA_THUMB == 2
21190e92d8Sjoerg	.thumb
22190e92d8Sjoerg#endif
23190e92d8Sjoerg
24156cd587Sjoerg	.p2align 2
25156cd587SjoergDEFINE_AEABI_FUNCTION_ALIAS(__aeabi_uidiv, __udivsi3)
26190e92d8Sjoerg
27190e92d8Sjoerg@ unsigned int __udivsi3(unsigned int divident, unsigned int divisor)
28190e92d8Sjoerg@   Calculate and return the quotient of the (unsigned) division.
29190e92d8Sjoerg
30*ef84fd3bSjoerg#if __ARM_ARCH_ISA_THUMB == 2
31*ef84fd3bSjoergDEFINE_COMPILERRT_THUMB_FUNCTION(__udivsi3)
32*ef84fd3bSjoerg#else
33156cd587SjoergDEFINE_COMPILERRT_FUNCTION(__udivsi3)
34*ef84fd3bSjoerg#endif
35156cd587Sjoerg#if __ARM_ARCH_EXT_IDIV__
36156cd587Sjoerg	tst     r1, r1
37156cd587Sjoerg	beq     LOCAL_LABEL(divby0)
38190e92d8Sjoerg	udiv	r0, r0, r1
39156cd587Sjoerg	bx  	lr
40156cd587Sjoerg#else
41156cd587Sjoerg	cmp	r1, #1
42156cd587Sjoerg	bcc	LOCAL_LABEL(divby0)
43190e92d8Sjoerg	IT(eq)
44156cd587Sjoerg	JMPc(lr, eq)
45156cd587Sjoerg	cmp	r0, r1
46190e92d8Sjoerg	ITT(cc)
47156cd587Sjoerg	movcc	r0, #0
48156cd587Sjoerg	JMPc(lr, cc)
49156cd587Sjoerg	/*
50156cd587Sjoerg	 * Implement division using binary long division algorithm.
51156cd587Sjoerg	 *
52156cd587Sjoerg	 * r0 is the numerator, r1 the denominator.
53156cd587Sjoerg	 *
54156cd587Sjoerg	 * The code before JMP computes the correct shift I, so that
55156cd587Sjoerg	 * r0 and (r1 << I) have the highest bit set in the same position.
56156cd587Sjoerg	 * At the time of JMP, ip := .Ldiv0block - 12 * I.
57156cd587Sjoerg	 * This depends on the fixed instruction size of block.
58190e92d8Sjoerg	 * For ARM mode, this is 12 Bytes, for THUMB mode 14 Bytes.
59156cd587Sjoerg	 *
60156cd587Sjoerg	 * block(shift) implements the test-and-update-quotient core.
61156cd587Sjoerg	 * It assumes (r0 << shift) can be computed without overflow and
62156cd587Sjoerg	 * that (r0 << shift) < 2 * r1. The quotient is stored in r3.
63156cd587Sjoerg	 */
64156cd587Sjoerg
65156cd587Sjoerg#  ifdef __ARM_FEATURE_CLZ
66156cd587Sjoerg	clz	ip, r0
67156cd587Sjoerg	clz	r3, r1
68156cd587Sjoerg	/* r0 >= r1 implies clz(r0) <= clz(r1), so ip <= r3. */
69156cd587Sjoerg	sub	r3, r3, ip
70190e92d8Sjoerg#    if __ARM_ARCH_ISA_THUMB == 2
71190e92d8Sjoerg	adr	ip, LOCAL_LABEL(div0block) + 1
72190e92d8Sjoerg	sub	ip, ip, r3, lsl #1
73190e92d8Sjoerg#    else
74156cd587Sjoerg	adr	ip, LOCAL_LABEL(div0block)
75190e92d8Sjoerg#    endif
76156cd587Sjoerg	sub	ip, ip, r3, lsl #2
77156cd587Sjoerg	sub	ip, ip, r3, lsl #3
78156cd587Sjoerg	mov	r3, #0
79156cd587Sjoerg	bx	ip
80156cd587Sjoerg#  else
81190e92d8Sjoerg#    if __ARM_ARCH_ISA_THUMB == 2
82190e92d8Sjoerg#    error THUMB mode requires CLZ or UDIV
83190e92d8Sjoerg#    endif
84156cd587Sjoerg	mov	r2, r0
85156cd587Sjoerg	adr	ip, LOCAL_LABEL(div0block)
86156cd587Sjoerg
87156cd587Sjoerg	lsr	r3, r2, #16
88156cd587Sjoerg	cmp	r3, r1
89156cd587Sjoerg	movhs	r2, r3
90156cd587Sjoerg	subhs	ip, ip, #(16 * 12)
91156cd587Sjoerg
92156cd587Sjoerg	lsr	r3, r2, #8
93156cd587Sjoerg	cmp	r3, r1
94156cd587Sjoerg	movhs	r2, r3
95156cd587Sjoerg	subhs	ip, ip, #(8 * 12)
96156cd587Sjoerg
97156cd587Sjoerg	lsr	r3, r2, #4
98156cd587Sjoerg	cmp	r3, r1
99156cd587Sjoerg	movhs	r2, r3
100156cd587Sjoerg	subhs	ip, #(4 * 12)
101156cd587Sjoerg
102156cd587Sjoerg	lsr	r3, r2, #2
103156cd587Sjoerg	cmp	r3, r1
104156cd587Sjoerg	movhs	r2, r3
105156cd587Sjoerg	subhs	ip, ip, #(2 * 12)
106156cd587Sjoerg
107156cd587Sjoerg	/* Last block, no need to update r2 or r3. */
108156cd587Sjoerg	cmp	r1, r2, lsr #1
109156cd587Sjoerg	subls	ip, ip, #(1 * 12)
110156cd587Sjoerg
111156cd587Sjoerg	mov	r3, #0
112156cd587Sjoerg
113156cd587Sjoerg	JMP(ip)
114156cd587Sjoerg#  endif
115156cd587Sjoerg
116156cd587Sjoerg#define	IMM	#
117156cd587Sjoerg
118156cd587Sjoerg#define block(shift)                                                           \
119156cd587Sjoerg	cmp	r0, r1, lsl IMM shift;                                         \
120190e92d8Sjoerg	ITT(hs);                                                               \
121190e92d8Sjoerg	WIDE(addhs)	r3, r3, IMM (1 << shift);                              \
122190e92d8Sjoerg	WIDE(subhs)	r0, r0, r1, lsl IMM shift
123156cd587Sjoerg
124156cd587Sjoerg	block(31)
125156cd587Sjoerg	block(30)
126156cd587Sjoerg	block(29)
127156cd587Sjoerg	block(28)
128156cd587Sjoerg	block(27)
129156cd587Sjoerg	block(26)
130156cd587Sjoerg	block(25)
131156cd587Sjoerg	block(24)
132156cd587Sjoerg	block(23)
133156cd587Sjoerg	block(22)
134156cd587Sjoerg	block(21)
135156cd587Sjoerg	block(20)
136156cd587Sjoerg	block(19)
137156cd587Sjoerg	block(18)
138156cd587Sjoerg	block(17)
139156cd587Sjoerg	block(16)
140156cd587Sjoerg	block(15)
141156cd587Sjoerg	block(14)
142156cd587Sjoerg	block(13)
143156cd587Sjoerg	block(12)
144156cd587Sjoerg	block(11)
145156cd587Sjoerg	block(10)
146156cd587Sjoerg	block(9)
147156cd587Sjoerg	block(8)
148156cd587Sjoerg	block(7)
149156cd587Sjoerg	block(6)
150156cd587Sjoerg	block(5)
151156cd587Sjoerg	block(4)
152156cd587Sjoerg	block(3)
153156cd587Sjoerg	block(2)
154156cd587Sjoerg	block(1)
155156cd587SjoergLOCAL_LABEL(div0block):
156156cd587Sjoerg	block(0)
157156cd587Sjoerg
158156cd587Sjoerg	mov	r0, r3
159156cd587Sjoerg	JMP(lr)
160156cd587Sjoerg#endif /* __ARM_ARCH_EXT_IDIV__ */
161156cd587Sjoerg
162156cd587SjoergLOCAL_LABEL(divby0):
163156cd587Sjoerg	mov	r0, #0
164156cd587Sjoerg#ifdef __ARM_EABI__
165156cd587Sjoerg	b	__aeabi_idiv0
166156cd587Sjoerg#else
167156cd587Sjoerg	JMP(lr)
168156cd587Sjoerg#endif
169156cd587Sjoerg
170156cd587SjoergEND_COMPILERRT_FUNCTION(__udivsi3)
171