:art: op_emit now returns m_bool

diff --git a/include/import.h b/include/import.h
index 50434e96dce3786f369f4f67fbfba235e5373dac..38514007fade8c6d9e6a67111caca6d666fe046e 100644 (file)
--- a/include/import.h
+++ b/include/import.h
@@ -14,7 +14,7 @@ typedef struct Gwi_* Gwi;
 #define DTOR(a) ANN void a(const M_Object o NUSED, const m_bit* _ NUSED, const VM_Shred shred NUSED)
 #define GACK(a) ANN2(2) void a(const Type t NUSED, const m_bit* VALUE NUSED, const VM_Shred shred NUSED)
 #define OP_CHECK(a) ANN Type a(const Env env NUSED, void* data NUSED, m_bool* mut NUSED)
-#define OP_EMIT(a)  ANN Instr a(const Emitter emit NUSED, void* data NUSED)
+#define OP_EMIT(a)  ANN m_bool a(const Emitter emit NUSED, void* data NUSED)
 #ifdef GWION_BUILTIN
 #define GWI_BB(a) { gwi_set_loc(gwi, __FILE__, __LINE__); (void)(a); }
 #define GWI_OB(a) { gwi_set_loc(gwi, __FILE__, __LINE__); (void)(a); }

diff --git a/include/operator.h b/include/operator.h
index e66dd3627f18922636628622c40d49bf839da1c9..5e44d449aefa103bd174b8db9769ca6e0648efbb 100644 (file)
--- a/include/operator.h
+++ b/include/operator.h
@@ -12,8 +12,8 @@
 #define CHECK_BN(f) { if(f < 0) return env->gwion->type[et_error]; }
 #define CHECK_NN(f) { if(f == env->gwion->type[et_error]) return env->gwion->type[et_error]; }
 
