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.