From f881def43a0985410487a1b3ac4bfe8a86d11108 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Mon, 21 Oct 2013 23:52:36 -0700 Subject: [PATCH] benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h --- notes/generated_code_examples.txt | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) diff --git a/notes/generated_code_examples.txt b/notes/generated_code_examples.txt index b8d9707..036b7a9 100644 --- a/notes/generated_code_examples.txt +++ b/notes/generated_code_examples.txt @@ -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); -- 2.34.1