Lines Matching defs:MLK
8284 AAMemoryLocation::MemoryLocationsKind MLK) {
8285 if (0 == (MLK & AAMemoryLocation::NO_LOCATIONS))
8287 if (MLK == AAMemoryLocation::NO_LOCATIONS)
8290 if (0 == (MLK & AAMemoryLocation::NO_LOCAL_MEM))
8292 if (0 == (MLK & AAMemoryLocation::NO_CONST_MEM))
8294 if (0 == (MLK & AAMemoryLocation::NO_GLOBAL_INTERNAL_MEM))
8296 if (0 == (MLK & AAMemoryLocation::NO_GLOBAL_EXTERNAL_MEM))
8298 if (0 == (MLK & AAMemoryLocation::NO_ARGUMENT_MEM))
8300 if (0 == (MLK & AAMemoryLocation::NO_INACCESSIBLE_MEM))
8302 if (0 == (MLK & AAMemoryLocation::NO_MALLOCED_MEM))
8304 if (0 == (MLK & AAMemoryLocation::NO_UNKOWN_MEM))
8529 /// an access of kind \p AK to a \p MLK memory location with the access
8532 MemoryLocationsKind MLK, const Instruction *I,
8536 assert(isPowerOf2_32(MLK) && "Expected a single location set!");
8537 auto *&Accesses = AccessKind2Accesses[llvm::Log2_32(MLK)];
8541 if (MLK == NO_UNKOWN_MEM)
8542 MLK = NO_LOCATIONS;
8543 State.removeAssumedBits(MLK);
8566 MemoryLocationsKind MLK = NO_LOCATIONS;
8585 MLK = NO_ARGUMENT_MEM;
8595 MLK = NO_GLOBAL_INTERNAL_MEM;
8597 MLK = NO_GLOBAL_EXTERNAL_MEM;
8603 MLK = NO_LOCAL_MEM;
8609 MLK = NO_MALLOCED_MEM;
8611 MLK = NO_UNKOWN_MEM;
8613 MLK = NO_UNKOWN_MEM;
8616 assert(MLK != NO_LOCATIONS && "No location specified!");
8618 << Obj << " -> " << getMemoryLocationsAsStr(MLK) << "\n");
8619 updateStateAndAccessesMap(State, MLK, &I, &Obj, Changed,
8714 AccessKind Kind, MemoryLocationsKind MLK) {
8715 updateStateAndAccessesMap(AccessedLocs, MLK, &I, Ptr, Changed,
8780 MemoryLocationsKind MLK = categorizeAccessedLocations(A, I, Changed);
8782 << ": " << getMemoryLocationsAsStr(MLK) << "\n");
8783 removeAssumedBits(inverseLocation(MLK, false, false));
8830 AccessKind Kind, MemoryLocationsKind MLK) {
8831 updateStateAndAccessesMap(getState(), MLK, I, Ptr, Changed,