annotate CbC-examples/c-next.c @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents d22083d7f10b d23615825742
children ae07388db637 4e440907fcbf
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;
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
8 //typedef void* MVMThreadContext;
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
9
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
10 typedef struct MVMThreadContext {
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
11 MVMuint8 **interp_cur_op;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
12 MVMuint8 **interp_bytecode_start;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
13 MVMRegister **interp_reg_base;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
14 MVMCompUnit **interp_cu;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
15 } MVMThreadContext;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
16
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
17
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
18 typedef struct interp {
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
19 MVMuint16 op;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
20 /* Points to the place in the bytecode right after the current opcode. */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
21 /* See the NEXT_OP macro for making sense of this */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
22 MVMuint8 *cur_op;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
23
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
24 /* The current frame's bytecode start. */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
25 MVMuint8 *bytecode_start;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
26
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
27 /* Points to the base of the current register set for the frame we
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
28 * * are presently in. */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
29 MVMRegister *reg_base;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
30
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
31 /* Points to the current compilation unit. */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
32 MVMCompUnit *cu;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
33
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
34 /* The current call site we're constructing. */
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
35 MVMCallsite *cur_callsite;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
36
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
37 MVMThreadContext *tc;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
38
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
39 //__code (*ret)();
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
40 //__code (*main_ret)();
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
41 __code (*ret)(int, void*);
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
42 __code (*main_ret)(int, void*);
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
43 void *env;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
44
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
45 } INTER,*INTERP;
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 cbc_no_op(INTERP);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
48 __code cbc_exit(INTERP);
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
49
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
50 __code (* CODES[])(INTERP) = {
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
51 cbc_no_op,
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
52 cbc_no_op,
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
53 cbc_exit,
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
54 };
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
55
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
56 __code cbc_next(INTERP i){
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
57 __code (*c)(INTERP);
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
58 c = CODES[NEXT_OP(i)];
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
59 goto c(i);
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
60 }
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
61
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
62 __code cbc_no_op(INTERP i){
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
63 goto cbc_next(i);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
64 }
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
65
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
66 __code cbc_exit(INTERP i){
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
67 goto i->main_ret(0,i->env);
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
68 }
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
69
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
70 //__code main_return(int i,stack sp) {
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
71 // if (loop-->0)
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
72 // goto f(233,sp);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
73 // printf("#0103:%d\n",i);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
74 // goto (( (struct main_continuation *)sp)->main_ret)(0,
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
75 // ((struct main_continuation *)sp)->env);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
76 //}
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
77
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
78 int interp_run(MVMThreadContext *tc){
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
79 INTER inter = {0,0,0,0,0,0,0,0,0};
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
80 INTERP i = &inter;
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
81 MVMuint8 cur_op[] = {0,1,1,0,1,2};
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
82 // i->ret = main_return;
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
83 i->main_ret = _CbC_return;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
84 i->env = _CbC_environment;
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
85 i->cur_op = cur_op;
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
86
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
87 tc->interp_cur_op = &i->cur_op;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
88 tc->interp_bytecode_start = &i->bytecode_start;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
89 tc->interp_reg_base = &i->reg_base;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
90 tc->interp_cu = &i->cu;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
91 goto cbc_next(i);
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
92 return 0;
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
93 }
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
94
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
95 int main(int argc, char **argv){
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
96 MVMThreadContext tct = {0,0,0,0};
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
97 MVMThreadContext* tc = &tct;
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
98 interp_run(tc);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
99 }