cleanup
This commit is contained in:
Vítor Santos Costa
parent
5fd4add82b
commit
5e4cbcef56
1450
CMakeCache.txt
1450
CMakeCache.txt
File diff suppressed because it is too large
Load Diff
@ -1,2 +1,2 @@
|
|||||||
#define GIT_SHA1 "60a8efb467c383c47e440c3552cca7d179f66c2e"
|
#define GIT_SHA1 "713e9dc9d83c385f5bdd57c8cfa4c7771a6cdb12"
|
||||||
const char g_GIT_SHA1[] = GIT_SHA1;
|
const char g_GIT_SHA1[] = GIT_SHA1;
|
||||||
|
|||||||
@ -1,302 +0,0 @@
|
|||||||
|
|
||||||
/* This file, hstruct.h, was generated automatically by "yap -L misc/buildlocalglobal"
|
|
||||||
please do not update, update misc/HEAPFIELDS instead */
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
{
|
|
||||||
|
|
||||||
UInt Yap_HoleSize_;
|
|
||||||
struct malloc_state *Yap_av_;
|
|
||||||
#if USE_DL_MALLOC
|
|
||||||
struct Yap_MemoryHoles[MAX_DLMALLOC_HOLES] void_;
|
|
||||||
UInt Yap_NOfMemoryHoles_;
|
|
||||||
#if defined(YAPOR) || defined(THREADS)
|
|
||||||
lockvar DLMallocLock_;
|
|
||||||
#endif
|
|
||||||
#endif
|
|
||||||
#if USE_DL_MALLOC || (USE_SYSTEM_MALLOC && HAVE_MALLINFO)
|
|
||||||
#ifndef HeapUsed
|
|
||||||
#define HeapUsed Yap_givemallinfo()
|
|
||||||
#endif
|
|
||||||
Int NotHeapUsed_;
|
|
||||||
#else
|
|
||||||
Int HeapUsed_;
|
|
||||||
#endif
|
|
||||||
Int HeapMax_;
|
|
||||||
ADDR HeapTop_;
|
|
||||||
ADDR HeapLim_;
|
|
||||||
struct FREEB *FreeBlocks_;
|
|
||||||
#if defined(YAPOR) || defined(THREADS)
|
|
||||||
lockvar FreeBlocksLock_;
|
|
||||||
lockvar HeapUsedLock_;
|
|
||||||
lockvar HeapTopLock_;
|
|
||||||
int HeapTopOwner_;
|
|
||||||
#endif
|
|
||||||
UInt MaxStack_;
|
|
||||||
UInt MaxTrail_;
|
|
||||||
|
|
||||||
|
|
||||||
#if USE_THREADED_CODE
|
|
||||||
op_entry *OP_RTABLE_;
|
|
||||||
#endif
|
|
||||||
|
|
||||||
OPCODE EXECUTE_CPRED_OP_CODE_;
|
|
||||||
OPCODE EXPAND_OP_CODE_;
|
|
||||||
OPCODE FAIL_OPCODE_;
|
|
||||||
OPCODE INDEX_OPCODE_;
|
|
||||||
OPCODE LOCKPRED_OPCODE_;
|
|
||||||
OPCODE ORLAST_OPCODE_;
|
|
||||||
OPCODE UNDEF_OPCODE_;
|
|
||||||
OPCODE RETRY_USERC_OPCODE_;
|
|
||||||
OPCODE EXECUTE_CPRED_OPCODE_;
|
|
||||||
|
|
||||||
UInt NOfAtoms_;
|
|
||||||
UInt AtomHashTableSize_;
|
|
||||||
UInt WideAtomHashTableSize_;
|
|
||||||
UInt NOfWideAtoms_;
|
|
||||||
AtomHashEntry INVISIBLECHAIN_;
|
|
||||||
AtomHashEntry *WideHashChain_;
|
|
||||||
AtomHashEntry *HashChain_;
|
|
||||||
|
|
||||||
#include "tatoms.h"
|
|
||||||
#ifdef EUROTRA
|
|
||||||
Term TermDollarU_;
|
|
||||||
#endif
|
|
||||||
|
|
||||||
Term USER_MODULE_;
|
|
||||||
Term IDB_MODULE_;
|
|
||||||
Term ATTRIBUTES_MODULE_;
|
|
||||||
Term CHARSIO_MODULE_;
|
|
||||||
Term CHTYPE_MODULE_;
|
|
||||||
Term TERMS_MODULE_;
|
|
||||||
Term SYSTEM_MODULE_;
|
|
||||||
Term READUTIL_MODULE_;
|
|
||||||
Term HACKS_MODULE_;
|
|
||||||
Term ARG_MODULE_;
|
|
||||||
Term GLOBALS_MODULE_;
|
|
||||||
Term SWI_MODULE_;
|
|
||||||
Term DBLOAD_MODULE_;
|
|
||||||
Term RANGE_MODULE_;
|
|
||||||
Term ERROR_MODULE_;
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
struct mod_entry *CurrentModules_;
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
Prop HIDDEN_PREDICATES_;
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
union flagTerm* GLOBAL_Flags_;
|
|
||||||
UInt GLOBAL_flagCount_;
|
|
||||||
|
|
||||||
yap_exec_mode Yap_ExecutionMode_;
|
|
||||||
|
|
||||||
struct pred_entry **PredHash_;
|
|
||||||
#if defined(YAPOR) || defined(THREADS)
|
|
||||||
rwlock_t PredHashRWLock_;
|
|
||||||
#endif
|
|
||||||
UInt PredsInHashTable_;
|
|
||||||
UInt PredHashTableSize_;
|
|
||||||
|
|
||||||
struct pred_entry *CreepCode_;
|
|
||||||
struct pred_entry *UndefCode_;
|
|
||||||
struct pred_entry *SpyCode_;
|
|
||||||
struct pred_entry *PredFail_;
|
|
||||||
struct pred_entry *PredTrue_;
|
|
||||||
#ifdef COROUTINING
|
|
||||||
struct pred_entry *WakeUpCode_;
|
|
||||||
#endif
|
|
||||||
struct pred_entry *PredGoalExpansion_;
|
|
||||||
struct pred_entry *PredMetaCall_;
|
|
||||||
struct pred_entry *PredTraceMetaCall_;
|
|
||||||
struct pred_entry *PredDollarCatch_;
|
|
||||||
struct pred_entry *PredRecordedWithKey_;
|
|
||||||
struct pred_entry *PredLogUpdClause_;
|
|
||||||
struct pred_entry *PredLogUpdClauseErase_;
|
|
||||||
struct pred_entry *PredLogUpdClause0_;
|
|
||||||
struct pred_entry *PredStaticClause_;
|
|
||||||
struct pred_entry *PredThrow_;
|
|
||||||
struct pred_entry *PredHandleThrow_;
|
|
||||||
struct pred_entry *PredIs_;
|
|
||||||
struct pred_entry *PredSafeCallCleanup_;
|
|
||||||
struct pred_entry *PredRestoreRegs_;
|
|
||||||
struct pred_entry *PredCommentHook_;
|
|
||||||
#ifdef YAPOR
|
|
||||||
struct pred_entry *PredGetwork_;
|
|
||||||
struct pred_entry *PredProcedure_;
|
|
||||||
#endif /* YAPOR */
|
|
||||||
|
|
||||||
#ifdef LOW_LEVEL_TRACER
|
|
||||||
int Yap_do_low_level_trace_;
|
|
||||||
#if defined(YAPOR) || defined(THREADS)
|
|
||||||
lockvar Yap_low_level_trace_lock_;
|
|
||||||
#endif
|
|
||||||
#endif
|
|
||||||
|
|
||||||
UInt Yap_ClauseSpace_;
|
|
||||||
UInt Yap_IndexSpace_Tree_;
|
|
||||||
UInt Yap_IndexSpace_EXT_;
|
|
||||||
UInt Yap_IndexSpace_SW_;
|
|
||||||
UInt Yap_LUClauseSpace_;
|
|
||||||
UInt Yap_LUIndexSpace_Tree_;
|
|
||||||
UInt Yap_LUIndexSpace_CP_;
|
|
||||||
UInt Yap_LUIndexSpace_EXT_;
|
|
||||||
UInt Yap_LUIndexSpace_SW_;
|
|
||||||
|
|
||||||
yamop COMMA_CODE_[5];
|
|
||||||
yamop DUMMYCODE_[1];
|
|
||||||
yamop FAILCODE_[1];
|
|
||||||
yamop NOCODE_[1];
|
|
||||||
yamop ENV_FOR_TRUSTFAIL_[2];
|
|
||||||
yamop *TRUSTFAILCODE_;
|
|
||||||
yamop ENV_FOR_YESCODE_[2];
|
|
||||||
yamop *YESCODE_;
|
|
||||||
yamop RTRYCODE_[1];
|
|
||||||
#ifdef BEAM
|
|
||||||
yamop BEAM_RETRY_CODE_[1];
|
|
||||||
#endif /* BEAM */
|
|
||||||
#ifdef YAPOR
|
|
||||||
yamop GETWORK_[1];
|
|
||||||
yamop GETWORK_SEQ_[1];
|
|
||||||
yamop GETWORK_FIRST_TIME_[1];
|
|
||||||
#endif /* YAPOR */
|
|
||||||
#ifdef TABLING
|
|
||||||
yamop LOAD_ANSWER_[1];
|
|
||||||
yamop TRY_ANSWER_[1];
|
|
||||||
yamop ANSWER_RESOLUTION_[1];
|
|
||||||
yamop COMPLETION_[1];
|
|
||||||
#ifdef THREADS_CONSUMER_SHARING
|
|
||||||
yamop ANSWER_RESOLUTION_COMPLETION_[1];
|
|
||||||
#endif /* THREADS_CONSUMER_SHARING */
|
|
||||||
#endif /* TABLING */
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
yamop *P_before_spy_;
|
|
||||||
|
|
||||||
yamop *RETRY_C_RECORDEDP_CODE_;
|
|
||||||
yamop *RETRY_C_RECORDED_K_CODE_;
|
|
||||||
|
|
||||||
int PROFILING_;
|
|
||||||
int CALL_COUNTING_;
|
|
||||||
int optimizer_on_;
|
|
||||||
int compile_mode_;
|
|
||||||
int profiling_;
|
|
||||||
int call_counting_;
|
|
||||||
|
|
||||||
int compile_arrays_;
|
|
||||||
|
|
||||||
#if defined(YAPOR) || defined(THREADS)
|
|
||||||
lockvar DBTermsListLock_;
|
|
||||||
#endif
|
|
||||||
struct dbterm_list *DBTermsList_;
|
|
||||||
|
|
||||||
yamop *ExpandClausesFirst_;
|
|
||||||
yamop *ExpandClausesLast_;
|
|
||||||
UInt Yap_ExpandClauses_;
|
|
||||||
#if defined(YAPOR) || defined(THREADS)
|
|
||||||
lockvar ExpandClausesListLock_;
|
|
||||||
lockvar OpListLock_;
|
|
||||||
#endif
|
|
||||||
|
|
||||||
#ifdef DEBUG
|
|
||||||
UInt Yap_NewCps_;
|
|
||||||
UInt Yap_LiveCps_;
|
|
||||||
UInt Yap_DirtyCps_;
|
|
||||||
UInt Yap_FreedCps_;
|
|
||||||
#endif
|
|
||||||
UInt Yap_expand_clauses_sz_;
|
|
||||||
|
|
||||||
struct udi_info *UdiControlBlocks_;
|
|
||||||
|
|
||||||
|
|
||||||
Int STATIC_PREDICATES_MARKED_;
|
|
||||||
|
|
||||||
Prop *INT_KEYS_;
|
|
||||||
Prop *INT_LU_KEYS_;
|
|
||||||
Prop *INT_BB_KEYS_;
|
|
||||||
|
|
||||||
UInt INT_KEYS_SIZE_;
|
|
||||||
UInt INT_KEYS_TIMESTAMP_;
|
|
||||||
UInt INT_BB_KEYS_SIZE_;
|
|
||||||
|
|
||||||
int UPDATE_MODE_;
|
|
||||||
|
|
||||||
struct DB_STRUCT *DBErasedMarker_;
|
|
||||||
struct logic_upd_clause *LogDBErasedMarker_;
|
|
||||||
|
|
||||||
struct static_clause *DeadStaticClauses_;
|
|
||||||
struct static_mega_clause *DeadMegaClauses_;
|
|
||||||
struct static_index *DeadStaticIndices_;
|
|
||||||
struct logic_upd_clause *DBErasedList_;
|
|
||||||
struct logic_upd_index *DBErasedIList_;
|
|
||||||
#if defined(YAPOR) || defined(THREADS)
|
|
||||||
lockvar DeadStaticClausesLock_;
|
|
||||||
lockvar DeadMegaClausesLock_;
|
|
||||||
lockvar DeadStaticIndicesLock_;
|
|
||||||
#endif
|
|
||||||
#ifdef COROUTINING
|
|
||||||
|
|
||||||
int NUM_OF_ATTS_;
|
|
||||||
|
|
||||||
UInt Yap_AttsSize_;
|
|
||||||
#endif
|
|
||||||
|
|
||||||
struct operator_entry *OpList_;
|
|
||||||
|
|
||||||
struct ForeignLoadItem *ForeignCodeLoaded_;
|
|
||||||
ADDR ForeignCodeBase_;
|
|
||||||
ADDR ForeignCodeTop_;
|
|
||||||
ADDR ForeignCodeMax_;
|
|
||||||
|
|
||||||
struct record_list *Yap_Records_;
|
|
||||||
|
|
||||||
Atom *SWI_Atoms_;
|
|
||||||
Functor *SWI_Functors_;
|
|
||||||
swi_rev_hash SWI_ReverseHash_[N_SWI_HASH];
|
|
||||||
|
|
||||||
Int AtomTranslations_;
|
|
||||||
Int MaxAtomTranslations_;
|
|
||||||
|
|
||||||
Int FunctorTranslations_;
|
|
||||||
Int MaxFunctorTranslations_;
|
|
||||||
Atom EmptyWakeups_[MAX_EMPTY_WAKEUPS];
|
|
||||||
int MaxEmptyWakeups_;
|
|
||||||
|
|
||||||
struct YAP_blob_t *BlobTypes_;
|
|
||||||
struct AtomEntryStruct *Blobs_;
|
|
||||||
UInt NOfBlobs_;
|
|
||||||
UInt NOfBlobsMax_;
|
|
||||||
#if defined(YAPOR) || defined(THREADS)
|
|
||||||
lockvar Blobs_Lock_;
|
|
||||||
#endif
|
|
||||||
}
|
|
||||||
Reference in New Issue
Block a user