benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h
authorPeizhao Ou <peizhaoo@uci.edu>
Tue, 22 Oct 2013 06:52:36 +0000 (23:52 -0700)
committerPeizhao Ou <peizhaoo@uci.edu>
Tue, 22 Oct 2013 06:52:36 +0000 (23:52 -0700)
notes/generated_code_examples.txt

index b8d9707..036b7a9 100644 (file)
@@ -14,15 +14,9 @@ Global Variable Declaration
 
 /* Beginning of struct Sequential */
 typedef struct Sequential {
-       spec_private_hashtable condition;
-       spec_private_hashtable id;
        spec_private_hashtable interface;
-       spec_private_hashtable interface_call_sequence;
        Tag global_call_sequence;
 
-       /* DefineVar unfolded here */
-       spec_private_hashtable Put__Old_Val;
-
        /* Beginning of other user-defined variables */
        bool lock_acquired;
        int reader_lock_cnt;
@@ -36,13 +30,8 @@ Sequential __sequential;
 /* Define function for sequential code initialization */
 void __sequential_init() {
        /* Init internal variables */
-       init(&__sequential.condition);
-       init(&__sequential.id);
        init(&__sequential.interface);
-       init(&__sequential.interface_call_sequence);
        init(&global_call_sequence);
-       /* Init DefineVars */
-       init(&__sequential.Put__Old_Val);
        /* Init user-defined variables */
        lock_acquired = false;
        reader_lock_cnt = 0;
@@ -58,7 +47,6 @@ void __sequential_init() {
        hb_init0.type = HB_INIT;
        hb_init0.annotation = &hbConditionInit0;
        cdsannotate(SPEC_ANALYSIS, &hb_init0);
-
 }
 
 /* All other user-defined functions */
@@ -94,6 +82,7 @@ TypeReturn interfaceName(ARGType1 arg1, ARGType2 arg2)
        annotation_interface_begin.annotation = &interface_boundary;
        cdsannotate(SPEC_ANALYSIS, &annoation_interface_begin);
 
+       // FIXME:
        TypeReturn __RET__ = __wrapper_interfaceName(arg1, arg2);
        int __COND__ = get(&__sequential.condition, tid);
        uint64_t __ID__ = get(&__sequential.id, tid);