tree 78d5a5df453c3c4475978283afc324af9efe8bcb
parent 960221623f54b87c0ce786d551111573810c8ac8
author Zhuoran Yin <zhuoryin@amd.com> 1746630882 -0400
committer GitHub <noreply@github.com> 1746630882 -0400
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoG3jiCRC1aQ7uu5UhlAAALwQQAByda8ReISp61KxXzNko3Ibx
 E4Jay0PeAagtQdgsHR0OZu5zRQ8a1bNZYHJNYBMz46EuKCEzJA7dFhXHjnPPuBjW
 yWz0phgKXIqhUwWq3ySYxWvVCSlTJxtJZtLp/mc35Csnf5/yZcR4OpZ7I722IAF0
 mrqB6HMOoOifoayq1xWAFD0BrjBrdjMmwgvD7Nix7GXK+rSWaeC2VwRb5gi+JaeW
 jpGhdP7l9pMGge/F8UuRyKcu/X0J0D+1sTj61dvSqo2d357s0g8ppT32AH6pw3TB
 J10DnB+KfwPtvBljRx95vnaU35i6+wQ5kWuiVHPPnzt3XRk7IWqI+HkUvnqjDHaH
 ZHuwdi7md2qMe7FtutXdqwIWGUkXehOlXBHh9csU2Iht5+vjngwPE3Mro24QbrBf
 Qb+/1lpu8vivEHaBOSlzUYxQXtyLcAieFugsasxijrYBBakpI65m0ei1Pjzujl6S
 rhJeMEG3jKA8FtpYBTFTAVlhgJkCh1RVCeeY+dznN0HjiCQllV1RxUzSmFUAkiiL
 eRIh8KaBUdEdh8v3ZHUgrgIZQJI1JPQx4FoEbmy4DGhPpFePMhcdpFDP67u2/3Z/
 U5KqQaWDLzxY8Uv6/k7/UVxgk/p3ErHmvxwQllCtmkHVWvG55yVPgFSw13IJ6kDn
 kj1nzAhxWDMiOmMMtqk0
 =l/V5
 -----END PGP SIGNATURE-----
 

[MLIR] Folding unpack and pack sequence in data layout propagation from padded domain (#138332)

In `DataLayoutPropagation` patterns, it can populate sequence of unpack
op followed by pack op. Such sequence tend to disrupt tiling and can be
optimized. This is especially true for pack and unpack in padded values.

The idea of this patch is to optimize the propagation by never creating
the unpack + pack in cases where the padding value does not matter for
the op that is being propagated through. We can optimize the unpack/pack
pair away from in particular `PushDownUnPackOpThroughGenericOp` pattern.

If the operand of the generic op happen to come from an unpack, there's
no need to create new packs of the generic operand. We can fold the
unpack -> pack sequence and use the operand from the original source of
the unpack op.