xref: /openbsd-src/gnu/llvm/compiler-rt/lib/builtins/divmodsi4.c (revision d89ec533011f513df1010f142a111086a0785f09)
13cab2bb3Spatrick //===-- divmodsi4.c - Implement __divmodsi4
23cab2bb3Spatrick //--------------------------------===//
33cab2bb3Spatrick //
43cab2bb3Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
53cab2bb3Spatrick // See https://llvm.org/LICENSE.txt for license information.
63cab2bb3Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
73cab2bb3Spatrick //
83cab2bb3Spatrick //===----------------------------------------------------------------------===//
93cab2bb3Spatrick //
103cab2bb3Spatrick // This file implements __divmodsi4 for the compiler_rt library.
113cab2bb3Spatrick //
123cab2bb3Spatrick //===----------------------------------------------------------------------===//
133cab2bb3Spatrick 
143cab2bb3Spatrick #include "int_lib.h"
153cab2bb3Spatrick 
163cab2bb3Spatrick // Returns: a / b, *rem = a % b
173cab2bb3Spatrick 
__divmodsi4(si_int a,si_int b,si_int * rem)183cab2bb3Spatrick COMPILER_RT_ABI si_int __divmodsi4(si_int a, si_int b, si_int *rem) {
19*d89ec533Spatrick   const int bits_in_word_m1 = (int)(sizeof(si_int) * CHAR_BIT) - 1;
20*d89ec533Spatrick   si_int s_a = a >> bits_in_word_m1;                    // s_a = a < 0 ? -1 : 0
21*d89ec533Spatrick   si_int s_b = b >> bits_in_word_m1;                    // s_b = b < 0 ? -1 : 0
22*d89ec533Spatrick   a = (a ^ s_a) - s_a;                                  // negate if s_a == -1
23*d89ec533Spatrick   b = (b ^ s_b) - s_b;                                  // negate if s_b == -1
24*d89ec533Spatrick   s_b ^= s_a;                                           // sign of quotient
25*d89ec533Spatrick   su_int r;
26*d89ec533Spatrick   si_int q = (__udivmodsi4(a, b, &r) ^ s_b) - s_b;      // negate if s_b == -1
27*d89ec533Spatrick   *rem = (r ^ s_a) - s_a;                               // negate if s_a == -1
28*d89ec533Spatrick   return q;
293cab2bb3Spatrick }
30