%% options copyright owner = Dirk Krause copyright year = 2016-xxxx SPDX-License-Identifier: BSD-3-Clause %% header /** @file dk4maai32.h Operations on int32_t data. 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 #if DK4_HAVE_STDLIB_H #ifndef DK4_STDLIB_H_INCLUDED #include #define DK4_STDLIB_H_INCLUDED 1 #endif #endif #if DK4_HAVE_SYS_TYPES_H #ifndef DK4_SYS_TYPES_H_INCLUDED #include #define DK4_SYS_TYPES_H_INCLUDED 1 #endif #endif #if DK4_HAVE_STDINT_H #ifndef DK4_STDINT_H_INCLUDED #include #define DK4_STDINT_H_INCLUDED 1 #endif #endif #ifndef INT32_MAX #define INT32_MAX ((int32_t)2147483647L) #endif #ifndef INT32_MIN #define INT32_MIN (((int32_t)(-2147483647L)) - ((int32_t)1L)) #endif #ifdef __cplusplus extern "C" { #endif /** Addition of int32_t. @param a Left operand. @param b Right operand. @param erp Error report, may be NULL. @return Operation result. Error codes: - DK4_E_INVALID_ARGUMENTS
if a or b is out of range - DK4_E_MATH_OVERFLOW
if a mathematical overfow occured. */ int32_t dk4ma_int32_t_add(int32_t a, int32_t b, dk4_er_t *erp); /** Substraction of int32_t. @param a Left operand. @param b Right operand. @param erp Error report, may be NULL. @return Operation result. Error codes: - DK4_E_INVALID_ARGUMENTS
if a or b is out of range - DK4_E_MATH_OVERFLOW
if a mathematical overfow occured. */ int32_t dk4ma_int32_t_sub(int32_t a, int32_t b, dk4_er_t *erp); /** Multiplication of int32_t. @param a Left operand. @param b Right operand. @param erp Error report, may be NULL. @return Operation result. Error codes: - DK4_E_INVALID_ARGUMENTS
if a or b is out of range - DK4_E_MATH_OVERFLOW
if a mathematical overfow occured. */ int32_t dk4ma_int32_t_mul(int32_t a, int32_t b, dk4_er_t *erp); /** Calculate square value of an int. @param a Value to calculate square for. @param erp Error report, may be NULL. @return Square value. */ int32_t dk4ma_int32_t_sq(int32_t a, dk4_er_t *erp); /** Division of int32_t. @param a Left operand. @param b Right operand. @param erp Error report, may be NULL. @return Operation result. Error codes: - DK4_E_INVALID_ARGUMENTS
if a or b is out of range - DK4_E_MATH_OVERFLOW
if a mathematical overfow occured, - DK4_E_MATH_DIVZERO
if b is 0. */ int32_t dk4ma_int32_t_div(int32_t a, int32_t b, dk4_er_t *erp); /** Absolute value. @param a Argument. @param erp Error report, may be NULL. @return Absolute value of a. Error codes: - DK4_E_INVALID_ARGUMENTS
if a or b is out of range - DK4_E_MATH_OVERFLOW
if a mathematical overfow occured. */ int32_t dk4ma_int32_t_abs(int32_t a, dk4_er_t *erp); /** Convert dk4_im_t value to int32_t. @param i Value to convert. @param erp Error report, may be NULL. @return Conversion result. Error codes: DK4_E_MATH_OVERFLOW. */ int32_t dk4ma_int32_from(dk4_im_t i, dk4_er_t *erp); /** Convert double to int32_t. @param d Value to convert. @param erp Error report, may be NULL. @return Conversion result. Error codes: DK4_E_OVERFLOW. */ int32_t dk4ma_int32_from_double(double d, dk4_er_t *erp); /** Find difference of 2 signed integers, return difference as unsigned integer. @param a One parameter. @param b Other parameter. @return Absolute value of the difference. */ uint32_t dk4ma_int32_difference(int32_t a, int32_t b); #ifdef __cplusplus } #endif %% module #include "dk4conf.h" #include "dk4maai32.h" $!trace-include int32_t dk4ma_int32_t_add(int32_t a, int32_t b, dk4_er_t *erp) { if ((DK4_I32_MAX < a) || (DK4_I32_MIN > a)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((DK4_I32_MAX < b) || (DK4_I32_MIN > b)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((0L < a) && (0L < b)) { if ((DK4_I32_MAX - a) < b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if ((0L > a) && (0L > b)) { if (DK4_I32_MIN == a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } else { if ((DK4_I32_MIN - a) > b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } } } finished: return (a + b); } int32_t dk4ma_int32_t_sub(int32_t a, int32_t b, dk4_er_t *erp) { if ((DK4_I32_MAX < a) || (DK4_I32_MIN > a)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((DK4_I32_MAX < b) || (DK4_I32_MIN > b)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((0L < a) && (0L > b)) { if ((DK4_I32_MAX + b) < a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if ((0L > a) && (0L < b)) { if ((DK4_I32_MIN + b) > a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } } finished: return (a - b); } int32_t dk4ma_int32_t_mul(int32_t a, int32_t b, dk4_er_t *erp) { if ((DK4_I32_MAX < a) || (DK4_I32_MIN > a)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((DK4_I32_MAX < b) || (DK4_I32_MIN > b)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((0L != a) && (0L != b)) { if (DK4_I32_MIN == b) { if (1L != a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if (DK4_I32_MIN == a) { if (1L != b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if (0L < a) { if (0L < b) { if ((DK4_I32_MAX / a) < b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if ((DK4_I32_MIN / a) > b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } } else { if (0L < b) { if ((DK4_I32_MIN / b) > a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if ((DK4_I32_MAX / (0L - a)) < (0L - b)) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } } } } } finished: return (a * b); } int32_t dk4ma_int32_t_div(int32_t a, int32_t b, dk4_er_t *erp) { int32_t back = 0L; if ((DK4_I32_MAX < a) || (DK4_I32_MIN > a)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((DK4_I32_MAX < b) || (DK4_I32_MIN > b)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } finished: if (0L != b) { if ((DK4_I32_MIN == a) && (-1L == b)) { back = DK4_I32_MAX; dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } else { back = a / b; } } else { if (0L < a) { back = DK4_I32_MAX; } else { if (0L > a) { back = DK4_I32_MIN; } } dk4error_set_simple_error_code(erp, DK4_E_MATH_DIVZERO); } return back; } int32_t dk4ma_int32_t_abs(int32_t a, dk4_er_t *erp) { if (DK4_I32_MIN != a) { if ((int32_t)0L > a) { return ((int32_t)0L - a); } else { return a; } } else { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); return (DK4_I32_MAX); } } int32_t dk4ma_int32_from(dk4_im_t i, dk4_er_t *erp) { if (((dk4_im_t)(DK4_I32_MAX) < i) || ((dk4_im_t)(DK4_I32_MIN) > i)) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } return ((int32_t)i); } int32_t dk4ma_int32_from_double(double d, dk4_er_t *erp) { int32_t back = 0; if ((double)(DK4_I32_MIN) > d) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); back = DK4_I32_MIN; } else { if ((double)(DK4_I32_MAX) < d) { dk4error_set_simple_error_code(erp,DK4_E_MATH_OVERFLOW); back = DK4_I32_MAX; } else { back = (int32_t)d; } } return back; } uint32_t dk4ma_int32_difference(int32_t a, int32_t b) { uint32_t back; $? "+ dk4ma_int32_difference %ld %ld", (long)a, (long)b if ((int32_t)0L < a) { if ((int32_t)0L < b) { if (a >= b) { back = (uint32_t)(a - b); } else { back = (uint32_t)(b - a); } } else { if (DK4_I32_MIN == b) { back = (uint32_t)a + (uint32_t)(DK4_I32_MAX) + (uint32_t)1UL; } else { back = (uint32_t)a + (uint32_t)dk4ma_int32_t_abs(b, NULL); } } } else { if ((int32_t)0L < b) { if (DK4_I32_MIN == a) { back = (uint32_t)b + (uint32_t)(DK4_I32_MAX) + (uint32_t)1UL; } else { back = (uint32_t)b + (uint32_t)dk4ma_int32_t_abs(a, NULL); } } else { if (a >= b) { back = (uint32_t)(a - b); } else { back = (uint32_t)(b - a); } } } $? "- dk4ma_int32_difference %lu", (unsigned long)back return back; } int32_t dk4ma_int32_t_sq(int32_t a, dk4_er_t *erp) { return (dk4ma_int32_t_mul(a, a, erp)); } /* vim: set ai sw=4 ts=4 : */