mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-13 11:45:45 +03:00
145 lines
2.7 KiB
C
145 lines
2.7 KiB
C
/* j/5/jam.c
|
|
**
|
|
** This file is in the public domain.
|
|
*/
|
|
#include "all.h"
|
|
|
|
|
|
/* functions
|
|
*/
|
|
static u3_noun
|
|
_jam_in(u3p(u3_ch_root) har_p, u3_atom, u3_atom, u3_noun);
|
|
|
|
static u3_noun
|
|
_jam_in_pair(u3p(u3_ch_root) har_p,
|
|
u3_atom h_a,
|
|
u3_atom t_a,
|
|
u3_atom b,
|
|
u3_noun l)
|
|
{
|
|
u3_noun w = u3nc(u3nc(2, 1), u3k(l));
|
|
u3_noun x = u3_cqa_add(2, b);
|
|
u3_noun d = _jam_in(har_p, h_a, x, w);
|
|
u3_noun p_d, q_d, r_d;
|
|
u3_noun r;
|
|
|
|
u3_cr_trel(d, &p_d, &q_d, &r_d);
|
|
{
|
|
u3_noun y = u3_cqa_add(x, p_d);
|
|
u3_noun e = _jam_in(har_p, t_a, y, q_d);
|
|
u3_noun p_e, q_e, r_e;
|
|
|
|
u3_cr_trel(e, &p_e, &q_e, &r_e);
|
|
{
|
|
u3_noun z = u3_cqa_add(p_d, p_e);
|
|
|
|
r = u3nt(u3_cqa_add(2, z), u3k(q_e), 0);
|
|
|
|
u3z(z);
|
|
}
|
|
u3z(e);
|
|
u3z(y);
|
|
}
|
|
u3z(d);
|
|
u3z(x);
|
|
u3z(w);
|
|
|
|
return r;
|
|
}
|
|
|
|
static u3_noun
|
|
_jam_in_flat(u3p(u3_ch_root) har_p,
|
|
u3_atom a,
|
|
u3_noun l)
|
|
{
|
|
u3_noun d = u3_cqe_mat(a);
|
|
u3_noun x = u3_cqa_add(1, u3h(d));
|
|
u3_noun y = u3nt
|
|
(u3k(x), u3nc(u3nc(x, u3_cqc_lsh(0, 1, u3t(d))), u3k(l)), 0);
|
|
|
|
u3z(d);
|
|
|
|
return y;
|
|
}
|
|
|
|
static u3_noun
|
|
_jam_in_ptr(u3p(u3_ch_root) har_p,
|
|
u3_atom u_c,
|
|
u3_noun l)
|
|
{
|
|
u3_noun d = u3_cqe_mat(u_c);
|
|
u3_atom x = u3_cqc_lsh(0, 2, u3t(d));
|
|
u3_atom y = u3_cqa_add(2, u3h(d));
|
|
u3_noun z = u3nt
|
|
(u3k(y), u3nc(u3nc(y, u3_cqc_mix(3, x)), u3k(l)), 0);
|
|
|
|
u3z(d);
|
|
u3z(x);
|
|
|
|
return z;
|
|
}
|
|
|
|
static u3_noun
|
|
_jam_in(u3p(u3_ch_root) har_p,
|
|
u3_noun a,
|
|
u3_atom b,
|
|
u3_noun l)
|
|
{
|
|
u3_noun c = u3_ch_get(har_p, a);
|
|
u3_noun x;
|
|
|
|
if ( c3nne == c ) {
|
|
u3_ch_put(har_p, a, u3k(b));
|
|
|
|
if ( c3y == u3ud(a) ) {
|
|
x = _jam_in_flat(har_p, a, l);
|
|
} else {
|
|
x = _jam_in_pair(har_p, u3h(a), u3t(a), b, l);
|
|
}
|
|
}
|
|
else {
|
|
if ( c3y == u3ud(a) && u3_cr_met(0, a) <= u3_cr_met(0, c) ) {
|
|
x = _jam_in_flat(har_p, a, l);
|
|
}
|
|
else {
|
|
x = _jam_in_ptr(har_p, c, l);
|
|
}
|
|
}
|
|
return x;
|
|
}
|
|
|
|
u3_noun
|
|
u3_cqe_jam(u3_atom a)
|
|
{
|
|
u3p(u3_ch_root) har_p = u3_ch_new();
|
|
|
|
u3_noun x = _jam_in(har_p, a, 0, u3_nul);
|
|
u3_noun q = u3_cqb_flop(u3h(u3t(x)));
|
|
u3_noun r = u3_cqc_can(0, q);
|
|
|
|
u3z(x);
|
|
u3z(q);
|
|
u3_ch_free(har_p);
|
|
return r;
|
|
}
|
|
u3_noun
|
|
u3_cwe_jam(u3_noun cor)
|
|
{
|
|
u3_noun a;
|
|
|
|
if ( (c3nne == (a = u3_cr_at(u3_cv_sam, cor))) ) {
|
|
return u3_cm_bail(c3__fail);
|
|
} else {
|
|
return u3_cqe_jam(a);
|
|
}
|
|
}
|
|
u3_atom
|
|
u3_cke_jam(u3_noun a)
|
|
{
|
|
u3_atom b = u3_cqe_jam(a);
|
|
|
|
u3z(a);
|
|
return b;
|
|
}
|
|
|