/* Copyright (C) 2001-2021 Artifex Software, Inc.
   All Rights Reserved.

   This software is provided AS-IS with no warranty, either express or
   implied.

   This software is distributed under license and may not be copied,
   modified or distributed except as expressly authorized under the terms
   of the license contained in the file LICENSE in this distribution.

   Refer to licensing information at http://www.artifex.com or contact
   Artifex Software, Inc.,  1305 Grant Avenue - Suite 200, Novato,
   CA 94945, U.S.A., +1(415)492-9861, for further information.
*/


/* Arithmetic operators */
#include "math_.h"
#include "ghost.h"
#include "oper.h"
#include "store.h"
#include "gsstate.h"

/*
 * Many of the procedures in this file are public only so they can be
 * called from the FunctionType 4 interpreter (zfunc4.c).
 */

static int mul_64_64_overflowcheck(int64_t abc, int64_t def, int64_t *res);

/* <num1> <num2> add <sum> */
/* We make this into a separate procedure because */
/* the interpreter will almost always call it directly. */
int
zop_add(i_ctx_t *i_ctx_p)
{
    register os_ptr op = osp;
    float result;

    switch (r_type(op)) {
    default:
        return_op_typecheck(op);
    case t_real:
        switch (r_type(op - 1)) {
        default:
            return_op_typecheck(op - 1);
        case t_real:
            result = op[-1].value.realval + op->value.realval;
#ifdef HAVE_ISINF
            if (isinf(result))
                return_error(gs_error_undefinedresult);
#endif
#ifdef HAVE_ISNAN
            if (isnan(result))
                return_error(gs_error_undefinedresult);
#endif
            op[-1].value.realval = result;
            break;
        case t_integer:
            make_real(op - 1, (double)op[-1].value.intval + op->value.realval);
        }
        break;
    case t_integer:
        switch (r_type(op - 1)) {
        default:
            return_op_typecheck(op - 1);
        case t_real:
            result = op[-1].value.realval + (double)op->value.intval;
#ifdef HAVE_ISINF
            if (isinf(result))
                return_error(gs_error_undefinedresult);
#endif
#ifdef HAVE_ISNAN
            if (isnan(result))
                return_error(gs_error_undefinedresult);
#endif
            op[-1].value.realval = result;
            break;
        case t_integer: {
            if (sizeof(ps_int) != 4 && gs_currentcpsimode(imemory)) {
                ps_int32 int1 = (ps_int32)op[-1].value.intval;
                ps_int32 int2 = (ps_int32)op->value.intval;

                if (((int1 += int2) ^ int2) < 0 &&
                    ((int1 - int2) ^ int2) >= 0
                    ) {                     /* Overflow, convert to real */
                    make_real(op - 1, (double)(int1 - int2) + int2);
                }
                else {
                    op[-1].value.intval = (ps_int)int1;
                }
            }
            else {
                ps_int int2 = op->value.intval;

                if (((op[-1].value.intval += int2) ^ int2) < 0 &&
                    ((op[-1].value.intval - int2) ^ int2) >= 0
                    ) {                     /* Overflow, convert to real */
                    make_real(op - 1, (double)(op[-1].value.intval - int2) + int2);
                }
            }
        }
        }
    }
    return 0;
}
int
zadd(i_ctx_t *i_ctx_p)
{
    int code = zop_add(i_ctx_p);

    if (code == 0) {
        pop(1);
    }
    return code;
}

