[llvm-branch-commits] [mlir] [MLIR] Legalize certain `vector.transfer_read` ops of scalable vectors (PR #143146)

[Andrzej Warzyński via llvm-branch-commits]

================
@@ -0,0 +1,262 @@
+// RUN: mlir-opt --arm-sve-legalize-vector-storage --split-input-file %s | FileCheck %s
+
+// -----
+
+// CHECK-LABEL:       @test_base_case
+// CHECK-SAME:          %[[I:arg0]]: index, %[[J:arg1]]: index, %[[M:arg2]]:
----------------
banach-space wrote:

Is it guaranteed that `%i` will be renamed as `arg0` after the transformation? AFAIK, no, but perhaps I am missing something?

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