-typedef Type (*opck)(const Env, void*, m_bool*);
-typedef struct Instr_* (*opem)(const Emitter, void*);
+typedef Type   (*opck)(const Env, void*, m_bool*);
+typedef m_bool (*opem)(const Emitter, void*);
 
 struct Op_Func {
   opck ck;
@@ -54,7 +54,7 @@ struct TemplateScan {
 
 ANN m_bool add_op(const Gwion gwion, const struct Op_Import*);
 ANN Type   op_check(const Env, struct Op_Import*);
-ANN struct Instr_* op_emit(const Emitter, const struct Op_Import*);
+ANN m_bool op_emit(const Emitter, const struct Op_Import*);
 ANN m_bool operator_set_func(const struct Op_Import*);
 ANN void free_op_map(Map map, struct Gwion_* gwion);
 

diff --git a/src/emit/emit.c b/src/emit/emit.c
index e5816909250fc27e4fceb3fdde9737b284e86e5e..193f71dc0743380c1a3140eb2fa3868ae1034761 100644 (file)
--- a/src/emit/emit.c
+++ b/src/emit/emit.c
@@ -528,7 +528,7 @@ ANN static m_bool emit_prim_range(const Emitter emit, Range **data) {
   const Symbol sym = insert_symbol("@range");
   struct Op_Import opi = { .op=sym, .rhs=e->info->type,
     .pos=e->pos, .data=(uintptr_t)prim_exp(data), .op_type=op_exp };
-  CHECK_OB(op_emit(emit, &opi))
+  CHECK_BB(op_emit(emit, &opi))
   emit_gc(emit, -SZ_INT);
   return GW_OK;
 }
@@ -541,7 +541,7 @@ ANN m_bool emit_array_access(const Emitter emit, struct ArrayAccessInfo *const i
   // look mum no pos
   struct Op_Import opi = { .op=insert_symbol("@array"), .lhs=info->array.exp->info->type, .rhs=info->array.type,
     .data=(uintptr_t)info, .op_type=op_array };
-  return op_emit(emit, &opi) != (Instr)GW_ERROR ? GW_OK : GW_ERROR;
+  return op_emit(emit, &opi);
 }
 
 ANN static m_bool emit_exp_array(const Emitter emit, const Exp_Array* array) {
@@ -558,8 +558,7 @@ ANN static m_bool emit_exp_slice(const Emitter emit, const Exp_Slice* range) {
   const Exp e = range->range->start ?: range->range->end;
   struct Op_Import opi = { .op=sym, .lhs=e->info->type, .rhs=range->base->info->type,
     .pos=e->pos, .data=(uintptr_t)exp_self(range), .op_type=op_exp };
-  CHECK_OB(op_emit(emit, &opi))
-  return GW_OK;
+  return op_emit(emit, &opi);
 }
 
 ANN static inline Instr specialid_instr(const Emitter emit,
@@ -907,7 +906,7 @@ ANN static m_bool emit_exp_call(const Emitter emit, const Exp_Call* exp_call) {
   else {
     struct Op_Import opi = { .op=insert_symbol("@ctor"), .rhs=exp_call->func->info->type->info->base_type,
       .data=(uintptr_t)exp_call, .pos=exp_self(exp_call)->pos, .op_type=op_exp };
-    CHECK_OB(op_emit(emit, &opi))
+    CHECK_BB(op_emit(emit, &opi))
   }
   const Exp e = exp_self(exp_call);
   if(exp_getvar(e)) {
@@ -958,11 +957,6 @@ ANN static inline m_bool emit_exp_pop_next(const Emitter emit, Exp e) {
   return GW_OK;
 }
 
-ANN static inline m_bool op_emit_bool(const Emitter emit, const struct Op_Import* opi) {
-  DECL_OB(const Instr, instr, = op_emit(emit, opi))
-  return GW_OK;
-}
-
 ANN static m_bool emit_exp_binary(const Emitter emit, const Exp_Binary* bin) {
   const Exp lhs = bin->lhs;
   const Exp rhs = bin->rhs;
@@ -973,7 +967,7 @@ ANN static m_bool emit_exp_binary(const Emitter emit, const Exp_Binary* bin) {
   const m_int size = exp_size(rhs);
   emit_exp_addref1(emit, lhs, -exp_size(lhs) - size);
   emit_exp_addref1(emit, rhs, -size);
-  return op_emit_bool(emit, &opi);
+  return op_emit(emit, &opi);
 }
 
 ANN static m_bool emit_exp_cast(const Emitter emit, const Exp_Cast* cast) {
@@ -991,7 +985,7 @@ ANN static m_bool emit_exp_post(const Emitter emit, const Exp_Postfix* post) {
     .data=(uintptr_t)post, .op_type=op_postfix };
   CHECK_BB(emit_exp(emit, post->exp))
   emit_exp_addref(emit, post->exp, -exp_totalsize(post->exp));
-  return op_emit_bool(emit, &opi);
+  return op_emit(emit, &opi);
 }
 
 ANN static inline m_bool traverse_emit_func_def(const Emitter emit, const Func_Def fdef) {
@@ -1115,7 +1109,7 @@ static m_bool me_cmp(MemoizeEmitter *me, const Arg_List arg) {
   struct Exp_ exp = { .info=&info };
   struct Op_Import opi = { .op=sym, .lhs=arg->type, .rhs=arg->type,
     .pos=me->fdef->pos, .data=(uintptr_t)&exp.d, .op_type=op_binary };
-  CHECK_BB(op_emit_bool(emit, &opi))
+  CHECK_BB(op_emit(emit, &opi))
   const Instr instr = emit_add_instr(emit, BranchEqInt);
   vector_add(&me->branch, (vtype)instr);
   return GW_OK;
@@ -1357,7 +1351,7 @@ ANN static m_bool emit_exp_unary(const Emitter emit, const Exp_Unary* unary) {
     emit_exp_addref1(emit, unary->exp, -exp_size(unary->exp));
     opi.rhs = unary->exp->info->type;
   }
-  return op_emit_bool(emit, &opi);
+  return op_emit(emit, &opi);
 }
 
 ANN static m_bool emit_implicit_cast(const Emitter emit,
@@ -1366,7 +1360,7 @@ ANN static m_bool emit_implicit_cast(const Emitter emit,
   // no pos
   struct Op_Import opi = { .op=insert_symbol("@implicit"), .lhs=from->info->type, .rhs=to,
     .data=(m_uint)&imp, .op_type=op_implicit };
-  return op_emit_bool(emit, &opi);
+  return op_emit(emit, &opi);
 }
 
 ANN static Instr _flow(const Emitter emit, const Exp e, const m_bool b) {
@@ -1374,7 +1368,8 @@ ANN static Instr _flow(const Emitter emit, const Exp e, const m_bool b) {
   emit_exp_addref1(emit, e, -exp_size(e));
   struct Op_Import opi = { .op=insert_symbol(b ? "@conditionnal" : "@unconditionnal"),
                            .rhs=e->info->type, .pos=e->pos, .data=(uintptr_t)e, .op_type=op_exp };
-  return op_emit(emit, &opi);
+  CHECK_BO(op_emit(emit, &opi))
+  return (Instr)vector_back(&emit->code->instr);
 }
 #define emit_flow(emit,b) _flow(emit, b, 1)
 
@@ -1735,7 +1730,7 @@ ANN static m_bool emit_case_head(const Emitter emit, const Exp base,
   struct Exp_ ebin = { .d={.exp_binary=bin}, .info=&info };
   struct Op_Import opi = { .op=op, .lhs=base->info->type, .rhs=e->info->type,
     .data=(uintptr_t)&ebin.d.exp_binary, .pos=e->pos, .op_type=op_binary };
-  CHECK_BB(op_emit_bool(emit, &opi))
+  CHECK_BB(op_emit(emit, &opi))
   const Instr instr = emit_add_instr(emit, BranchEqInt);
   vector_add(v, (vtype)instr);
   return GW_OK;
@@ -1872,7 +1867,7 @@ ANN static m_bool emit_stmt_list(const Emitter emit, Stmt_List l) {
 ANN static m_bool emit_exp_dot(const Emitter emit, const Exp_Dot* member) {
   struct Op_Import opi = { .op=insert_symbol("@dot"), .lhs=member->t_base,
     .rhs=exp_self(member)->info->type, .data=(uintptr_t)member, .pos=exp_self(member)->pos, .op_type=op_dot };
-  return op_emit_bool(emit, &opi);
+  return op_emit(emit, &opi);
 }
 
 ANN static inline void emit_func_def_fglobal(const Emitter emit, const Value value) {

diff --git a/src/lib/array.c b/src/lib/array.c
index fb87738be46e93ccb630dd97bd168e2ae508f332..687e353f4a41d79303d74c026f8abd056b184888 100644 (file)
--- a/src/lib/array.c
+++ b/src/lib/array.c
@@ -190,10 +190,11 @@ static OP_CHECK(opck_array_sr) {
   return check_array_shift(env, bin->rhs, bin->lhs, ">>", exp_self(bin)->pos);
 }
 
-ANN static Instr emit_array_shift(const Emitter emit, const f_instr exec) {
+ANN static inline m_bool emit_array_shift(const Emitter emit, const f_instr exec) {
   const Instr pop = emit_add_instr(emit, RegPop);
   pop->m_val = SZ_INT;
-  return emit_add_instr(emit, exec);
+  (void)emit_add_instr(emit, exec);
+  return GW_OK;
 }
 
 static INSTR(ArrayAppendFront) {
@@ -244,8 +245,9 @@ static OP_EMIT(opem_array_sr) {
     return emit_array_shift(emit, ArrayConcatRight);
   const Instr pop = emit_add_instr(emit, RegPop);
   pop->m_val = SZ_INT;
-  (void)emit_gc(emit, 0);
-  return emit_add_instr(emit, ArrayAppendFront);
+  emit_gc(emit, 0);
+  (void)emit_add_instr(emit, ArrayAppendFront);
+  return GW_OK;
 }
 
 static OP_EMIT(opem_array_sl) {
@@ -254,8 +256,9 @@ static OP_EMIT(opem_array_sl) {
     return emit_array_shift(emit, ArrayConcatLeft);
   const Instr pop = emit_add_instr(emit, RegPop);
   pop->m_val = bin->rhs->info->type->size;
-  (void)emit_gc(emit, -SZ_INT);
-  return emit_add_instr(emit, ArrayAppend);
+  emit_gc(emit, -SZ_INT);
+  emit_add_instr(emit, ArrayAppend);
+  return GW_OK;
 }
 
 // check me. use common ancestor maybe
@@ -306,7 +309,8 @@ static INSTR(ArraySlice) {
 
 static OP_EMIT(opem_array_slice) {
   emit_add_instr(emit, ArraySlice);
-  return emit_gc(emit, -SZ_INT);
+  emit_gc(emit, -SZ_INT);
+  return GW_OK;
 }
 
 static FREEARG(freearg_array) {
@@ -377,7 +381,7 @@ static OP_EMIT(opem_array_access) {
   struct ArrayAccessInfo *const info = (struct ArrayAccessInfo*)data;
   if(info->array.type->array_depth >= info->array.depth) {
     struct Array_Sub_ next = { .exp=info->array.exp, .type=info->type, .depth=info->array.depth };
-    return (Instr)(m_uint)array_do(emit, &next, info->is_var);
+    return array_do(emit, &next, info->is_var);
   }
   struct Array_Sub_ partial = { info->array.exp, info->array.type, info->array.type->array_depth };
   struct Array_Sub_ next = { info->array.exp, array_base(info->array.type), info->array.depth - info->array.type->array_depth };
@@ -385,7 +389,7 @@ static OP_EMIT(opem_array_access) {
   const Exp exp = emit_n_exp(emit, info);
   next.exp = exp;
   info->array = next;
-  return (Instr)(m_uint)(exp ? emit_array_access(emit, info) : GW_ERROR);
+  return exp ? emit_array_access(emit, info) : GW_ERROR;
 }
 
 GWION_IMPORT(array) {

diff --git a/src/lib/lib_func.c b/src/lib/lib_func.c
index f9ff5cb2551856ef2dc3c51455227e3219c942e3..7d8da5adde16cf479a7d52a051840bf123fef8c9 100644 (file)
--- a/src/lib/lib_func.c
+++ b/src/lib/lib_func.c
@@ -40,7 +40,7 @@ static OP_EMIT(opem_func_assign) {
     const Instr cpy = emit_add_instr(emit, Reg2Reg);
     cpy->m_val = -SZ_INT;
   }
-  return instr;
+  return GW_OK;
 }
 
 struct FptrInfo {
@@ -249,7 +249,7 @@ static OP_EMIT(opem_fptr_cast) {
     fptr_instr(emit, cast->exp->info->type->info->func, 1);
   if(is_member(cast->exp->info->type))
     member_fptr(emit);
-  return (Instr)GW_OK;
+  return GW_OK;
 }
 
 static OP_CHECK(opck_fptr_impl) {
@@ -266,7 +266,7 @@ static OP_EMIT(opem_fptr_impl) {
     member_fptr(emit);
   if(impl->t->info->func->def->base->tmpl)
     fptr_instr(emit, ((Exp)impl->e)->info->type->info->func, 1);
-  return (Instr)GW_OK;
+  return GW_OK;
 }
 
 ANN Type check_exp_unary_spork(const Env env, const Stmt code);

diff --git a/src/lib/modules.c b/src/lib/modules.c
index c60d07d3bf9a475d7a0adc508fd882ea17a2c121..74b23e7de24e5b26f4e33ecbd1a534024d5b7be8 100644 (file)
--- a/src/lib/modules.c
+++ b/src/lib/modules.c
@@ -271,7 +271,7 @@ static OP_EMIT(opem_usrugen) {
   Exp_Binary *bin = (Exp_Binary*)data;
   const Instr instr = emit_add_instr(emit, UsrUGenTick);
   instr->m_val = !!bin->lhs->info->type->info->func->value_ref->from->owner_class;
-  return instr;
+  return GW_OK;
 }
 
 static GWION_IMPORT(usrugen) {

diff --git a/src/lib/object_op.c b/src/lib/object_op.c
index eadb944fb5f7d668616299b8f7b79defd75980df..19c9cf4697d799d62ee531c8a0b0da0c4d51766e 100644 (file)
--- a/src/lib/object_op.c
+++ b/src/lib/object_op.c
@@ -57,7 +57,7 @@ static OP_CHECK(opck_implicit_null2obj) {
 }
 
 static OP_EMIT(opem_implicit_null2obj) {
-  return (Instr)GW_OK;
+  return GW_OK;
 }
 
 ANN /*static*/ Type scan_class(const Env env, const Type t, const Type_Decl * td);
@@ -186,7 +186,7 @@ OP_EMIT(opem_object_dot) {
        (isa(exp_self(member)->info->type, emit->gwion->type[et_function]) > 0 &&
        !is_fptr(emit->gwion, exp_self(member)->info->type)))) {
     if(!tflag(t_base, tflag_struct))
-      CHECK_BO(emit_exp(emit, member->base))
+      CHECK_BB(emit_exp(emit, member->base))
   }
   if(isa(exp_self(member)->info->type, emit->gwion->type[et_function]) > 0 && !is_fptr(emit->gwion, exp_self(member)->info->type))
          emit_member_func(emit, member);
@@ -195,7 +195,7 @@ OP_EMIT(opem_object_dot) {
       emit_member(emit, value, exp_getvar(exp_self(member)));
     else {
       exp_setvar(member->base, 1);
-      CHECK_BO(emit_exp(emit, member->base))
+      CHECK_BB(emit_exp(emit, member->base))
       emit_struct_data(emit, value, exp_getvar(exp_self(member)));
     }
   } else if(GET_FLAG(value, static))
@@ -208,7 +208,7 @@ OP_EMIT(opem_object_dot) {
     const Instr instr = emit_add_instr(emit, GWOP_EXCEPT);
     instr->m_val = -SZ_INT;
   }
-  return (Instr)GW_OK;
+  return GW_OK;
 }
 
 ANN static m_bool scantmpl_class_def(const Env env, struct tmpl_info *info) {

diff --git a/src/lib/opfunc.c b/src/lib/opfunc.c
index baa1cde5342a45696dd316910811ab46fe0d71f0..51ce17a444fa48abaef5c5b23e4dba5e29c95f39 100644 (file)
--- a/src/lib/opfunc.c
+++ b/src/lib/opfunc.c
@@ -99,5 +99,6 @@ OP_EMIT(opem_new) {
   const Exp_Unary* unary = (Exp_Unary*)data;
   CHECK_BO(emit_instantiate_object(emit, exp_self(unary)->info->type,
     unary->td->array, 0))
-  return emit_gc(emit, -SZ_INT);
+  emit_gc(emit, -SZ_INT);
+  return GW_OK;
 }

diff --git a/src/lib/prim.c b/src/lib/prim.c
index af90500049e8bf4554ca60dd80389744e4a905ca..ce258f8a685a88f0e1c4b0d0b0a55dfd6d8b5e5d 100644 (file)
--- a/src/lib/prim.c
+++ b/src/lib/prim.c
@@ -81,7 +81,7 @@ static OP_EMIT(opem_int_range) {
   const Exp exp = (Exp)data;
   const Instr instr = emit_add_instr(emit, IntRange);
   instr->m_val = (m_uint)exp->info->type;
-  return instr;
+  return GW_OK;
 }
 
 static GWION_IMPORT(int_unary) {

diff --git a/src/lib/ptr.c b/src/lib/ptr.c
index eefea3b7a609778658e2c9fa575c5ed215b101d0..35127ad3960c9ec64c1ae0378034de1a087c215b 100644 (file)
--- a/src/lib/ptr.c
+++ b/src/lib/ptr.c
@@ -61,7 +61,7 @@ static OP_EMIT(opem_ptr_assign) {
     emit_add_instr(emit, instr_ptr_assign_obj);
   } else
     emit_add_instr(emit, instr_ptr_assign);
-  return pop;
+  return GW_OK;
 }
 
 static OP_CHECK(opck_ptr_deref) {
@@ -123,14 +123,14 @@ static OP_EMIT(opem_ptr_cast) {
   const Exp_Cast* cast = (Exp_Cast*)data;
   const Instr instr = emit_add_instr(emit, Cast2Ptr);
   instr->m_val = (m_uint)exp_self(cast)->info->type;
-  return instr;
+  return GW_OK;
 }
 
 static OP_EMIT(opem_ptr_implicit) {
   const struct Implicit* imp = (struct Implicit*)data;
   const Instr instr = emit_add_instr(emit, Cast2Ptr);
   instr->m_val = (m_uint)imp->t;
-  return instr;
+  return GW_OK;
 }
 
 static OP_EMIT(opem_ptr_deref) {
@@ -138,7 +138,7 @@ static OP_EMIT(opem_ptr_deref) {
   const Instr instr = emit_add_instr(emit, instr_ptr_deref);
   instr->m_val = exp_self(unary)->info->type->size;
   instr->m_val2 = exp_getvar(exp_self(unary));
-  return instr;
+  return GW_OK;
 }
 
 ANN Type scan_class(const Env env, const Type t, const Type_Decl* td);
@@ -176,17 +176,7 @@ static OP_CHECK(opck_ptr_ref) {
   exp_setvar(bin->rhs, 1);
   return bin->rhs->info->type;
 }
-/*
-static OP_EMIT(opem_ptr_ref) {
-  const Exp_Binary* bin = (Exp_Binary*)data;
-  const Instr instr = emit_add_instr(emit, Reg2Reg);
-  instr->m_val = -SZ_INT;
-  instr->m_val2 = -SZ_INT*2;
-  const Instr pop = emit_add_instr(emit, RegPop);
-  pop->m_val = SZ_INT;
-  return instr;
-}
-*/
+
 static GACK(gack_ptr) {
   INTERP_PRINTF("%p", *(m_str*)VALUE);
 }

diff --git a/src/lib/union.c b/src/lib/union.c
index fa8e7b42f90f7ba11613639711d6201fdb82b291..f4a689132ea13b7477773705b8eb40bb9cb14802 100644 (file)
--- a/src/lib/union.c
+++ b/src/lib/union.c
@@ -23,12 +23,12 @@ ANN Instr emit_kind(Emitter emit, const m_uint size, const uint addr, const f_in
 static OP_EMIT(opem_union_dot) {
   const Exp_Dot *member = (Exp_Dot*)data;
   const Map map = &member->t_base->nspc->info->value->map;
-  CHECK_BO(emit_exp(emit, member->base))
+  CHECK_BB(emit_exp(emit, member->base))
   if(isa(exp_self(member)->info->type, emit->gwion->type[et_function]) > 0) {
     const Instr instr = emit_add_instr(emit, RegPushImm);
     const Func f = (Func)vector_front(&member->t_base->info->parent->nspc->info->vtable);
     instr->m_val = (m_uint)f->code;
-    return instr;
+    return GW_OK;
   }
   for(m_uint i = 0; i < map_size(map); ++i) {
     if(VKEY(map, i) == (m_uint)member->xid) {
@@ -40,10 +40,10 @@ static OP_EMIT(opem_union_dot) {
       const Instr instr = emit_kind(emit, v->type->size, emit_addr, dotmember);
       instr->m_val = SZ_INT;
       instr->m_val2 = v->type->size;
-      return instr;
+      return GW_OK;
     }
   }
-  return NULL;
+  return GW_ERROR;
 }
 
 static DTOR(UnionDtor) {

diff --git a/src/lib/vararg.c b/src/lib/vararg.c
index b3ab05046f46f365f548031c469824b6f64381fa..aa36843a9362fffeee9914cbcb8819abf57f4a45 100644 (file)
--- a/src/lib/vararg.c
+++ b/src/lib/vararg.c
@@ -132,7 +132,7 @@ static OP_EMIT(opem_vararg_cast) {
   instr->m_val = (m_uint)exp_self(cast)->info->type;
   const Instr push = emit_add_instr(emit, RegPush);
   push->m_val = exp_self(cast)->info->type->size - SZ_INT;
-  return instr;
+  return GW_OK;
 }
 
 static FREEARG(freearg_vararg) {

diff --git a/src/parse/operator.c b/src/parse/operator.c
index e21530f55520bd7e6da1eef98b28f940c2e6bc53..2b8e21873d047056701b3e3a25a2900cd3813c71 100644 (file)
--- a/src/parse/operator.c
+++ b/src/parse/operator.c
@@ -219,18 +219,19 @@ ANN m_bool operator_set_func(const struct Op_Import* opi) {
   return GW_OK;
 }
 
-ANN static Instr handle_instr(const Emitter emit, const M_Operator* mo) {
+ANN static m_bool handle_instr(const Emitter emit, const M_Operator* mo) {
   if(mo->func) {
     const Instr push = emit_add_instr(emit, mo->func->code ? RegPushImm : SetFunc);
     push->m_val = ((m_uint)mo->func->code ?:(m_uint)mo->func);
-    CHECK_BO(emit_exp_call1(emit, mo->func))
+    CHECK_BB(emit_exp_call1(emit, mo->func))
     if(mo->func->def->base->xid == insert_symbol(emit->gwion->st, "@conditionnal"))
-      return emit_add_instr(emit, BranchEqInt);
-    if(mo->func->def->base->xid == insert_symbol(emit->gwion->st, "@unconditionnal"))
-      return emit_add_instr(emit, BranchNeqInt);
-    return push;
+      emit_add_instr(emit, BranchEqInt);
+    else if(mo->func->def->base->xid == insert_symbol(emit->gwion->st, "@unconditionnal"))
+      emit_add_instr(emit, BranchNeqInt);
+    return GW_OK;
   }
-  return emit_add_instr(emit, mo->instr);
+  (void)emit_add_instr(emit, mo->instr);
+  return GW_OK;
 }
 
 ANN static Nspc get_nspc(const struct Op_Import* opi) {
@@ -254,8 +255,8 @@ ANN static inline Nspc ensure_nspc(const struct Op_Import* opi) {
   return nspc;
 }
 
-ANN Instr op_emit(const Emitter emit, const struct Op_Import* opi) {
-  DECL_OO(Nspc, nspc, = ensure_nspc(opi))
+ANN m_bool op_emit(const Emitter emit, const struct Op_Import* opi) {
+  DECL_OB(Nspc, nspc, = ensure_nspc(opi))
   Type l = opi->lhs;
   do {
     Type r = opi->rhs;
@@ -266,7 +267,7 @@ ANN Instr op_emit(const Emitter emit, const struct Op_Import* opi) {
       const M_Operator* mo = operator_find(v, l, r);
       if(mo) {
         if(mo->em) {
-          const Instr ret = mo->em(emit, (void*)opi->data);
+          const m_bool ret = mo->em(emit, (void*)opi->data);
           if(ret)
             return ret;
         }
@@ -275,5 +276,5 @@ ANN Instr op_emit(const Emitter emit, const struct Op_Import* opi) {
       }
     } while(r && (r = op_parent(emit->env, r)));
   } while(l && (l = op_parent(emit->env, l)));
-  return NULL;
+  return GW_ERROR;
 }