Lines Matching defs:MLK
8336 AAMemoryLocation::MemoryLocationsKind MLK) {
8337 if (0 == (MLK & AAMemoryLocation::NO_LOCATIONS))
8339 if (MLK == AAMemoryLocation::NO_LOCATIONS)
8342 if (0 == (MLK & AAMemoryLocation::NO_LOCAL_MEM))
8344 if (0 == (MLK & AAMemoryLocation::NO_CONST_MEM))
8346 if (0 == (MLK & AAMemoryLocation::NO_GLOBAL_INTERNAL_MEM))
8348 if (0 == (MLK & AAMemoryLocation::NO_GLOBAL_EXTERNAL_MEM))
8350 if (0 == (MLK & AAMemoryLocation::NO_ARGUMENT_MEM))
8352 if (0 == (MLK & AAMemoryLocation::NO_INACCESSIBLE_MEM))
8354 if (0 == (MLK & AAMemoryLocation::NO_MALLOCED_MEM))
8356 if (0 == (MLK & AAMemoryLocation::NO_UNKOWN_MEM))
8581 /// an access of kind \p AK to a \p MLK memory location with the access
8584 MemoryLocationsKind MLK, const Instruction *I,
8588 assert(isPowerOf2_32(MLK) && "Expected a single location set!");
8589 auto *&Accesses = AccessKind2Accesses[llvm::Log2_32(MLK)];
8593 if (MLK == NO_UNKOWN_MEM)
8594 MLK = NO_LOCATIONS;
8595 State.removeAssumedBits(MLK);
8618 MemoryLocationsKind MLK = NO_LOCATIONS;
8637 MLK = NO_ARGUMENT_MEM;
8647 MLK = NO_GLOBAL_INTERNAL_MEM;
8649 MLK = NO_GLOBAL_EXTERNAL_MEM;
8655 MLK = NO_LOCAL_MEM;
8661 MLK = NO_MALLOCED_MEM;
8663 MLK = NO_UNKOWN_MEM;
8665 MLK = NO_UNKOWN_MEM;
8668 assert(MLK != NO_LOCATIONS && "No location specified!");
8670 << Obj << " -> " << getMemoryLocationsAsStr(MLK) << "\n");
8671 updateStateAndAccessesMap(State, MLK, &I, &Obj, Changed,
8766 AccessKind Kind, MemoryLocationsKind MLK) {
8767 updateStateAndAccessesMap(AccessedLocs, MLK, &I, Ptr, Changed,
8832 MemoryLocationsKind MLK = categorizeAccessedLocations(A, I, Changed);
8834 << ": " << getMemoryLocationsAsStr(MLK) << "\n");
8835 removeAssumedBits(inverseLocation(MLK, false, false));
8882 AccessKind Kind, MemoryLocationsKind MLK) {
8883 updateStateAndAccessesMap(getState(), MLK, I, Ptr, Changed,