Lines Matching defs:memref
24 namespace memref {
34 // Nothing to check if the result is an unranked memref.
131 /// Verifies that the indices on load/store ops are in-bounds of the memref's
141 auto memref = loadStoreOp.getMemref();
142 auto rank = memref.getType().getRank();
153 auto dimOp = builder.createOrFold<memref::DimOp>(loc, memref, i);
195 /// Returns two Values representing the bounds of the memref. The bounds are
198 TypedValue<BaseMemRefType> memref) {
199 auto runtimeMetadata = builder.create<ExtractStridedMetadataOp>(loc, memref);
207 /// linear bounds of the base memref: low >= baseLow && high <= baseHigh
220 // Compute the linear bounds of the base memref
223 // Compute the linear bounds of the resulting memref
240 "result of reinterpret_cast is out-of-bounds of the base memref"));
245 /// of the base memref: low >= baseLow && high <= baseHigh
248 /// %m = memref.alloc(%c10, %c10) : memref<10x10xf32>
249 /// memref.subview %m[%c0, %c0][%c20, %c2][%c1, %c1]
250 /// : memref<?x?xf32> to memref<?x?xf32>
251 /// The subview is in-bounds of the entire base memref but the first dimension
265 // Compute the linear bounds of the base memref
268 // Compute the linear bounds of the resulting memref
284 op, "subview is out-of-bounds of the base memref"));
331 } // namespace memref
334 void mlir::memref::registerRuntimeVerifiableOpInterfaceExternalModels(
336 registry.addExtension(+[](MLIRContext *ctx, memref::MemRefDialect *dialect) {