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