1
0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-22 14:21:34 +03:00
urbit/jets/f/ut_burn.c

193 lines
4.0 KiB
C
Raw Normal View History

2013-09-29 00:21:18 +04:00
/* j/6/ut_burn.c
**
*/
#include "all.h"
2014-09-04 07:10:43 +04:00
2013-09-29 00:21:18 +04:00
/* logic
*/
2016-01-13 21:06:42 +03:00
static u3_noun
_burn_in(u3_noun van, u3_noun sut, u3_noun gil);
2016-01-13 21:06:42 +03:00
static u3_noun
2016-01-14 12:52:50 +03:00
_burn_fork(u3_noun van,
2016-01-13 21:06:42 +03:00
u3_noun yed,
u3_noun gil)
{
if ( u3_nul == yed ) {
return u3_nul;
} else {
u3_noun dis = _burn_in(van, u3h(yed), gil);
2016-01-14 12:52:50 +03:00
u3_noun mor = _burn_fork(van, u3t(yed), gil);
2016-01-13 21:06:42 +03:00
if ( u3_nul == dis ) return mor;
if ( u3_nul == mor ) return dis;
{
u3_noun u_dis = u3t(dis);
u3_noun u_mor = u3t(mor);
if ( u3du(u_dis) == u3du(u_mor) ) {
if ( c3y == u3qc_gor(u_mor, u_dis) ) {
u3z(dis);
return mor;
} else {
u3z(mor);
return dis;
}
} else {
if ( c3y == u3ud(u_dis) ) {
u3z(mor);
return dis;
}
else {
u3z(dis);
return mor;
}
}
}
}
}
static u3_noun
_burn_in(u3_noun van,
2016-01-13 21:06:42 +03:00
u3_noun sut,
u3_noun gil)
{
2017-09-28 03:40:12 +03:00
u3_noun p_sut, q_sut, pq_sut, qq_sut, rq_sut, sq_sut, psq_sut, qsq_sut;
2016-01-13 21:06:42 +03:00
if ( c3n == u3du(sut) ) switch ( sut ) {
default: return u3m_bail(c3__fail);
case c3__noun: return u3nc(u3_nul, 0);
2016-01-13 21:06:42 +03:00
case c3__void: {
return u3_nul;
}
}
else switch ( u3h(sut) ) {
default: return u3m_bail(c3__fail);
case c3__atom: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
if ( c3y == u3du(q_sut) ) {
return u3nc(u3_nul, u3k(u3t(q_sut)));
} else {
return u3nc(u3_nul, 0);
}
2016-01-13 21:06:42 +03:00
}
case c3__cell: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
u3_noun hed = _burn_in(van, p_sut, gil);
2016-01-13 21:06:42 +03:00
if ( u3_nul == hed ) {
return u3_nul;
}
else {
u3_noun tal = _burn_in(van, q_sut, gil);
2016-01-13 21:06:42 +03:00
if ( u3_nul == tal ) {
u3z(hed);
return u3_nul;
}
else {
u3_noun ret = u3nt(u3_nul, u3k(u3t(hed)), u3k(u3t(tal)));
u3z(hed);
u3z(tal);
return ret;
}
2016-01-13 21:06:42 +03:00
}
}
case c3__core: u3x_cell(u3t(sut), &p_sut, &q_sut);
2017-09-28 03:40:12 +03:00
u3x_qual(q_sut, &pq_sut, &qq_sut, &rq_sut, &sq_sut);
u3x_cell(sq_sut, &psq_sut, &qsq_sut);
2016-01-13 21:06:42 +03:00
{
u3_noun pay = _burn_in(van, p_sut, gil);
2016-01-13 21:06:42 +03:00
if ( u3_nul == pay ) {
return u3_nul;
}
else {
2017-09-28 03:40:12 +03:00
u3_noun ret = u3nt(u3_nul, u3k(psq_sut), u3k(u3t(pay)));
u3z(pay);
return ret;
2016-01-13 21:06:42 +03:00
}
}
2017-09-28 03:40:12 +03:00
case c3__help:
2016-01-13 21:06:42 +03:00
case c3__face: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
return _burn_in(van, q_sut, gil);
2016-01-13 21:06:42 +03:00
}
case c3__fork: p_sut = u3t(sut);
{
2017-09-28 03:40:12 +03:00
u3_noun yed = u3qdi_tap(p_sut);
2016-01-14 12:52:50 +03:00
u3_noun ret = _burn_fork(van, yed, gil);
2016-01-13 21:06:42 +03:00
u3z(yed);
return ret;
}
case c3__hold:
{
if ( (c3y == u3qdi_has(gil, sut)) ) {
return u3_nul;
}
else {
u3_noun zoc = u3qdi_put(gil, sut);
u3_noun fop = u3qfu_repo(van, sut);
u3_noun pro = _burn_in(van, fop, zoc);
2016-01-13 21:06:42 +03:00
u3z(fop);
u3z(zoc);
return pro;
}
}
}
}
2017-09-28 03:40:12 +03:00
static u3_noun
_cqfu_burn(u3_noun van,
2016-01-13 21:06:42 +03:00
u3_noun sut)
{
u3_noun unt = _burn_in(van, sut, u3_nul);
if ( u3_nul == unt ) {
return u3m_error("burn");
}
else {
u3_noun ret = u3k(u3t(unt));
u3z(unt);
return ret;
}
2016-01-13 21:06:42 +03:00
}
2014-09-06 00:13:24 +04:00
u3_noun
2015-08-28 19:34:36 +03:00
u3qfu_burn(u3_noun van,
u3_noun sut)
2013-09-29 00:21:18 +04:00
{
2017-09-28 03:40:12 +03:00
c3_m fun_m = 144 + c3__burn + ((!!u3r_at(u3qfu_van_vet, van)) << 8);
2014-11-06 03:20:01 +03:00
u3_noun pro = u3z_find(fun_m, sut);
2013-09-29 00:21:18 +04:00
2014-11-06 02:36:30 +03:00
if ( u3_none != pro ) {
2014-09-03 09:46:55 +04:00
return pro;
2013-09-29 00:21:18 +04:00
}
else {
2014-09-03 09:46:55 +04:00
pro = _cqfu_burn(van, sut);
2013-09-29 00:21:18 +04:00
2014-11-06 03:20:01 +03:00
return u3z_save(fun_m, sut, pro);
2013-09-29 00:21:18 +04:00
}
}
2014-09-06 00:13:24 +04:00
u3_noun
2015-08-28 19:34:36 +03:00
u3wfu_burn(u3_noun cor)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun sut;
2013-09-29 00:21:18 +04:00
2014-11-18 00:56:51 +03:00
if ( u3_none == (sut = u3r_at(u3x_sam, cor)) ) {
2014-11-06 03:20:01 +03:00
return u3m_bail(c3__fail);
2013-09-29 00:21:18 +04:00
} else {
2014-11-06 22:13:57 +03:00
return u3qfu_burn(cor, sut);
2013-09-29 00:21:18 +04:00
}
}