annotate CbC-examples/conv1.c @ 119:9d1ff3ae1824

fix conv1 example
author kono
date Thu, 08 Mar 2018 12:20:02 +0900
parents 959d4c8c8abc
children f93fa5091070
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #include "stdio.h"
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
3 extern int atoi (const char *);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
4
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 static int loop;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 #if 1 // def __micro_c__
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 #define CC_ONLY 0
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 #else
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 #define CC_ONLY 1
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 #endif
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 /* classical function call case (0) */
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
14 int g0(int);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
15 int h0(int);
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
17 int
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 f0(int i) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 int k,j;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 k = 3+i;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 j = g0(i+3);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 return k+4+j;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
25 int
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 g0(int i) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 return h0(i+4)+i;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
30 int
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 h0(int i) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 return i+4;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 #if !CC_ONLY
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 /* straight conversion case (1) */
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
39 typedef void *stack;
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 struct cont_interface { // General Return Continuation
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 __code (*ret)(int, void *);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 };
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
45 #ifndef __llvm__
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
46 __code f_g0(int i,int k,stack sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
47 __code f_g1(int j,stack sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
48 __code g(int i,stack sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
49 __code h(int i,stack sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
50 __code f2(int i,char *sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
51 __code g2(int i,int k,int j,char *sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
52 __code h2(int i,int k,char *sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
53 __code main_return2(int i,stack sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
54 __code g2_1(int k,int i,stack *sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
55 __code h2_11(int i,int k,stack *sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
56 #endif
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
57
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 __code f(int i,stack sp) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 int k,j;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 k = 3+i;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 goto f_g0(i,k,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 struct f_g0_interface { // Specialized Return Continuation
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 __code (*ret)(int, void *);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 int i_,k_,j_;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 };
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 __code f_g1(int j,stack sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 __code f_g0(int i,int k,stack sp) { // Caller
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 struct f_g0_interface *c =
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 (struct f_g0_interface *)(sp -= sizeof(struct f_g0_interface));
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
74
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 c->ret = f_g1;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 c->k_ = k;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 c->i_ = i;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
78
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 goto g(i+3,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 __code f_g1(int j,stack sp) { // Continuation
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 struct f_g0_interface *c = (struct f_g0_interface *)sp;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 int k = c->k_;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 sp+=sizeof(struct f_g0_interface);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 c = (struct f_g0_interface *)sp;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 goto (c->ret)(k+4+j,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 __code g_h1(int j,stack sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 __code g(int i,stack sp) { // Caller
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 struct f_g0_interface *c =
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 (struct f_g0_interface *)(sp -= sizeof(struct f_g0_interface));
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
95
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 c->ret = g_h1;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 c->i_ = i;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
98
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 goto h(i+3,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
101
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 __code g_h1(int j,stack sp) { // Continuation
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 struct f_g0_interface *c = (struct f_g0_interface *)sp;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 int i = c->i_;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 sp+=sizeof(struct f_g0_interface);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 c = (struct f_g0_interface *)sp;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 goto (c->ret)(j+i,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
109
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 __code h(int i,stack sp) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 struct f_g0_interface *c = (struct f_g0_interface *)sp;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 goto (c->ret)(i+4,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
114
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 struct main_continuation { // General Return Continuation
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 __code (*ret)();
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 __code (*main_ret)();
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 void *env;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 };
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
120
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 __code main_return(int i,stack sp) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
122 if (loop-->0)
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 goto f(233,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
124 printf("#0103:%d\n",i);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 goto (( (struct main_continuation *)sp)->main_ret)(0,
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
126 ((struct main_continuation *)sp)->env);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
127 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
128
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
129 /* little optimzation without stack continuation (2) */
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
130
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 __code f2(int i,char *sp) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
132 int k,j;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 k = 3+i;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
134 goto g2(i,k,i+3,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
136
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
137 __code g2(int i,int k,int j,char *sp) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
138 j = j+4;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
139 goto h2(i,k+4+j,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
141
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
142 __code h2_1(int i,int k,int j,char *sp) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 goto main_return2(i+j,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
145
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
146 __code h2(int i,int k,char *sp) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
147 goto h2_1(i,k,i+4,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
148 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
149
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
150 __code main_return2(int i,stack sp) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
151 if (loop-->0)
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
152 goto f2(233,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
153 printf("#0132:%d\n",i);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
154 goto (( (struct main_continuation *)sp)->main_ret)(0,
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
155 ((struct main_continuation *)sp)->env);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
156 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
157
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
158 /* little optimizaed case (3) */
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
159
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
160 __code f2_1(int i,stack *sp) {
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
161 int k,j;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
162 k = 3+i;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
163 goto g2_1(k,i+3,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
165
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
166 __code g2_1(int k,int i,stack *sp) {
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
167 goto h2_11(k,i+4,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
168 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
169
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
170 __code f2_0_1(int k,int j,stack *sp);
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
171 __code h2_1_1(int i,int k,int j,stack *sp) {
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
172 goto f2_0_1(k,i+j,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
173 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
174
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
175 __code h2_11(int i,int k,stack *sp) {
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
176 goto h2_1_1(i,k,i+4,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
177 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
178
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
179 __code f2_0_1(int k,int j,stack *sp) {
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
180 goto (( (struct cont_interface *)sp)->ret)(k+4+j,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
181 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
182
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
183 __code main_return2_1(int i,stack sp) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
184 if (loop-->0)
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
185 goto f2_1(233,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
186 printf("#0165:%d\n",i);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
187 goto (( (struct main_continuation *)sp)->main_ret)(0,
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
188 ((struct main_continuation *)sp)->env);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
189 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
190
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
191 #define STACK_SIZE 2048
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
192 char main_stack[STACK_SIZE];
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
193 #define stack_last (main_stack+STACK_SIZE)
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
194
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
195 #endif
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
196
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
197 #define LOOP_COUNT 10000000
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
198
119
9d1ff3ae1824 fix conv1 example
kono
parents: 21
diff changeset
199 int
21
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
200 main(int ac,char *av[])
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
201 {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
202 #if !CC_ONLY
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
203 struct main_continuation *cont;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
204 stack sp = stack_last;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
205 #endif
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
206 int sw;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
207 int j;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
208 if (ac==2) sw = atoi(av[1]);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
209 else sw=3;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
210
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
211 if (sw==0) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
212 for(loop=0;loop<LOOP_COUNT;loop++) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
213 j = f0(233);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
214 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
215 printf("#0193:%d\n",j);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
216 #if !CC_ONLY
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
217 } else if (sw==1) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
218 loop = LOOP_COUNT;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
219 sp -= sizeof(*cont);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
220 cont = (struct main_continuation *)sp;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
221 cont->ret = main_return;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
222 cont->main_ret = _CbC_return;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
223 cont->env = _CbC_environment;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
224 goto f(233,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
225 } else if (sw==2) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
226 loop = LOOP_COUNT;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
227 sp -= sizeof(*cont);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
228 cont = (struct main_continuation *)sp;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
229 cont->ret = main_return2;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
230 cont->main_ret = _CbC_return;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
231 cont->env = _CbC_environment;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
232 goto f2(233,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
233 } else if (sw==3) {
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
234 loop = LOOP_COUNT;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
235 sp -= sizeof(*cont);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
236 cont = (struct main_continuation *)sp;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
237 cont->ret = main_return2_1;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
238 cont->main_ret = _CbC_return;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
239 cont->env = _CbC_environment;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
240 goto f2_1(233,sp);
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
241 #endif
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
242 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
243 return 0;
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
244 }
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
245
959d4c8c8abc add conv.c conv1.c
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
246 /* end */