<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/60468>60468</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [mlir]Test-Affine-Parametric-Tile triggered Assertion failure "expected tiling parameters to be of index type"
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          CelestineSmith
      </td>
    </tr>
</table>

<pre>
    MLIR built at commit https://github.com/llvm/llvm-project/commit/65270fa7
Reproduced with: 
``
mlir-opt --test-affine-parametric-tile
temp.mlir:
``` milr 
func.func @func(%arg0: memref<256x512xf32>, %arg1: memref<256xf32>) {
 %cst = arith.constant 0.000000e+00 : f32
   affine.for %i = 0 to 256 {
     %0 = affine.for %j = 0 to 512 iter_args(%iter = %cst) -> (f32) {
       %1 = affine.load %arg0[%i, %j] : memref<256x512xf32>
       %2 = arith.addf %1, %iter : f32
       affine.yield %2 : f32
     }
 affine.store %0, %arg1[%i] : memref<256xf32>
   }
   return
 }
```
 
trace:
```console  
Assertion failed: (blockArgument.getType().isIndex() && "expected tiling parameters to be of index type."), function getTilingParameters, file TestAffineLoopParametricTiling.cpp, line 62.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: mlir-opt --test-affine-parametric-tile temp.mlir
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0  mlir-opt 0x00000001029b86b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1  mlir-opt                 0x00000001029b7720 llvm::sys::RunSignalHandlers() + 112
2  mlir-opt 0x00000001029b8d50 SignalHandler(int) + 344
3  libsystem_platform.dylib 0x00000001aad414c4 _sigtramp + 56
4  libsystem_pthread.dylib 0x00000001aad29ee0 pthread_kill + 288
5  libsystem_c.dylib 0x00000001aac64340 abort + 168
6  libsystem_c.dylib 0x00000001aac63754 err + 0
7  mlir-opt                 0x0000000104714c88 (anonymous namespace)::TestAffineLoopParametricTiling::runOnOperation() (.cold.7) + 0
8  mlir-opt                 0x0000000103d72410 (anonymous namespace)::TestAffineLoopParametricTiling::runOnOperation() + 680
9 mlir-opt                 0x0000000104034428 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 428
10 mlir-opt 0x0000000104034958 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
11 mlir-opt                 0x00000001040389dc mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_14::operator()(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&) const + 176
12 mlir-opt                 0x0000000104038858 mlir::LogicalResult mlir::failableParallelForEach<std::__1::__wrap_iter<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_14&>(mlir::MLIRContext*, std::__1::__wrap_iter<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*>, std::__1::__wrap_iter<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_14&) + 360
13 mlir-opt                 0x0000000104035620 mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) + 1396
14 mlir-opt                 0x0000000104034558 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 732
15 mlir-opt 0x0000000104034958 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
16 mlir-opt                 0x00000001040362d4 mlir::PassManager::run(mlir::Operation*) + 1148
17 mlir-opt 0x000000010402f698 performActions(llvm::raw_ostream&, bool, bool, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, bool, bool) + 504
18 mlir-opt                 0x000000010402f268 mlir::LogicalResult llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool)::$_0>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) + 704
19 mlir-opt                 0x0000000104099f5c mlir::splitAndProcessBuffer(std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) + 656
20 mlir-opt 0x000000010402d690 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool) + 216
21 mlir-opt                 0x000000010402db84 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 1208
22 mlir-opt 0x000000010285aae4 main + 108
23 dyld 0x000000010770d088 start + 516
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWctu2zwWfhpmQ9iQqPsiC-eGP0CCGEkwwMzGoMQjmS1FakiqjefpB6SkWI6T1i3aQTH4jaKWw3P9zoWHFDWGNxLgHCUXKLk6o73dKn1-CQKM5RKeWm63Z6Viu_P7u9tHXPZcWEwtrlTbcou31nYGRStEbhC5abjd9uWyUi0iN0J8mb4WnVafoLKI3Ax8iNykCcmCmmYouELB6hE6rVhfAcNfud2iaIWHBZQG7p9_bgXXC9VZvFhYMHZB65pLWHRU0xas5tXCcgEDrYW2WzoGZ9xcUhrglgs9iq97WS3dfxjFgftGJEckoboJnA0ttBpqFF2SJH1JQvJSRwRF14hc4oEqPKKaKAqMsotBiaOtjMUousJUc7tdVkoaS6XFwTLwH0DkIgiwk-YEDGwYDx4ua6WdDO4lBNgqTJJ0Jt99EEmCQcMBz6c9TxISzC3oDdWNGfx0Pz3BYKGzeoGia4xI7sw4cAJPasK5GqEowxNiyYWTOaLzCSVX-FsgvhFLZvhQxmqvapQ12nkIDt4DtOMg2CTkLRXKrsZfI7WxSoMHbB7I0fj3jH5j8F4gxhpsr-UU52nhNdemhSEnNa3gOB9dMigBeKRaGQPaciVxTbkA5muB5KVQ1eeVbvoWpF02YJ93HfgoFktubiWDl-EXRiRFJMWIEHjpoLLAsOWCywaPlQLauHwoAasac8eJ7a6DJSIu5A4TVwneBKfH865fWf06F4CfwdiVR_ROqW79WoUDw7LqOkcquASckuXg3PruevV0jU1fuu5Bcdk3WEOntHUW_XA34cb0YBC5wVQyzGUlegbYbgFXmpotLmn12aM-qn-ytPqMWd92r2EIligo1lo1mraYjvganwIntRu87zRvVPhOpnqLza4tlcCStmBcKEGaXgPeqR5v6RfA3qmBiP8HNObSrWm8Xj3_hZXGBqz3CeQXrpV0BuIvVGOUBnd3_7jfPP3z_uLh7vZf148bx-JanFW4U1x6VF27Lfb-4r1jwcvQfYIwIEWZp2XubXG00crszPCw1lxa79azT2CS74k0_bpRxmqgrU-7S8ylHZLwAifpoDKcqXz7OTQhy0jwngmPvXzijaTiLyqZ8EmYT1rCcCx28rFnLAnwgQBE8pmhURwPIiKMBS_NzlhoN52gtla6XbKd4OVMJKUsDuMqxhvDG6tp2x24Gx8IsVsNlL0ngxQAAR4JNp-5EF4MyfNBTjKXU70joUrjKA4wLV35eCjSkTX9PmuUJTEGrT3j2Key0wIVZ2Fc5blLZSqV3LWqN0N2dz4_iiFo3-4PY_708kE-dKCpazevUc2XlRJsmU0BGu3LT7MvYhmJw-A32neB03y0qTgNsiCKY5LjaSKJVgws5WJ4fuie1UO3psasGO2s0q_KEcn3LI4AkZWrsv0fZ8a9WVlJKnaGm3sqaeNS_hKXSgn33Us_9rF5tcZkTJ4weLeOnAtF8uMurHkHbhM4cGUgfbUs_eU-zZmcqltprPa9XekjqYcEg-ZhYbR9TTVIeytrhf3o5iWMvYOMiRCGp2ZCXrDqh2GcpeHK7GR123bCjQXe-zGjEYk3YTw8K0_tnM39pp7_DoUP3freoeIjWAzYDJ0om3o_ORmV_CC57lTDKyoewfTCzv7uhiJaChcSKgSIG6WvabVF0aWxbCDZbMLp4aum3cZNjyi6_L0ArMZzwW-MK0m9jlkk3ZnsUkkLL3ZM6j8DhD_Dit8biqn-pyE_jE7N9CQlwS82bii6qJiqLj55V0p-oqX_D3elbDrKhcnfu9LP7ErpqZmQEha_0T75827cD-GYZvF4GiKyD8JF6rTIcQfajdYrf8o03zlSTFhO38fdxWypBrbprGsue1FPqtcV3DcaRdcTRG-CetxB9-zTKXgz3AR8tDcdVcM8gYqxFx36MJ6PgvHYEeYnBonUJP14k_wZy4-x7CX_dw9HWN5Dq_Tuoq_rIcGPGRnUtBd2w0CAhY-Zo-sRk49j7lHzKxUVwp3iN7U8cORecP3Q2XvK5Xey58_w8Ffm0p7iilMBlX2Ehhurdx_Uy2nfsw0uGOYMoWTz5yB4lCPD_vBaQ6cexIqiTubjt-kEtyvJ1lpVYMxk_R9SGf8XlfxNivd7YzrdppCPTqOEpcV8jPq7I_zyjjDcR4VTJE494BJW5vGHkRkHoWpLh5Hnzab7ZDWXzSPUp_s1zh4kGGcPQt6_CMwTSiHGLeVy4HhliDDbCTYnzrKABXmOjaXj5Voy4fB6cX_GziNWRAU9g_MwzZKIkChMz7bnEKVZmYYZiWhZ5UVc1MCSMMzyMGFRESZn_JwEJApIQIIszKNkSVkRxHXEIkhqlpMUxQG0lIulA2apdHPmr7rP0yBO8zNBSxDGv7MjRMJX7BcRISi5OtPn_j657BuD4kBwY81eiuVW-Jd9Htnk6hmMXQyXYIv9Ddji2V9sa940oIHhw1cSvX958oMvFxAhZ70W5z9_xe9d_28AAAD__zPcn_U">