/* <num1> <num2> div <real_quotient> */
int
zdiv(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;
    os_ptr op1 = op - 1;
    float result;

    /* We can't use the non_int_cases macro, */
    /* because we have to check explicitly for op == 0. */
    switch (r_type(op)) {
        default:
            return_op_typecheck(op);
        case t_real:
            if (op->value.realval == 0)
                return_error(gs_error_undefinedresult);
            switch (r_type(op1)) {
                default:
                    return_op_typecheck(op1);
                case t_real:
                    result = op1->value.realval / op->value.realval;
#ifdef HAVE_ISINF
                    if (isinf(result))
                        return_error(gs_error_undefinedresult);
#endif
#ifdef HAVE_ISNAN
                    if (isnan(result))
                        return_error(gs_error_undefinedresult);
#endif
                    op1->value.realval = result;
                    break;
                case t_integer:
                    result = (double)op1->value.intval / op->value.realval;
#ifdef HAVE_ISINF
                    if (isinf(result))
                        return_error(gs_error_undefinedresult);
#endif
#ifdef HAVE_ISNAN
                    if (isnan(result))
                        return_error(gs_error_undefinedresult);
#endif
                    make_real(op1, result);
            }
            break;
        case t_integer:
            if (op->value.intval == 0)
                return_error(gs_error_undefinedresult);
            switch (r_type(op1)) {
                default:
                    return_op_typecheck(op1);
                case t_real:
                    result = op1->value.realval / (double)op->value.intval;
#ifdef HAVE_ISINF
                    if (isinf(result))
                        return_error(gs_error_undefinedresult);
#endif
#ifdef HAVE_ISNAN
                    if (isnan(result))
                        return_error(gs_error_undefinedresult);
#endif
                    op1->value.realval = result;
                    break;
                case t_integer:
                    result = (double)op1->value.intval / (double)op->value.intval;
#ifdef HAVE_ISINF
                    if (isinf(result))
                        return_error(gs_error_undefinedresult);
#endif
#ifdef HAVE_ISNAN
                    if (isnan(result))
                        return_error(gs_error_undefinedresult);
#endif
                    make_real(op1, result);
            }
    }
    pop(1);
    return 0;
}

/*
To detect 64bit x 64bit multiplication overflowing, consider
breaking the numbers down into 32bit chunks.

  abc = (a<<64) + (b<<32) + c
      (where a is 0 or -1, and b and c are 32bit unsigned.

Similarly:

  def = (d<<64) + (b<<32) + f

Then:

  abc.def = ((a<<64) + (b<<32) + c) * ((d<<64) + (e<<32) + f)
          = (a<<64).def + (d<<64).abc + (b<<32).(e<<32) +
            (b<<32).f + (e<<32).c + cf
          = (a.def + d.abc + b.e)<<64 + (b.f + e.c)<<32 + cf

*/

static int mul_64_64_overflowcheck(int64_t abc, int64_t def, int64_t *res)
{
  uint32_t b = (abc>>32);
  uint32_t c = (uint32_t)abc;
  uint32_t e = (def>>32);
  uint32_t f = (uint32_t)def;
  uint64_t low, mid, high, bf, ec;

  /* Low contribution */
  low = (uint64_t)c * (uint64_t)f;
  /* Mid contributions */
  bf = (uint64_t)b * (uint64_t)f;
  ec = (uint64_t)e * (uint64_t)c;
  /* Top contribution */
  high = (uint64_t)b * (uint64_t)e;
  if (abc < 0)
      high -= def;
  if (def < 0)
      high -= abc;
  /* How do we check for carries from 64bit unsigned adds?
   *  x + y >= (1<<64) == x >= (1<<64) - y
   *                   == x >  (1<<64) - y - 1
   * if we consider just 64bits, this is:
   * x > NOT y
   */
  if (bf > ~ec)
      high += ((uint64_t)1)<<32;
  mid = bf + ec;
  if (low > ~(mid<<32))
      high += 1;
  high += (mid>>32);
  low += (mid<<32);

  *res = low;

  return (int64_t)low < 0 ? high != -1 : high != 0;
}

