%% options copyright owner = Dirk Krause copyright year = 2016-xxxx license = bsd %% header /** @file dk4maai16.h Operations on int16_t data. */ #ifndef DK4CONF_H_INCLUDED #include "dk4conf.h" #endif #ifndef DK4TYPES_H_INCLUDED #include "dk4types.h" #endif #ifndef DK4ERROR_H_INCLUDED #include "dk4error.h" #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 #ifdef __cplusplus extern "C" { #endif /** Addition of int16_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. */ int16_t dk4ma_int16_t_add(int16_t a, int16_t b, dk4_er_t *erp); /** Substraction of int16_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. */ int16_t dk4ma_int16_t_sub(int16_t a, int16_t b, dk4_er_t *erp); /** Multiplication of int16_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. */ int16_t dk4ma_int16_t_mul(int16_t a, int16_t b, dk4_er_t *erp); /** Division of int16_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. */ int16_t dk4ma_int16_t_div(int16_t a, int16_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. */ int16_t dk4ma_int16_t_abs(int16_t a, dk4_er_t *erp); #ifdef __cplusplus } #endif %% module #include "dk4maai16.h" $!trace-include int16_t dk4ma_int16_t_add(int16_t a, int16_t b, dk4_er_t *erp) { if ((DK4_I16_MAX < a) || (DK4_I16_MIN > a)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((DK4_I16_MAX < b) || (DK4_I16_MIN > b)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((0 < a) && (0 < b)) { if ((DK4_I16_MAX - a) < b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if ((0 > a) && (0 > b)) { if (DK4_I16_MIN == a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } else { if ((DK4_I16_MIN - a) > b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } } } finished: return (a + b); } int16_t dk4ma_int16_t_sub(int16_t a, int16_t b, dk4_er_t *erp) { if ((DK4_I16_MAX < a) || (DK4_I16_MIN > a)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((DK4_I16_MAX < b) || (DK4_I16_MIN > b)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((0 < a) && (0 > b)) { if ((DK4_I16_MAX + b) < a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if ((0 > a) && (0 < b)) { if ((DK4_I16_MIN + b) > a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } } finished: return (a - b); } int16_t dk4ma_int16_t_mul(int16_t a, int16_t b, dk4_er_t *erp) { if ((DK4_I16_MAX < a) || (DK4_I16_MIN > a)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((DK4_I16_MAX < b) || (DK4_I16_MIN > b)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((0 != a) && (0 != b)) { if (DK4_I16_MIN == b) { if (1 != a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if (DK4_I16_MIN == a) { if (1 != b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if (0 < a) { if (0 < b) { if ((DK4_I16_MAX / a) < b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if ((DK4_I16_MIN / a) > b) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } } else { if (0 < b) { if ((DK4_I16_MIN / b) > a) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } else { if ((DK4_I16_MAX / (0 - a)) < (0 - b)) { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } } } } } } finished: return (a * b); } int16_t dk4ma_int16_t_div(int16_t a, int16_t b, dk4_er_t *erp) { int16_t back = 0; if ((DK4_I16_MAX < a) || (DK4_I16_MIN > a)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } if ((DK4_I16_MAX < b) || (DK4_I16_MIN > b)) { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); goto finished; } finished: if (0 != b) { if ((DK4_I16_MIN == a) && (-1 == b)) { back = DK4_I16_MAX; dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } else { back = a / b; } } else { if (0 < a) { back = DK4_I16_MAX; } else { if (0 > a) { back = DK4_I16_MIN; } } dk4error_set_simple_error_code(erp, DK4_E_MATH_DIVZERO); } return back; } int16_t dk4ma_int16_t_abs(int16_t a, dk4_er_t *erp) { if (DK4_I16_MIN != a) { return (0 - a); } else { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); return (DK4_I16_MAX); } }