fixed bugs

[cdsspec-compiler.git] / benchmark / ms-queue / my_queue.h

diff --git a/benchmark/ms-queue/my_queue.h b/benchmark/ms-queue/my_queue.h
index 3a344d698337279597aff78b144b81c31858b9db..4161b3319504b491e113717db49110159df8e35e 100644 (file)
--- a/benchmark/ms-queue/my_queue.h
+++ b/benchmark/ms-queue/my_queue.h
@@ -30,7 +30,7 @@ void init_queue(queue_t *q, int num_threads);
 /**
        @Begin
        @Global_define:
-               @DeclareVar:
+               @DeclareStruct:
                typedef struct tag_elem {
                        Tag id;
                        unsigned int data;
@@ -40,7 +40,7 @@ void init_queue(queue_t *q, int num_threads);
                                data = _data;
                        }
                } tag_elem_t;
-
+               @DeclareVar:
                spec_queue<tag_elem_t> queue;
                Tag tag;
                @InitVar:
@@ -64,7 +64,6 @@ void init_queue(queue_t *q, int num_threads);
        @Action:
                # __ID__ is an internal macro that refers to the id of the current
                # interface call
-               @Code:
                __sequential.queue.enqueue(tag_elem_t(__ID__, val));
        @End
 */
@@ -76,7 +75,6 @@ void enqueue(queue_t *q, unsigned int val);
        @Commit_point_set: Dequeue_Success_Point
        @ID: __sequential.queue.peak().tag
        @Action:
-               @Code:
                unsigned int _Old_Val = __sequential.queue.dequeue().data;
        @Post_check:
                _Old_Val == __RET__