/* <num1> <num2> mul <product> */
int
zmul(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;
    float result;

    switch (r_type(op)) {
    default:
        return_op_typecheck(op);
    case t_real:
        switch (r_type(op - 1)) {
        default:
            return_op_typecheck(op - 1);
        case t_real:
            result = op[-1].value.realval * op->value.realval;
#ifdef HAVE_ISINF
            if (isinf(result))
                return_error(gs_error_undefinedresult);
#endif
#ifdef HAVE_ISNAN
            if (isnan(result))
                return_error(gs_error_undefinedresult);
#endif
            op[-1].value.realval = result;
            break;
        case t_integer:
            result = (double)op[-1].value.intval * op->value.realval;
            make_real(op - 1, result);
        }
        break;
    case t_integer:
        switch (r_type(op - 1)) {
        default:
            return_op_typecheck(op - 1);
        case t_real:
            result = op[-1].value.realval * (double)op->value.intval;
#ifdef HAVE_ISINF
            if (isinf(result))
                return_error(gs_error_undefinedresult);
#endif
#ifdef HAVE_ISNAN
            if (isnan(result))
                return_error(gs_error_undefinedresult);
#endif
            op[-1].value.realval = result;
            break;
        case t_integer: {
            if (sizeof(ps_int) != 4 && gs_currentcpsimode(imemory)) {
                double ab = (double)op[-1].value.intval * op->value.intval;
                if (ab > (double)MAX_PS_INT32)       /* (double)0x7fffffff */
                    make_real(op - 1, ab);
                else if (ab < (double)MIN_PS_INT32) /* (double)(int)0x80000000 */
                    make_real(op - 1, ab);
                else
                    op[-1].value.intval = (ps_int)ab;
            }
            else {
                int64_t result;
                if (mul_64_64_overflowcheck(op[-1].value.intval, op->value.intval, &result)) {
                    double ab = (double)op[-1].value.intval * op->value.intval;
                    make_real(op - 1, ab);
                } else {
                    op[-1].value.intval = result;
                }
            }
        }
        }
    }
    pop(1);
    return 0;
}

/* <num1> <num2> sub <difference> */
/* We make this into a separate procedure because */
/* the interpreter will almost always call it directly. */
int
zop_sub(i_ctx_t *i_ctx_p)
{
    register os_ptr op = osp;

    switch (r_type(op)) {
    default:
        return_op_typecheck(op);
    case t_real:
        switch (r_type(op - 1)) {
        default:
            return_op_typecheck(op - 1);
        case t_real:
            op[-1].value.realval -= op->value.realval;
            break;
        case t_integer:
            make_real(op - 1, (double)op[-1].value.intval - op->value.realval);
        }
        break;
    case t_integer:
        switch (r_type(op - 1)) {
        default:
            return_op_typecheck(op - 1);
        case t_real:
            op[-1].value.realval -= (double)op->value.intval;
            break;
        case t_integer: {
            if (sizeof(ps_int) != 4 && gs_currentcpsimode(imemory)) {
                ps_int32 int1 = (ps_int)op[-1].value.intval;
                ps_int32 int2 = (ps_int)op->value.intval;
                ps_int32 int3;

                if ((int1 ^ (int3 = int1 - int2)) < 0 &&
                    (int1 ^ int2) < 0
                    ) {                     /* Overflow, convert to real */
                    make_real(op - 1, (float)int1 - op->value.intval);
                }
                else {
                    op[-1].value.intval = (ps_int)int3;
                }
            }
            else {
                ps_int int1 = op[-1].value.intval;

                if ((int1 ^ (op[-1].value.intval = int1 - op->value.intval)) < 0 &&
                    (int1 ^ op->value.intval) < 0
                    ) {                     /* Overflow, convert to real */
                    make_real(op - 1, (float)int1 - op->value.intval);
                }
            }
        }
        }
    }
    return 0;
}
int
zsub(i_ctx_t *i_ctx_p)
{
    int code = zop_sub(i_ctx_p);

    if (code == 0) {
        pop(1);
    }
    return code;
}

