summaryrefslogtreecommitdiff
path: root/support/dktools/dk4maall.ctr
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/dktools/dk4maall.ctr
Initial commit
Diffstat (limited to 'support/dktools/dk4maall.ctr')
-rw-r--r--support/dktools/dk4maall.ctr236
1 files changed, 236 insertions, 0 deletions
diff --git a/support/dktools/dk4maall.ctr b/support/dktools/dk4maall.ctr
new file mode 100644
index 0000000000..35694bb4de
--- /dev/null
+++ b/support/dktools/dk4maall.ctr
@@ -0,0 +1,236 @@
+%% options
+
+copyright owner = Dirk Krause
+copyright year = 2015-xxxx
+license = bsd
+
+
+%% header
+
+/** @file
+ Arithmetic operations on long long.
+
+ CRT on Windows: Optional.
+*/
+
+#ifndef DK4CONF_H_INCLUDED
+#include "dk4conf.h"
+#endif
+
+#ifndef DK4TYPES_H_INCLUDED
+#include "dk4types.h"
+#endif
+
+#ifndef DK4ERROR_H_INCLUDED
+#include "dk4error.h"
+#endif
+
+
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+#if DK4_HAVE_LONG_LONG
+
+/** Absolute value.
+ @param a Operand.
+ @param erp Error report, may be NULL.
+ @return Result on success, LLONG_MAX if a is LLONG_MIN
+ (overflow is reported in erp).
+
+ Error codes: DK4_E_OVERFLOW.
+*/
+long long
+dk4ma_ll_abs(long long a, dk4_er_t *erp);
+
+/** 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.
+*/
+long long
+dk4ma_ll_add(long long a, long long 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.
+*/
+long long
+dk4ma_ll_sub(long long a, long long 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.
+*/
+long long
+dk4ma_ll_mul(long long a, long long 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,
+ LLONG_MIN, LLONG_MAX, or 0 on division by zero or overflow
+ (see the ec component of erp).
+
+ Error codes: DK4_E_OVERFLOW, DK4_E_DIVZERO.
+*/
+long long
+dk4ma_ll_div(long long a, long long b, dk4_er_t *erp);
+
+#endif
+
+#ifdef __cplusplus
+}
+#endif
+
+
+%% module
+
+#include "dk4conf.h"
+#include "dk4types.h"
+#include "dk4error.h"
+#include "dk4numco.h"
+#include "dk4maall.h"
+
+
+#if DK4_HAVE_LONG_LONG
+
+long long
+dk4ma_ll_abs(long long a, dk4_er_t *erp)
+{
+ if (LLONG_MIN == a) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ return ((0LL <= a) ? a : ((LLONG_MIN == a) ? LLONG_MAX : (0LL - a)));
+}
+
+
+
+long long
+dk4ma_ll_add(long long a, long long b, dk4_er_t *erp)
+{
+ if ((0LL < a) && (0LL < b)) {
+ if ((LLONG_MAX - a) < b) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ } else {
+ if ((0LL > a) && (0LL > b)) {
+ if (LLONG_MIN == a) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ } else {
+ if ((LLONG_MIN - a) > b) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ }
+ }
+ }
+ return (a + b);
+}
+
+
+
+long long
+dk4ma_ll_sub(long long a, long long b, dk4_er_t *erp)
+{
+ if ((0LL < a) && (0LL > b)) {
+ if ((LLONG_MAX + b) < a) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ } else {
+ if ((0LL > a) && (0LL < b)) {
+ if ((LLONG_MIN + b) > a) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ }
+ }
+ return (a - b);
+}
+
+
+
+long long
+dk4ma_ll_mul(long long a, long long b, dk4_er_t *erp)
+{
+ if ((0LL != a) && (0LL != b)) {
+ if (LLONG_MIN == a) {
+ if (1LL != b) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ } else {
+ if (LLONG_MIN == b) {
+ if (1LL != a) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ } else {
+ if (0LL < a) {
+ if (0LL < b) {
+ if ((LLONG_MAX / a) < b) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ } else {
+ if ((LLONG_MIN / a) > b) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ }
+ } else {
+ if (0LL < b) {
+ if ((LLONG_MIN / b) > a) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ } else {
+ if ((LLONG_MAX / (0LL - a)) < (0LL - b)) {
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ }
+ }
+ }
+ }
+ }
+ }
+ return (a * b);
+}
+
+
+
+long long
+dk4ma_ll_div(long long a, long long b, dk4_er_t *erp)
+{
+ long long back = 0;
+ if (0LL != b) {
+ if ((LLONG_MIN == a) && (-1LL == b)) {
+ back = LLONG_MAX;
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW);
+ } else {
+ back = a / b;
+ }
+ } else {
+ if (0LL < a) {
+ back = LLONG_MAX;
+ } else {
+ if (0LL > a) {
+ back = LLONG_MIN;
+ }
+ }
+ dk4error_set_simple_error_code(erp, DK4_E_MATH_DIVZERO);
+ }
+ return back;
+}
+
+
+#endif
+