Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-07-15 00:37:35 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Speed up Cyc_remainder

Browse source 
Do not type check at the start of the function since there is already type checking in the function body.
This commit is contained in:
Justin Ethier 2017-08-23 17:51:41 -04:00
parent d03258c83a
commit 49df11049a
1 changed files with 23 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
runtime.c
View file

@ -3319,8 +3319,6 @@ void Cyc_remainder(void *data, object cont, object num1, object num2)
{ {
int i = 0, j = 0; int i = 0, j = 0;
object result; object result;
Cyc_check_num(data, num1);
Cyc_check_num(data, num2);
if (obj_is_int(num1)) { if (obj_is_int(num1)) {
if (obj_is_int(num2)){ if (obj_is_int(num2)){
i = obj_obj2int(num1); i = obj_obj2int(num1);
@ -3331,10 +3329,13 @@ void Cyc_remainder(void *data, object cont, object num1, object num2)
Cyc_int2bignum(obj_obj2int(num1), &(bn->bn)); Cyc_int2bignum(obj_obj2int(num1), &(bn->bn));
Cyc_bignum_remainder(data, cont, bn, num2, bn); Cyc_bignum_remainder(data, cont, bn, num2, bn);
} }
else { else if (is_object_type(num2) && type_of(num2) == double_tag){
i = obj_obj2int(num1); i = obj_obj2int(num1);
j = ((double_type *)num2)->value; j = ((double_type *)num2)->value;
} }
else {
goto typeerror;
}
} else if (is_object_type(num1) && type_of(num1) == bignum_tag) { } else if (is_object_type(num1) && type_of(num1) == bignum_tag) {
if (obj_is_int(num2)){ if (obj_is_int(num2)){
alloc_bignum(data, bn); alloc_bignum(data, bn);
@ -3345,13 +3346,16 @@ void Cyc_remainder(void *data, object cont, object num1, object num2)
alloc_bignum(data, rem); alloc_bignum(data, rem);
Cyc_bignum_remainder(data, cont, num1, num2, rem); Cyc_bignum_remainder(data, cont, num1, num2, rem);
} }
else { else if (is_object_type(num2) && type_of(num2) == double_tag){
j = ((double_type *)num2)->value; j = ((double_type *)num2)->value;
alloc_bignum(data, bn); alloc_bignum(data, bn);
Cyc_int2bignum(obj_obj2int(j), &(bn->bn)); Cyc_int2bignum(obj_obj2int(j), &(bn->bn));
Cyc_bignum_remainder(data, cont, num1, bn, bn); Cyc_bignum_remainder(data, cont, num1, bn, bn);
} }
} else { // num1 is double... else {
goto typeerror;
}
} else if (is_object_type(num1) && type_of(num1) == double_tag){
if (obj_is_int(num2)){ if (obj_is_int(num2)){
i = ((double_type *)num1)->value; i = ((double_type *)num1)->value;
j = obj_obj2int(num2); j = obj_obj2int(num2);
@ -3362,14 +3366,27 @@ void Cyc_remainder(void *data, object cont, object num1, object num2)
Cyc_int2bignum(obj_obj2int(i), &(bn->bn)); Cyc_int2bignum(obj_obj2int(i), &(bn->bn));
Cyc_bignum_remainder(data, cont, bn, num2, bn); Cyc_bignum_remainder(data, cont, bn, num2, bn);
} }
else { else if (is_object_type(num2) && type_of(num2) == double_tag){
i = ((double_type *)num1)->value; i = ((double_type *)num1)->value;
j = ((double_type *)num2)->value; j = ((double_type *)num2)->value;
}
else {
goto typeerror;
} }
} else {
goto typeerror;
} }
if (j == 0) { Cyc_rt_raise_msg(data, "Divide by zero"); } if (j == 0) { Cyc_rt_raise_msg(data, "Divide by zero"); }
result = obj_int2obj(i % j); result = obj_int2obj(i % j);
return_closcall1(data, cont, result); return_closcall1(data, cont, result);
typeerror:
{
make_string(s, "Bad argument type");
make_pair(c2, num2, NULL);
make_pair(c1, num1, &c2);
make_pair(c0, &s, &c1);
Cyc_rt_raise(data, &c0);
}
} }
/* I/O functions */ /* I/O functions */