urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-28 05:22:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

u3: applies code style guidelines to +repn jet

Browse Source
This commit is contained in:
Joe Bryan 2019-12-11 23:40:56 -08:00 committed by Logan Allen
parent 844688c98c
commit 5139a60728
1 changed files with 70 additions and 66 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

136
pkg/urbit/jets/c/repn.c
View File

@ -16,91 +16,94 @@
1 + ((x - 1) / y);
u3_noun
u3qc_repn(u3_atom bits, u3_noun blox) {
if ( (c3n == u3a_is_cat(bits) || bits==0 || bits>31) ) {
return u3m_bail(c3__fail);
}
u3qc_repn(u3_atom bits, u3_noun blox)
{
if ( (c3n == u3a_is_cat(bits) || bits==0 || bits>31) ) {
return u3m_bail(c3__fail);
}
//
// Calculate input and output size.
//
c3_w num_blox = u3qb_lent(blox);
c3_w bit_widt = num_blox * bits;
c3_w wor_widt = DIVCEIL(bit_widt, 32);
//
// Calculate input and output size.
//
c3_w num_blox_w = u3qb_lent(blox);
c3_w bit_widt_w = num_blox_w * bits;
c3_w wor_widt_w = DIVCEIL(bit_widt_w, 32);
//
// Allocate a proto-atom. This is u3a_slab without initialization.
//
c3_w* buf;
{
c3_w* nov_w = u3a_walloc(wor_widt + c3_wiseof(u3a_atom));
u3a_atom* pug_u = (void *)nov_w;
//
// Allocate a proto-atom. This is u3a_slab without initialization.
//
c3_w* buf_w;
{
c3_w* nov_w = u3a_walloc(wor_widt_w + c3_wiseof(u3a_atom));
u3a_atom* pug_u = (void *)nov_w;
pug_u->mug_w = 0;
pug_u->len_w = wor_widt;
buf = pug_u->buf_w;
}
pug_u->mug_w = 0;
pug_u->len_w = wor_widt_w;
buf_w = pug_u->buf_w;
}
//
// Fill the atom buffer with bits from each block.
//
// Bits are pushed into the `acc` register and flushed to the buffer
// once full.
//
// acc register
// use number of register bits filled (used)
// cur next buffer word to flush into.
//
//
// Fill the atom buffer with bits from each block.
//
// Bits are pushed into the `acc_w` register and flushed to the buffer
// once full.
//
// acc_w register
// use_w number of register bits filled (used)
// cur_w next buffer word to flush into.
//
{
c3_w acc_w=0, use_w=0, *cur_w=buf_w;
c3_w acc=0, use=0, *cur=buf;
# define FLUSH() *cur++=acc; acc=use=0
# define FLUSH() *cur_w++=acc_w; acc_w=use_w=0
# define SLICE(sz,off,val) TAKEBITS(sz, val) << off
for (c3_w i=0; i<num_blox; i++) {
u3_noun blok_n = u3h(blox);
blox = u3t(blox);
for (c3_w i=0; i<num_blox_w; i++) {
u3_noun blok_n = u3h(blox);
blox = u3t(blox);
if ( c3n == u3a_is_cat(blok_n) ) {
return u3m_bail(c3__fail);
if ( c3n == u3a_is_cat(blok_n) ) {
return u3m_bail(c3__fail);
}
c3_w blok_w = blok_n;
for (c3_w rem_in_blok_w=bits; rem_in_blok_w;) {
c3_w rem_in_acc_w = 32 - use_w;
if (rem_in_blok_w == rem_in_acc_w) { // EQ
acc_w |= SLICE(rem_in_blok_w, use_w, blok_w);
FLUSH();
rem_in_blok_w = 0;
}
c3_w blok = blok_n;
for (c3_w rem_in_blok=bits; rem_in_blok;) {
c3_w rem_in_acc = 32 - use;
if (rem_in_blok == rem_in_acc) { // EQ
acc |= SLICE(rem_in_blok, use, blok);
FLUSH();
rem_in_blok = 0;
}
else if (rem_in_blok < rem_in_acc) { // LT
acc |= SLICE(rem_in_blok, use, blok);
use += rem_in_blok;
rem_in_blok = 0;
}
else { // GT
acc |= SLICE(rem_in_acc, use, blok);
rem_in_blok -= rem_in_acc;
blok = blok >> rem_in_acc;
FLUSH();
}
else if (rem_in_blok_w < rem_in_acc_w) { // LT
acc_w |= SLICE(rem_in_blok_w, use_w, blok_w);
use_w += rem_in_blok_w;
rem_in_blok_w = 0;
}
else { // GT
acc_w |= SLICE(rem_in_acc_w, use_w, blok_w);
rem_in_blok_w -= rem_in_acc_w;
blok_w = blok_w >> rem_in_acc_w;
FLUSH();
}
}
}
//
// If the last word isn't fully used, it will still need to be
// flushed.
//
if (use) {
FLUSH();
if (use_w) {
FLUSH();
}
}
return u3a_malt(buf);
return u3a_malt(buf_w);
}
u3_noun
u3wc_repn(u3_noun cor) {
u3wc_repn(u3_noun cor)
{
u3_noun bits, blox;
if ( (c3n == u3r_mean(cor, u3x_sam_2, &bits, u3x_sam_3, &blox, 0)) ||
@ -113,8 +116,9 @@ u3wc_repn(u3_noun cor) {
}
u3_noun
u3kc_repn(u3_atom bits, u3_atom blox) {
u3kc_repn(u3_atom bits, u3_atom blox)
{
u3_noun res = u3qc_repn(bits, blox);
u3z(bits), u3z(blox);
u3z(bits); u3z(blox);
return res;
}