Stephen Canon | 5abb5c1 | 2011-03-18 16:35:02 +0000 | [diff] [blame] | 1 | /*===-- modsi3.S - 32-bit signed integer modulus --------------------------===// |
| 2 | * |
| 3 | * The LLVM Compiler Infrastructure |
| 4 | * |
| 5 | * This file is dual licensed under the MIT and the University of Illinois Open |
| 6 | * Source Licenses. See LICENSE.TXT for details. |
| 7 | * |
| 8 | *===----------------------------------------------------------------------===// |
| 9 | * |
| 10 | * This file implements the __modsi3 (32-bit signed integer modulus) function |
| 11 | * for the ARM architecture as a wrapper around the unsigned routine. |
| 12 | * |
| 13 | *===----------------------------------------------------------------------===*/ |
Nick Kledzik | cceb1f2 | 2010-07-27 06:24:32 +0000 | [diff] [blame] | 14 | |
| 15 | #include "../assembly.h" |
| 16 | |
Stephen Canon | 5abb5c1 | 2011-03-18 16:35:02 +0000 | [diff] [blame] | 17 | #define ESTABLISH_FRAME \ |
| 18 | push {r4, r7, lr} ;\ |
| 19 | add r7, sp, #4 |
| 20 | #define CLEAR_FRAME_AND_RETURN \ |
| 21 | pop {r4, r7, pc} |
| 22 | |
Saleem Abdulrasool | 57aa97f | 2014-06-01 04:07:03 +0000 | [diff] [blame] | 23 | .syntax unified |
| 24 | .text |
Saleem Abdulrasool | 1b8f1a4 | 2014-06-16 16:05:24 +0000 | [diff] [blame] | 25 | #if __ARM_ARCH_ISA_THUMB == 2 |
| 26 | .thumb |
| 27 | #endif |
Saleem Abdulrasool | 57aa97f | 2014-06-01 04:07:03 +0000 | [diff] [blame] | 28 | |
Saleem Abdulrasool | a0d6597 | 2014-08-09 20:17:43 +0000 | [diff] [blame] | 29 | @ int __modsi3(int divident, int divisor) |
| 30 | @ Calculate and return the remainder of the (signed) division. |
| 31 | |
Saleem Abdulrasool | 57aa97f | 2014-06-01 04:07:03 +0000 | [diff] [blame] | 32 | .p2align 3 |
Saleem Abdulrasool | 48d4e4d | 2014-10-07 02:39:13 +0000 | [diff] [blame] | 33 | #if __ARM_ARCH_ISA_THUMB == 2 |
Steven Wu | 84610ba | 2014-10-04 00:18:59 +0000 | [diff] [blame] | 34 | DEFINE_COMPILERRT_THUMB_FUNCTION(__modsi3) |
Saleem Abdulrasool | 48d4e4d | 2014-10-07 02:39:13 +0000 | [diff] [blame] | 35 | #else |
| 36 | DEFINE_COMPILERRT_FUNCTION(__modsi3) |
| 37 | #endif |
Stephen Hines | 7633afc | 2013-10-25 06:26:44 +0000 | [diff] [blame] | 38 | #if __ARM_ARCH_EXT_IDIV__ |
Nick Kledzik | 23bbd61 | 2013-05-24 19:38:11 +0000 | [diff] [blame] | 39 | tst r1, r1 |
| 40 | beq LOCAL_LABEL(divzero) |
| 41 | sdiv r2, r0, r1 |
| 42 | mls r0, r2, r1, r0 |
| 43 | bx lr |
| 44 | LOCAL_LABEL(divzero): |
| 45 | mov r0, #0 |
| 46 | bx lr |
| 47 | #else |
Stephen Canon | 5abb5c1 | 2011-03-18 16:35:02 +0000 | [diff] [blame] | 48 | ESTABLISH_FRAME |
| 49 | // Set aside the sign of the dividend. |
| 50 | mov r4, r0 |
| 51 | // Take absolute value of a and b via abs(x) = (x^(x >> 31)) - (x >> 31). |
| 52 | eor r2, r0, r0, asr #31 |
| 53 | eor r3, r1, r1, asr #31 |
| 54 | sub r0, r2, r0, asr #31 |
| 55 | sub r1, r3, r1, asr #31 |
| 56 | // abs(a) % abs(b) |
Anton Korobeynikov | 1653610 | 2011-04-19 17:50:09 +0000 | [diff] [blame] | 57 | bl SYMBOL_NAME(__umodsi3) |
Stephen Canon | 5abb5c1 | 2011-03-18 16:35:02 +0000 | [diff] [blame] | 58 | // Apply sign of dividend to result and return. |
| 59 | eor r0, r0, r4, asr #31 |
| 60 | sub r0, r0, r4, asr #31 |
| 61 | CLEAR_FRAME_AND_RETURN |
Nick Kledzik | 23bbd61 | 2013-05-24 19:38:11 +0000 | [diff] [blame] | 62 | #endif |
Joerg Sonnenberger | 171e9cf | 2014-01-24 14:33:42 +0000 | [diff] [blame] | 63 | END_COMPILERRT_FUNCTION(__modsi3) |
Saleem Abdulrasool | 590e85b | 2016-06-22 22:09:42 +0000 | [diff] [blame] | 64 | |
| 65 | NO_EXEC_STACK_DIRECTIVE |
| 66 | |