factor/native/arithmetic.c

139 lines
2.1 KiB
C

#include "factor.h"
CELL arithmetic_type(CELL obj1, CELL obj2)
{
CELL type1 = type_of(obj1);
CELL type2 = type_of(obj2);
CELL type;
switch(type1)
{
case FIXNUM_TYPE:
type = type2;
break;
case BIGNUM_TYPE:
switch(type2)
{
case FIXNUM_TYPE:
type = type1;
break;
default:
type = type2;
break;
}
break;
case RATIO_TYPE:
switch(type2)
{
case FIXNUM_TYPE:
case BIGNUM_TYPE:
type = type1;
break;
default:
type = type2;
break;
}
break;
case FLOAT_TYPE:
switch(type2)
{
case FIXNUM_TYPE:
case BIGNUM_TYPE:
case RATIO_TYPE:
type = type1;
break;
default:
type = type2;
break;
}
break;
case COMPLEX_TYPE:
switch(type2)
{
case FIXNUM_TYPE:
case BIGNUM_TYPE:
case RATIO_TYPE:
case FLOAT_TYPE:
type = type1;
break;
default:
type = type2;
break;
}
break;
default:
type = type1;
break;
}
return type;
}
void primitive_arithmetic_type(void)
{
CELL obj2 = dpop();
CELL obj1 = dpop();
dpush(tag_fixnum(arithmetic_type(obj1,obj2)));
}
bool realp(CELL tagged)
{
switch(type_of(tagged))
{
case FIXNUM_TYPE:
case BIGNUM_TYPE:
case RATIO_TYPE:
case FLOAT_TYPE:
return true;
break;
default:
return false;
break;
}
}
void primitive_numberp(void)
{
CELL tagged = dpop();
box_boolean(realp(tagged) || type_of(tagged) == COMPLEX_TYPE);
}
bool zerop(CELL tagged)
{
switch(type_of(tagged))
{
case FIXNUM_TYPE:
return tagged == 0;
case BIGNUM_TYPE:
return BIGNUM_ZERO_P((F_ARRAY*)UNTAG(tagged));
case FLOAT_TYPE:
return ((F_FLOAT*)UNTAG(tagged))->n == 0.0;
case RATIO_TYPE:
case COMPLEX_TYPE:
return false;
default:
type_error(NUMBER_TYPE,tagged);
return false; /* Can't happen */
}
}
bool onep(CELL tagged)
{
switch(type_of(tagged))
{
case FIXNUM_TYPE:
return tagged == tag_fixnum(1);
case BIGNUM_TYPE:
return BIGNUM_ONE_P((F_ARRAY*)UNTAG(tagged),0);
case FLOAT_TYPE:
return ((F_FLOAT*)UNTAG(tagged))->n == 1.0;
case RATIO_TYPE:
case COMPLEX_TYPE:
return false;
default:
type_error(NUMBER_TYPE,tagged);
return false; /* Can't happen */
}
}