diff options
Diffstat (limited to 'compiler_and_linker/unsorted/IroPointerAnalysisADTs.c')
| -rw-r--r-- | compiler_and_linker/unsorted/IroPointerAnalysisADTs.c | 2736 |
1 files changed, 0 insertions, 2736 deletions
diff --git a/compiler_and_linker/unsorted/IroPointerAnalysisADTs.c b/compiler_and_linker/unsorted/IroPointerAnalysisADTs.c deleted file mode 100644 index 6e24e6f..0000000 --- a/compiler_and_linker/unsorted/IroPointerAnalysisADTs.c +++ /dev/null @@ -1,2736 +0,0 @@ -#include "compiler/IroPointerAnalysis.h" -#include "compiler/IroMalloc.h" -#include "compiler/CError.h" -#include "compiler/CInt64.h" -#include "compiler/CParser.h" -#include "compiler/objects.h" -#include "compiler/types.h" - -// TODO: this should really be elsewhere (but where?) -CW_INLINE UInt32 gcd(UInt32 a, UInt32 b) { - UInt32 chk; - - if (!a) - return b; - if (!b) - return a; - - while (1) { - chk = a % b; - if (!chk) - return b; - a = b; - b = chk; - } -} - -// #define IRO_DEBUG - -typedef struct ExtendedParamSet ExtendedParamSet; -typedef struct LocationSet LocationSet; -typedef struct LocationSetSet LocationSetSet; -typedef struct ObjectSet ObjectSet; -typedef struct PAHeapBlock PAHeapBlock; -typedef struct PALocalVar PALocalVar; -typedef struct PAMemoryBlock PAMemoryBlock; -typedef struct ParamMapping ParamMapping; -typedef struct ParamMappingFunction ParamMappingFunction; -typedef struct PartialTransferFunction PartialTransferFunction; -typedef struct PointsToEntry PointsToEntry; -// typedef struct PointsToFunction PointsToFunction; -typedef struct Stack Stack; -typedef struct StackElement StackElement; - -typedef UInt32 uint32; - -void __assertion_failed(char *expr, char *filename, int line); - -#ifdef IRO_DEBUG -#define IRO_ASSERT(line, expr) \ - do { \ - if (!(expr)) { \ - __assertion_failed(#expr, __FILE__, line); \ - } \ - } while (0); - -#define IRO_DEBUG_CLEAR(obj, type) \ - memset((obj), 0xFF, sizeof(type)) -#else -#define IRO_ASSERT(line, expr) ((void) 0) -#define IRO_DEBUG_CLEAR(obj, type) ((void) 0) -#endif - -#ifdef __MWERKS__ -#pragma options align=mac68k -#endif -struct StackElement { - Object *proc; - PartialTransferFunction *ptf; - ParamMappingFunction *map; - IROLinear *funcCall; -}; - -struct Stack { - StackElement *top; - Stack *next; -}; - -struct ObjectSet { - Object *proc; - ObjectSet *otherProcs; -}; - -struct ExtendedParam { - ObjectSet *objectSet; - uint32 x4; -}; - -struct ExtendedParamSet { - ExtendedParam *ep; - ExtendedParamSet *otherEps; -}; - -struct PAHeapBlock { - IROLinear *x0; -}; - -struct PALocalVar { - Object *x0; - char *x4; -}; - -typedef enum { - PAMEMORYBLOCKKIND_INVALID, - PAMEMORYBLOCKKIND_1, - PAMEMORYBLOCKKIND_EXTENDEDPARAM, - PAMEMORYBLOCKKIND_LOCALVAR, - PAMEMORYBLOCKKIND_HEAPBLOCK, - PAMEMORYBLOCKKIND_INT, - PAMEMORYBLOCKKIND_6 -} PAMemoryBlockKind; - -struct PAMemoryBlock { - PAMemoryBlockKind kind; - union { - ExtendedParam *ep; - PALocalVar *localvar; - PAHeapBlock *heapblock; - CInt64 intval; - void *x6; - } u; -}; - -struct LocationSet { - PAMemoryBlock *block; - Type *rtype; - union { - struct { - CInt64 field; - UInt32 stride; - } known; - struct { - PAMemoryBlock *restriction; - LocationSet *bitfieldOf; - } unknown; - } u; -}; - -struct LocationSetSet { - LocationSet *loc; - LocationSetSet *otherLocs; - UInt8 count; -}; - -struct ParamMapping { - IROLinear *actual; - Object *formal; - ExtendedParam *extended; -}; - -struct ParamMappingFunction { - ParamMapping *mapping; - ParamMappingFunction *otherMappings; -}; - -struct PointsToEntry { - LocationSet *loc; - LocationSetSet *locs; -}; - -struct PointsToFunction { - PointsToEntry *pte; - PointsToFunction *otherPtes; -}; - -struct PartialTransferFunction { - PointsToFunction *initialPointsToFn; - PointsToFunction *finalPointsToFn; - LocationSetSet *funcModifies; - LocationSet *returnLocation; - Boolean x10; - struct { - IROLinear *nd; - PartialTransferFunction *ptf; - } context; -}; - -struct PTFList { - PartialTransferFunction *ptf; - PTFList *otherPTFs; -}; -#ifdef __MWERKS__ -#pragma options align=reset -#endif - -// TODO: how many of these are actually in IroPointerAnalysis.c? -static uint32 stExtendedParamNum; -static PartialTransferFunction *stUnknownPTF; -static uint32 stIndentationLevel; -static UInt8 stTabs[0x2C]; // unused mystery object -static Stack *stCallingContextStack; -static ObjectList *stParamObjs; -static jmp_buf stAbortPointerAnalysis; -static Object stUnknown; -static Object *stCurrentProc; -static ExtendedParamSet *stExtParamSet; -static PTFList *stPTFList; -static uint32 stMaxPassCount; -// TODO: stEvalProcActionParams -static IRONode *stExceptionFNode; - -static PAMemoryBlock stDummyMemoryBlock = { - PAMEMORYBLOCKKIND_1 -}; -static PAMemoryBlock *stUnknownMb = &stDummyMemoryBlock; - -static LocationSet stDummyLocationSet = { - &stDummyMemoryBlock -}; - -static LocationSet *stUnknownLs = &stDummyLocationSet; - -// forward decls -CW_INLINE StackElement *Stack_sub_48A5B0(Stack **stackPtr); -CW_INLINE void ObjectSet_RemoveAll(ObjectSet *procList); -CW_INLINE void ExtendedParamSet_RemoveAll(ExtendedParamSet *epList); -CW_INLINE void LocationSet_Copy(LocationSet *dest, LocationSet *src); -CW_INLINE Boolean LocationSet_IsUnknown(LocationSet *ls); -CW_INLINE void LocationSetSet_RemoveAll(LocationSetSet *lss); -CW_INLINE void LocationSetSet_AddSet(LocationSetSet *dest, LocationSetSet *src); -CW_INLINE void ParamMappingFunction_RemoveAll(ParamMappingFunction *pmf); -CW_INLINE void ParamMappingFunction_AddAllMaybe_sub_487C50(ParamMappingFunction *dest, ParamMappingFunction *src); -CW_INLINE void PointsToFunction_RemoveAll(PointsToFunction *pointsToFunc); -CW_INLINE void PointsToFunction_AddAllIGuess_sub_487D80(PointsToFunction *dest, PointsToFunction *src); -CW_INLINE void PTFList_RemoveAll(PTFList *ptfList); - -CW_INLINE StackElement *StackElement_New(void) { - StackElement *stackElement = IRO_malloc(sizeof(StackElement)); - IRO_ASSERT(103, stackElement != NULL); -#ifdef IRO_DEBUG - stackElement->proc = NULL; - stackElement->ptf = NULL; - stackElement->map = NULL; - stackElement->funcCall = NULL; -#endif - return stackElement; -} - -CW_INLINE void StackElement_Delete(StackElement *stackElement) { - IRO_ASSERT(117, stackElement != NULL); - IRO_ASSERT(118, stackElement->proc == NULL); - IRO_ASSERT(119, stackElement->ptf == NULL); - IRO_ASSERT(120, stackElement->map == NULL); - IRO_ASSERT(121, stackElement->funcCall == NULL); - IRO_DEBUG_CLEAR(stackElement, sizeof(StackElement)); - IRO_free(stackElement); -} - -CW_INLINE void StackElement_Init(StackElement *stackElement, Object *proc, PartialTransferFunction *ptf, ParamMappingFunction *map, IROLinear *funcCall) { - IRO_ASSERT(131, stackElement != NULL); - IRO_ASSERT(132, proc != NULL); - IRO_ASSERT(133, ptf != NULL); - IRO_ASSERT(134, map != NULL); - IRO_ASSERT(135, funcCall != NULL); - stackElement->proc = proc; - stackElement->ptf = ptf; - stackElement->map = map; - stackElement->funcCall = funcCall; -} - -CW_INLINE void StackElement_Copy(StackElement *dest, StackElement *src) { - IRO_ASSERT(145, dest != NULL); - IRO_ASSERT(146, src != NULL); - StackElement_Init(dest, src->proc, src->ptf, src->map, src->funcCall); -} - -CW_INLINE void StackElement_Term(StackElement *stackElement) { - IRO_ASSERT(156, stackElement != NULL); -#ifdef IRO_DEBUG - stackElement->proc = NULL; - stackElement->ptf = NULL; - stackElement->map = NULL; - stackElement->funcCall = NULL; -#endif -} - -CW_INLINE void *StackElement_sub_48A780(StackElement *stackElement) { - IRO_ASSERT(213, stackElement != NULL); - return stackElement->proc; -} - -CW_INLINE Boolean StackRelated_sub_48A760(void *key1, void *key2) { - IRO_ASSERT(220, key1 != NULL); - IRO_ASSERT(221, key2 != NULL); - return key1 == key2; -} - -CW_INLINE Object *StackElement_proc(StackElement *stackElement) { - IRO_ASSERT(228, stackElement != NULL); - return stackElement->proc; -} - -CW_INLINE PartialTransferFunction *StackElement_ptf(StackElement *stackElement) { - IRO_ASSERT(235, stackElement != NULL); - return stackElement->ptf; -} - -CW_INLINE ParamMappingFunction *StackElement_map(StackElement *stackElement) { - IRO_ASSERT(242, stackElement != NULL); - return stackElement->map; -} - -CW_INLINE IROLinear *StackElement_funcCall(StackElement *stackElement) { - IRO_ASSERT(249, stackElement != NULL); - return stackElement->funcCall; -} - -CW_INLINE Stack *Stack_New(void) { - Stack *stack = IRO_malloc(sizeof(Stack)); - IRO_ASSERT(265, stack != NULL); -#ifdef IRO_DEBUG - stack->top = NULL; - stack->next = NULL; -#endif - return stack; -} - -CW_INLINE void Stack_Delete(Stack *stack) { - IRO_ASSERT(277, stack != NULL); - IRO_ASSERT(278, stack->top == NULL); - IRO_ASSERT(279, stack->next == NULL); - IRO_DEBUG_CLEAR(stack, sizeof(Stack)); - IRO_free(stack); -} - -CW_INLINE void Stack_Init(Stack *stack) { - IRO_ASSERT(289, stack != NULL); - stack->top = NULL; - stack->next = NULL; -} - -CW_INLINE void Stack_Term(Stack **stackPtr) { - StackElement *stackElement; - - IRO_ASSERT(299, stackPtr != NULL); - IRO_ASSERT(300, *stackPtr != NULL); - - while ((*stackPtr)->top) { - stackElement = Stack_sub_48A5B0(stackPtr); - StackElement_Term(stackElement); - StackElement_Delete(stackElement); - } -} - -CW_INLINE void Stack_sub_48A660(Stack **stackPtr, StackElement *stackElement) { - StackElement *newElement; - Stack *newStack; - - IRO_ASSERT(315, stackPtr != NULL); - IRO_ASSERT(316, *stackPtr != NULL); - - newElement = StackElement_New(); - StackElement_Copy(newElement, stackElement); - - newStack = Stack_New(); - newStack->top = newElement; - newStack->next = *stackPtr; - *stackPtr = newStack; -} - -CW_INLINE StackElement *Stack_Top(Stack **stackPtr) { - IRO_ASSERT(331, stackPtr != NULL); - IRO_ASSERT(332, *stackPtr != NULL); - - return (*stackPtr)->top; -} - -CW_INLINE Stack *Stack_Next(Stack **stackPtr) { - IRO_ASSERT(343, stackPtr != NULL); - IRO_ASSERT(344, *stackPtr != NULL); - - return (*stackPtr)->next; -} - -CW_INLINE StackElement *Stack_sub_48A5B0(Stack **stackPtr) { - StackElement *stackElement; - - IRO_ASSERT(357, stackPtr != NULL); - IRO_ASSERT(358, *stackPtr != NULL); - - stackElement = (*stackPtr)->top; - if (stackElement) { - Stack *next = (*stackPtr)->next; - (*stackPtr)->top = NULL; - (*stackPtr)->next = NULL; - Stack_Delete(*stackPtr); - *stackPtr = next; - } - - return stackElement; -} - -CW_INLINE StackElement *Stack_sub_48A710(Stack **stackPtr, void *key) { - Stack *stack; - - IRO_ASSERT(379, stackPtr != NULL); - IRO_ASSERT(380, key != NULL); - - for (stack = *stackPtr; stack; stack = stack->next) { - if (stack->top) { - if (StackRelated_sub_48A760(StackElement_sub_48A780(stack->top), key)) - return stack->top; - } - } - - return NULL; -} - -CW_INLINE ObjectSet *ObjectSet_New(void) { - ObjectSet *procList; - - procList = IRO_malloc(sizeof(ObjectSet)); - IRO_ASSERT(439, procList != NULL); -#ifdef IRO_DEBUG - procList->proc = NULL; - procList->otherProcs = NULL; -#endif - return procList; -} - -CW_INLINE void ObjectSet_Delete(ObjectSet *procList) { - IRO_ASSERT(451, procList != NULL); - IRO_ASSERT(452, procList->proc == NULL); - IRO_ASSERT(453, procList->otherProcs == NULL); - IRO_DEBUG_CLEAR(procList, sizeof(ObjectSet)); - IRO_free(procList); -} - -CW_INLINE void ObjectSet_Init(ObjectSet *procList) { - IRO_ASSERT(463, procList != NULL); - procList->proc = NULL; - procList->otherProcs = NULL; -} - -CW_INLINE void ObjectSet_Term(ObjectSet *procList) { - IRO_ASSERT(481, procList != NULL); - ObjectSet_RemoveAll(procList); -#ifdef IRO_DEBUG - procList->proc = NULL; - procList->otherProcs = NULL; -#endif -} - -CW_INLINE void ObjectSet_ForEach(ObjectSet *procList, void (*action)(Object *, void *), void *refcon) { - IRO_ASSERT(528, procList != NULL); - IRO_ASSERT(529, action != NULL); - IRO_ASSERT(530, refcon == NULL || refcon != NULL); - - while (procList && procList->proc) { - action(procList->proc, refcon); - procList = procList->otherProcs; - } -} - -CW_INLINE Object *ObjectSet_sub_485020(ObjectSet *procList, Object *proc) { - IRO_ASSERT(540, procList != NULL); - IRO_ASSERT(541, proc != NULL); - while (procList && procList->proc) { - if (procList->proc == proc) - return procList->proc; - procList = procList->otherProcs; - } - return NULL; -} - -CW_INLINE Object *ObjectSet_FindFirst(ObjectSet *procList) { - IRO_ASSERT(552, procList != NULL); - return procList->proc; -} - -CW_INLINE int ObjectSet_Count(ObjectSet *procList) { - int count; - - IRO_ASSERT(561, procList != NULL); - - count = 0; - while (procList && procList->proc) { - count++; - procList = procList->otherProcs; - } - - return count; -} - -CW_INLINE void ObjectSet_sub_486800(ObjectSet *procList, Object *proc) { - ObjectSet *newProcList; - - IRO_ASSERT(574, procList != NULL); - IRO_ASSERT(575, proc != NULL); - - if (procList->proc) { - newProcList = ObjectSet_New(); - ObjectSet_Init(newProcList); - newProcList->proc = procList->proc; - newProcList->otherProcs = procList->otherProcs; - procList->otherProcs = newProcList; - } - - procList->proc = proc; -} - -CW_INLINE void ObjectSet_sub_4867D0(ObjectSet *procList, Object *proc) { - IRO_ASSERT(592, procList != NULL); - IRO_ASSERT(593, proc != NULL); - - if (!ObjectSet_sub_485020(procList, proc)) - ObjectSet_sub_486800(procList, proc); -} - -CW_INLINE void ObjectSet_Remove(ObjectSet *procList, Object *proc) { - ObjectSet *prev; - ObjectSet *tmp; - - IRO_ASSERT(605, procList != NULL); - IRO_ASSERT(606, proc != NULL); - - prev = NULL; - while (procList && procList->proc) { - if (procList->proc == proc) { - if (!prev) { - if (procList->otherProcs == NULL) { - procList->proc = NULL; - } else { - tmp = procList->otherProcs; - procList->proc = procList->otherProcs->proc; - procList->otherProcs = procList->otherProcs->otherProcs; - tmp->proc = NULL; - tmp->otherProcs = NULL; - ObjectSet_Term(tmp); - ObjectSet_Delete(tmp); - } - } else { - prev->otherProcs = procList->otherProcs; - procList->proc = NULL; - procList->otherProcs = NULL; - ObjectSet_Term(procList); - ObjectSet_Delete(procList); - } - return; - } - prev = procList; - procList = procList->otherProcs; - } -} - -CW_INLINE void ObjectSet_RemoveAll(ObjectSet *procList) { - IRO_ASSERT(645, procList != NULL); - - while (procList && procList->proc) - ObjectSet_Remove(procList, procList->proc); -} - -CW_INLINE void ObjectSet_AddSetAction(Object *proc, void *refcon) { - IRO_ASSERT(655, proc != NULL); - IRO_ASSERT(656, refcon != NULL); - - ObjectSet_sub_4867D0(refcon, proc); -} - -CW_INLINE void ObjectSet_SimpleAddSetAction(Object *proc, void *refcon) { - IRO_ASSERT(663, proc != NULL); - IRO_ASSERT(664, refcon != NULL); - - ObjectSet_sub_486800(refcon, proc); -} - -CW_INLINE void ObjectSet_sub_48C590(ObjectSet *dest, ObjectSet *src) { - IRO_ASSERT(671, dest != NULL); - IRO_ASSERT(672, src != NULL); - - if (dest->proc) - ObjectSet_ForEach(src, ObjectSet_AddSetAction, dest); - else - ObjectSet_ForEach(src, ObjectSet_SimpleAddSetAction, dest); -} - -CW_INLINE void ObjectSet_RemoveSetAction(Object *proc, void *refcon) { - IRO_ASSERT(682, proc != NULL); - IRO_ASSERT(683, refcon != NULL); - - ObjectSet_Remove(refcon, proc); -} - -CW_INLINE void ObjectSet_removeiter_sub_48C890(ObjectSet *dest, ObjectSet *src) { - IRO_ASSERT(690, dest != NULL); - IRO_ASSERT(691, src != NULL); - - ObjectSet_ForEach(src, ObjectSet_RemoveSetAction, dest); -} - -CW_INLINE Boolean ObjectSet_sub_484FA0(ObjectSet *os1, ObjectSet *os2) { - ObjectSet *scan; - - IRO_ASSERT(700, os1 != NULL); - IRO_ASSERT(701, os2 != NULL); - - if (os1 == os2) - return 1; - - for (scan = os1; scan && scan->proc; scan = scan->otherProcs) { - if (!ObjectSet_sub_485020(os2, scan->proc)) - return 0; - } - - for (scan = os2; scan && scan->proc; scan = scan->otherProcs) { - if (!ObjectSet_sub_485020(os1, scan->proc)) - return 0; - } - - return 1; -} - -CW_INLINE ExtendedParam *ExtendedParam_New(void) { - ExtendedParam *ep = IRO_malloc(sizeof(ExtendedParam)); - - IRO_ASSERT(755, ep != NULL); -#ifdef IRO_DEBUG - ep->objectSet = NULL; -#endif - return ep; -} - -CW_INLINE void ExtendedParam_Delete(ExtendedParam *ep) { - IRO_ASSERT(762, ep != NULL); - IRO_ASSERT(763, ep->objectSet == NULL); - IRO_DEBUG_CLEAR(ep, sizeof(ExtendedParam)); - IRO_free(ep); -} - -CW_INLINE void ExtendedParam_Init(ExtendedParam *ep, Object *obj) { - IRO_ASSERT(777, ep != NULL); - IRO_ASSERT(778, obj != NULL); - IRO_ASSERT(779, obj->extParam == NULL); - IRO_ASSERT(780, stExtendedParamNum < ((uint32) -1) / 2 - 1); - - ep->objectSet = ObjectSet_New(); - ObjectSet_Init(ep->objectSet); - ObjectSet_sub_4867D0(ep->objectSet, obj); - obj->extParam = ep; - - ep->x4 = stExtendedParamNum++; -} - -CW_INLINE void ExtendedParam_TermAction(Object *obj, void *refcon) { - obj->extParam = NULL; -} - -CW_INLINE void ExtendedParam_Term(ExtendedParam *ep) { - IRO_ASSERT(800, ep != NULL); - - ObjectSet_ForEach(ep->objectSet, ExtendedParam_TermAction, NULL); - ObjectSet_Term(ep->objectSet); - ObjectSet_Delete(ep->objectSet); -#ifdef IRO_DEBUG - ep->objectSet = NULL; -#endif -} - -CW_INLINE Boolean ExtendedParams_Equal(ExtendedParam *ep1, ExtendedParam *ep2) { - IRO_ASSERT(841, ep1 != NULL); - IRO_ASSERT(842, ep2 != NULL); - IRO_ASSERT(843, ep1->objectSet != NULL); - IRO_ASSERT(844, ep2->objectSet != NULL); - - if (ep1 == ep2) - return 1; - - return ep1->x4 == ep2->x4 && ObjectSet_sub_484FA0(ep1->objectSet, ep2->objectSet); -} - -CW_INLINE ExtendedParam *ExtendedParam_FindByObject(Object *obj) { - IRO_ASSERT(856, obj != NULL); - - return obj->extParam; -} - -CW_INLINE void ExtendedParam_sub_4867B0(ExtendedParam *ep, Object *obj) { - IRO_ASSERT(863, ep != NULL); - IRO_ASSERT(864, ep->objectSet != NULL); - IRO_ASSERT(865, obj != NULL); - - ObjectSet_sub_4867D0(ep->objectSet, obj); - obj->extParam = ep; -} - -CW_INLINE void ExtendedParam_RemoveObjectSetAction(Object *object, void *refcon) { - object->extParam = NULL; -} - -CW_INLINE void EP_sub_48C850(ExtendedParam *ep, ObjectSet *objSet) { - IRO_ASSERT(888, ep != NULL); - IRO_ASSERT(889, ep->objectSet != NULL); - IRO_ASSERT(890, objSet != NULL); - - ObjectSet_removeiter_sub_48C890(ep->objectSet, objSet); - ObjectSet_ForEach(objSet, ExtendedParam_RemoveObjectSetAction, NULL); -} - -CW_INLINE ObjectSet *ExtendedParam_objectSet(ExtendedParam *ep) { - IRO_ASSERT(898, ep != NULL); - - return ep->objectSet; -} - -CW_INLINE uint32 ExtendedParam_sub_489110(ExtendedParam *ep) { - IRO_ASSERT(905, ep != NULL); - - return ep->x4; -} - -CW_INLINE ExtendedParamSet *AllocsExtParamSet_sub_4876C0(void) { - ExtendedParamSet *epList = IRO_malloc(sizeof(ExtendedParamSet)); - - IRO_ASSERT(924, epList != NULL); -#ifdef IRO_DEBUG - epList->ep = NULL; - epList->otherEps = NULL; -#endif - return epList; -} - -CW_INLINE void FreesExtParamSet_sub_48CAE0(ExtendedParamSet *epList) { - IRO_ASSERT(936, epList != NULL); - IRO_ASSERT(937, epList->ep == NULL); - IRO_ASSERT(938, epList->otherEps == NULL); - IRO_DEBUG_CLEAR(epList, sizeof(ExtendedParamSet)); - IRO_free(epList); -} - -CW_INLINE void InitsExtParamSet_sub_4876A0(ExtendedParamSet *epList) { - IRO_ASSERT(948, epList != NULL); - epList->ep = NULL; - epList->otherEps = NULL; -} - -CW_INLINE void TermsExtParamSet_sub_48CB00(ExtendedParamSet *epList) { - IRO_ASSERT(966, epList != NULL); - ExtendedParamSet_RemoveAll(epList); -#ifdef IRO_DEBUG - epList->ep = NULL; - epList->otherEps = NULL; -#endif -} - -CW_INLINE void MaybeWalkExtParamSet_sub_48CBE0(ExtendedParamSet *epList, void (*action)(ExtendedParam *, void *), void *refcon) { - IRO_ASSERT(1010, epList != NULL); - IRO_ASSERT(1011, action != NULL); - - while (epList && epList->ep) { - action(epList->ep, refcon); - epList = epList->otherEps; - } -} - -CW_INLINE ExtendedParam *ExtParamSet_sub_4876D0(ExtendedParamSet *epList, ExtendedParam *ep) { - IRO_ASSERT(1022, epList != NULL); - IRO_ASSERT(1023, ep != NULL); - - while (epList && epList->ep) { - if (epList->ep == ep) - return epList->ep; - epList = epList->otherEps; - } - - return NULL; -} - -CW_INLINE void ExtParamSet_sub_487660(ExtendedParamSet *epList, ExtendedParam *ep) { - IRO_ASSERT(1056, epList != NULL); - IRO_ASSERT(1057, ep != NULL); - - if (epList->ep) { - ExtendedParamSet *newSet = AllocsExtParamSet_sub_4876C0(); - InitsExtParamSet_sub_4876A0(newSet); - newSet->ep = epList->ep; - newSet->otherEps = epList->otherEps; - epList->otherEps = newSet; - } - - epList->ep = ep; -} - -CW_INLINE void ExtParamSet_sub_487630(ExtendedParamSet *epList, ExtendedParam *ep) { - IRO_ASSERT(1076, epList != NULL); - IRO_ASSERT(1077, ep != NULL); - - if (!ExtParamSet_sub_4876D0(epList, ep)) - ExtParamSet_sub_487660(epList, ep); -} - -CW_INLINE void ExtendedParamSet_Remove(ExtendedParamSet *epList, ExtendedParam *ep) { - ExtendedParamSet *prev; - ExtendedParamSet *tmp; - - IRO_ASSERT(1089, epList != NULL); - IRO_ASSERT(1090, ep != NULL); - - prev = NULL; - while (epList && epList->ep) { - if (epList->ep == ep) { - if (!prev) { - if (epList->otherEps == NULL) { - epList->ep = NULL; - } else { - tmp = epList->otherEps; - epList->ep = epList->otherEps->ep; - epList->otherEps = epList->otherEps->otherEps; - tmp->ep = NULL; - tmp->otherEps = NULL; - TermsExtParamSet_sub_48CB00(tmp); - FreesExtParamSet_sub_48CAE0(tmp); - } - } else { - prev->otherEps = epList->otherEps; - epList->ep = NULL; - epList->otherEps = NULL; - TermsExtParamSet_sub_48CB00(epList); - FreesExtParamSet_sub_48CAE0(epList); - } - return; - } - prev = epList; - epList = epList->otherEps; - } -} - -CW_INLINE void ExtendedParamSet_RemoveAll(ExtendedParamSet *epList) { - IRO_ASSERT(1129, epList != NULL); - - while (epList && epList->ep) - ExtendedParamSet_Remove(epList, epList->ep); -} - -CW_INLINE PAHeapBlock *CreateUniqueHeapAlloc_sub_486420(void) { - PAHeapBlock *hb = IRO_malloc(sizeof(PAHeapBlock)); - - IRO_ASSERT(1225, hb != NULL); -#ifdef IRO_DEBUG - hb->parent = NULL; -#endif - return hb; -} - -CW_INLINE void InitUniqueHeapAlloc_sub_486410(PAHeapBlock *hb, IROLinear *nd) { - IRO_ASSERT(1247, hb != NULL); - - hb->x0 = nd; -} - -CW_INLINE Boolean PAHeapBlocks_Equal(PAHeapBlock *hb1, PAHeapBlock *hb2) { - IRO_ASSERT(1296, hb1 != NULL); - IRO_ASSERT(1297, hb2 != NULL); - - return (hb1 == hb2) || (hb1->x0 == hb2->x0); -} - -CW_INLINE PALocalVar *PALocalVar_New(void) { - PALocalVar *local = IRO_malloc(sizeof(PALocalVar)); - - IRO_ASSERT(1333, local != NULL); -#ifdef IRO_DEBUG - local->parent = NULL; - local->nextSibling = NULL; -#endif - return local; -} - -CW_INLINE void PALocalVar_InitByObject(PALocalVar *local, Object *obj) { - IRO_ASSERT(1357, local != NULL); - IRO_ASSERT(1358, obj != NULL); - - local->x0 = obj; - if (obj->name && obj->name->name) { - local->x4 = IRO_malloc(strlen(obj->name->name) + 1); - strcpy(local->x4, obj->name->name); - } else { - local->x4 = NULL; - } -} - -CW_INLINE void PALocalVar_InitByName(PALocalVar *local, char *name) { - IRO_ASSERT(1372, local != NULL); - IRO_ASSERT(1373, name != NULL); - - local->x0 = NULL; - local->x4 = IRO_malloc(strlen(name) + 1); - strcpy(local->x4, name); -} - -CW_INLINE Boolean PALocalVars_Equal(PALocalVar *local1, PALocalVar *local2) { - IRO_ASSERT(1419, local1 == NULL || local1 != NULL); - IRO_ASSERT(1420, local2 == NULL || local2 != NULL); - - if (local1 == local2) - return 1; - if (!local1 || !local2) - return 0; - - if (!local1->x0 || !local2->x0) { - if (local1->x4) - return local2->x4 && !strcmp(local1->x4, local2->x4); - } - - return local1->x0 == local2->x0; -} - -CW_INLINE void PALocalVar_SetSth_sub_4847C0(PALocalVar *local, Object *obj) { - IRO_ASSERT(1436, local != NULL); - IRO_ASSERT(1437, obj == NULL || obj != NULL); - - local->x0 = obj; -} - -CW_INLINE Object *PALocalVar_Get0_sub_4847E0(PALocalVar *local) { - IRO_ASSERT(1444, local != NULL); - return local->x0; -} - -CW_INLINE char *PALocalVar_Get4_sub_4847D0(PALocalVar *local) { - IRO_ASSERT(1451, local != NULL); - return local->x4; -} - -CW_INLINE PAMemoryBlock *PAMemoryBlock_New(void) { - PAMemoryBlock *mb = IRO_malloc(sizeof(PAMemoryBlock)); - - IRO_ASSERT(1491, mb != NULL); -#ifdef IRO_DEBUG - mb->kind = PAMEMORYBLOCKKIND_INVALID; -#endif - return mb; -} - -CW_INLINE void PAMemoryBlock_Delete(PAMemoryBlock *mb) { - IRO_ASSERT(1502, mb != NULL); - IRO_ASSERT(1503, mb->kind == PAMEMORYBLOCKKIND_INVALID); - IRO_free(mb); -} - -CW_INLINE void PAMemoryBlock_Init(PAMemoryBlock *mb, PAMemoryBlockKind kind, void *thing) { - IRO_ASSERT(1513, mb != NULL); - IRO_ASSERT(1514, thing == NULL || thing != NULL); - - mb->kind = kind; - switch (mb->kind) { - case PAMEMORYBLOCKKIND_EXTENDEDPARAM: - mb->u.ep = (ExtendedParam *) thing; - break; - case PAMEMORYBLOCKKIND_LOCALVAR: - mb->u.localvar = (PALocalVar *) thing; - break; - case PAMEMORYBLOCKKIND_HEAPBLOCK: - mb->u.heapblock = (PAHeapBlock *) thing; - break; - case PAMEMORYBLOCKKIND_INT: - mb->u.intval = *((CInt64 *) thing); - break; - case PAMEMORYBLOCKKIND_6: - mb->u.x6 = (void *) thing; - break; - default: - CError_FATAL(1535); - } -} - -CW_INLINE void PAMemoryBlock_Term(PAMemoryBlock *mb) { - IRO_ASSERT(1552, mb != NULL); - -#ifdef IRO_DEBUG - mb->kind = PAMEMORYBLOCKKIND_INVALID; -#endif -} - -CW_INLINE Boolean MemoryBlocks_Equal(PAMemoryBlock *mb1, PAMemoryBlock *mb2) { - IRO_ASSERT(1657, mb1 == NULL || mb1 != NULL); - IRO_ASSERT(1658, mb2 == NULL || mb2 != NULL); - - if (mb1 == mb2) - return 1; - - if (!mb1 || !mb2 || mb1->kind != mb2->kind) - return 0; - - switch (mb1->kind) { - case PAMEMORYBLOCKKIND_EXTENDEDPARAM: - return ExtendedParams_Equal(mb1->u.ep, mb2->u.ep); - case PAMEMORYBLOCKKIND_LOCALVAR: - return PALocalVars_Equal(mb1->u.localvar, mb2->u.localvar); - case PAMEMORYBLOCKKIND_HEAPBLOCK: - return PAHeapBlocks_Equal(mb1->u.heapblock, mb2->u.heapblock); - case PAMEMORYBLOCKKIND_INT: - return CInt64_Equal(mb1->u.intval, mb2->u.intval); - case PAMEMORYBLOCKKIND_6: - return mb1->u.x6 == mb2->u.x6; - default: - CError_FATAL(1684); - return 0; - } -} - -CW_INLINE PAMemoryBlockKind PAMemoryBlock_kind(PAMemoryBlock *mb) { - IRO_ASSERT(1692, mb != NULL); - - return mb->kind; -} - -CW_INLINE void *PAMemoryBlock_thing(PAMemoryBlock *mb) { - IRO_ASSERT(1699, mb != NULL); - - switch (mb->kind) { - case PAMEMORYBLOCKKIND_EXTENDEDPARAM: - return mb->u.ep; - case PAMEMORYBLOCKKIND_LOCALVAR: - return mb->u.localvar; - case PAMEMORYBLOCKKIND_HEAPBLOCK: - return mb->u.heapblock; - case PAMEMORYBLOCKKIND_INT: - return &mb->u.intval; - case PAMEMORYBLOCKKIND_6: - return mb->u.x6; - default: - CError_FATAL(1719); - return NULL; - } -} - -CW_INLINE LocationSet *LocationSet_New(void) { - LocationSet *ls = IRO_malloc(sizeof(LocationSet)); - - IRO_ASSERT(1767, ls != NULL); -#ifdef IRO_DEBUG - ls->block = NULL; - ls->rtype = NULL; - ls->u.known.field = cint64_zero; - ls->u.known.stride = 0; -#endif - return ls; -} - -CW_INLINE void LocationSet_Delete(LocationSet *ls) { - IRO_ASSERT(1781, ls != NULL); - IRO_ASSERT(1782, ls != stUnknownLs); - IRO_ASSERT(1783, ls->block == NULL); - IRO_ASSERT(1784, CInt64_IsZero(&ls->u.known.field)); - IRO_ASSERT(1785, ls->u.known.stride == 0); - IRO_ASSERT(1786, ls->rtype == NULL); - IRO_DEBUG_CLEAR(ls, sizeof(LocationSet)); - IRO_free(ls); -} - -CW_INLINE void LocationSet_InitKnown(LocationSet *ls, PAMemoryBlock *block, CInt64 field, UInt32 stride, Type *rtype) { - IRO_ASSERT(1796, ls != NULL); - IRO_ASSERT(1797, ls != stUnknownLs); - IRO_ASSERT(1798, block != NULL); - IRO_ASSERT(1799, rtype == NULL || rtype != NULL); - ls->block = block; - ls->rtype = rtype; - ls->u.known.field = field; - ls->u.known.stride = stride; -} - -CW_INLINE void LocationSet_InitUnknown(LocationSet *ls, Type *rtype, PAMemoryBlock *restriction, LocationSet *bitfieldOf) { - IRO_ASSERT(1809, ls != NULL); - IRO_ASSERT(1810, ls != stUnknownLs); - IRO_ASSERT(1811, rtype == NULL || rtype != NULL); - IRO_ASSERT(1812, restriction == NULL || restriction != NULL); - IRO_ASSERT(1813, bitfieldOf == NULL || bitfieldOf != NULL); - - LocationSet_Copy(ls, stUnknownLs); - ls->rtype = rtype; - ls->u.unknown.restriction = restriction; - if (bitfieldOf) { - ls->u.unknown.bitfieldOf = LocationSet_New(); - LocationSet_Copy(ls->u.unknown.bitfieldOf, bitfieldOf); - } else { - ls->u.unknown.bitfieldOf = NULL; - } -} - -CW_INLINE void LocationSet_Copy(LocationSet *dest, LocationSet *src) { - IRO_ASSERT(1829, src != NULL); - IRO_ASSERT(1830, dest != NULL); - - dest->block = src->block; - dest->rtype = src->rtype; - - if (!LocationSet_IsUnknown(src)) { - dest->u.known.field = src->u.known.field; - dest->u.known.stride = src->u.known.stride; - } else { - dest->u.unknown.restriction = src->u.unknown.restriction; - if (src->u.unknown.bitfieldOf != NULL) { - dest->u.unknown.bitfieldOf = LocationSet_New(); - LocationSet_Copy(dest->u.unknown.bitfieldOf, src->u.unknown.bitfieldOf); - } else { - dest->u.unknown.bitfieldOf = NULL; - } - } -} - -CW_INLINE void LocationSet_Term(LocationSet *ls) { - IRO_ASSERT(1857, ls != NULL); - IRO_ASSERT(1858, ls != stUnknownLs); - -#ifdef IRO_DEBUG - if (LocationSet_IsUnknown(ls) && ls->u.unknown.bitfieldOf) { - LocationSet_Term(ls->u.unknown.bitfieldOf); - LocationSet_Delete(ls->u.unknown.bitfieldOf); - } - ls->block = NULL; - ls->rtype = NULL; - ls->u.known.field = cint64_zero; - ls->u.known.stride = 0; -#endif -} - -CW_INLINE Boolean LocationSets_Overlap(LocationSet *ls1, Type *rtype1, LocationSet *ls2, Type *rtype2) { - Boolean isUnknown1, isUnknown2; - PAMemoryBlock *restriction1, *restriction2; - - IRO_ASSERT(1974, ls1 != NULL); - IRO_ASSERT(1975, rtype1 == NULL || rtype1 != NULL); - IRO_ASSERT(1976, ls2 != NULL); - IRO_ASSERT(1977, rtype2 == NULL || rtype2 != NULL); - - if (ls1 == ls2) - return 1; - - isUnknown1 = LocationSet_IsUnknown(ls1); - if (isUnknown1) - restriction1 = ls1->u.unknown.restriction; - else - restriction1 = NULL; - - isUnknown2 = LocationSet_IsUnknown(ls2); - if (isUnknown2) - restriction2 = ls2->u.unknown.restriction; - else - restriction2 = NULL; - - if ( - (isUnknown1 && !restriction1) || - (isUnknown2 && !restriction2) || - (isUnknown1 && isUnknown2 && MemoryBlocks_Equal(restriction1, restriction2)) - ) - return 1; - - if (isUnknown1 || isUnknown2) - return 0; - - if (MemoryBlocks_Equal(ls1->block, ls2->block)) { - UInt32 size1; - UInt32 size2; - UInt32 i; - CInt64 work; - CInt64 longgcd; - - if (rtype1) - size1 = rtype1->size; - else - size1 = -1; - - if (rtype2) - size2 = rtype2->size; - else - size2 = -1; - - if (ls1->u.known.stride == ls2->u.known.stride) { - CInt64 longsize1; - CInt64 longsize2; - CInt64_SetULong(&longsize1, size1); - CInt64_SetULong(&longsize2, size2); - - return CInt64_Equal(ls1->u.known.field, ls2->u.known.field) || - (CInt64_Less(ls1->u.known.field, ls2->u.known.field) && CInt64_Greater(CInt64_Add(ls1->u.known.field, longsize1), ls2->u.known.field)) || - (CInt64_Less(ls2->u.known.field, ls1->u.known.field) && CInt64_Greater(CInt64_Add(ls2->u.known.field, longsize2), ls1->u.known.field)); - } else { - work = CInt64_Sub(ls1->u.known.field, ls2->u.known.field); - if (CInt64_IsNegative(&work)) - work = CInt64_Neg(work); - - CInt64_SetULong(&longgcd, gcd(ls1->u.known.stride, ls2->u.known.stride)); - if (CInt64_Equal(CInt64_ModU(work, longgcd), cint64_zero)) - return 1; - - if (size1 == -1) - return 1; - - for (i = 1; i < size1; i++) { - CInt64_SetLong(&work, i); - work = CInt64_Add(work, ls1->u.known.field); - work = CInt64_Sub(work, ls2->u.known.field); - if (CInt64_IsNegative(&work)) - work = CInt64_Neg(work); - if (CInt64_Equal(CInt64_ModU(work, longgcd), cint64_zero)) - return 1; - } - - if (size2 == -1) - return 1; - - for (i = 1; i < size2; i++) { - CInt64_SetLong(&work, i); - work = CInt64_Add(work, ls2->u.known.field); - work = CInt64_Sub(work, ls1->u.known.field); - if (CInt64_IsNegative(&work)) - work = CInt64_Neg(work); - if (CInt64_Equal(CInt64_ModU(work, longgcd), cint64_zero)) - return 1; - } - - return 0; - } - } - - return 0; -} - -CW_INLINE Boolean LocationSets_Equal(LocationSet *ls1, LocationSet *ls2) { - IRO_ASSERT(2080, ls1 != NULL); - IRO_ASSERT(2081, ls2 != NULL); - - return - (ls1 == ls2) || - ( - (LocationSet_IsUnknown(ls1) && LocationSet_IsUnknown(ls2)) && - (MemoryBlocks_Equal(ls1->u.unknown.restriction, ls2->u.unknown.restriction)) && - ((ls1->u.unknown.bitfieldOf == ls2->u.unknown.bitfieldOf) || - (ls1->u.unknown.bitfieldOf && ls2->u.unknown.bitfieldOf && LocationSets_Equal(ls1->u.unknown.bitfieldOf, ls2->u.unknown.bitfieldOf))) && - ((ls1->rtype == ls2->rtype) || (ls1->rtype && ls2->rtype && ls1->rtype->size == ls2->rtype->size)) - ) || - ( - (!LocationSet_IsUnknown(ls1) && !LocationSet_IsUnknown(ls2)) && - (ls1->u.known.stride == ls2->u.known.stride) && - ((ls1->rtype == ls2->rtype) || (ls1->rtype && ls2->rtype && ls1->rtype->size == ls2->rtype->size)) && - CInt64_Equal(ls1->u.known.field, ls2->u.known.field) && - MemoryBlocks_Equal(ls1->block, ls2->block) - ); -} - -CW_INLINE Boolean LocationSets_LookupCompatible(LocationSet *ls1, LocationSet *ls2) { - IRO_ASSERT(2119, ls1 != NULL); - IRO_ASSERT(2120, ls2 != NULL); - - if ( - (ls1 == ls2) || - ( - LocationSet_IsUnknown(ls1) && - LocationSet_IsUnknown(ls2) && - MemoryBlocks_Equal(ls1->u.unknown.restriction, ls2->u.unknown.restriction) && - (ls1->rtype == ls2->rtype || (ls1->rtype && ls2->rtype && ls1->rtype->size == ls2->rtype->size)) - )) - return 1; - - if ( - (!LocationSet_IsUnknown(ls1) && !LocationSet_IsUnknown(ls2)) && - (ls1->rtype == ls2->rtype || (ls1->rtype && ls2->rtype && ls1->rtype->size == ls2->rtype->size)) && - MemoryBlocks_Equal(ls1->block, ls2->block) - ) { - CInt64 work; - CInt64 longgcd; - - if (ls1->u.known.stride == ls2->u.known.stride) - return CInt64_Equal(ls1->u.known.field, ls2->u.known.field); - - work = CInt64_Sub(ls1->u.known.field, ls2->u.known.field); - if (CInt64_IsNegative(&work)) - work = CInt64_Neg(work); - - CInt64_SetULong(&longgcd, gcd(ls1->u.known.stride, ls2->u.known.stride)); - return CInt64_Equal(CInt64_ModU(work, longgcd), cint64_zero); - } - - return 0; -} - -CW_INLINE Boolean LocationSet_Contains(LocationSet *ls1, Type *rtype1, LocationSet *ls2, Type *rtype2) { - Boolean unknown1; - Boolean unknown2; - PAMemoryBlock *restriction2; - PAMemoryBlock *restriction1; - CInt64 longsize1; - CInt64 longsize2; - - IRO_ASSERT(2168, ls1 != NULL); - IRO_ASSERT(2169, ls2 != NULL); - IRO_ASSERT(2170, rtype1 != NULL); - IRO_ASSERT(2171, rtype2 != NULL); - - if (ls1 == ls2) - return 1; - - unknown1 = LocationSet_IsUnknown(ls1); - if (unknown1) - restriction1 = ls1->u.unknown.restriction; - else - restriction1 = NULL; - - unknown2 = LocationSet_IsUnknown(ls2); - if (unknown2) - restriction2 = ls2->u.unknown.restriction; - else - restriction2 = NULL; - - if (unknown1) - return !restriction1 || (unknown2 && MemoryBlocks_Equal(restriction2, restriction1)); - - CInt64_SetULong(&longsize1, rtype1->size); - CInt64_SetULong(&longsize2, rtype2->size); - - return - !LocationSet_IsUnknown(ls2) && - (ls1->u.known.stride == 0) && - (ls2->u.known.stride == 0) && - rtype1->size >= rtype2->size && - CInt64_LessEqual(ls1->u.known.field, ls2->u.known.field) && - CInt64_GreaterEqual(CInt64_Add(ls1->u.known.field, longsize1), CInt64_Add(ls2->u.known.field, longsize2)) && - MemoryBlocks_Equal(ls1->block, ls2->block); -} - -CW_INLINE Boolean LocationSet_IsUnknown(LocationSet *ls) { - IRO_ASSERT(2233, ls != NULL); - - return (ls == stUnknownLs) || (ls->block == stUnknownMb); -} - -CW_INLINE Boolean LocationSet_sub_48AF30(LocationSet *ls) { - return - !LocationSet_IsUnknown(ls) && - (ls->u.known.stride == 0) && - CInt64_IsZero(&ls->u.known.field) && - PAMemoryBlock_kind(ls->block) == PAMEMORYBLOCKKIND_LOCALVAR && - !PAMemoryBlock_thing(ls->block); -} - -CW_INLINE void LocationSet_SetRtype(LocationSet *ls, Type *rtype) { - IRO_ASSERT(2263, ls != NULL); - IRO_ASSERT(2264, ls != stUnknownLs); - IRO_ASSERT(2265, rtype != NULL); - - ls->rtype = rtype; -} - -CW_INLINE void SetsLocationSetField_sub_4851B0(LocationSet *ls, CInt64 field) { - IRO_ASSERT(2272, ls != NULL); - IRO_ASSERT(2273, !LocationSet_IsUnknown(ls)); - - ls->u.known.field = field; -} - -CW_INLINE void SetsLocationSetStride_sub_4852D0(LocationSet *ls, SInt32 stride) { - IRO_ASSERT(2280, ls != NULL); - IRO_ASSERT(2281, !LocationSet_IsUnknown(ls)); - - ls->u.known.stride = stride; -} - -CW_INLINE PAMemoryBlock *LocationSet_block(LocationSet *ls) { - IRO_ASSERT(2298, ls != NULL); - - return ls->block; -} - -CW_INLINE Type *LocationSet_rtype(LocationSet *ls) { - IRO_ASSERT(2306, ls != NULL); - IRO_ASSERT(2307, ls != stUnknownLs); - - return ls->rtype; -} - -CW_INLINE CInt64 LocationSet_field(LocationSet *ls) { - IRO_ASSERT(2314, ls != NULL); - IRO_ASSERT(2315, !LocationSet_IsUnknown(ls)); - - return ls->u.known.field; -} - -CW_INLINE UInt32 LocationSet_stride(LocationSet *ls) { - IRO_ASSERT(2322, ls != NULL); - IRO_ASSERT(2323, !LocationSet_IsUnknown(ls)); - - return ls->u.known.stride; -} - -CW_INLINE PAMemoryBlock *LocationSet_restriction(LocationSet *ls) { - IRO_ASSERT(2330, ls != NULL); - IRO_ASSERT(2331, LocationSet_IsUnknown(ls)); - - return ls->u.unknown.restriction; -} - -CW_INLINE LocationSet *LocationSet_bitfieldOf(LocationSet *ls) { - IRO_ASSERT(2338, ls != NULL); - IRO_ASSERT(2339, LocationSet_IsUnknown(ls)); - - return ls->u.unknown.bitfieldOf; -} - -CW_INLINE LocationSetSet *LocationSetSet_New(void) { - LocationSetSet *lss = IRO_malloc(sizeof(LocationSetSet)); - - IRO_ASSERT(2356, lss != NULL); -#ifdef IRO_DEBUG - lss->loc = NULL; - lss->otherLocs = NULL; - lss->count = 0; -#endif - return lss; -} - -CW_INLINE void LocationSetSet_Delete(LocationSetSet *lss) { - IRO_ASSERT(2369, lss != NULL); - IRO_ASSERT(2370, lss->loc == NULL); - IRO_ASSERT(2371, lss->otherLocs == NULL); - IRO_ASSERT(2372, lss->count == 0); - IRO_DEBUG_CLEAR(lss, sizeof(LocationSetSet)); - IRO_free(lss); -} - -CW_INLINE void LocationSetSet_Init(LocationSetSet *lss) { - IRO_ASSERT(2382, lss != NULL); - - lss->loc = NULL; - lss->otherLocs = NULL; - lss->count = 0; -} - -CW_INLINE void LocationSetSet_Copy(LocationSetSet *dest, LocationSetSet *src) { - IRO_ASSERT(2391, dest != NULL); - IRO_ASSERT(2392, src != NULL); - - dest->loc = NULL; - dest->otherLocs = NULL; - dest->count = 0; - LocationSetSet_AddSet(dest, src); -} - -CW_INLINE void LocationSetSet_Term(LocationSetSet *lss) { - IRO_ASSERT(2402, lss != NULL); - - LocationSetSet_RemoveAll(lss); - -#ifdef IRO_DEBUG - lss->loc = NULL; - lss->otherLocs = NULL; - lss->count = 0; -#endif -} - -CW_INLINE void LocationSetSet_ForEach(LocationSetSet *lss, void (*action)(LocationSet *, void *), void *refcon) { - IRO_ASSERT(2446, lss != NULL); - IRO_ASSERT(2447, action != NULL); - IRO_ASSERT(2448, refcon == NULL || refcon != NULL); - - while (lss && lss->loc) { - action(lss->loc, refcon); - lss = lss->otherLocs; - } -} - -CW_INLINE LocationSet *LocationSetSet_Find(LocationSetSet *lss, LocationSet *ls) { - IRO_ASSERT(2458, lss != NULL); - IRO_ASSERT(2459, ls != NULL); - - while (lss && lss->loc) { - if (LocationSets_Equal(lss->loc, ls)) - return lss->loc; - lss = lss->otherLocs; - } - - return NULL; -} - -CW_INLINE LocationSet *LocationSetSet_FindUnknown(LocationSetSet *lss) { - IRO_ASSERT(2470, lss != NULL); - - if (!lss->loc) - return stUnknownLs; - - while (lss && lss->loc) { - if (LocationSet_IsUnknown(lss->loc)) - return lss->loc; - lss = lss->otherLocs; - } - - return NULL; -} - -CW_INLINE LocationSet *LocationSetSet_FindFirst(LocationSetSet *lss) { - IRO_ASSERT(2498, lss != NULL); - - return lss->loc; -} - -CW_INLINE int LocationSetSet_Count(LocationSetSet *lss) { - IRO_ASSERT(2505, lss != NULL); - - return lss->count; -} - -CW_INLINE void LocationSetSet_RemoveAllWithMemoryBlock(LocationSetSet *lss, PAMemoryBlock *block) { - LocationSetSet *first; - LocationSetSet *prev; - LocationSetSet *next; - LocationSetSet *tmp; - - IRO_ASSERT(2514, lss != NULL); - IRO_ASSERT(2515, block != NULL); - - first = lss; - prev = NULL; - while (lss && lss->loc) { - next = lss->otherLocs; - if (MemoryBlocks_Equal(block, lss->loc->block)) { - if (lss->loc != stUnknownLs) { - LocationSet_Term(lss->loc); - LocationSet_Delete(lss->loc); - } - if (!prev) { - if (lss->otherLocs == NULL) { - lss->loc = NULL; - prev = lss; - } else { - tmp = lss->otherLocs; - lss->loc = lss->otherLocs->loc; - lss->otherLocs = lss->otherLocs->otherLocs; - tmp->loc = NULL; - tmp->otherLocs = NULL; - LocationSetSet_Term(tmp); - LocationSetSet_Delete(tmp); - prev = NULL; - next = lss; - } - } else { - prev->otherLocs = lss->otherLocs; - lss->loc = NULL; - lss->otherLocs = NULL; - LocationSetSet_Term(lss); - LocationSetSet_Delete(lss); - prev = lss; - } - first->count--; - } - lss = next; - } -} - -CW_INLINE void LocationSetSet_SimpleAdd(LocationSetSet *lss, LocationSet *ls) { - IRO_ASSERT(2572, lss != NULL); - IRO_ASSERT(2573, ls != NULL); - - if (!LocationSet_IsUnknown(ls) && lss->count < 4) { - LocationSet *ls2; - - if (ls == stUnknownLs) { - ls2 = stUnknownLs; - } else { - ls2 = LocationSet_New(); - LocationSet_Copy(ls2, ls); - } - - if (lss->loc) { - LocationSetSet *lss2 = LocationSetSet_New(); - LocationSetSet_Init(lss2); - lss2->loc = lss->loc; - lss2->otherLocs = lss->otherLocs; - lss->otherLocs = lss2; - } - - lss->loc = ls2; - lss->count++; - } else { - LocationSet *ls2; - - LocationSetSet_RemoveAll(lss); - ls2 = LocationSet_New(); - if (LocationSet_IsUnknown(ls)) { - LocationSet_Copy(ls2, ls); - } else { - LocationSet_Copy(ls2, stUnknownLs); - if (ls->rtype) - LocationSet_SetRtype(ls2, ls->rtype); - } - - lss->loc = ls2; - lss->count = 1; - } -} - -CW_INLINE void LocationSetSet_Add(LocationSetSet *lss, LocationSet *ls) { - IRO_ASSERT(2622, lss != NULL); - IRO_ASSERT(2623, ls != NULL); - - if (!lss->loc || (!LocationSet_IsUnknown(lss->loc) && !LocationSetSet_Find(lss, ls))) { - if (!LocationSet_IsUnknown(ls) && ls->u.known.stride) - LocationSetSet_RemoveAllWithMemoryBlock(lss, ls->block); - LocationSetSet_SimpleAdd(lss, ls); - } -} - -CW_INLINE void LocationSetSet_AddUnknown(LocationSetSet *lss, Type *rtype, PAMemoryBlock *restriction, LocationSet *bitfieldOf) { - LocationSet *ls; - - IRO_ASSERT(2643, lss != NULL); - IRO_ASSERT(2644, rtype == NULL || rtype != NULL); - IRO_ASSERT(2645, restriction == NULL || restriction != NULL); - IRO_ASSERT(2646, bitfieldOf == NULL || bitfieldOf != NULL); - - ls = LocationSet_New(); - LocationSet_InitUnknown(ls, rtype, restriction, bitfieldOf); - LocationSetSet_Add(lss, ls); - LocationSet_Term(ls); - LocationSet_Delete(ls); -} - -CW_INLINE void LocationSetSet_Remove(LocationSetSet *lss, LocationSet *ls) { - LocationSetSet *prev; - LocationSetSet *first; - LocationSetSet *tmp; - - IRO_ASSERT(2659, lss != NULL); - IRO_ASSERT(2660, ls != NULL); - - first = lss; - prev = NULL; - while (lss && lss->loc) { - if (LocationSets_Equal(lss->loc, ls)) { - if (lss->loc != stUnknownLs) { - LocationSet_Term(lss->loc); - LocationSet_Delete(lss->loc); - } - if (!prev) { - if (lss->otherLocs == NULL) { - lss->loc = NULL; - } else { - tmp = lss->otherLocs; - lss->loc = lss->otherLocs->loc; - lss->otherLocs = lss->otherLocs->otherLocs; - tmp->loc = NULL; - tmp->otherLocs = NULL; - LocationSetSet_Term(tmp); - LocationSetSet_Delete(tmp); - } - } else { - prev->otherLocs = lss->otherLocs; - lss->loc = NULL; - lss->otherLocs = NULL; - LocationSetSet_Term(lss); - LocationSetSet_Delete(lss); - } - first->count--; - return; - } - - prev = lss; - lss = lss->otherLocs; - } -} - -CW_INLINE void LocationSetSet_RemoveAll(LocationSetSet *lss) { - IRO_ASSERT(2707, lss != NULL); - - while (lss && lss->loc) - LocationSetSet_Remove(lss, lss->loc); -} - -CW_INLINE void LocationSetSet_AddSetAction(LocationSet *ls, void *refcon) { - IRO_ASSERT(2717, ls != NULL); - IRO_ASSERT(2718, refcon != NULL); - - LocationSetSet_Add((LocationSetSet *) refcon, ls); -} - -CW_INLINE void LocationSetSet_SimpleAddSetAction(LocationSet *ls, void *refcon) { - IRO_ASSERT(2725, ls != NULL); - IRO_ASSERT(2726, refcon != NULL); - - LocationSetSet_SimpleAdd((LocationSetSet *) refcon, ls); -} - -CW_INLINE void LocationSetSet_AddSet(LocationSetSet *dest, LocationSetSet *src) { - IRO_ASSERT(2733, dest != NULL); - IRO_ASSERT(2734, src != NULL); - - if (dest->count) - LocationSetSet_ForEach(src, LocationSetSet_AddSetAction, dest); - else - LocationSetSet_ForEach(src, LocationSetSet_SimpleAddSetAction, dest); -} - -CW_INLINE void LocationSetSet_RemoveSetAction(LocationSet *ls, void *refcon) { - IRO_ASSERT(2744, ls != NULL); - IRO_ASSERT(2745, refcon != NULL); - - LocationSetSet_Remove((LocationSetSet *) refcon, ls); -} - -CW_INLINE void LocationSetSet_sub_488700(LocationSetSet *dest, LocationSetSet *src) { - IRO_ASSERT(2752, dest != NULL); - IRO_ASSERT(2753, src != NULL); - - LocationSetSet_ForEach(src, LocationSetSet_RemoveSetAction, dest); -} - -CW_INLINE Boolean LocationSetSets_Equal(LocationSetSet *lss1, LocationSetSet *lss2) { - IRO_ASSERT(2826, lss1 != NULL); - IRO_ASSERT(2827, lss2 != NULL); - - if (lss1 == lss2) - return 1; - if (LocationSetSet_Count(lss1) != LocationSetSet_Count(lss2)) - return 0; - - while (lss1 && lss1->loc) { - if (!LocationSetSet_Find(lss2, lss1->loc)) - return 0; - lss1 = lss1->otherLocs; - } - - return 1; -} - -CW_INLINE ParamMapping *ParamMapping_New(void) { - ParamMapping *pm = IRO_malloc(sizeof(ParamMapping)); - - IRO_ASSERT(2885, pm != NULL); -#ifdef IRO_DEBUG - pm->actual = NULL; - pm->formal = NULL; - pm->extended = NULL; -#endif - return pm; -} - -CW_INLINE void ParamMapping_Delete(ParamMapping *pm) { - IRO_ASSERT(2898, pm != NULL); - IRO_ASSERT(2899, pm->actual == NULL); - IRO_ASSERT(2900, pm->formal == NULL); - IRO_ASSERT(2901, pm->extended == NULL); - IRO_DEBUG_CLEAR(pm, sizeof(ParamMapping)); - IRO_free(pm); -} - -CW_INLINE void ParamMapping_Init_PROBABLY(ParamMapping *pm, IROLinear *actual, Object *formal, ExtendedParam *extended) { - IRO_ASSERT(2911, pm != NULL); - - pm->actual = actual; - pm->formal = formal; - pm->extended = extended; -} - -CW_INLINE void ParamMapping_Copy(ParamMapping *dest, ParamMapping *src) { - IRO_ASSERT(2920, src != NULL); - IRO_ASSERT(2921, dest != NULL); - - dest->actual = src->actual; - dest->formal = src->formal; - dest->extended = src->extended; -} - -CW_INLINE void ParamMapping_Term(ParamMapping *pm) { - IRO_ASSERT(2933, pm != NULL); - -#ifdef IRO_DEBUG - pm->actual = NULL; - pm->formal = NULL; - pm->extended = NULL; -#endif -} - -CW_INLINE void ParamMapping_SetExtended(ParamMapping *pm, ExtendedParam *ep) { - IRO_ASSERT(2992, pm != NULL); - - pm->extended = ep; -} - -CW_INLINE IROLinear *ParamMapping_actual(ParamMapping *pm) { - IRO_ASSERT(2999, pm != NULL); - - return pm->actual; -} - -CW_INLINE ExtendedParam *ParamMapping_extended(ParamMapping *pm) { - IRO_ASSERT(3011, pm != NULL); - - return pm->extended; -} - -CW_INLINE ParamMappingFunction *ParamMappingFunction_New(void) { - ParamMappingFunction *pmf = IRO_malloc(sizeof(ParamMappingFunction)); - - IRO_ASSERT(3026, pmf != NULL); -#ifdef IRO_DEBUG - pmf->mapping = NULL; - pmf->otherMappings = NULL; -#endif - return pmf; -} - -CW_INLINE void ParamMappingFunction_Delete(ParamMappingFunction *pmf) { - IRO_ASSERT(3039, pmf != NULL); - IRO_ASSERT(3040, pmf->mapping == NULL); - IRO_ASSERT(3041, pmf->otherMappings == NULL); - IRO_DEBUG_CLEAR(pmf, sizeof(ParamMappingFunction)); - IRO_free(pmf); -} - -CW_INLINE void ParamMappingFunction_Init(ParamMappingFunction *pmf) { - IRO_ASSERT(3050, pmf != NULL); - - pmf->mapping = NULL; - pmf->otherMappings = NULL; -} - -CW_INLINE void ParamMappingFunction_Copy(ParamMappingFunction *dest, ParamMappingFunction *src) { - IRO_ASSERT(3058, src != NULL); - IRO_ASSERT(3059, dest != NULL); - - dest->mapping = NULL; - dest->otherMappings = NULL; - ParamMappingFunction_AddAllMaybe_sub_487C50(dest, src); -} - -CW_INLINE void ParamMappingFunction_Term(ParamMappingFunction *pmf) { - IRO_ASSERT(3068, pmf != NULL); - - ParamMappingFunction_RemoveAll(pmf); - -#ifdef IRO_DEBUG - pmf->mapping = NULL; - pmf->otherMappings = NULL; -#endif -} - -CW_INLINE void pmf_sub_487C70(ParamMappingFunction *pmf, void (*action)(ParamMapping *, void *), void *refcon) { - IRO_ASSERT(3111, pmf != NULL); - IRO_ASSERT(3112, action != NULL); - IRO_ASSERT(3113, refcon == NULL || refcon != NULL); - - while (pmf && pmf->mapping) { - action(pmf->mapping, refcon); - pmf = pmf->otherMappings; - } -} - -CW_INLINE ParamMapping *ParamMappingFunction_FindMappingByFormal(ParamMappingFunction *pmf, Object *formal) { - IRO_ASSERT(3123, pmf != NULL); - IRO_ASSERT(3124, formal != NULL); - - while (pmf && pmf->mapping) { - if (pmf->mapping->formal == formal) - return pmf->mapping; - pmf = pmf->otherMappings; - } - - return NULL; -} - -CW_INLINE void Pmf_Add_sub_486610(ParamMappingFunction *pmf, ParamMapping *mapping) { - ParamMapping *existing; - - IRO_ASSERT(3138, pmf != NULL); - IRO_ASSERT(3139, mapping != NULL); - - existing = ParamMappingFunction_FindMappingByFormal(pmf, mapping->formal); - if (!existing) { - existing = ParamMapping_New(); - ParamMapping_Copy(existing, mapping); - if (pmf->mapping) { - ParamMappingFunction *newPMF = ParamMappingFunction_New(); - ParamMappingFunction_Init(newPMF); - newPMF->mapping = pmf->mapping; - newPMF->otherMappings = pmf->otherMappings; - pmf->otherMappings = newPMF; - } - pmf->mapping = existing; - } else { - existing->actual = mapping->actual; - existing->extended = mapping->extended; - } -} - -CW_INLINE void ParamMappingFunction_Remove(ParamMappingFunction *pmf, ParamMapping *mapping) { - ParamMappingFunction *prev; - ParamMappingFunction *tmp; - - IRO_ASSERT(3170, pmf != NULL); - IRO_ASSERT(3171, mapping != NULL); - - prev = NULL; - while (pmf && pmf->mapping) { - if (pmf->mapping->formal == mapping->formal) { - ParamMapping_Term(pmf->mapping); - ParamMapping_Delete(pmf->mapping); - if (!prev) { - if (pmf->otherMappings == NULL) { - pmf->mapping = NULL; - } else { - tmp = pmf->otherMappings; - pmf->mapping = pmf->otherMappings->mapping; - pmf->otherMappings = pmf->otherMappings->otherMappings; - tmp->mapping = NULL; - tmp->otherMappings = NULL; - ParamMappingFunction_Term(tmp); - ParamMappingFunction_Delete(tmp); - } - } else { - prev->otherMappings = pmf->otherMappings; - pmf->mapping = NULL; - pmf->otherMappings = NULL; - ParamMappingFunction_Term(pmf); - ParamMappingFunction_Delete(pmf); - } - return; - } - - prev = pmf; - pmf = pmf->otherMappings; - } -} - -CW_INLINE void ParamMappingFunction_RemoveAll(ParamMappingFunction *pmf) { - IRO_ASSERT(3213, pmf != NULL); - - while (pmf && pmf->mapping) - ParamMappingFunction_Remove(pmf, pmf->mapping); -} - -CW_INLINE void ParamMappingFunction_AddFunctionAction(ParamMapping *mapping, void *refcon) { - IRO_ASSERT(3223, mapping != NULL); - IRO_ASSERT(3224, refcon != NULL); - - Pmf_Add_sub_486610((ParamMappingFunction *) refcon, mapping); -} - -CW_INLINE void ParamMappingFunction_AddAllMaybe_sub_487C50(ParamMappingFunction *dest, ParamMappingFunction *src) { - IRO_ASSERT(3231, dest != NULL); - IRO_ASSERT(3232, src != NULL); - - pmf_sub_487C70(src, ParamMappingFunction_AddFunctionAction, dest); -} - -CW_INLINE PointsToEntry *PointsToEntry_New(void) { - PointsToEntry *pte = IRO_malloc(sizeof(PointsToEntry)); - - IRO_ASSERT(3288, pte != NULL); -#ifdef IRO_DEBUG - pte->loc = NULL; - pte->locs = NULL; -#endif - return pte; -} - -CW_INLINE void PointsToEntry_Delete(PointsToEntry *pte) { - IRO_ASSERT(3300, pte != NULL); - IRO_ASSERT(3301, pte->loc == NULL); - IRO_ASSERT(3302, pte->locs == NULL); - IRO_DEBUG_CLEAR(pte, sizeof(PointsToEntry)); - IRO_free(pte); -} - -CW_INLINE void PointsToEntry_Init(PointsToEntry *pte, LocationSet *loc, LocationSetSet *locs) { - IRO_ASSERT(3312, pte != NULL); - IRO_ASSERT(3313, loc != NULL); - IRO_ASSERT(3314, !LocationSet_IsUnknown(loc)); - IRO_ASSERT(3315, locs != NULL); - - pte->loc = LocationSet_New(); - LocationSet_Copy(pte->loc, loc); - - pte->locs = LocationSetSet_New(); - LocationSetSet_Copy(pte->locs, locs); -} - -CW_INLINE void PointsToEntry_Copy(PointsToEntry *dest, PointsToEntry *src) { - IRO_ASSERT(3325, src != NULL); - IRO_ASSERT(3326, dest != NULL); - - PointsToEntry_Init(dest, src->loc, src->locs); -} - -CW_INLINE void PointsToEntry_Term(PointsToEntry *pte) { - IRO_ASSERT(3333, pte != NULL); - - LocationSet_Term(pte->loc); - LocationSet_Delete(pte->loc); - LocationSetSet_Term(pte->locs); - LocationSetSet_Delete(pte->locs); - -#ifdef IRO_DEBUG - pte->loc = NULL; - pte->locs = NULL; -#endif -} - -CW_INLINE Boolean PointsToEntries_Equal(PointsToEntry *pte1, PointsToEntry *pte2) { - IRO_ASSERT(3381, pte1 != NULL); - IRO_ASSERT(3382, pte2 != NULL); - - if (pte1 == pte2) - return 1; - - return LocationSets_Equal(pte1->loc, pte2->loc) && LocationSetSets_Equal(pte1->locs, pte2->locs); -} - -CW_INLINE LocationSet *PointsToEntry_loc(PointsToEntry *pte) { - IRO_ASSERT(3407, pte != NULL); - - return pte->loc; -} - -CW_INLINE LocationSetSet *PointsToEntry_locs(PointsToEntry *pte) { - IRO_ASSERT(3414, pte != NULL); - - return pte->locs; -} - -CW_INLINE PointsToFunction *PointsToFunction_New(void) { - PointsToFunction *pointsToFunc = IRO_malloc(sizeof(PointsToFunction)); - - IRO_ASSERT(3430, pointsToFunc != NULL); -#ifdef IRO_DEBUG - pointsToFunc->pte = NULL; - pointsToFunc->otherPtes = NULL; -#endif - return pointsToFunc; -} - -CW_INLINE void PointsToFunction_Delete(PointsToFunction *pointsToFunc) { - IRO_ASSERT(3442, pointsToFunc != NULL); - IRO_ASSERT(3443, pointsToFunc->pte == NULL); - IRO_ASSERT(3444, pointsToFunc->otherPtes == NULL); - IRO_DEBUG_CLEAR(pointsToFunc, sizeof(PointsToFunction)); - IRO_free(pointsToFunc); -} - -CW_INLINE void PointsToFunction_Init(PointsToFunction *pointsToFunc) { - IRO_ASSERT(3454, pointsToFunc != NULL); - - pointsToFunc->pte = NULL; - pointsToFunc->otherPtes = NULL; -} - -CW_INLINE void PointsToFunction_Copy(PointsToFunction *dest, PointsToFunction *src) { - IRO_ASSERT(3462, src != NULL); - IRO_ASSERT(3463, dest != NULL); - - dest->pte = NULL; - dest->otherPtes = NULL; - PointsToFunction_AddAllIGuess_sub_487D80(dest, src); -} - -CW_INLINE void PointsToFunction_Term(PointsToFunction *pointsToFunc) { - IRO_ASSERT(3472, pointsToFunc != NULL); - - PointsToFunction_RemoveAll(pointsToFunc); - -#ifdef IRO_DEBUG - pointsToFunc->pte = NULL; - pointsToFunc->otherPtes = NULL; -#endif -} - -CW_INLINE void PointsToFunction_ForEach(PointsToFunction *pointsToFunc, void (*action)(PointsToEntry *, void *), void *refcon) { - IRO_ASSERT(3515, pointsToFunc != NULL); - IRO_ASSERT(3516, action != NULL); - IRO_ASSERT(3517, refcon == NULL || refcon != NULL); - - while (pointsToFunc && pointsToFunc->pte) { - action(pointsToFunc->pte, refcon); - pointsToFunc = pointsToFunc->otherPtes; - } -} - -CW_INLINE PointsToEntry *PointsToFunction_FindByLocationSet(PointsToFunction *pointsToFunc, LocationSet *ls) { - IRO_ASSERT(3527, pointsToFunc != NULL); - IRO_ASSERT(3528, ls != NULL); - - while (pointsToFunc && pointsToFunc->pte) { - if (LocationSets_Equal(pointsToFunc->pte->loc, ls)) - return pointsToFunc->pte; - pointsToFunc = pointsToFunc->otherPtes; - } - - return NULL; -} - -CW_INLINE PointsToEntry *PointsToFunction_FindFirst(PointsToFunction *pointsToFunc) { - IRO_ASSERT(3539, pointsToFunc != NULL); - - return pointsToFunc->pte; -} - -CW_INLINE PointsToEntry *PointsToFunction_FindByLookupCompatibleLocationSet(PointsToFunction *pointsToFunc, LocationSet *ls) { - IRO_ASSERT(3546, pointsToFunc != NULL); - IRO_ASSERT(3547, ls != NULL); - - while (pointsToFunc && pointsToFunc->pte) { - if (ls->u.known.stride) { - if (LocationSets_Equal(pointsToFunc->pte->loc, ls)) - return pointsToFunc->pte; - } else if (LocationSets_LookupCompatible(pointsToFunc->pte->loc, ls)) { - return pointsToFunc->pte; - } - pointsToFunc = pointsToFunc->otherPtes; - } - - return NULL; -} - -CW_INLINE PointsToEntry *PointsToFunction_FindContainingLocationSet(PointsToFunction *pointsToFunc, LocationSet *ls, Type *rtype) { - IRO_ASSERT(3565, pointsToFunc != NULL); - IRO_ASSERT(3566, ls != NULL); - IRO_ASSERT(3567, rtype != NULL); - - while (pointsToFunc && pointsToFunc->pte) { - if (pointsToFunc->pte->locs->loc && !LocationSet_IsUnknown(pointsToFunc->pte->locs->loc)) { - if (!pointsToFunc->pte->locs->otherLocs && LocationSet_Contains(pointsToFunc->pte->loc, pointsToFunc->pte->locs->loc->rtype, ls, rtype)) - return pointsToFunc->pte; - } - pointsToFunc = pointsToFunc->otherPtes; - } - - return NULL; -} - -CW_INLINE void PointsToFunction_RemoveOverlappingLocations(PointsToFunction *pointsToFunc, PointsToEntry *pte) { - Type *rtype1; - Type *rtype2; - LocationSet *ls; - PointsToFunction *prev; - PointsToFunction *next; - PointsToFunction *tmp; - - IRO_ASSERT(3601, pointsToFunc != NULL); - IRO_ASSERT(3602, pte != NULL); - IRO_ASSERT(3603, pte->locs != NULL); - - if (pte->locs->loc && pte->locs->loc != stUnknownLs) - rtype1 = pte->locs->loc->rtype; - else - rtype1 = NULL; - ls = pte->loc; - IRO_ASSERT(3614, ls != NULL); - - prev = NULL; - while (pointsToFunc && pointsToFunc->pte) { - next = pointsToFunc->otherPtes; - if (pointsToFunc->pte->locs->loc && pointsToFunc->pte->locs->loc != stUnknownLs) - rtype2 = pointsToFunc->pte->locs->loc->rtype; - else - rtype2 = NULL; - - if (LocationSets_Overlap(ls, rtype1, pointsToFunc->pte->loc, rtype2)) { - PointsToEntry_Term(pointsToFunc->pte); - PointsToEntry_Delete(pointsToFunc->pte); - if (!prev) { - if (pointsToFunc->otherPtes == NULL) { - pointsToFunc->pte = NULL; - prev = pointsToFunc; - } else { - tmp = pointsToFunc->otherPtes; - pointsToFunc->pte = pointsToFunc->otherPtes->pte; - pointsToFunc->otherPtes = pointsToFunc->otherPtes->otherPtes; - tmp->pte = NULL; - tmp->otherPtes = NULL; - PointsToFunction_Term(tmp); - PointsToFunction_Delete(tmp); - prev = NULL; - next = pointsToFunc; - } - } else { - prev->otherPtes = pointsToFunc->otherPtes; - pointsToFunc->pte = NULL; - pointsToFunc->otherPtes = NULL; - PointsToFunction_Term(pointsToFunc); - PointsToFunction_Delete(pointsToFunc); - prev = pointsToFunc; - } - } - - pointsToFunc = next; - } -} - -CW_INLINE Boolean ShouldAddNewPointsToEntryToFunction(PointsToFunction *pointsToFunc, PointsToEntry *pte) { - Boolean flag; - Boolean isKnown; - SInt32 stride; - PointsToFunction *next; - LocationSet *loc; - LocationSet *loc2; - Type *rtype1; - Type *rtype2; - LocationSetSet *locs2; - LocationSet *tmp; - LocationSet *unknown; - Boolean flag2; - Boolean flag3; - - IRO_ASSERT(3675, pointsToFunc != NULL); - IRO_ASSERT(3676, pte != NULL); - IRO_ASSERT(3677, pte->locs != NULL); - IRO_ASSERT(3678, PointsToFunction_FindByLookupCompatibleLocationSet(pointsToFunc, pte->loc) == NULL); - IRO_ASSERT(3679, (unknown = LocationSetSet_FindFirst(pte->locs)) != NULL); - IRO_ASSERT(3680, LocationSet_IsUnknown(unknown)); - IRO_ASSERT(3681, LocationSet_bitfieldOf(unknown) == NULL); - IRO_ASSERT(3682, LocationSet_restriction(unknown) == NULL); - - if (pte->locs->loc && pte->locs->loc != stUnknownLs) - rtype1 = pte->locs->loc->rtype; - else - rtype1 = NULL; - - loc = pte->loc; - IRO_ASSERT(3693, loc != NULL); - - isKnown = !LocationSet_IsUnknown(loc); - if (isKnown) - stride = LocationSet_stride(loc); - - flag = 0; - while (pointsToFunc && pointsToFunc->pte) { - next = pointsToFunc->otherPtes; - - locs2 = pointsToFunc->pte->locs; - - if (locs2->loc && locs2->loc != stUnknownLs) - rtype2 = locs2->loc->rtype; - else - rtype2 = NULL; - - loc2 = pointsToFunc->pte->loc; - - flag2 = !(tmp = LocationSetSet_FindFirst(locs2)) || - !LocationSet_IsUnknown(tmp) || - LocationSet_bitfieldOf(tmp) || - LocationSet_restriction(tmp); - - flag3 = LocationSets_Overlap(loc, rtype1, loc2, rtype2); - - if (!flag && flag3) - flag = 1; - - if (flag3 && (flag2 || (isKnown && stride && LocationSet_stride(loc2) == 0))) - return 1; - - pointsToFunc = next; - } - - return !flag; -} - -CW_INLINE Boolean PointsToFunction_SimpleAdd(PointsToFunction *pointsToFunc, PointsToEntry *pte) { - PointsToEntry *newPTE; - - IRO_ASSERT(3741, pointsToFunc != NULL); - IRO_ASSERT(3742, pte != NULL); - - newPTE = PointsToEntry_New(); - PointsToEntry_Copy(newPTE, pte); - if (pointsToFunc->pte) { - PointsToFunction *newPointsToFunc = PointsToFunction_New(); - PointsToFunction_Init(newPointsToFunc); - newPointsToFunc->pte = pointsToFunc->pte; - newPointsToFunc->otherPtes = pointsToFunc->otherPtes; - pointsToFunc->otherPtes = newPointsToFunc; - } - pointsToFunc->pte = newPTE; - return 1; -} - -CW_INLINE Boolean PointsToFunction_Add(PointsToFunction *pointsToFunc, PointsToEntry *pte) { - IRO_ASSERT(3766, pointsToFunc != NULL); - IRO_ASSERT(3767, pte != NULL); - - if (!PointsToFunction_FindByLookupCompatibleLocationSet(pointsToFunc, pte->loc)) { - LocationSet *ls; - if (!(ls = LocationSetSet_FindFirst(pte->locs)) || !LocationSet_IsUnknown(ls) || LocationSet_bitfieldOf(ls) || - LocationSet_restriction(ls) || ShouldAddNewPointsToEntryToFunction(pointsToFunc, pte)) { - PointsToFunction_RemoveOverlappingLocations(pointsToFunc, pte); - if (!LocationSet_IsUnknown(pte->loc) || pte->loc->rtype) - PointsToFunction_SimpleAdd(pointsToFunc, pte); - return 1; - } - } - - return 0; -} - -CW_INLINE Boolean PointsToFunction_AddWithoutChecking(PointsToFunction *pointsToFunc, PointsToEntry *pte) { - LocationSet *ls; - - IRO_ASSERT(3793, pointsToFunc != NULL); - IRO_ASSERT(3794, pte != NULL); - - if (!(ls = LocationSetSet_FindFirst(pte->locs)) || !LocationSet_IsUnknown(ls) || LocationSet_bitfieldOf(ls) || - LocationSet_restriction(ls) || ShouldAddNewPointsToEntryToFunction(pointsToFunc, pte)) { - PointsToFunction_RemoveOverlappingLocations(pointsToFunc, pte); - if (!LocationSet_IsUnknown(pte->loc) || pte->loc->rtype) - PointsToFunction_SimpleAdd(pointsToFunc, pte); - return 1; - } - - return 0; -} - -CW_INLINE void PointsToFunction_RemoveByLocationSet(PointsToFunction *pointsToFunc, LocationSet *ls) { - PointsToFunction *prev; - PointsToFunction *tmp; - - IRO_ASSERT(3818, pointsToFunc != NULL); - IRO_ASSERT(3819, ls != NULL); - IRO_ASSERT(3820, !LocationSet_IsUnknown(ls)); - - prev = NULL; - while (pointsToFunc && pointsToFunc->pte) { - if (LocationSets_Equal(pointsToFunc->pte->loc, ls)) { - PointsToEntry_Term(pointsToFunc->pte); - PointsToEntry_Delete(pointsToFunc->pte); - if (!prev) { - if (pointsToFunc->otherPtes == NULL) { - pointsToFunc->pte = NULL; - } else { - tmp = pointsToFunc->otherPtes; - pointsToFunc->pte = pointsToFunc->otherPtes->pte; - pointsToFunc->otherPtes = pointsToFunc->otherPtes->otherPtes; - tmp->pte = NULL; - tmp->otherPtes = NULL; - PointsToFunction_Term(tmp); - PointsToFunction_Delete(tmp); - } - } else { - prev->otherPtes = pointsToFunc->otherPtes; - pointsToFunc->pte = NULL; - pointsToFunc->otherPtes = NULL; - PointsToFunction_Term(pointsToFunc); - PointsToFunction_Delete(pointsToFunc); - } - return; - } - - prev = pointsToFunc; - pointsToFunc = pointsToFunc->otherPtes; - } -} - -CW_INLINE void PointsToFunction_RemoveAll(PointsToFunction *pointsToFunc) { - IRO_ASSERT(3862, pointsToFunc != NULL); - - while (pointsToFunc && pointsToFunc->pte) - PointsToFunction_RemoveByLocationSet(pointsToFunc, pointsToFunc->pte->loc); -} - -CW_INLINE void PointsToFunction_AddFunctionAction(PointsToEntry *pte, void *refcon) { - IRO_ASSERT(3872, pte != NULL); - IRO_ASSERT(3873, refcon != NULL); - - PointsToFunction_Add((PointsToFunction *) refcon, pte); -} - -CW_INLINE void PointsToFunction_SimpleAddFunctionAction(PointsToEntry *pte, void *refcon) { - IRO_ASSERT(3880, pte != NULL); - IRO_ASSERT(3881, refcon != NULL); - - PointsToFunction_SimpleAdd((PointsToFunction *) refcon, pte); -} - -CW_INLINE void PointsToFunction_AddAllIGuess_sub_487D80(PointsToFunction *dest, PointsToFunction *src) { - IRO_ASSERT(3888, dest != NULL); - IRO_ASSERT(3889, src != NULL); - - if (dest->pte) - PointsToFunction_ForEach(src, PointsToFunction_AddFunctionAction, dest); - else - PointsToFunction_ForEach(src, PointsToFunction_SimpleAddFunctionAction, dest); -} - -CW_INLINE void PointsToFunction_SortByExtendedParamNum(PointsToFunction *pointsToFunc) { - UInt32 value1; - UInt32 value2; - PointsToFunction *scan; - - while (pointsToFunc && pointsToFunc->pte) { - value1 = 0; - if (pointsToFunc->pte->loc && pointsToFunc->pte->loc->block) { - PAMemoryBlock *block = pointsToFunc->pte->loc->block; - if (block->kind == PAMEMORYBLOCKKIND_EXTENDEDPARAM && block->u.ep) { - value1 = 2 * (block->u.ep->x4) + 1; - } else if (block->kind == PAMEMORYBLOCKKIND_LOCALVAR && block->u.localvar) { - if (block->u.localvar->x0 && block->u.localvar->x0->extParam) - value1 = 2 * block->u.localvar->x0->extParam->x4; - } - } - - for (scan = pointsToFunc->otherPtes; scan && scan->pte; scan = scan->otherPtes) { - value2 = 0; - if (scan->pte->loc && scan->pte->loc->block) { - PAMemoryBlock *block = scan->pte->loc->block; - if (block->kind == PAMEMORYBLOCKKIND_EXTENDEDPARAM && block->u.ep) { - value2 = 2 * (block->u.ep->x4) + 1; - } else if (block->kind == PAMEMORYBLOCKKIND_LOCALVAR && block->u.localvar) { - if (block->u.localvar->x0 && block->u.localvar->x0->extParam) - value2 = 2 * block->u.localvar->x0->extParam->x4; - } - } - - if (value2 < value1) { - LocationSet *saveloc; - LocationSetSet *savelocs; - saveloc = pointsToFunc->pte->loc; - savelocs = pointsToFunc->pte->locs; - pointsToFunc->pte->loc = scan->pte->loc; - pointsToFunc->pte->locs = scan->pte->locs; - scan->pte->loc = saveloc; - scan->pte->locs = savelocs; - } - } - - pointsToFunc = pointsToFunc->otherPtes; - } -} - -CW_INLINE Boolean PointsToFunctions_Equal(PointsToFunction *pointsToFunc1, PointsToFunction *pointsToFunc2) { - PointsToFunction *scan; - PointsToEntry *pte; - - IRO_ASSERT(3968, pointsToFunc1 != NULL); - IRO_ASSERT(3969, pointsToFunc2 != NULL); - - if (pointsToFunc1 == pointsToFunc2) - return 1; - - for (scan = pointsToFunc1; scan && scan->pte; scan = scan->otherPtes) { - pte = PointsToFunction_FindByLocationSet(pointsToFunc2, scan->pte->loc); - if (!pte || !PointsToEntries_Equal(pte, scan->pte)) - return 0; - } - - for (scan = pointsToFunc2; scan && scan->pte; scan = scan->otherPtes) { - pte = PointsToFunction_FindByLocationSet(pointsToFunc1, scan->pte->loc); - if (!pte || !PointsToEntries_Equal(pte, scan->pte)) - return 0; - } - - return 1; -} - -CW_INLINE Boolean PointsToFunctions_Match(PointsToFunction *pointsToFunc1, PointsToFunction *pointsToFunc2) { - return 1; -} - -CW_INLINE PartialTransferFunction *PartialTransferFunction_New(void) { - PartialTransferFunction *ptf = IRO_malloc(sizeof(PartialTransferFunction)); - - IRO_ASSERT(4110, ptf != NULL); -#ifdef IRO_DEBUG - ptf->initialPointsToFn = NULL; - ptf->finalPointsToFn = NULL; - ptf->funcModifies = NULL; - ptf->context.nd = NULL; - ptf->context.ptf = NULL; - ptf->returnLocation = NULL; -#endif - return ptf; -} - -CW_INLINE void PartialTransferFunction_Delete(PartialTransferFunction *ptf) { - IRO_ASSERT(4126, ptf != NULL); - IRO_ASSERT(4127, ptf->initialPointsToFn == NULL); - IRO_ASSERT(4128, ptf->finalPointsToFn == NULL); - IRO_ASSERT(4129, ptf->funcModifies == NULL); - IRO_ASSERT(4130, ptf->context.nd == NULL); - IRO_ASSERT(4131, ptf->context.ptf == NULL); - IRO_ASSERT(4132, ptf->returnLocation == NULL); - IRO_DEBUG_CLEAR(ptf, sizeof(PartialTransferFunction)); - IRO_free(ptf); -} - -CW_INLINE void PartialTransferFunction_Init(PartialTransferFunction *ptf, IROLinear *contextNd, PartialTransferFunction *contextPTF) { - IRO_ASSERT(4142, ptf != NULL); - IRO_ASSERT(4143, contextNd != NULL); - IRO_ASSERT(4144, contextPTF != NULL); - - ptf->initialPointsToFn = PointsToFunction_New(); - PointsToFunction_Init(ptf->initialPointsToFn); - ptf->finalPointsToFn = PointsToFunction_New(); - PointsToFunction_Init(ptf->finalPointsToFn); - - ptf->funcModifies = LocationSetSet_New(); - LocationSetSet_Init(ptf->funcModifies); - LocationSetSet_AddUnknown(ptf->funcModifies, NULL, NULL, NULL); - - ptf->returnLocation = NULL; - ptf->x10 = 0; - - ptf->context.nd = contextNd; - ptf->context.ptf = contextPTF; -} - -CW_INLINE void PartialTransferFunction_Copy(PartialTransferFunction *dest, PartialTransferFunction *src) { - IRO_ASSERT(4164, src != NULL); - IRO_ASSERT(4165, dest != NULL); - - dest->initialPointsToFn = PointsToFunction_New(); - PointsToFunction_Copy(dest->initialPointsToFn, src->initialPointsToFn); - dest->finalPointsToFn = PointsToFunction_New(); - PointsToFunction_Copy(dest->finalPointsToFn, src->finalPointsToFn); - - dest->funcModifies = LocationSetSet_New(); - LocationSetSet_Copy(dest->funcModifies, src->funcModifies); - - if (src->returnLocation) { - dest->returnLocation = LocationSet_New(); - LocationSet_Copy(dest->returnLocation, src->returnLocation); - } else { - dest->returnLocation = NULL; - } - - dest->x10 = src->x10; - dest->context = src->context; -} - -CW_INLINE void PartialTransferFunction_Term(PartialTransferFunction *ptf) { - IRO_ASSERT(4190, ptf != NULL); - - PointsToFunction_Term(ptf->initialPointsToFn); - PointsToFunction_Delete(ptf->initialPointsToFn); - PointsToFunction_Term(ptf->finalPointsToFn); - PointsToFunction_Delete(ptf->finalPointsToFn); - LocationSetSet_Term(ptf->funcModifies); - LocationSetSet_Delete(ptf->funcModifies); - - if (ptf->returnLocation) { - PAMemoryBlock_Term(ptf->returnLocation->block); - PAMemoryBlock_Delete(ptf->returnLocation->block); - LocationSet_Term(ptf->returnLocation); - LocationSet_Delete(ptf->returnLocation); - ptf->returnLocation = NULL; - } - -#ifdef IRO_DEBUG - ptf->initialPointsToFn = NULL; - ptf->finalPointsToFn = NULL; - ptf->funcModifies = NULL; - ptf->context.nd = NULL; - ptf->context.ptf = NULL; -#endif -} - -CW_INLINE PointsToFunction *PartialTransferFunction_initialPointsToFn(PartialTransferFunction *ptf) { - IRO_ASSERT(4221, ptf != NULL); - - return ptf->initialPointsToFn; -} - -CW_INLINE PointsToFunction *PartialTransferFunction_finalPointsToFn(PartialTransferFunction *ptf) { - IRO_ASSERT(4227, ptf != NULL); - - return ptf->finalPointsToFn; -} - -CW_INLINE LocationSetSet *PTF_sub_48D750(PartialTransferFunction *ptf) { - IRO_ASSERT(4233, ptf != NULL); - - return ptf->funcModifies; -} - -CW_INLINE LocationSet *PartialTransferFunction_returnLocation(PartialTransferFunction *ptf) { - IRO_ASSERT(4249, ptf != NULL); - - if (!ptf->returnLocation) { - PAMemoryBlock *block; - LocationSet *ls; - - block = PAMemoryBlock_New(); - PAMemoryBlock_Init(block, PAMEMORYBLOCKKIND_LOCALVAR, NULL); - ls = LocationSet_New(); - LocationSet_InitKnown(ls, block, cint64_zero, 0, TYPE(&void_ptr)); - ptf->returnLocation = ls; - } - - return ptf->returnLocation; -} - -CW_INLINE IROLinear *PTF_sub_48B980(PartialTransferFunction *ptf) { - IRO_ASSERT(4265, ptf != NULL); - - return ptf->context.nd; -} - -CW_INLINE PartialTransferFunction *PTF_sub_48B970(PartialTransferFunction *ptf) { - IRO_ASSERT(4271, ptf != NULL); - - return ptf->context.ptf; -} - -CW_INLINE void PartialTransferFunction_sub_48A610(PartialTransferFunction *ptf, Boolean value) { - IRO_ASSERT(4298, ptf != NULL); - - ptf->x10 = (value != 0) ? 1 : 0; -} - -CW_INLINE PTFList *PTFList_New(void) { - PTFList *ptfList = IRO_malloc(sizeof(PTFList)); - - IRO_ASSERT(4393, ptfList != NULL); -#ifdef IRO_DEBUG - ptfList->ptf = NULL; - ptfList->otherPTFs = NULL; -#endif - return ptfList; -} - -CW_INLINE void PTFList_Delete(PTFList *ptfList) { - IRO_ASSERT(4405, ptfList != NULL); - IRO_ASSERT(4406, ptfList->ptf == NULL); - IRO_ASSERT(4407, ptfList->otherPTFs == NULL); - IRO_DEBUG_CLEAR(ptfList, sizeof(PTFList)); - IRO_free(ptfList); -} - -CW_INLINE void PTFList_Init(PTFList *ptfList) { - IRO_ASSERT(4417, ptfList != NULL); - - ptfList->ptf = NULL; - ptfList->otherPTFs = NULL; -} - -CW_INLINE void PTFList_Term(PTFList *ptfList) { - IRO_ASSERT(4435, ptfList != NULL); - - PTFList_RemoveAll(ptfList); - -#ifdef IRO_DEBUG - ptfList->ptf = NULL; - ptfList->otherPTFs = NULL; -#endif -} - -CW_INLINE void PTFList_ForEach(PTFList *ptfList, void (*action)(PartialTransferFunction *, void *), void *refcon) { - IRO_ASSERT(4478, ptfList != NULL); - IRO_ASSERT(4479, action != NULL); - IRO_ASSERT(4480, refcon == NULL || refcon != NULL); - - while (ptfList && ptfList->ptf) { - action(ptfList->ptf, refcon); - ptfList = ptfList->otherPTFs; - } -} - -CW_INLINE PartialTransferFunction *PTFList_sub_48A0F0(PTFList *ptfList, PartialTransferFunction *ptf) { - IRO_ASSERT(4490, ptfList != NULL); - IRO_ASSERT(4491, ptf != NULL); - - while (ptfList && ptfList->ptf) { - if (ptfList->ptf == ptf) - return ptfList->ptf; - - ptfList = ptfList->otherPTFs; - } - - return NULL; -} - -CW_INLINE PartialTransferFunction *PTFList_FindFirst(PTFList *ptfList) { - IRO_ASSERT(4502, ptfList != NULL); - - return ptfList->ptf; -} - -CW_INLINE void PTFList_sub_48A080(PTFList *ptfList, PartialTransferFunction *ptf) { - IRO_ASSERT(4511, ptfList != NULL); - IRO_ASSERT(4512, ptf != NULL); - - if (ptfList->ptf) { - PTFList *newList = PTFList_New(); - PTFList_Init(newList); - newList->ptf = ptfList->ptf; - newList->otherPTFs = ptfList->otherPTFs; - ptfList->otherPTFs = newList; - } - - ptfList->ptf = ptf; -} - -CW_INLINE void PTFList_sub_48A050(PTFList *ptfList, PartialTransferFunction *ptf) { - IRO_ASSERT(4529, ptfList != NULL); - IRO_ASSERT(4530, ptf != NULL); - - if (!PTFList_sub_48A0F0(ptfList, ptf)) - PTFList_sub_48A080(ptfList, ptf); -} - -CW_INLINE void PTFList_Remove(PTFList *ptfList, PartialTransferFunction *ptf) { - PTFList *prev; - PTFList *tmp; - - IRO_ASSERT(4542, ptfList != NULL); - IRO_ASSERT(4543, ptf != NULL); - - prev = NULL; - while (ptfList && ptfList->ptf) { - if (ptfList->ptf == ptf) { - if (!prev) { - if (ptfList->otherPTFs == NULL) { - ptfList->ptf = NULL; - } else { - tmp = ptfList->otherPTFs; - ptfList->ptf = ptfList->otherPTFs->ptf; - ptfList->otherPTFs = ptfList->otherPTFs->otherPTFs; - tmp->ptf = NULL; - tmp->otherPTFs = NULL; - PTFList_Term(tmp); - PTFList_Delete(tmp); - } - } else { - prev->otherPTFs = ptfList->otherPTFs; - ptfList->ptf = NULL; - ptfList->otherPTFs = NULL; - PTFList_Term(ptfList); - PTFList_Delete(ptfList); - } - return; - } - - prev = ptfList; - ptfList = ptfList->otherPTFs; - } -} - -CW_INLINE void PTFList_RemoveAll(PTFList *ptfList) { - IRO_ASSERT(4582, ptfList != NULL); - - while (ptfList && ptfList->ptf) - PTFList_Remove(ptfList, ptfList->ptf); -} |