#include <OOC/SSA/Destore.oh>
#include <ADT/ArrayList.oh>
#include <OOC/SymbolTable.oh>
#include <OOC/SSA/Opnd.oh>
#include <OOC/SSA/Result.oh>
#include <OOC/SSA/Aliasing.oh>
typedef struct OOC_SSA_Destore__CacheEntryDesc *OOC_SSA_Destore__CacheEntry;
typedef struct OOC_SSA_Destore__CacheEntryDesc {
  OOC_SSA_Destore__CacheEntry next;
  OOC_SSA__Opnd design;
  OOC_SSA__Result value;
} OOC_SSA_Destore__CacheEntryDesc;
typedef struct OOC_SSA_Destore__WorklistDesc *OOC_SSA_Destore__Worklist;
typedef struct OOC_SSA_Destore__WorklistDesc {
  OOC_SSA_Destore__Worklist next;
  OOC_SSA__Instr instr;
} OOC_SSA_Destore__WorklistDesc;
#define OOC_SSA_Destore__read 0
#define OOC_SSA_Destore__write 1
static OOC_CHAR8 OOC_SSA_Destore__IsLocalVariable(OOC_SSA__ProcBlock pb, OOC_SymbolTable__Declaration decl);
static void OOC_SSA_Destore__InitState(OOC_SSA_Destore__State *s, OOC_SSA__ProcBlock pb);
static OOC_CHAR8 OOC_SSA_Destore__AccessedByCall(OOC_SSA_Destore__State s, OOC_SSA__Result calledAdr, OOC_SSA__Opnd design, OOC_INT8 mode);

/* run-time meta data */
static RT0__ModuleDesc _mid;
RT0__StructDesc _td_OOC_SSA_Destore__State = { (RT0__Struct[]){&_td_OOC_SSA_Destore__StateDesc}, NULL, &_mid, "State", 8, -1, RT0__strPointer };
RT0__StructDesc _td_OOC_SSA_Destore__StateDesc = { (RT0__Struct[]){&_td_OOC_SSA_Destore__StateDesc}, (void*[]){(void*)OOC_SSA_Destore__StateDesc_ClobberedBy,(void*)OOC_SSA_Destore__StateDesc_Transform}, &_mid, "StateDesc", 16, 0, RT0__strRecord };
RT0__StructDesc _td_OOC_SSA_Destore__CacheEntry = { (RT0__Struct[]){&_td_OOC_SSA_Destore__CacheEntryDesc}, NULL, &_mid, "CacheEntry", 8, -1, RT0__strPointer };
RT0__StructDesc _td_OOC_SSA_Destore__CacheEntryDesc = { (RT0__Struct[]){&_td_Object__ObjectDesc,&_td_OOC_SSA__NodeDesc,&_td_OOC_SSA_Destore__CacheEntryDesc}, (void*[]){(void*)Object__ObjectDesc_Equals,(void*)Object__ObjectDesc_HashCode,(void*)Object__ObjectDesc_ToString}, &_mid, "CacheEntryDesc", 24, 2, RT0__strRecord };
RT0__StructDesc _td_OOC_SSA_Destore__Worklist = { (RT0__Struct[]){&_td_OOC_SSA_Destore__WorklistDesc}, NULL, &_mid, "Worklist", 8, -1, RT0__strPointer };
RT0__StructDesc _td_OOC_SSA_Destore__WorklistDesc = { (RT0__Struct[]){&_td_OOC_SSA_Destore__WorklistDesc}, (void*[]){}, &_mid, "WorklistDesc", 16, 0, RT0__strRecord };
RT0__StructDesc _td_OOC_SSA_Destore__8825 = { (RT0__Struct[]){&RT0__char}, NULL, &_mid, NULL, 1, 1, RT0__strOpenArray };
static RT0__ModuleDesc _mid = { (OOC_CHAR8*)"OOC:SSA:Destore", (RT0__Struct[]) { &_td_OOC_SSA_Destore__State, &_td_OOC_SSA_Destore__StateDesc, &_td_OOC_SSA_Destore__CacheEntry, &_td_OOC_SSA_Destore__CacheEntryDesc, &_td_OOC_SSA_Destore__Worklist, &_td_OOC_SSA_Destore__WorklistDesc, NULL } };

extern void OOC_OOC_SSA_Destore_init0() {
  RT0__RegisterModule(&_mid);
  OOC_OOC_SSA_Destore_init();
}

/* --- */
