Lines Matching defs:ownership

67   assert(isUnique() && "must have unique ownership to get the indicator");
99 void DeallocationState::updateOwnership(Value memref, Ownership ownership,
105   // Update ownership of current memref itself.
106   ownershipMap[{memref, block}].combine(ownership);
139          "Value must already have been registered in the ownership map");
141   Ownership ownership = iter->second;
142   if (ownership.isUnique())
143     return {memref, ownership.getIndicator()};
149   // ownerships more intelligently to not end up with an 'Unknown' ownership in
191     Ownership ownership = ownershipMap.lookup({memref, block});
192     if (!ownership.isUnique())
194                        "MemRef value does not have valid ownership");
212     conditions.push_back(ownership.getIndicator());
302   // We want to replace the current ownership of the retained values with the
305   for (auto [retained, ownership] :
307     state.updateOwnership(retained, ownership, block);