llvm/llvm-project

[MLIR][affine] Proper handling of vector load / stores in Affine dialect and transformations

Open

#115.989 aperta il 13 nov 2024

Vedi su GitHub
 (11 commenti) (0 reazioni) (0 assegnatari)C++ (10.782 fork)batch import
good first issuemlir:affine

Metriche repository

Star
 (26.378 star)
Metriche merge PR
 (Merge medio 1g 2h) (1000 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Esamina i verificatori e le trasformazioni del dialetto affine per garantire che le dimensioni di carico/archiviazione vettoriale corrispondano alle dimensioni del memref.
Tech stack
cpp
Dominio
compilers
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C++MLIR basics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40