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 | |
| 29 | .p2align 3 |
Nick Kledzik | cceb1f2 | 2010-07-27 06:24:32 +0000 | [diff] [blame] | 30 | DEFINE_COMPILERRT_FUNCTION(__modsi3) |
Stephen Hines | 7633afc | 2013-10-25 06:26:44 +0000 | [diff] [blame] | 31 | #if __ARM_ARCH_EXT_IDIV__ |
Nick Kledzik | 23bbd61 | 2013-05-24 19:38:11 +0000 | [diff] [blame] | 32 | tst r1, r1 |
| 33 | beq LOCAL_LABEL(divzero) |
| 34 | sdiv r2, r0, r1 |
| 35 | mls r0, r2, r1, r0 |
| 36 | bx lr |
| 37 | LOCAL_LABEL(divzero): |
| 38 | mov r0, #0 |
| 39 | bx lr |
| 40 | #else |
Stephen Canon | 5abb5c1 | 2011-03-18 16:35:02 +0000 | [diff] [blame] | 41 | ESTABLISH_FRAME |
| 42 | // Set aside the sign of the dividend. |
| 43 | mov r4, r0 |
| 44 | // Take absolute value of a and b via abs(x) = (x^(x >> 31)) - (x >> 31). |
| 45 | eor r2, r0, r0, asr #31 |
| 46 | eor r3, r1, r1, asr #31 |
| 47 | sub r0, r2, r0, asr #31 |
| 48 | sub r1, r3, r1, asr #31 |
| 49 | // abs(a) % abs(b) |
Anton Korobeynikov | 1653610 | 2011-04-19 17:50:09 +0000 | [diff] [blame] | 50 | bl SYMBOL_NAME(__umodsi3) |
Stephen Canon | 5abb5c1 | 2011-03-18 16:35:02 +0000 | [diff] [blame] | 51 | // Apply sign of dividend to result and return. |
| 52 | eor r0, r0, r4, asr #31 |
| 53 | sub r0, r0, r4, asr #31 |
| 54 | CLEAR_FRAME_AND_RETURN |
Nick Kledzik | 23bbd61 | 2013-05-24 19:38:11 +0000 | [diff] [blame] | 55 | #endif |
Joerg Sonnenberger | 171e9cf | 2014-01-24 14:33:42 +0000 | [diff] [blame] | 56 | END_COMPILERRT_FUNCTION(__modsi3) |