[Mlir-commits] [mlir] [mlir][ArmSME] Replace nested-region assertion in tile allocation with diagnostic (PR #181934)

[Andrzej Warzyński]

================
@@ -0,0 +1,39 @@
+// RUN: mlir-opt %s --pass-pipeline="builtin.module(func.func(test-arm-sme-tile-allocation))" -split-input-file -verify-diagnostics
+
+module {
+  func.func @arm_sme_tile_load_hor_f16(%arg0: memref<?x?xf16>) {
+    %c0 = arith.constant 0 : index
+    %0 = arm_sme.get_tile : vector<[8]x[8]xf16>
+    %c8 = arith.constant 8 : index
+    %vscale = vector.vscale
+    %c8_vscale = arith.muli %c8, %vscale : index
+    %cst = arith.constant dense<true> : vector<[8]xi1>
+    %c0_0 = arith.constant 0 : index
----------------
banach-space wrote:

Why do you define `c0` twice and why can't not use function arguments instead?

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