[Mlir-commits] [mlir] [mlir][Affine] Genarilze the linearize(delinearize()) simplifications (PR #117637)

[Abhishek Varma]

================
@@ -1224,6 +1244,11 @@ def AffineLinearizeIndexOp : Affine_Op<"linearize_index",
     /// Return a vector that contains the basis of the operation, removing
     /// the outer bound if one is present.
     SmallVector<OpFoldResult> getEffectiveBasis();
+
+    /// Return the vector with one basis element per index operand of the operation.
+    /// If there is no outer bound specified, the leading entry of this basis will be
+    /// nullptr.
+    SmallVector<OpFoldResult> getPaddedBasis();
----------------
Abhishek-Varma wrote:

Would `getPaddedMixedBasis()` make more sense for the name here ?
And accordingly we can make the doc comment simpler : "`Same as getMixedBasis, but the leading entry will include a nullptr if no outer bound is specified`" ? 

https://github.com/llvm/llvm-project/pull/117637