/* <num1> <num2> idiv <int_quotient> */
int
zidiv(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;

    check_type(*op, t_integer);
    check_type(op[-1], t_integer);
    if (sizeof(ps_int) && gs_currentcpsimode(imemory)) {
        int tmpval;
        if ((op->value.intval == 0) || (op[-1].value.intval == (ps_int)MIN_PS_INT32 && op->value.intval == -1)) {
            /* Anomalous boundary case: -MININT / -1, fail. */
            return_error(gs_error_undefinedresult);
        }
        tmpval = (int)op[-1].value.intval / op->value.intval;
        op[-1].value.intval = (int64_t)tmpval;
    }
    else {
        if ((op->value.intval == 0) || (op[-1].value.intval == MIN_PS_INT && op->value.intval == -1)) {
            /* Anomalous boundary case: -MININT / -1, fail. */
            return_error(gs_error_undefinedresult);
        }
        op[-1].value.intval /= op->value.intval;
    }
    pop(1);
    return 0;
}

/* <int1> <int2> mod <remainder> */
int
zmod(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;

    check_type(*op, t_integer);
    check_type(op[-1], t_integer);
    if (op->value.intval == 0)
        return_error(gs_error_undefinedresult);
    op[-1].value.intval %= op->value.intval;
    pop(1);
    return 0;
}

/* <num1> neg <num2> */
int
zneg(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;

    switch (r_type(op)) {
        default:
            return_op_typecheck(op);
        case t_real:
            op->value.realval = -op->value.realval;
            break;
        case t_integer:
            if (sizeof(ps_int) != 32 && gs_currentcpsimode(imemory)) {
                if (((unsigned int)op->value.intval) == MIN_PS_INT32)
                    make_real(op, -(float)(ps_uint32)MIN_PS_INT32);
                else
                    op->value.intval = -op->value.intval;
            }
            else {
                if (op->value.intval == MIN_PS_INT)
                    make_real(op, -(float)MIN_PS_INT);
                else
                    op->value.intval = -op->value.intval;
            }
    }
    return 0;
}

/* <num1> abs <num2> */
int
zabs(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;

    switch (r_type(op)) {
        default:
            return_op_typecheck(op);
        case t_real:
            if (op->value.realval >= 0)
                return 0;
            break;
        case t_integer:
            if (op->value.intval >= 0)
                return 0;
            break;
    }
    return zneg(i_ctx_p);
}

/* <num1> ceiling <num2> */
int
zceiling(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;

    switch (r_type(op)) {
        default:
            return_op_typecheck(op);
        case t_real:
            op->value.realval = ceil(op->value.realval);
        case t_integer:;
    }
    return 0;
}

/* <num1> floor <num2> */
int
zfloor(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;

    switch (r_type(op)) {
        default:
            return_op_typecheck(op);
        case t_real:
            op->value.realval = floor(op->value.realval);
        case t_integer:;
    }
    return 0;
}

/* <num1> round <num2> */
int
zround(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;

    switch (r_type(op)) {
        default:
            return_op_typecheck(op);
        case t_real:
            op->value.realval = floor(op->value.realval + 0.5);
        case t_integer:;
    }
    return 0;
}

/* <num1> truncate <num2> */
int
ztruncate(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;

    switch (r_type(op)) {
        default:
            return_op_typecheck(op);
        case t_real:
            op->value.realval =
                (op->value.realval < 0.0 ?
                 ceil(op->value.realval) :
                 floor(op->value.realval));
        case t_integer:;
    }
    return 0;
}

/* Non-standard operators */

/* <int1> <int2> .bitadd <sum> */
static int
zbitadd(i_ctx_t *i_ctx_p)
{
    os_ptr op = osp;

    check_type(*op, t_integer);
    check_type(op[-1], t_integer);
    op[-1].value.intval += op->value.intval;
    pop(1);
    return 0;
}

/* ------ Initialization table ------ */

const op_def zarith_op_defs[] =
{
    {"1abs", zabs},
    {"2add", zadd},
    {"2.bitadd", zbitadd},
    {"1ceiling", zceiling},
    {"2div", zdiv},
    {"2idiv", zidiv},
    {"1floor", zfloor},
    {"2mod", zmod},
    {"2mul", zmul},
    {"1neg", zneg},
    {"1round", zround},
    {"2sub", zsub},
    {"1truncate", ztruncate},
    op_def_end(0)
};
