%% options copyright owner = Dirk Krause copyright year = 2015-xxxx SPDX-License-Identifier: BSD-3-Clause %% header /** @file Arithmetic operations on unsigned int. CRT on Windows: Optional. */ #ifndef DK4CONF_H_INCLUDED #if DK4_BUILDING_DKTOOLS4 #include "dk4conf.h" #else #include #endif #endif #ifndef DK4TYPES_H_INCLUDED #if DK4_BUILDING_DKTOOLS4 #include "dk4types.h" #else #include #endif #endif #ifndef DK4ERROR_H_INCLUDED #if DK4_BUILDING_DKTOOLS4 #include "dk4error.h" #else #include #endif #endif #ifdef __cplusplus extern "C" { #endif /** Addition. @param a Left operand. @param b Right operand. @param erp Error report, may be NULL. @return Result on success, least significant result bits on overflow (see ec component of erp). Error codes: DK4_E_OVERFLOW. */ unsigned dk4ma_uint_add(unsigned a, unsigned b, dk4_er_t *erp); /** Subtraction. @param a Left operand. @param b Right operand. @param erp Error report, may be NULL. @return Result on success, least significant result bits on overflow (see ec component of erp). Error codes: DK4_E_OVERFLOW. */ unsigned dk4ma_uint_sub(unsigned a, unsigned b, dk4_er_t *erp); /** Multiplication. @param a Left factor. @param b right factor. @param erp Error report, may be NULL. @return Result on success, least significant bits on overflow (see ec component of erp). Error codes: DK4_E_OVERFLOW. */ unsigned dk4ma_uint_mul(unsigned a, unsigned b, dk4_er_t *erp); /** Division. @param a Counter (left operand). @param b Denominator (right operand). @param erp Error report, may be NULL. @return Division result on success, UINT_MAX on division by zero (see the ec component of erp). Error codes: DK4_E_MATH_DIVZERO. */ unsigned dk4ma_uint_div(unsigned a, unsigned b, dk4_er_t *erp); /** Convert dk4_um_t value to unsigned. @param u Value to convert. @param erp Error report, may be NULL. @return Conversion result. Error codes: DK4_E_MATH_OVERFLOW. */ unsigned dk4ma_uint_from(dk4_um_t u, dk4_er_t *erp); /** Convert double value to unsigned int. @param d Value to convert. @param erp Error report, may be NULL. @return Conversion result. Error codes: DK4_E_OVERFLOW. */ unsigned dk4ma_uint_from_double(double d, dk4_er_t *erp); #ifdef __cplusplus } #endif %% module #include "dk4conf.h" #include "dk4types.h" #include "dk4error.h" #include "dk4numco.h" #include "dk4maaui.h" unsigned dk4ma_uint_add(unsigned a, unsigned b, dk4_er_t *erp) { if ((UINT_MAX - a) < b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } return (unsigned)(a + b); } unsigned dk4ma_uint_sub(unsigned a, unsigned b, dk4_er_t *erp) { if (b > a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } return (unsigned)(a - b); } unsigned dk4ma_uint_mul(unsigned a, unsigned b, dk4_er_t *erp) { if (0U < a) { if ((UINT_MAX / a) < b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } return (unsigned)(a * b); } unsigned dk4ma_uint_div(unsigned a, unsigned b, dk4_er_t *erp) { if (0U < b) { return (unsigned)(a / b); } else { dk4error_set_simple_error_code(erp, DK4_E_MATH_DIVZERO); return (unsigned)(UINT_MAX); } } unsigned dk4ma_uint_from(dk4_um_t u, dk4_er_t *erp) { if ((dk4_um_t)(UINT_MAX) < u) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } return ((unsigned)u); } unsigned dk4ma_uint_from_double(double d, dk4_er_t *erp) { unsigned back = 0U; if ((double)(UINT_MAX) < d) { back = UINT_MAX; dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } else { if (0.0 > d) { dk4error_set_simple_error_code(erp,DK4_E_MATH_OVERFLOW); } else { back = (unsigned)d; } } return back; }