annotate CbC-examples/c-next.c @ 140:4e440907fcbf

copy CbC goto flang in cfgexpand remove some CbC unnecessary code
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 14 Nov 2018 00:24:45 +0900
parents fc828634a951
children ce508c72660f
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)];
140
4e440907fcbf copy CbC goto flang in cfgexpand
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 138
diff changeset
59 //c(i);
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
60 goto c(i);
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
61 }
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
62
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
63 __code cbc_no_op(INTERP i){
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
64 goto cbc_next(i);
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
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
67 __code cbc_exit(INTERP i){
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
68 goto i->main_ret(0,i->env);
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
69 }
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
70
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
71 //__code main_return(int i,stack sp) {
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
72 // if (loop-->0)
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
73 // goto f(233,sp);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
74 // printf("#0103:%d\n",i);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
75 // goto (( (struct main_continuation *)sp)->main_ret)(0,
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
76 // ((struct main_continuation *)sp)->env);
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
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
79 int interp_run(MVMThreadContext *tc){
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
80 INTER inter = {0,0,0,0,0,0,0,0,0};
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
81 INTERP i = &inter;
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
82 MVMuint8 cur_op[] = {0,1,1,0,1,2};
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
83 // i->ret = main_return;
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
84 i->main_ret = _CbC_return;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
85 i->env = _CbC_environment;
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
86 i->cur_op = cur_op;
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
87
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
88 tc->interp_cur_op = &i->cur_op;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
89 tc->interp_bytecode_start = &i->bytecode_start;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
90 tc->interp_reg_base = &i->reg_base;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
91 tc->interp_cu = &i->cu;
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
92 goto cbc_next(i);
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
93 return 0;
134
71d4882a9ac3 add cbc-example
kono
parents:
diff changeset
94 }
135
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
95
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
96 int main(int argc, char **argv){
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
97 MVMThreadContext tct = {0,0,0,0};
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
98 MVMThreadContext* tc = &tct;
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
99 interp_run(tc);
d23615825742 fix _CbC_return for c-next.c
anatofuz
parents: 134
diff changeset
100 }