factor/vm/math.c

581 lines
11 KiB
C
Raw Normal View History

2006-07-07 00:07:18 -04:00
#include "factor.h"
/* Fixnums */
F_FIXNUM to_fixnum(CELL tagged)
{
switch(TAG(tagged))
{
case FIXNUM_TYPE:
return untag_fixnum_fast(tagged);
case BIGNUM_TYPE:
return bignum_to_fixnum(tagged);
2006-07-07 00:07:18 -04:00
default:
type_error(FIXNUM_TYPE,tagged);
return -1; /* can't happen */
}
}
2006-11-02 03:00:02 -05:00
CELL to_cell(CELL tagged)
{
2006-11-02 03:00:02 -05:00
return (CELL)to_fixnum(tagged);
}
void primitive_bignum_to_fixnum(void)
2006-07-07 00:07:18 -04:00
{
drepl(tag_fixnum(bignum_to_fixnum(dpeek())));
}
void primitive_float_to_fixnum(void)
{
drepl(tag_fixnum(float_to_fixnum(dpeek())));
2006-07-07 00:07:18 -04:00
}
#define POP_FIXNUMS(x,y) \
F_FIXNUM y = untag_fixnum_fast(dpop()); \
F_FIXNUM x = untag_fixnum_fast(dpop());
2006-07-07 00:07:18 -04:00
/* The fixnum arithmetic operations defined in C are relatively slow.
The Factor compiler has optimized assembly intrinsics for all these
operations. */
void primitive_fixnum_add(void)
{
POP_FIXNUMS(x,y)
box_signed_cell(x + y);
}
void primitive_fixnum_add_fast(void)
{
POP_FIXNUMS(x,y)
dpush(tag_fixnum(x + y));
}
void primitive_fixnum_subtract(void)
{
POP_FIXNUMS(x,y)
box_signed_cell(x - y);
}
void primitive_fixnum_subtract_fast(void)
{
POP_FIXNUMS(x,y)
dpush(tag_fixnum(x - y));
}
2006-11-01 00:20:49 -05:00
/* Multiply two integers, and trap overflow.
Thanks to David Blaikie (The_Vulture from freenode #java) for the hint. */
2006-07-07 00:07:18 -04:00
void primitive_fixnum_multiply(void)
{
POP_FIXNUMS(x,y)
if(x == 0 || y == 0)
dpush(tag_fixnum(0));
else
{
F_FIXNUM prod = x * y;
/* if this is not equal, we have overflow */
if(prod / x == y)
box_signed_cell(prod);
else
{
2006-11-02 03:12:23 -05:00
F_ARRAY *bx = s48_fixnum_to_bignum(x);
REGISTER_BIGNUM(bx);
F_ARRAY *by = s48_fixnum_to_bignum(y);
UNREGISTER_BIGNUM(by);
dpush(tag_bignum(s48_bignum_multiply(bx,by)));
2006-07-07 00:07:18 -04:00
}
}
}
void primitive_fixnum_divint(void)
{
POP_FIXNUMS(x,y)
box_signed_cell(x / y);
}
void primitive_fixnum_divmod(void)
{
POP_FIXNUMS(x,y)
box_signed_cell(x / y);
box_signed_cell(x % y);
}
void primitive_fixnum_mod(void)
{
POP_FIXNUMS(x,y)
dpush(tag_fixnum(x % y));
}
void primitive_fixnum_and(void)
{
POP_FIXNUMS(x,y)
dpush(tag_fixnum(x & y));
}
void primitive_fixnum_or(void)
{
POP_FIXNUMS(x,y)
dpush(tag_fixnum(x | y));
}
void primitive_fixnum_xor(void)
{
POP_FIXNUMS(x,y)
dpush(tag_fixnum(x ^ y));
}
/*
* Note the hairy overflow check.
* If we're shifting right by n bits, we won't overflow as long as none of the
* high WORD_SIZE-TAG_BITS-n bits are set.
*/
void primitive_fixnum_shift(void)
{
POP_FIXNUMS(x,y)
if(x == 0 || y == 0)
{
dpush(tag_fixnum(x));
return;
}
else if(y < 0)
{
if(y <= -WORD_SIZE)
dpush(x < 0 ? tag_fixnum(-1) : tag_fixnum(0));
else
dpush(tag_fixnum(x >> -y));
return;
}
else if(y < WORD_SIZE - TAG_BITS)
{
F_FIXNUM mask = -(1 << (WORD_SIZE - 1 - TAG_BITS - y));
if((x > 0 && (x & mask) == 0) || (x & mask) == mask)
{
dpush(tag_fixnum(x << y));
return;
}
}
dpush(tag_bignum(s48_bignum_arithmetic_shift(
s48_fixnum_to_bignum(x),y)));
}
void primitive_fixnum_less(void)
{
POP_FIXNUMS(x,y)
box_boolean(x < y);
}
void primitive_fixnum_lesseq(void)
{
POP_FIXNUMS(x,y)
box_boolean(x <= y);
}
void primitive_fixnum_greater(void)
{
POP_FIXNUMS(x,y)
box_boolean(x > y);
}
void primitive_fixnum_greatereq(void)
{
POP_FIXNUMS(x,y)
box_boolean(x >= y);
}
void primitive_fixnum_not(void)
{
drepl(tag_fixnum(~untag_fixnum_fast(dpeek())));
}
#define INT_DEFBOX(name,type) \
void name (type integer) \
{ \
2006-08-10 00:14:43 -04:00
dpush(tag_fixnum(integer)); \
2006-07-07 00:07:18 -04:00
}
#define INT_DEFUNBOX(name,type) \
type name(void) \
{ \
return to_fixnum(dpop()); \
}
INT_DEFBOX(box_signed_1, signed char)
INT_DEFBOX(box_signed_2, signed short)
INT_DEFBOX(box_unsigned_1, unsigned char)
INT_DEFBOX(box_unsigned_2, unsigned short)
INT_DEFUNBOX(unbox_signed_1, signed char)
INT_DEFUNBOX(unbox_signed_2, signed short)
INT_DEFUNBOX(unbox_unsigned_1, unsigned char)
INT_DEFUNBOX(unbox_unsigned_2, unsigned short)
/* Bignums */
void primitive_fixnum_to_bignum(void)
2006-07-07 00:07:18 -04:00
{
drepl(tag_bignum(fixnum_to_bignum(dpeek())));
2006-07-07 00:07:18 -04:00
}
void primitive_float_to_bignum(void)
2006-07-07 00:07:18 -04:00
{
drepl(tag_bignum(float_to_bignum(dpeek())));
2006-07-07 00:07:18 -04:00
}
2006-10-31 00:52:02 -05:00
#define POP_BIGNUMS(x,y) \
F_ARRAY *y = untag_bignum_fast(dpop()); \
F_ARRAY *x = untag_bignum_fast(dpop());
2006-07-07 00:07:18 -04:00
void primitive_bignum_eq(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
box_boolean(s48_bignum_equal_p(x,y));
}
void primitive_bignum_add(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
dpush(tag_bignum(s48_bignum_add(x,y)));
}
void primitive_bignum_subtract(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
dpush(tag_bignum(s48_bignum_subtract(x,y)));
}
void primitive_bignum_multiply(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
dpush(tag_bignum(s48_bignum_multiply(x,y)));
}
void primitive_bignum_divint(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
dpush(tag_bignum(s48_bignum_quotient(x,y)));
}
void primitive_bignum_divmod(void)
{
F_ARRAY *q, *r;
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
s48_bignum_divide(x,y,&q,&r);
dpush(tag_bignum(q));
dpush(tag_bignum(r));
}
void primitive_bignum_mod(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
dpush(tag_bignum(s48_bignum_remainder(x,y)));
}
void primitive_bignum_and(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
dpush(tag_bignum(s48_bignum_bitwise_and(x,y)));
}
void primitive_bignum_or(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
dpush(tag_bignum(s48_bignum_bitwise_ior(x,y)));
}
void primitive_bignum_xor(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
dpush(tag_bignum(s48_bignum_bitwise_xor(x,y)));
}
void primitive_bignum_shift(void)
{
2006-10-31 00:52:02 -05:00
F_FIXNUM y = untag_fixnum_fast(dpop());
F_ARRAY* x = untag_bignum_fast(dpop());
2006-07-07 00:07:18 -04:00
dpush(tag_bignum(s48_bignum_arithmetic_shift(x,y)));
}
void primitive_bignum_less(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
box_boolean(s48_bignum_compare(x,y) == bignum_comparison_less);
}
void primitive_bignum_lesseq(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-11-02 03:12:23 -05:00
box_boolean(s48_bignum_compare(x,y) != bignum_comparison_greater);
2006-07-07 00:07:18 -04:00
}
void primitive_bignum_greater(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-07-07 00:07:18 -04:00
box_boolean(s48_bignum_compare(x,y) == bignum_comparison_greater);
}
void primitive_bignum_greatereq(void)
{
2006-10-31 00:52:02 -05:00
POP_BIGNUMS(x,y);
2006-11-02 03:12:23 -05:00
box_boolean(s48_bignum_compare(x,y) != bignum_comparison_less);
2006-07-07 00:07:18 -04:00
}
void primitive_bignum_not(void)
{
drepl(tag_bignum(s48_bignum_bitwise_not(
untag_bignum_fast(dpeek()))));
}
void box_signed_cell(F_FIXNUM integer)
{
2006-10-31 00:52:02 -05:00
dpush(allot_integer(integer));
2006-07-07 00:07:18 -04:00
}
F_FIXNUM unbox_signed_cell(void)
{
return to_fixnum(dpop());
}
void box_unsigned_cell(CELL cell)
{
2006-10-31 00:52:02 -05:00
dpush(allot_cell(cell));
2006-07-07 00:07:18 -04:00
}
F_FIXNUM unbox_unsigned_cell(void)
{
return to_cell(dpop());
}
void box_signed_4(s32 n)
{
dpush(allot_integer(n));
2006-07-07 00:07:18 -04:00
}
s32 unbox_signed_4(void)
{
return to_fixnum(dpop());
}
void box_unsigned_4(u32 n)
{
dpush(allot_cell(n));
2006-07-07 00:07:18 -04:00
}
u32 unbox_unsigned_4(void)
{
return to_cell(dpop());
}
void box_signed_8(s64 n)
{
if(n < FIXNUM_MIN || n > FIXNUM_MAX)
dpush(tag_bignum(s48_long_long_to_bignum(n)));
else
dpush(tag_fixnum(n));
2006-07-07 00:07:18 -04:00
}
s64 unbox_signed_8(void)
{
CELL obj = dpop();
switch(type_of(obj))
{
case FIXNUM_TYPE:
return untag_fixnum_fast(obj);
case BIGNUM_TYPE:
return s48_bignum_to_long_long(untag_array_fast(obj));
default:
type_error(BIGNUM_TYPE,obj);
return -1;
}
2006-07-07 00:07:18 -04:00
}
void box_unsigned_8(u64 n)
{
if(n > FIXNUM_MAX)
dpush(tag_bignum(s48_ulong_long_to_bignum(n)));
else
dpush(tag_fixnum(n));
2006-07-07 00:07:18 -04:00
}
u64 unbox_unsigned_8(void)
{
CELL obj = dpop();
switch(type_of(obj))
{
case FIXNUM_TYPE:
return untag_fixnum_fast(obj);
case BIGNUM_TYPE:
return s48_bignum_to_ulong_long(untag_array_fast(obj));
default:
type_error(BIGNUM_TYPE,obj);
return -1;
}
2006-07-07 00:07:18 -04:00
}
/* Ratios */
/* Does not reduce to lowest terms, so should only be used by math
library implementation, to avoid breaking invariants. */
void primitive_from_fraction(void)
{
2006-10-31 16:45:12 -05:00
F_RATIO* ratio = allot_object(RATIO_TYPE,sizeof(F_RATIO));
2006-10-31 00:52:02 -05:00
ratio->denominator = dpop();
ratio->numerator = dpop();
2006-07-07 00:07:18 -04:00
dpush(RETAG(ratio,RATIO_TYPE));
}
/* Floats */
void primitive_fixnum_to_float(void)
2006-07-07 00:07:18 -04:00
{
drepl(allot_float(fixnum_to_float(dpeek())));
2006-07-07 00:07:18 -04:00
}
void primitive_bignum_to_float(void)
2006-07-07 00:07:18 -04:00
{
drepl(allot_float(bignum_to_float(dpeek())));
2006-07-07 00:07:18 -04:00
}
void primitive_str_to_float(void)
{
char *c_str, *end;
double f;
2006-10-31 15:48:34 -05:00
F_STRING *str = untag_string(dpeek());
2006-11-02 03:12:23 -05:00
CELL capacity = string_capacity(str);
/* if the string has nulls or chars > 255, its definitely not a float */
if(!check_string(str,sizeof(char)))
2006-07-07 00:07:18 -04:00
drepl(F);
else
{
c_str = to_char_string(str,false);
end = c_str;
f = strtod(c_str,&end);
2006-11-02 03:12:23 -05:00
if(end != c_str + capacity)
drepl(F);
else
2006-10-31 00:52:02 -05:00
drepl(allot_float(f));
}
2006-07-07 00:07:18 -04:00
}
void primitive_float_to_str(void)
{
char tmp[33];
2006-10-31 15:48:34 -05:00
snprintf(tmp,32,"%.16g",unbox_double());
2006-07-07 00:07:18 -04:00
tmp[32] = '\0';
box_char_string(tmp);
}
2006-10-31 15:48:34 -05:00
#define POP_FLOATS(x,y) \
2006-11-02 03:12:23 -05:00
double y = untag_float_fast(dpop()); \
double x = untag_float_fast(dpop());
2006-07-07 00:07:18 -04:00
void primitive_float_add(void)
{
2006-10-31 15:48:34 -05:00
POP_FLOATS(x,y);
2006-10-31 00:52:02 -05:00
box_float(x + y);
2006-07-07 00:07:18 -04:00
}
void primitive_float_subtract(void)
{
2006-10-31 15:48:34 -05:00
POP_FLOATS(x,y);
2006-10-31 00:52:02 -05:00
box_float(x - y);
2006-07-07 00:07:18 -04:00
}
void primitive_float_multiply(void)
{
2006-10-31 15:48:34 -05:00
POP_FLOATS(x,y);
2006-10-31 00:52:02 -05:00
box_float(x * y);
2006-07-07 00:07:18 -04:00
}
void primitive_float_divfloat(void)
{
2006-10-31 15:48:34 -05:00
POP_FLOATS(x,y);
2006-10-31 00:52:02 -05:00
box_float(x / y);
2006-07-07 00:07:18 -04:00
}
void primitive_float_mod(void)
{
2006-10-31 15:48:34 -05:00
POP_FLOATS(x,y);
2006-10-31 00:52:02 -05:00
box_float(fmod(x,y));
2006-07-07 00:07:18 -04:00
}
void primitive_float_less(void)
{
2006-10-31 15:48:34 -05:00
POP_FLOATS(x,y);
2006-07-07 00:07:18 -04:00
box_boolean(x < y);
}
void primitive_float_lesseq(void)
{
2006-10-31 15:48:34 -05:00
POP_FLOATS(x,y);
2006-07-07 00:07:18 -04:00
box_boolean(x <= y);
}
void primitive_float_greater(void)
{
2006-10-31 15:48:34 -05:00
POP_FLOATS(x,y);
2006-07-07 00:07:18 -04:00
box_boolean(x > y);
}
void primitive_float_greatereq(void)
{
2006-10-31 15:48:34 -05:00
POP_FLOATS(x,y);
2006-07-07 00:07:18 -04:00
box_boolean(x >= y);
}
void primitive_float_bits(void)
{
F_FLOAT_BITS b;
2006-10-31 00:52:02 -05:00
b.x = unbox_float();
box_unsigned_4(b.y);
2006-07-07 00:07:18 -04:00
}
void primitive_bits_float(void)
{
F_FLOAT_BITS b;
2006-07-07 00:07:18 -04:00
b.y = unbox_unsigned_4();
2006-10-31 00:52:02 -05:00
box_float(b.x);
2006-07-07 00:07:18 -04:00
}
void primitive_double_bits(void)
{
F_DOUBLE_BITS b;
2006-10-31 00:52:02 -05:00
b.x = unbox_double();
2006-07-07 00:07:18 -04:00
box_unsigned_8(b.y);
}
void primitive_bits_double(void)
{
F_DOUBLE_BITS b;
2006-07-07 00:07:18 -04:00
b.y = unbox_unsigned_8();
2006-10-31 00:52:02 -05:00
box_double(b.x);
2006-07-07 00:07:18 -04:00
}
#define FLO_DEFBOX(name,type) \
void name (type flo) \
{ \
2006-10-31 00:52:02 -05:00
dpush(allot_float(flo)); \
2006-07-07 00:07:18 -04:00
}
#define FLO_DEFUNBOX(name,type) \
type name(void) \
{ \
return untag_float(dpop()); \
2006-07-07 00:07:18 -04:00
}
FLO_DEFBOX(box_float,float)
FLO_DEFUNBOX(unbox_float,float)
FLO_DEFBOX(box_double,double)
FLO_DEFUNBOX(unbox_double,double)
/* Complex numbers */
void primitive_from_rect(void)
{
2006-10-31 00:52:02 -05:00
F_COMPLEX* complex = allot_object(COMPLEX_TYPE,sizeof(F_COMPLEX));
complex->imaginary = dpop();
complex->real = dpop();
2006-07-07 00:07:18 -04:00
dpush(RETAG(complex,COMPLEX_TYPE));
}