From f881def43a0985410487a1b3ac4bfe8a86d11108 Mon Sep 17 00:00:00 2001
From: Peizhao Ou <peizhaoo@uci.edu>
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