GCC Code Coverage Report
Directory: src/ Exec Total Coverage
File: src/lib/instr.c Lines: 97 98 99.0 %
Date: 2020-10-03 09:50:08 Branches: 27 32 84.4 %

Line Branch Exec Source
1
#include <stdlib.h>
2
#include <string.h>
3
#include "gwion_util.h"
4
#include "gwion_ast.h"
5
#include "gwion_env.h"
6
#include "vm.h"
7
#include "instr.h"
8
#include "object.h"
9
#include "array.h"
10
#include "shreduler_private.h"
11
#include "gwion.h"
12
#include "operator.h"
13
#include "import.h"
14
#include "emit.h"
15
#include "template.h"
16
17
7
INSTR(DTOR_EOC) {
18
7
  const M_Object o = *(M_Object*)MEM(0);
19
7
  o->type_ref = o->type_ref->e->parent;
20
7
  _release(o, shred);
21
7
  shred->info->me->ref = 1;
22
7
  vm_shred_exit(shred);
23
7
}
24
25
7
INSTR(PopArrayClass) {
26
7
  POP_REG(shred, SZ_INT);
27
7
  const M_Object obj = *(M_Object*)REG(-SZ_INT);
28
7
  const M_Object tmp = *(M_Object*)REG(0);
29
7
  ARRAY(obj) = ARRAY(tmp);
30
7
  free_object(shred->info->mp, tmp);
31
7
}
32
33
25
ANN static Func_Def from_base(const Env env, struct dottmpl_ *const dt, const Nspc nspc) {
34
25
  const Func_Def fdef = dt->def ?: dt->base;
35
25
  const Symbol sym = func_symbol(env, nspc->name, s_name(fdef->base->xid),
36
    "template", dt->vt_index);
37

25
  DECL_OO(const Value, v, = nspc_lookup_value0(nspc, sym) ?: nspc_lookup_value0(nspc, fdef->base->xid))
38
23
  if(isa(v->type, env->gwion->type[et_class]) > 0)
39
    return NULL;
40
23
  const Func_Def def = cpy_func_def(env->gwion->mp, v->d.func_ref->def);
41
23
  def->base->tmpl->call = cpy_type_list(env->gwion->mp, dt->tl);
42
23
  def->base->tmpl->base = dt->vt_index;
43
23
  dt->def = def;
44
23
  dt->owner = v->from->owner;
45
23
  dt->owner_class = v->from->owner_class;
46
23
  SET_FLAG(def->base, template);
47
23
  return def;
48
}
49
50
25
ANN static Func_Def traverse_tmpl(const Emitter emit, struct dottmpl_ *const dt, const Nspc nspc) {
51
25
  DECL_OO(const Func_Def, def, = from_base(emit->env, dt, nspc))
52
23
  CHECK_BO(traverse_dot_tmpl(emit, dt))
53
20
  return def;
54
}
55
56
21
INSTR(GTmpl) {
57
21
  struct dottmpl_ *dt = (struct dottmpl_*)instr->m_val;
58
21
  const Func f = *(Func*)REG(-SZ_INT);
59
21
  const m_str name = f->name;
60
21
  const Emitter emit = shred->info->vm->gwion->emit;
61
21
  emit->env->name = "runtime";
62
21
  m_str tmpl_name = tl2str(emit->env, dt->tl);
63
32
  for(m_uint i = 0 ; i <= f->value_ref->from->offset; ++i) {
64
21
    const Symbol sym = func_symbol(emit->env, f->value_ref->from->owner->name,
65
      name, tmpl_name, i);
66
21
    const Func base = nspc_lookup_func0(f->value_ref->from->owner, sym);
67
21
    if(base) {
68
10
      free_mstr(emit->gwion->mp, tmpl_name);
69
      assert(base->code);
70
10
      *(VM_Code*)(shred->reg -SZ_INT) = base->code;
71
10
      return;
72
    }
73
  }
74
11
  free_mstr(emit->gwion->mp, tmpl_name);
75
11
  dt->def = f->def;
76
11
  const Func_Def def = traverse_tmpl(emit, dt, f->value_ref->from->owner);
77
11
  if(!def)
78
1
    Except(shred, "MissigTmplPtrException[internal]");
79
10
  *(VM_Code*)(shred->reg -SZ_INT) = def->base->func->code;
80
}
81
82
51
INSTR(DotTmpl) {
83
51
  struct dottmpl_ *dt = (struct dottmpl_*)instr->m_val;
84
51
  const m_str name = dt->name;
85
51
  const M_Object o = *(M_Object*)REG(-SZ_INT);
86
51
  Type t = !GET_FLAG(o->type_ref, nonnull) ? o->type_ref : o->type_ref->e->parent;
87
55
  do {
88
55
    const Emitter emit = shred->info->vm->gwion->emit;
89
55
    emit->env->name = "runtime";
90
55
    char str[instr->m_val2 + strlen(t->name) + 1];
91
55
    strcpy(str, name);
92
55
    strcpy(str + instr->m_val2, t->name);
93
55
    const Func f = nspc_lookup_func0(t->nspc, insert_symbol(emit->env->gwion->st, str));
94
55
    if(f) {
95
41
      if(!f->code)
96
1
        break;
97
40
      if(GET_FLAG(f, member))
98
40
        shred->reg += SZ_INT;
99
40
      *(VM_Code*)(shred->reg-SZ_INT) = f->code;
100
40
      return;
101
    } else {
102
14
      const Func_Def def = traverse_tmpl(emit, dt, t->nspc);
103
14
      if(!def)
104
4
        continue;
105
10
      const Func f = def->base->func;
106
10
      if(GET_FLAG(f, member))
107
10
        shred->reg += SZ_INT;
108
10
      *(VM_Code*)(shred->reg-SZ_INT) = f->code;
109
10
      return;
110
    }
111
4
  } while((t = t->e->parent));
112
1
  Except(shred, "MissigTmplException[internal]");
113
}
114
115
#define VAL (*(m_uint*)(byte + SZ_INT))
116
#define FVAL (*(m_float*)(byte + SZ_INT))
117
#define VAL2 (*(m_uint*)(byte + SZ_INT*2))
118
#define BYTE(a)  m_bit *byte = shred->code->bytecode + (shred->pc -1)* SZ_INT*3; *(m_bit*)byte = a;
119
120
3
INSTR(SetFunc) {
121
3
  BYTE(eRegPushImm)
122
3
  const Func f = (Func)instr->m_val;
123
3
  VAL = *(m_uint*)(shred->reg) = (m_uint)f->code;
124
3
  shred->reg += SZ_INT;
125
3
}
126
127
2
INSTR(SetRecurs) {
128
2
  BYTE(eRegPushImm)
129
2
  VAL = *(m_uint*)(shred->reg) = (m_uint)shred->code;
130
2
  shred->reg += SZ_INT;
131
2
}
132
133
1
INSTR(SetCtor) {
134
1
  BYTE(eRegSetImm)
135
1
  const Type t = (Type)instr->m_val;
136
1
  VAL = *(m_uint*)(shred->reg + SZ_INT) = (m_uint)t->nspc->pre_ctor;
137
1
  VAL2 = SZ_INT;
138
1
}
139