tree 2755235d281b55548fe48aec29bd177b239d87ff
parent b0627c0c94bd93b6e9e6dcedb2e7bfa69e6f4052
author Chennes <xuchen359@gmail.com> 1783636615 +0800
committer GitHub <noreply@github.com> 1783636615 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJqUCKHCRC1aQ7uu5UhlAAAezoQAJHj7IDUE62GWyAFL+Gi3WjX
 4ssR+7h89VTvNlujIpfvDoLQc8CYDD98grEtzIF2ZvWFuduNB7bFHa7O9gcffd5k
 Rnj5pCGOvcKJck4Yn4XC+GtcEADkVj4I0BHOeK5ztRHcwF9+HzSYGohglCFzraIy
 szDTd6hihQUj9lw19qxm7YBJoU6CQaYEoC+R6Y8VqFcS/w1alcNu6IqCjlclnk86
 qSLMqZYN3r26y/Ui2sJYaTMzJ2lry/ST+JMd0tkXpT7Ecr4pwvN3VgCgRTR/FDp5
 ETTBM+ByEtVqnylrhljmNPc+TeRGgtiNLKiiNlUARvXR3ez93BtZeWlC05MgqnEe
 Hn4BuSgtkNEmTfiCoxBVBdwY5sKOmLxFKM9HN/AxHEteqH4iQGJFONYotUmr5CIp
 alAumSjNVMaJK7OemzbFtx9siF5nQUtwaUDUQ/0KH4ospnwLqQGNMefG4Lcda94P
 2XByNoqUy/TXj9yrE+HXnZ0bhtjq5EPSR/qpwplC8Qr2lCCz6/l3uqfNvdOmRynq
 HAgqvBMPxnWaG73g5JevABlhyjdjstGHlJEYPXlHV53I/EbWltFBqukHvne1EsaT
 pkCzuMbUu+doW83cmH1i8+OcqUil2GHh7y3CdmP18cgDUpXHGw3eBgOi7anVA3qF
 2S3F7+DAKiyEVX4qH7Dn
 =JOEf
 -----END PGP SIGNATURE-----
 

[mlir][xegpu] Fix crash on 0D vector in vector-to-xegpu transfer lowering (#205812)

`transferPreconditions` accepted rank-0 vectors, which then reached
`computeOffsets` and indexed an empty `SmallVector` (`broadcasted[0]`),
asserting `idx < size()` and crashing. For example:

```mlir
vector.transfer_write %arg0, %arg1[%1] : vector<f32>, memref<3xf32>
```

This is valid IR (the verifier accepts it; 0D vector transfers are part
of the vector dialect spec), so the conversion pass should not crash on
it.

Bail out via `notifyMatchFailure` for 0D vectors in the shared
`transferPreconditions`, so both `transfer_read` and `transfer_write`
are left unconverted instead of crashing. This matches how the core
vector lowering already treats 0D transfers as an unsupported corner
case (see `mlir/lib/Dialect/Vector/Transforms/LowerVectorTransfer.cpp`).

Regression tests are added for 0D `transfer_read` and `transfer_write`.

Fixes #205281