math.h

Go to the documentation of this file.

// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
 
#ifndef OPENTITAN_SW_DEVICE_LIB_BASE_MATH_H_
#define OPENTITAN_SW_DEVICE_LIB_BASE_MATH_H_
 
#include <stdint.h>
 
#include "sw/device/lib/base/macros.h"
 
#ifdef __cplusplus
extern "C" {
#endif  // __cplusplus
 
/**
 * @file
 * @brief  Math helper functions.
 */
 
/**
 * Computes the 64-bit quotient `a / b` by way of schoolbook long division.
 *
 * This function is intentionally very slow: 64-bit divisions should not be
 * a frequent occurence, and faster algorithms result in unreasonable code-size
 * expenditure.
 *
 * Performing division with the / operator in C code that runs on a 32-bit
 * device can emit a polyfill like `__udivdi3`; normally, this would
 * be provided by a compiler runtime like libgcc_s, but we intentionally do not
 * link that into on-device binaries. This function should be use to resolve
 * link errors involving `__udiv` symbols. We do not provide a libgcc-style
 * linker alias for this function, because this operation should be explicit and
 * not over-used.
 *
 * If passed a non-null pointer, this function will also provide the remainder
 * as a side-product.
 *
 * If `b == 0`, this function produces undefined behavior (in practice, a
 * garbage result or a loop without forward progress).
 *
 * @param a The dividend.
 * @param b The divisor.
 * @param[out] rem_out An optional out-parameter for the remainder.
 * @return The quotient.
 */
OT_WARN_UNUSED_RESULT
uint64_t udiv64_slow(uint64_t a, uint64_t b, uint64_t *rem_out);
 
/**
 * Computes ceil(a / b) in an overflow-safe way.
 *
 * If `b == 0`, this function produces undefined behavior.
 *
 * @param a The dividend.
 * @param b The divisor.
 * @return Result, ceil(a / b).
 */
OT_WARN_UNUSED_RESULT
inline size_t ceil_div(size_t a, size_t b) {
  size_t out = a / b;
  if (a % b != 0) {
    out++;
  }
  return out;
}
 
#ifdef __cplusplus
}  // extern "C"
#endif  // __cplusplus
 
#endif  // OPENTITAN_SW_DEVICE_LIB_BASE_MATH_H_