annotate CbC-examples/c-next.c @ 139:ae07388db637

fix c-next.c segfault
author anatofuz
date Mon, 12 Nov 2018 17:01:46 +0900
parents fc828634a951
children c83ff0b5a2ed
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
1 #define NEXT_OP(i) (i->op = *(MVMuint16 *)(i->cur_op), i->cur_op += 2, i->op)
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
2
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
3 typedef unsigned short MVMuint16;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
4 typedef unsigned char MVMuint8;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
5 typedef long* MVMRegister;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
6 typedef void* MVMCompUnit;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
7 typedef void* MVMCallsite;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
8
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
9 typedef struct MVMThreadContext {
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
10 MVMuint8 **interp_cur_op;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
11 MVMuint8 **interp_bytecode_start;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
12 MVMRegister **interp_reg_base;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
13 MVMCompUnit **interp_cu;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
14 } MVMThreadContext;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
15
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
16
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
17 typedef struct interp {
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
18 MVMuint16 op;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
19 /* Points to the place in the bytecode right after the current opcode. */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
20 /* See the NEXT_OP macro for making sense of this */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
21 MVMuint8 *cur_op;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
22
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
23 /* The current frame's bytecode start. */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
24 MVMuint8 *bytecode_start;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
25
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
26 /* Points to the base of the current register set for the frame we
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
27 * * are presently in. */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
28 MVMRegister *reg_base;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
29
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
30 /* Points to the current compilation unit. */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
31 MVMCompUnit *cu;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
32
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
33 /* The current call site we're constructing. */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
34 MVMCallsite *cur_callsite;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
35
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
36 MVMThreadContext *tc;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
37
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
38 __code (*main_ret)(int, void*);
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
39 void *env;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
40
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
41 } INTER,*INTERP;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
42
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
43 __code cbc_no_op(INTERP);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
44 __code cbc_exit(INTERP);
139
ae07388db637 fix c-next.c segfault
anatofuz
parents: 138
diff changeset
45 __code cbc_next(INTERP);
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
46
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
47 __code (* CODES[])(INTERP) = {
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
48 cbc_no_op,
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
49 cbc_no_op,
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
50 cbc_exit,
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
51 };
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
52
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
53 __code cbc_next(INTERP i){
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
54 __code (*c)(INTERP);
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
55 c = CODES[NEXT_OP(i)];
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
56 goto c(i);
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
57 }
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
58
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
59 __code cbc_no_op(INTERP i){
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
60 goto cbc_next(i);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
61 }
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
62
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
63 __code cbc_exit(INTERP i){
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
64 goto i->main_ret(0,i->env);
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
65 }
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
66
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
67
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
68 int interp_run(MVMThreadContext *tc){
139
ae07388db637 fix c-next.c segfault
anatofuz
parents: 138
diff changeset
69 INTER inter = {0,0,0,0,0,0,0,0};
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
70 INTERP i = &inter;
139
ae07388db637 fix c-next.c segfault
anatofuz
parents: 138
diff changeset
71 MVMuint16 cur_op[] = {0,1,1,0,1,2};
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
72 i->main_ret = _CbC_return;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
73 i->env = _CbC_environment;
139
ae07388db637 fix c-next.c segfault
anatofuz
parents: 138
diff changeset
74 i->cur_op = (MVMuint8 *)cur_op;
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
75
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
76 tc->interp_cur_op = &i->cur_op;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
77 tc->interp_bytecode_start = &i->bytecode_start;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
78 tc->interp_reg_base = &i->reg_base;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
79 tc->interp_cu = &i->cu;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
80 goto cbc_next(i);
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
81 return 0;
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
82 }
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
83
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
84 int main(int argc, char **argv){
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
85 MVMThreadContext tct = {0,0,0,0};
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
86 MVMThreadContext* tc = &tct;
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
87 interp_run(tc);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
88 }