/* _unix_ankh_sing_in(): stupid ankh test which ignores broken hash.
*/
static u2_bean
_unix_ankh_sing_in(u2_noun xun, u2_noun bur) // retain
{
u2_noun p_xun, q_xun, r_xun;
u2_noun p_bur, q_bur, r_bur;
u2_cx_trel(xun, &p_xun, &q_xun, &r_xun);
u2_cx_trel(bur, &p_bur, &q_bur, &r_bur);
if ( u2_no == _unix_node_sing(q_xun, q_bur) ) {
return u2_no;
}
return _unix_ankh_sing_map(r_xun, r_bur);
}
static u2_bean
_unix_ankh_sing_map(u2_noun mun, u2_noun mur) // retain
{
u2_noun n_mun, l_mun, r_mun;
u2_noun n_mur, l_mur, r_mur;
if ( (u2_nul == mun) && (u2_nul == mur) ) { return u2_yes; }
if ( (u2_nul == mun) || (u2_nul == mur) ) { return u2_no; }
u2_cx_trel(mun, &n_mun, &l_mun, &r_mun);
u2_cx_trel(mur, &n_mur, &l_mur, &r_mur);
if ( (u2_no == (u2_sing(u2h(n_mun), u2h(n_mur)))) ||
(u2_no == _unix_ankh_sing_in(u2t(n_mun), u2t(n_mur))) ||
(u2_no == _unix_ankh_sing_map(l_mun, l_mur)) ||
(u2_no == _unix_ankh_sing_map(r_mun, r_mur)) )
{
return u2_no;
} else return u2_yes;
}
/* _nock_cool(): nock, transferring arguments.
*/
static u2_noun
_nock_cool(u2_noun bus,
u2_noun fol)
{
u2_noun hib, gal;
while ( 1 ) {
u2_tx_did_hop(u2_Wire, 1);
if ( u2_no == u2du(fol) ) {
return u2_cm_bail(c3__exit);
}
else {
hib = u2fh(fol);
gal = u2ft(fol);
}
if ( u2_yes == u2du(hib) ) {
u2_noun poz, riv;
poz = _nock_cool(u2k(bus), u2k(hib));
riv = _nock_cool(bus, u2k(gal));
u2z(fol);
return u2_cn_cell(poz, riv);
}
else switch ( hib ) {
default:
return u2_cm_bail(c3__exit);
case 0: {
if ( u2_no == u2_cr_ud(gal) ) {
return u2_cm_bail(c3__exit);
}
else {
u2_noun pro = u2k(u2at(gal, bus));
u2z(bus);
u2z(fol);
return pro;
}
}
case 1: {
u2_noun pro = u2k(gal);
u2z(bus);
u2z(fol);
return pro;
}
c3_assert(!"not reached");
case 2: {
if ( u2_no == u2du(gal) ) {
return u2_cm_bail(c3__exit);
}
else {
u2_noun nex = _nock_cool(u2k(bus), u2k(u2ft(gal)));
u2_noun seb = _nock_cool(bus, u2k(u2fh(gal)));
u2z(fol);
bus = seb;
fol = nex;
continue;
}
}
c3_assert(!"not reached");
case 3: {
u2_noun gof, pro;
gof = _nock_cool(bus, u2k(gal));
pro = u2du(gof);
u2z(gof);
u2z(fol);
return pro;
}
c3_assert(!"not reached");
case 4: {
u2_noun gof, pro;
gof = _nock_cool(bus, u2k(gal));
if ( (u2_none == (pro = u2_rl_vint(u2_Wire, gof))) ) {
return u2_cm_bail(c3__exit);
}
u2z(gof);
u2z(fol);
return pro;
}
c3_assert(!"not reached");
case 5: {
if ( u2_no == u2du(gal) ) {
return u2_cm_bail(c3__exit);
}
else {
u2_noun wim = _nock_cool(bus, u2k(gal));
u2_noun pro;
if ( u2_no == u2du(wim) ) {
return u2_cm_bail(c3__exit);
}
else pro = u2_cr_sing(u2h(wim), u2t(wim));
u2z(wim);
u2z(fol);
return pro;
}
}
c3_assert(!"not reached");
case 6: {
u2_noun b_gal, c_gal, d_gal;
u2_cx_trel(gal, &b_gal, &c_gal, &d_gal);
{
u2_noun tys = _nock_cool(u2k(bus), u2k(b_gal));
u2_noun nex;
if ( 0 == tys ) {
nex = u2k(c_gal);
} else if ( 1 == tys ) {
nex = u2k(d_gal);
} else return u2_cm_bail(c3__exit);
u2z(fol);
fol = nex;
continue;
}
}
c3_assert(!"not reached");
case 7: {
u2_noun b_gal, c_gal;
u2_cx_cell(gal, &b_gal, &c_gal);
{
u2_noun bod = _nock_cool(bus, u2k(b_gal));
u2_noun nex = u2k(c_gal);
u2z(fol);
bus = bod;
fol = nex;
continue;
}
}
c3_assert(!"not reached");
case 8: {
u2_noun b_gal, c_gal;
// c3_assert(!"got 8 (nock)!");
u2_cx_cell(gal, &b_gal, &c_gal);
{
u2_noun bod = u2nc(_nock_cool(u2k(bus), u2k(b_gal)), bus);
u2_noun nex = u2k(c_gal);
u2z(fol);
bus = bod;
fol = nex;
continue;
}
}
c3_assert(!"not reached");
case 9: {
u2_noun b_gal, c_gal;
u2_cx_cell(gal, &b_gal, &c_gal);
if ( u2_no == u2ud(b_gal) ) {
return u2_cm_bail(c3__exit);
}
else {
u2_noun seb = _nock_cool(bus, u2k(c_gal));
u2_weak xip;
u2_tx_sys_bit(u2_Wire, u2_yes);
xip = u2_ds_find(u2_Wire, seb);
if ( u2_none != xip ) {
u2_noun pro = u2_ho_kick(u2_Wire, xip, seb, b_gal);
u2_tx_sys_bit(u2_Wire, u2_no);
if ( u2_none == pro ) {
return u2_cm_bail(c3__exit);
}
else {
u2z(seb);
u2z(fol);
return pro;
}
}
else {
u2_tx_sys_bit(u2_Wire, u2_no);
{
u2_noun nex = u2_ct(u2at(b_gal, seb));
u2z(fol);
bus = seb;
fol = nex;
continue;
}
}
}
}
c3_assert(!"not reached");
case 10: {
u2_noun p_gal, q_gal;
u2_cx_cell(gal, &p_gal, &q_gal);
{
u2_noun zep, hod, nex, pro;
if ( u2_yes == u2du(p_gal) ) {
u2_noun b_gal = u2fh(p_gal);
u2_noun c_gal = u2ft(p_gal);
u2_noun d_gal = q_gal;
zep = u2k(b_gal);
hod = _nock_cool(u2k(bus), u2_ct(c_gal));
nex = u2_ct(d_gal);
}
else {
u2_noun b_gal = p_gal;
u2_noun c_gal = q_gal;
zep = u2k(b_gal);
hod = u2_nul;
nex = u2_ct(c_gal);
}
u2_cz(fol);
pro = _nock_hint(zep, hod, bus, nex, 0);
return pro;
}
}
case 11: {
u2_noun gof, pro;
gof = _nock_cool(bus, u2k(gal));
pro = _nock_pray_cool(gof);
u2z(fol);
return pro;
}
c3_assert(!"not reached");
}
}
}
