Lines Matching defs:memrefs

46                                             ValueRange memrefs,
49   if (deallocOp.getMemrefs() == memrefs &&
54     deallocOp.getMemrefsMutable().assign(memrefs);
105 /// other memrefs in the `retained` list can alias, i.e., there must not by any
124 /// // bufferization.dealloc without memrefs and conditions returns %false for
216 /// Remove memrefs from the `retained` list which are guaranteed to not alias
217 /// any memref in the `memrefs` list. The corresponding result value can be
274 /// Split off memrefs to separate dealloc operations to reduce the number of
322         // `memref` alias with other memrefs, do not split off.
339     // Create bufferization.dealloc op for all remaining memrefs.
365 /// this condition holds for all retained memrefs we can also remove the
366 /// aliasing memrefs and their conditions since they will never be deallocated