================
@@ -150,9 +150,15 @@ def Linalg_PackOp : Linalg_RelayoutOp<"pack", [
`padding_value` specifies a padding value at the boundary on non-perfectly
divisible dimensions. Padding is optional:
- - If absent, it is UB if the tile does not perfectly divide the dimension.
+ - If absent, it is assumed that for all inner tiles,
+ `shape(source)[inner_dims_pos[i]] % inner_tiles[i] == 0`, i.e. all inner
+ tiles divide perfectly the corresponding outer dimension in the result
+ tensor.
- If present, it will pad along high dimensions (high-padding) to make the
- tile complete.
+ tile complete. Note that it is not allowed to have artificial padding
that
+ is not strictly required by linalg.pack (i.e., padding past what is
needed
+ to complete the last tile along each packed dimension). It is UB if extra
+ padding is requested.
----------------
hanhanW wrote:
Enforcing that is more like a dynamic check, but not a static check. I.e., it
can only be asserted during runtime for most cases, IMO. E.g., you don't do any
out-of-bound checks for tensor.extract_slice for dynamic sizes/dims, but you do
out-of-bound checks when the op has static sizes and offsets.
https://github.com/llvm/llvm-project/pull/149624
_______________________________________________
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
