Mercurial > hg > Gears > GearsAgda
annotate src/parallel_execution/test/stack_test.c @ 233:06133afb3b5b
create worker start_code
| author | mir3636 |
|---|---|
| date | Sun, 22 Jan 2017 20:02:21 +0900 |
| parents | 50d0d1b468aa |
| children | 421ea91dd76c |
| rev | line source |
|---|---|
| 202 | 1 #include "../stack.h" |
| 182 | 2 #include "../context.h" |
| 3 #include "../origin_cs.h" | |
| 4 #include <assert.h> | |
| 215 | 5 |
|
207
7470b8382672
Fix compile error to stack_test
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
205
diff
changeset
|
6 extern __code initContext(struct Context* context); |
| 182 | 7 |
| 202 | 8 __code stack_test1(struct Context* context, struct Task* task, struct Stack* stack) { |
| 205 | 9 task->code = C_stack_test1; |
| 10 stack->next = C_stack_test2; | |
| 202 | 11 stack->data = (union Data*)task; |
| 215 | 12 goto meta(context, stack->stack->Stack.push); |
| 182 | 13 } |
| 14 | |
| 202 | 15 __code stack_test1_stub(struct Context* context) { |
| 182 | 16 Task* task = &ALLOCATE(context, Task)->Task; |
| 205 | 17 struct Stack* stack = &(createSingleLinkedStack(context)->Stack); |
| 18 assert(stack->stack->SingleLinkedStack.top == NULL); | |
| 19 context->data[D_Stack]->Stack.stack = (union Data*)stack; | |
| 202 | 20 goto stack_test1(context, |
| 182 | 21 task, |
| 215 | 22 &context->data[D_Stack]->Stack); |
| 182 | 23 } |
| 24 | |
| 202 | 25 __code stack_test2(struct Context* context, struct Task* task, struct Stack* stack) { |
| 205 | 26 task->code = C_stack_test2; |
| 27 stack->next = C_stack_test3; | |
| 202 | 28 stack->data = (union Data*)task; |
| 215 | 29 goto meta(context, stack->stack->Stack.push); |
| 182 | 30 } |
| 31 | |
| 202 | 32 __code stack_test2_stub(struct Context* context) { |
|
207
7470b8382672
Fix compile error to stack_test
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
205
diff
changeset
|
33 assert(context->data[D_Stack]->Stack.stack->Stack.stack->SingleLinkedStack.top->data->Task.code == C_stack_test1); |
| 182 | 34 Task* task = &ALLOCATE(context, Task)->Task; |
| 202 | 35 goto stack_test2(context, |
| 182 | 36 task, |
| 215 | 37 &context->data[D_Stack]->Stack); |
| 182 | 38 } |
| 39 | |
| 202 | 40 __code stack_test3(struct Context* context, struct Stack* stack) { |
| 205 | 41 stack->next = C_stack_test4; |
| 215 | 42 goto meta(context, stack->stack->Stack.pop); |
| 182 | 43 } |
| 44 | |
| 202 | 45 __code stack_test3_stub(struct Context* context) { |
|
207
7470b8382672
Fix compile error to stack_test
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
205
diff
changeset
|
46 assert(context->data[D_Stack]->Stack.stack->Stack.stack->SingleLinkedStack.top->data->Task.code == C_stack_test2); |
| 202 | 47 goto stack_test3(context, |
| 215 | 48 &context->data[D_Stack]->Stack); |
| 182 | 49 } |
| 50 | |
| 202 | 51 __code stack_test4(struct Context* context) { |
| 215 | 52 goto meta(context, C_exit_code); |
| 182 | 53 } |
| 54 | |
| 202 | 55 __code stack_test4_stub(struct Context* context) { |
| 215 | 56 assert(context->data[D_Stack]->Stack.data->Task.code == C_stack_test2); |
|
207
7470b8382672
Fix compile error to stack_test
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
205
diff
changeset
|
57 assert(context->data[D_Stack]->Stack.stack->Stack.stack->SingleLinkedStack.top->data->Task.code == C_stack_test1); |
| 205 | 58 goto stack_test4(context); |
| 182 | 59 } |
| 60 | |
| 61 int main(int argc, char const* argv[]) { | |
| 62 struct Context* main_context = NEW(struct Context); | |
| 63 initContext(main_context); | |
| 205 | 64 main_context->next = C_stack_test1; |
| 182 | 65 goto start_code(main_context); |
| 66 } |