source: to-imperative/trunk/library/Arithm/add.cc @ 1027

// $Source$
// $Revision: 1027 $
// $Date: 2003-07-17 12:15:17 +0000 (Thu, 17 Jul 2003) $
// $Author: pooh $

#include <rf_core.hh>
#include <rf_short_int.hh>
#include <rf_integer.ih>
#include <inttypes.h>
#include <gmp.h>

namespace refal
{

using namespace rfrt;
using namespace rftype;

namespace Arithm
{

RF_FUNC (_p_, (RF_ARG s_Int1, s_Int2), (RF_RES s_Res))

  Term* p_Int1 = s_Int1.get_first();
  Term* p_Int2 = s_Int2.get_first();

  if (p_Int1->get_type() == type_short_int) {
    intptr_t i1 = static_cast<ShortInt*>(p_Int1)->to_int();
    if (p_Int2->get_type() == type_short_int) {
      intptr_t i2 = static_cast<ShortInt*>(p_Int2)->to_int();
      if ((((i1 > 0) && (i2 > 0)) || ((i1 < 0) && (i2 < 0))) &&
          imaxabs(i1) >= INTPTR_MAX - imaxabs(i2)
      ) {
        s_Res = Integer::create_expr(i1 + Integer(i2));
      } else {
        s_Res = ShortInt::create_expr(i1 + i2);
      }
    } else if (p_Int2->get_type() == type_int) {
      Integer* i2 = static_cast<Integer*>(p_Int2);
      s_Res = Integer::create_expr(i1 + (*i2));
    } else {
      RF_LIB_ERROR("Invalid argument");
    }
  } else if (p_Int1->get_type() == type_int) {
    Integer* i1 = static_cast<Integer*>(p_Int1);
    if (p_Int2->get_type() == type_short_int) {
      intptr_t i2 = static_cast<ShortInt*>(p_Int2)->to_int();
      s_Res = Integer::create_expr((*i1) + i2);
    } else if (p_Int2->get_type() == type_int) {
      Integer* i2 = static_cast<Integer*>(p_Int2);
      s_Res = Integer::create_expr((*i1) + (*i2));
    } else {
      RF_LIB_ERROR("Invalid argument");
    }
  } else {
    RF_LIB_ERROR("Invalid argument");
  }
RF_END
}

}