memref 是 MLIR 中带形状、布局和内存元数据的结构化内存引用类型，需配合 memref.load/store 访问，禁止绕过类型系统；静态全局 memref 可用 extract_aligned_pointer_as_index 提取指针传给外部函数。
memref 是 MLIR 中表示「带形状和布局的内存引用」的核心类型，不是裸指针，也不是 C 风格数组——它自带维度、元素类型、对齐、步长（stride）和偏移（offset）信息。用它读写内存，本质是通过配套的 memref.load / memref.store 操作，在结构化语义下访问底层内存，而非直接操作地址。
memref.alloc + load/store 是最常见读写组合
动态分配一个 memref 后，必须用 memref.load 和 memref.store 访问其元素，不能用 llvm.ptr 或 llvm.inttoptr 绕过。否则会破坏类型安全，后续 lowering（如到 LLVM）可能失败或生成错误代码。
典型写法：
%0 = memref.alloc() : memref %1 = arith.constant 1.0 : f32 memref.store %1, %0[0, 0] : memref %2 = memref.load %0[0, 0] : memref
注意点：
-
memref.alloc分配的是「描述符 + 数据」，描述符含 size/stride/aligned_ptr 等字段；实际数据内存由运行时（如mlir-cpu-runner）管理 - 下标
[0, 0]必须与memref的维度匹配，越界不会报错但行为未定义（类似 C 数组） -
memref.load和memref.store的索引必须是index类型，不能是i32—— 需用arith.index_cast转换
静态全局 memref 要用 memref.get_global + extract_aligned_pointer_as_index
如果你需要把字符串或常量数组传给外部 C 函数（比如 puts），不能直接把 memref 当指针传：LLVM 不认识 memref 类型。得先提取对齐后的基地址：
memref.global "private" constant @msg : memref = dense ... %0 = memref.get_global @msg : memref %1 = memref.extract_aligned_pointer_as_index %0 : memref -> index %2 = arith.index_cast %1 : index to i64 %3 = llvm.inttoptr %2 : i64 to !llvm.ptr<i8> call @puts(%3) : (!llvm.ptr<i8>) -> () </i8></i8>
关键限制：
-
memref.extract_aligned_pointer_as_index只在memref是「静态全局」且「无动态维度」（即 shape 全是常数）时才合法 - 一旦用了
memref.alloc或含?维度（如memref），这个提取操作就不可用 —— 此时必须走 lowering 到 LLVM 后的参数展开路径 - 提取出的指针不带长度信息，调用
puts这类函数前需确保末尾有\0
动态 memref 传参到底层函数时，ABI 会自动展开成多个参数
当你把 memref 作为函数参数传入，并最终 lowering 到 LLVM，MLIR 不会把它打包成一个 struct；而是按 ABI 展开为 5 个独立参数（以 1D 为例）：
-
%allocated_ptr: 实际 malloc 返回的地址（可能未对齐） -
%aligned_ptr: 对齐后的起始地址（真正用于读写的指针） -
%offset: 偏移（单位：元素个数） -
%size: 当前维度长度（?维度在此处填运行时值） -
%stride: 步长（通常为 1）
这意味着：你在 MLIR 里写 func.func @foo(%a: memref)，lowering 后的 LLVM 函数签名类似：
define void @foo(float* %allocated_ptr, float* %aligned_ptr,
i64 %offset, i64 %size, i64 %stride)
所以你不需要、也不应该手动拆解 memref；MLIR 的 -finalize-memref-to-llvm pass 会自动处理。手动干预（比如自己构造指针算术）只会让 lowering 失败或产生不一致行为。
容易被忽略的坑：memref 维度和 layout 决定内存访问顺序
memref 默认是行主序（row-major），等价于 C 的 float[2][3]；但你可以显式指定 layout：
%0 = memref.alloc() : memref> %1 = memref.alloc() : memref> // 列主序
layout 影响 memref.load %0[1, 2] 计算出的内存偏移位置。如果后续 lowering 到向量化或硬件后端（如 RISC-V Vector），layout 错误会导致数据错位、cache miss 加剧，甚至 silent corruption。
更隐蔽的是：memref 的 layout 信息在 memref.load/store 中不显式出现，全靠类型隐含；一旦类型丢失（比如经过不严谨的 cast 或 pattern rewrite），就很难 debug。
