llvm/llvm-project
在 GitHub 查看[MLIR][affine] Proper handling of vector load / stores in Affine dialect and transformations
Open
#115,989 创建于 2024年11月13日
good first issuemlir:affine
仓库指标
- Star
- (26,378 star)
- PR 合并指标
- (平均合并 1天 2小时) (30 天内合并 1,000 个 PR)
描述
In the context of Issue-115849 , I see that affine transformation is producing invalid IR like below where vector is being stored to a memref of size 1x1xf32.
affine.vector_store %5, %alloc[0, 0] : memref<1x1xf32>, vector<64x64xf32>
%6 = affine.vector_load %alloc[0, 0] : memref<1x1xf32>, vector<64x512xf32>
I think validity of the affine transformations need to be enhanced by introducing good verifiers.