From bf412e0c073e7934c128814bafde65eef4aa3b53 Mon Sep 17 00:00:00 2001 From: "hyunghwan.chung" Date: Sun, 13 Dec 2015 16:08:05 +0000 Subject: [PATCH] added stix_bitxorint() --- stix/kernel/Stix.st | 11 +- stix/kernel/test-005.st | 7 ++ stix/lib/bigint.c | 245 ++++++++++++++++++++++++++++++++-------- stix/lib/exec.c | 34 ++---- stix/lib/stix-prv.h | 5 - 5 files changed, 224 insertions(+), 78 deletions(-) diff --git a/stix/kernel/Stix.st b/stix/kernel/Stix.st index 10f845d..3ecfd87 100644 --- a/stix/kernel/Stix.st +++ b/stix/kernel/Stix.st @@ -128,11 +128,18 @@ #method bitInvert { - - self primitiveFailed. + ## + ##self primitiveFailed. + + ^-1 - self. } #method asString + { + self printStringRadix: 10 + } + + #method printStringRadix: aNumber { self primitiveFailed. diff --git a/stix/kernel/test-005.st b/stix/kernel/test-005.st index 9b83a6c..2533f97 100644 --- a/stix/kernel/test-005.st +++ b/stix/kernel/test-005.st @@ -324,7 +324,14 @@ PROCESS TESTING (16rF0FFFF bitOr: 16r111111) dump. (16r11 bitOr: 16r20000000000000000000000000000000FFFFFFFFFFFFFFFF11111100000000000000000001) dump. +((16r11 bitOr: 16r20000000000000000000000000000000FFFFFFFFFFFFFFFF11111100000000000000000001) bitOr: 16r1100) dump. +((16r11 bitOr: $a) bitOr: 16r1100) dump. +(-20000000000000000000000000000000000000000 bitInvert printStringRadix: 2) dump. +((-2r101010 bitXor: 2r11101) printStringRadix: 2) dump. +((2r11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 bitXor: 2r11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111) printStringRadix: 2) dump. + +((2r10101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101 bitAnd: 2r01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010) printStringRadix: 2) dump. " FFI isNil dump. FFI notNil dump. diff --git a/stix/lib/bigint.c b/stix/lib/bigint.c index 42c1a59..ff0fd75 100644 --- a/stix/lib/bigint.c +++ b/stix/lib/bigint.c @@ -1398,16 +1398,10 @@ stix_oop_t stix_bitandints (stix_t* stix, stix_oop_t x, stix_oop_t y) #if (STIX_LIW_BITS == STIX_OOW_BITS) w2 = ((stix_oop_liword_t)y)->slot[0]; #elif (STIX_LIW_BITS == STIX_OOHW_BITS) - if (STIX_OBJ_GET_SIZE(y) == 1) - { - w2 = ((stix_oop_liword_t)y)->slot[0]; - } - else - { - w2 = MAKE_WORD(((stix_oop_liword_t)y)->slot[0], ((stix_oop_liword_t)y)->slot[1]); - } + STIX_ASSERT (STIX_OBJ_GET_SIZE(y) >= 2); + w2 = MAKE_WORD(((stix_oop_liword_t)y)->slot[0], ((stix_oop_liword_t)y)->slot[1]); #else - # error UNSUPPORTED + # error UNSUPPORTED LIW BIT SIZE #endif v3 = (stix_ooi_t)((stix_oow_t)v1 & w2); @@ -1452,7 +1446,10 @@ stix_oop_t stix_bitandints (stix_t* stix, stix_oop_t x, stix_oop_t y) { STIX_OBJ_SET_CLASS(z, stix->_large_negative_integer); } - return z; + + /* for example, 16r1010101010... bitAnd: 16r0101010101... procduces 0. + * so normalization is needed */ + return normalize_bigint (stix, z); } oops_einval: @@ -1476,7 +1473,8 @@ stix_oop_t stix_bitorints (stix_t* stix, stix_oop_t x, stix_oop_t y) v1 = -v1; sign = -1; } - else if (v2 < 0) + + if (v2 < 0) { v2 = -v2; sign = -1; @@ -1485,38 +1483,64 @@ stix_oop_t stix_bitorints (stix_t* stix, stix_oop_t x, stix_oop_t y) v3 = (stix_ooi_t)((stix_oow_t)v1 | (stix_oow_t)v2); return STIX_SMOOI_TO_OOP(v3 * sign); } - else + else if (STIX_OOP_IS_SMOOI(x)) { - stix_oow_t xs, ys, zs; stix_oop_t z; + stix_ooi_t v; + int neg; - if (STIX_OOP_IS_SMOOI(x)) + smooi_and_large: + if (!is_integer(stix,y)) goto oops_einval; + + neg = 0; + v = STIX_OOP_TO_SMOOI(x); + + if (v < 0) { - stix_ooi_t v; - - if (!is_integer(stix,y)) goto oops_einval; - v = STIX_OOP_TO_SMOOI(x); - - stix_pushtmp (stix, &y); - x = make_bigint_with_ooi (stix, v); - stix_poptmp (stix); + v = -v; + neg = 1; } - else if (STIX_OOP_IS_SMOOI(y)) + + z = clone_bigint (stix, y, STIX_OBJ_GET_SIZE(y)); + if (!z) return STIX_NULL; + + #if STIX_LIW_BITS == STIX_OOW_BITS + ((stix_oop_liword_t)z)->slot[0] |= (stix_oow_t)v; + #elif STIX_LIW_BITS == STIX_OOHW_BITS + STIX_ASSERT (STIX_OBJ_GET_SIZE(z) >= 2); + ((stix_oop_liword_t)z)->slot[0] |= ((stix_oow_t)v & STIX_LBMASK(stix_oow_t, STIX_OOHW_BITS)); + ((stix_oop_liword_t)z)->slot[1] |= ((stix_oow_t)v >> STIX_OOHW_BITS); + #else + # error UNSUPPORTED LIW BIT SIZE + #endif + + if (neg || STIX_OBJ_GET_CLASS(z) == stix->_large_negative_integer) { - stix_ooi_t v; - - if (!is_integer(stix,x)) goto oops_einval; - v = STIX_OOP_TO_SMOOI(y); - - stix_pushtmp (stix, &x); - y = make_bigint_with_ooi (stix, v); - stix_poptmp (stix); + STIX_OBJ_SET_CLASS(z, stix->_large_negative_integer); } else { - if (!is_integer(stix,x)) goto oops_einval; - if (!is_integer(stix,y)) goto oops_einval; + STIX_OBJ_SET_CLASS(z, stix->_large_positive_integer); } + return z; + } + else if (STIX_OOP_IS_SMOOI(y)) + { + stix_oop_t z; + + z = x; + x = y; + y = z; + + goto smooi_and_large; + } + else + { + stix_oop_t z; + stix_oow_t xs, ys, zs; + + if (!is_integer(stix,x)) goto oops_einval; + if (!is_integer(stix,y)) goto oops_einval; xs = STIX_OBJ_GET_SIZE(x); ys = STIX_OBJ_GET_SIZE(y); @@ -1558,6 +1582,8 @@ stix_oop_t stix_bitorints (stix_t* stix, stix_oop_t x, stix_oop_t y) { STIX_OBJ_SET_CLASS(z, stix->_large_negative_integer); } + + /* no normalization is needed */ return z; } @@ -1568,13 +1594,140 @@ oops_einval: stix_oop_t stix_bitxorints (stix_t* stix, stix_oop_t x, stix_oop_t y) { -stix->errnum = STIX_ENOIMPL; - return STIX_NULL; -} + if (STIX_OOP_IS_SMOOI(x) && STIX_OOP_IS_SMOOI(y)) + { + stix_ooi_t v[3], sign[2]; -stix_oop_t stix_bitinvertint (stix_t* stix, stix_oop_t x) -{ -stix->errnum = STIX_ENOIMPL; + sign[0] = 1; + sign[1] = 1; + v[0] = STIX_OOP_TO_SMOOI(x); + v[1] = STIX_OOP_TO_SMOOI(y); + + if (v[0] < 0) + { + v[0] = -v[0]; + sign[0] = -1; + } + + if (v[1] < 0) + { + v[1] = -v[1]; + sign[1] = -1; + } + + v[2] = (stix_ooi_t)((stix_oow_t)v[0] ^ (stix_oow_t)v[1]); + return STIX_SMOOI_TO_OOP(v[2] * sign[0] * sign[1]); + } + else if (STIX_OOP_IS_SMOOI(x)) + { + stix_oop_t z; + stix_ooi_t v; + int neg1, neg2; + + smooi_and_large: + if (!is_integer(stix,y)) goto oops_einval; + + neg1 = 0; + neg2 = 0; + v = STIX_OOP_TO_SMOOI(x); + + if (v < 0) + { + v = -v; + neg1 = 1; + } + + if (STIX_OBJ_GET_CLASS(y) == stix->_large_negative_integer) neg2 = 1; + + z = clone_bigint (stix, y, STIX_OBJ_GET_SIZE(y)); + if (!z) return STIX_NULL; + + #if STIX_LIW_BITS == STIX_OOW_BITS + ((stix_oop_liword_t)z)->slot[0] ^= (stix_oow_t)v; + #elif STIX_LIW_BITS == STIX_OOHW_BITS + STIX_ASSERT (STIX_OBJ_GET_SIZE(z) >= 2); + ((stix_oop_liword_t)z)->slot[0] ^= ((stix_oow_t)v & STIX_LBMASK(stix_oow_t, STIX_OOHW_BITS)); + ((stix_oop_liword_t)z)->slot[1] ^= ((stix_oow_t)v >> STIX_OOHW_BITS); + #else + # error UNSUPPORTED LIW BIT SIZE + #endif + + if (STIX_OBJ_GET_CLASS(z) == stix->_large_negative_integer) neg2 = 1; + + if (neg1 == neg2) + { + STIX_OBJ_SET_CLASS(z, stix->_large_negative_integer); + } + else + { + STIX_OBJ_SET_CLASS(z, stix->_large_positive_integer); + } + + return normalize_bigint (stix, z); + } + else if (STIX_OOP_IS_SMOOI(y)) + { + stix_oop_t z; + + z = x; + x = y; + y = z; + + goto smooi_and_large; + } + else + { + stix_oop_t z; + stix_oow_t xs, ys, zs; + + if (!is_integer(stix,x)) goto oops_einval; + if (!is_integer(stix,y)) goto oops_einval; + + xs = STIX_OBJ_GET_SIZE(x); + ys = STIX_OBJ_GET_SIZE(y); + + if (xs > ys) + { + zs = xs; + } + else + { + /* swap x and y */ + z = x; + x = y; + y = z; + zs = ys; + ys = xs; + xs = zs; + } + + stix_pushtmp (stix, &x); + stix_pushtmp (stix, &y); + z = stix_instantiate (stix, stix->_large_positive_integer, 0, zs); + stix_poptmps (stix, 2); + if (!z) return STIX_NULL; + + while (zs > ys) + { + --zs; + ((stix_oop_liword_t)z)->slot[zs] = ((stix_oop_liword_t)x)->slot[zs]; + } + while (zs > 0) + { + --zs; + ((stix_oop_liword_t)z)->slot[zs] = ((stix_oop_liword_t)x)->slot[zs] ^ ((stix_oop_liword_t)y)->slot[zs]; + } + + if (STIX_OBJ_GET_CLASS(x) == STIX_OBJ_GET_CLASS(y)) + { + STIX_OBJ_SET_CLASS(z, stix->_large_negative_integer); + } + + return normalize_bigint (stix, z); + } + +oops_einval: + stix->errnum = STIX_EINVAL; return STIX_NULL; } @@ -1866,7 +2019,7 @@ stix_oop_t stix_inttostr (stix_t* stix, stix_oop_t num, int radix) #elif STIX_LIW_BITS == STIX_OOHW_BITS stix_liw_t b[2]; #else -# error UNSUPPORTED +# error UNSUPPORTED LIW BIT SIZE #endif stix_liw_t* a, * q, * r; stix_liw_t* t = STIX_NULL; @@ -1901,12 +2054,8 @@ stix_oop_t stix_inttostr (stix_t* stix, stix_oop_t num, int radix) v = (STIX_OBJ_GET_CLASS(num) == stix->_large_negative_integer)? -1: 1; } #elif (STIX_LIW_BITS == STIX_OOHW_BITS) - if (STIX_OBJ_GET_SIZE(num) == 1) - { - w = ((stix_oop_halfword_t)num)->slot[0]; - v = (STIX_OBJ_GET_CLASS(num) == stix->_large_negative_integer)? -1: 1; - } - else if (STIX_OBJ_GET_SIZE(num) == 2) + STIX_ASSERT (STIX_OBJ_GET_SIZE(num) >= 2); + if (STIX_OBJ_GET_SIZE(num) == 2) { w = MAKE_WORD (((stix_oop_halfword_t)num)->slot[0], ((stix_oop_halfword_t)num)->slot[1]); v = (STIX_OBJ_GET_CLASS(num) == stix->_large_negative_integer)? -1: 1; @@ -1942,7 +2091,7 @@ stix_oop_t stix_inttostr (stix_t* stix, stix_oop_t num, int radix) b[1] = stix->bigint[radix].multiplier >> STIX_OOHW_BITS; bs = (b[1] > 0)? 2: 1; #else -# error UNSUPPORTED +# error UNSUPPORTED LIW BIT SIZE #endif as = STIX_OBJ_GET_SIZE(num); @@ -2001,7 +2150,7 @@ stix_oop_t stix_inttostr (stix_t* stix, stix_oop_t num, int radix) w = MAKE_WORD (r[0], r[1]); } #else - # UNSUPPORTED + # error UNSUPPORTED LIW BIT SIZE #endif seglen = oow_to_text (w, radix, &xbuf[xlen]); xlen += seglen; diff --git a/stix/lib/exec.c b/stix/lib/exec.c index 9f6e1f0..838ff25 100644 --- a/stix/lib/exec.c +++ b/stix/lib/exec.c @@ -1240,23 +1240,6 @@ static int prim_integer_bitxor (stix_t* stix, stix_ooi_t nargs) return 1; } - -static int prim_integer_bitinvert (stix_t* stix, stix_ooi_t nargs) -{ - stix_oop_t rcv, arg, res; - - STIX_ASSERT (nargs == 0); - - rcv = ACTIVE_STACK_GET(stix, stix->sp ); - - res = stix_bitinvertint (stix, rcv); - if (!res) return (stix->errnum == STIX_EINVAL? 0: -1); /* soft or hard failure */ - - ACTIVE_STACK_POP (stix); - ACTIVE_STACK_SETTOP (stix, res); - return 1; -} - static int prim_integer_eq (stix_t* stix, stix_ooi_t nargs) { stix_oop_t rcv, arg; @@ -1425,13 +1408,19 @@ static int prim_integer_ge (stix_t* stix, stix_ooi_t nargs) static int prim_integer_inttostr (stix_t* stix, stix_ooi_t nargs) { - stix_oop_t rcv, str; + stix_oop_t rcv, arg, str; + stix_ooi_t radix; - STIX_ASSERT (nargs == 0); + STIX_ASSERT (nargs == 1); - rcv = ACTIVE_STACK_GET(stix, stix->sp); + rcv = ACTIVE_STACK_GET(stix, stix->sp - 1); + arg = ACTIVE_STACK_GET(stix, stix->sp); - str = stix_inttostr (stix, rcv, 10); + if (!STIX_OOP_IS_SMOOI(arg)) return 0; /* soft failure */ + radix = STIX_OOP_TO_SMOOI(arg); + + if (radix < 2 || radix > 36) return 0; /* soft failure */ + str = stix_inttostr (stix, rcv, radix); if (!str) return (stix->errnum == STIX_EINVAL? 0: -1); ACTIVE_STACK_SETTOP (stix, str); @@ -1796,14 +1785,13 @@ static prim_t primitives[] = { 1, prim_integer_bitand, "_integer_bitand" }, { 1, prim_integer_bitor, "_integer_bitor" }, { 1, prim_integer_bitxor, "_integer_bitxor" }, - { 0, prim_integer_bitinvert, "_integer_bitinvert" }, { 1, prim_integer_eq, "_integer_eq" }, { 1, prim_integer_ne, "_integer_ne" }, { 1, prim_integer_lt, "_integer_lt" }, { 1, prim_integer_gt, "_integer_gt" }, { 1, prim_integer_le, "_integer_le" }, { 1, prim_integer_ge, "_integer_ge" }, - { 0, prim_integer_inttostr, "_integer_inttostr" }, + { 1, prim_integer_inttostr, "_integer_inttostr" }, { 1, prim_processor_schedule, "_processor_schedule" }, { 1, prim_processor_remove, "_processor_remove" }, diff --git a/stix/lib/stix-prv.h b/stix/lib/stix-prv.h index ca22bb0..10ba2f4 100644 --- a/stix/lib/stix-prv.h +++ b/stix/lib/stix-prv.h @@ -1124,11 +1124,6 @@ stix_oop_t stix_bitxorints ( stix_oop_t y ); -stix_oop_t stix_bitinvertint ( - stix_t* stix, - stix_oop_t x -); - stix_oop_t stix_strtoint ( stix_t* stix, const stix_ooch_t* str,