Lines Matching defs:retained

103 /// `retained` list (or a guaranteed alias of it) because they will never
105 /// other memrefs in the `retained` list can alias, i.e., there must not by any
107 /// defined to return one `i1` value per memref in the `retained` list which
110 /// there is some value R in the `retained` list which aliases with a value M in
112 /// is also present in the `retained` list, then it would be illegal to remove M
125 /// // every retained value
137   /// The passed 'memref' must not have a may-alias relation to any retained
151     for (Value retained : deallocOp.getRetained()) {
153           analysis.isSameAllocation(retained, memref);
165     for (auto [i, retained] : llvm::enumerate(deallocOp.getRetained())) {
168           analysis.isSameAllocation(retained, memref);
184     DenseSet<Value> retained(deallocOp.getRetained().begin(),
186     if (retained.size() != deallocOp.getRetained().size())
216 /// Remove memrefs from the `retained` list which are guaranteed to not alias
362 /// Check for every retained memref if a must-aliasing memref exists in the
364 /// the operation result corresponding to that retained memref with 'true'. If
365 /// this condition holds for all retained memrefs we can also remove the
398       for (auto [i, retained, res] : llvm::enumerate(
404             analysis.isSameAllocation(retained, memref);
420             analysis.isSameAllocation(retained, extractOp.getOperand());