ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-12 15:01:38 +03:00
Code Issues Packages Projects Releases Wiki Activity

u3: adds bitwidth shortcircuit to atom comparison jets

Browse Source
This commit is contained in:
Joe Bryan 2021-03-31 13:39:03 -07:00
parent b706e7b58c
commit 91b79dc8d9
4 changed files with 64 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
pkg/urbit/jets/a/gte.c
View File

@ -10,18 +10,26 @@ u3qa_gte(u3_atom a, u3_atom b)
return __(a >= b);
}
else {
mpz_t a_mp, b_mp;
u3_noun cmp;
c3_w a_w = u3r_met(0, a);
c3_w b_w = u3r_met(0, b);
u3r_mp(a_mp, a);
u3r_mp(b_mp, b);
if ( a_w != b_w ) {
return __(a_w >= b_w);
}
else {
mpz_t a_mp, b_mp;
u3_noun cmp;
cmp = (mpz_cmp(a_mp, b_mp) >= 0) ? c3y : c3n;
u3r_mp(a_mp, a);
u3r_mp(b_mp, b);
mpz_clear(a_mp);
mpz_clear(b_mp);
cmp = (mpz_cmp(a_mp, b_mp) >= 0) ? c3y : c3n;
return cmp;
mpz_clear(a_mp);
mpz_clear(b_mp);
return cmp;
}
}
}

24
pkg/urbit/jets/a/gth.c
View File

@ -10,18 +10,26 @@ u3qa_gth(u3_atom a, u3_atom b)
return __(a > b);
}
else {
mpz_t a_mp, b_mp;
u3_noun cmp;
c3_w a_w = u3r_met(0, a);
c3_w b_w = u3r_met(0, b);
u3r_mp(a_mp, a);
u3r_mp(b_mp, b);
if ( a_w != b_w ) {
return __(a_w > b_w);
}
else {
mpz_t a_mp, b_mp;
u3_noun cmp;
cmp = (mpz_cmp(a_mp, b_mp) > 0) ? c3y : c3n;
u3r_mp(a_mp, a);
u3r_mp(b_mp, b);
mpz_clear(a_mp);
mpz_clear(b_mp);
cmp = (mpz_cmp(a_mp, b_mp) > 0) ? c3y : c3n;
return cmp;
mpz_clear(a_mp);
mpz_clear(b_mp);
return cmp;
}
}
}

24
pkg/urbit/jets/a/lte.c
View File

@ -10,18 +10,26 @@ u3qa_lte(u3_atom a, u3_atom b)
return __(a <= b);
}
else {
mpz_t a_mp, b_mp;
u3_noun cmp;
c3_w a_w = u3r_met(0, a);
c3_w b_w = u3r_met(0, b);
u3r_mp(a_mp, a);
u3r_mp(b_mp, b);
if ( a_w != b_w ) {
return __(a_w <= b_w);
}
else {
mpz_t a_mp, b_mp;
u3_noun cmp;
cmp = (mpz_cmp(a_mp, b_mp) <= 0) ? c3y : c3n;
u3r_mp(a_mp, a);
u3r_mp(b_mp, b);
mpz_clear(a_mp);
mpz_clear(b_mp);
cmp = (mpz_cmp(a_mp, b_mp) <= 0) ? c3y : c3n;
return cmp;
mpz_clear(a_mp);
mpz_clear(b_mp);
return cmp;
}
}
}

24
pkg/urbit/jets/a/lth.c
View File

@ -16,18 +16,26 @@ u3qa_lth(u3_atom a, u3_atom b)
return c3n;
}
else {
mpz_t a_mp, b_mp;
u3_noun cmp;
c3_w a_w = u3r_met(0, a);
c3_w b_w = u3r_met(0, b);
u3r_mp(a_mp, a);
u3r_mp(b_mp, b);
if ( a_w != b_w ) {
return __(a_w < b_w);
}
else {
mpz_t a_mp, b_mp;
u3_noun cmp;
cmp = (mpz_cmp(a_mp, b_mp) < 0) ? c3y : c3n;
u3r_mp(a_mp, a);
u3r_mp(b_mp, b);
mpz_clear(a_mp);
mpz_clear(b_mp);
cmp = (mpz_cmp(a_mp, b_mp) < 0) ? c3y : c3n;
return cmp;
mpz_clear(a_mp);
mpz_clear(b_mp);
return cmp;
}
}
}