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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] `affine-super-vectorize` Pass crashed with assertion failure "step has to be a positive integer constant"
        </td>
    </tr>

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

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

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

<pre>
    MLIR built at commit  b4c54b20
Reproduced with:  
`mlir-opt --affine-super-vectorize=virtual-vector-size=0 temp.mlir`

temp.mlir:
``` milr 

module {
  func.func nested @func2(%arg0: memref<21x12x12xi1>) {
    affine.for %arg1 = 0 to 84 step 4294967295 {
    }
    return
  }
}
```
 
trace:
```console
Assertion failed: (step > 0 && "step has to be a positive integer constant"), function build, file AffineOps.cpp, line 1898.
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 --affine-super-vectorize=virtual-vector-size=0 temp.mlir
 #0 0x0000000103214548 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/workspace/build/bin/mlir-opt+0x1002f8548)
 #1 0x00000001032127e4 llvm::sys::RunSignalHandlers() (/workspace/build/bin/mlir-opt+0x1002f67e4)
 #2 0x0000000103214bf4 SignalHandler(int) (/workspace/build/bin/mlir-opt+0x1002f8bf4)
 #3 0x00000001a46cd4c4 (/usr/lib/system/libsystem_platform.dylib+0x1803414c4)
 #4 0x00000001a46b5ee0 (/usr/lib/system/libsystem_pthread.dylib+0x180329ee0)
 #5 0x00000001a45f0340 (/usr/lib/system/libsystem_c.dylib+0x180264340)
 #6 0x00000001a45ef754 (/usr/lib/system/libsystem_c.dylib+0x180263754)
 #7 0x000000010703a880 mlir::affine::AffineForOp::build(mlir::OpBuilder&, mlir::OperationState&, mlir::ValueRange, mlir::AffineMap, mlir::ValueRange, mlir::AffineMap, long long, mlir::ValueRange, llvm::function_ref<void (mlir::OpBuilder&, mlir::Location, mlir::Value, mlir::ValueRange)>) (.cold.2) (/workspace/build/bin/mlir-opt+0x10411e880)
 #8 0x000000010327f810 mlir::affine::AffineForOp::build(mlir::OpBuilder&, mlir::OperationState&, mlir::ValueRange, mlir::AffineMap, mlir::ValueRange, mlir::AffineMap, long long, mlir::ValueRange, llvm::function_ref<void (mlir::OpBuilder&, mlir::Location, mlir::Value, mlir::ValueRange)>) (/workspace/build/bin/mlir-opt+0x100363810)
 #9 0x00000001032eb774 vectorizeOneOperation(mlir::Operation*, (anonymous namespace)::VectorizationState&) (/workspace/build/bin/mlir-opt+0x1003cf774)
#10 0x00000001032e9e40 mlir::WalkResult llvm::function_ref<mlir::WalkResult (mlir::Operation*)>::callback_fn<vectorizeLoopNest(std::__1::vector<llvm::SmallVector<mlir::affine::AffineForOp, 2u>, std::__1::allocator<llvm::SmallVector<mlir::affine::AffineForOp, 2u>>>&, mlir::affine::VectorizationStrategy const&)::$_3>(long, mlir::Operation*) (/workspace/build/bin/mlir-opt+0x1003cde40)
#11 0x00000001035b19d4 mlir::WalkResult mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<mlir::WalkResult (mlir::Operation*)>, mlir::WalkOrder) (/workspace/build/bin/mlir-opt+0x1006959d4)
#12 0x00000001032e83d8 vectorizeLoopNest(std::__1::vector<llvm::SmallVector<mlir::affine::AffineForOp, 2u>, std::__1::allocator<llvm::SmallVector<mlir::affine::AffineForOp, 2u>>>&, mlir::affine::VectorizationStrategy const&) (/workspace/build/bin/mlir-opt+0x1003cc3d8)
#13 0x00000001032e7cc0 vectorizeLoops(mlir::Operation*, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>&, llvm::ArrayRef<long long>, llvm::ArrayRef<long long>, llvm::DenseMap<mlir::Operation*, llvm::SmallVector<mlir::affine::LoopReduction, 2u>, llvm::DenseMapInfo<mlir::Operation*, void>, llvm::detail::DenseMapPair<mlir::Operation*, llvm::SmallVector<mlir::affine::LoopReduction, 2u>>> const&) (/workspace/build/bin/mlir-opt+0x1003cbcc0)
#14 0x00000001032ef4e8 (anonymous namespace)::Vectorize::runOnOperation() (/workspace/build/bin/mlir-opt+0x1003d34e8)
#15 0x000000010589de34 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x102981e34)
#16 0x000000010589e524 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/workspace/build/bin/mlir-opt+0x102982524)
#17 0x000000010589f5d8 mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/workspace/build/bin/mlir-opt+0x1029835d8)
#18 0x000000010589df90 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x102981f90)
#19 0x000000010589e524 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/workspace/build/bin/mlir-opt+0x102982524)
#20 0x00000001058a03bc mlir::PassManager::run(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x1029843bc)
#21 0x0000000105898808 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x10297c808)
#22 0x0000000105897d30 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>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_1>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) (/workspace/build/bin/mlir-opt+0x10297bd30)
#23 0x0000000105916be0 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) (/workspace/build/bin/mlir-opt+0x1029fabe0)
#24 0x00000001058926e4 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x1029766e4)
#25 0x0000000105892b54 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/workspace/build/bin/mlir-opt+0x102976b54)
#26 0x0000000102f1f58c main (/workspace/build/bin/mlir-opt+0x10000358c)
#27 0x000000010e7b9088 

``` 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWl1v2zrS_jXMDRGDIvVBXeTCTWq8AZo3QXJw9jKgpJHNLSVqSSqp99cvKNmxKcdp4vYcHBQNBEeiSM7MM89whpKEtXLZAlyg5BNKrs5E71baXFxqpXSnjestOSt0tb64-XJ9j4teKoeFw6VuGukwLuIyiQtKELlCZH4PndFVX0KFn6VbITbHeLyDUtIoac515_D5uahr2cK57Tsw509QOm3kfwGxqydpXC_Upu3cjq0EO2i6mZ8ApRtR4--unc1fBI0HbqQyeL9zo6teAUbZp_Ea47pvy5n_wS1YBxVGMfGXFFGOaCLMkngbGmgM1Ihd0uhbRP0hI8Q-I5rvT4bxaNas1gaPoyOM2BUm2GnMY2wddDimeZynGc2TcCzKrnYXBlxv2u31y63dydbITZcNGEaUcAhEqVurFYytc2vBOKlbXAupoPLmIcoH1RD7jAlGNEU0xYjSoXElrFe_ACxwp6108gmwbB0swWA_tROtQ5QimiN6OSA6TO-ZUg0tUgGeD8jcdnZWdp1vVbIFHPGcz0a97r58nj98xrYvPK0ELvolNuAJ6KWvnOust4wuEF0spVv1xazUDaILpZ62_847o_8NpUN0Ia3twSK6wKKtsGxL1VeA3QpwaYRd4UKUXwe4NuIfnCi_4qpvuhf8yAyR_M7opRENFmbZN9A6O9DhpxB54znKCCbfyPgXEUajOIk5Hsxic8Tmdm3HkzsjWzco-sfgaMp3nYx4ftTWGRDN4L9L76KBn57Ii2dtvtpuGLTYOGZRyBbRxdYWRD-RbxEhtOZJzL0zX_SLJvrRDOLX9Lvv2we5bIX6P9FWCowdZJ-iQppBHKhApxAVdYwDYYjy0y0u6lAc2xMn4rSs4jLezNtb49kmC0QXdm0dNOPleP7YKeFqbZpZtR76eBGcsDiKy1BEHIooEgDyThFuZUBUEwk0ByCBhCSQkNSExe-UUIZz0zRmcTh3Gs4NdZa8E6CDuVmWhMhk-77OCBOcE7xd4tl8jLjxfFxVFtrcdmPDxtN81_22--TbPEGGsNi_A0b4perBCQcHt_8Uqod70S4hbB9l3ojuhO5Kt8vh562xu8jarqWPY_J50rLC7zTuiy4H214RdFx2vs1plM9KraoZPSGe4igCzkO68DB8s5pHv136d7v0Q4siSxmPQifmoROhyLIYv6S8W5_dN-hPDHppnXs9EeWi1e260b3FrWhgo1C-UX4z4cSNJ1hQ1lm2W1l8HpskWsgh3qfhv4T6eg-2V-64w17t_Ya9A_5DeymU8lXHY916x29x-6J19_9g3VCDVWPXx8doPBl7IXa50-ehEUr9uW3_fgzRS0z7gQSX-FCAUMqz6mfJGI8pcfeHTdxrhIPleiwjRz-P3RCNH9kwFz-MrQnCJzCjgr185pkRljhJEeVV_Dozdo0VOCHVeP4s1NcAqoU2z8JU186r6mH8_GZQ_Fy-BWj5cbdmWFA-DlWaJ3kVBtGkFAPOKo5_0_kInU8gZ8kqHiDOJohnZUlCxO07yXUFrYUHcAEM3-l-I7rrttZvDvFpLEBrN8fcGLG-H7i8S5Wj_z7YaavNO5V_j9c9dvdQ9eU2r75w6wdACEbvLxLbme6ENH-9EcPxg1QsyjJcJ-MJFesY-Hsz-kZd07e37X6pcJJqFYshjJL97Q5JeF4Bi4-s1rfdH_q2uxPWzivRDdhuNAviyHfYeOS4r_bKwlaotZX2RrRi6ZfbS1xorfz_vh2esVUnbsppziNg4TKcTsyFhH7c3DvZgfJECpcP3_XFimMl9un27w_yoq5b68zwdEWbg1nDDqPk8cZG9zthoHU-OrdkP6UooDmnCQ0hziYQ10nFPwzxHtfndt2W102nEOUjMqeoyZJJeuBT4tc5-YWIX-fhEpT_Jv5fTHxKQogFYUU50Wxr66v8-cECneY8ZkUZqBRNvM454bgDU2vTzIfMZ7_zPPSwWrQrYaB67NykXNS9KeFmacL8ue-bmy_X95e6dfDNHfjtRklz27kbIdtL3dZy-SM5mOZZyUkQ75ROoMgqRoLHBEtZCvX-jWw44NXCvW_lf3o4QOoGGm3Wn_q6Hll_OLCCWvTKPVagwMHxwZvacb_0mXrw2E76VeQ_zIW_z8KdvldSKCjdPSyldWZ9yLK3mLTbJ0fhPvkf6r0TmF9ULFj6abARSvIoLWCf-bZT0s3b6s7oEqzdWvYP4fMvEX9v9tilvZOrm1oUEPo8nqx2NIX49Rj59WP-hBhKUwhz-3SbRIvkOJ6bqqVcibE-me5OnZHt0u_bv2vjSboXSah7sOehdVQnvMSNkO2H94-EsISHFUZQ7UNW5ITz4OuB3YcFZ9UFq3KWizO4iNKccJLSmJ-tLlhGCsYY51VW5yVARvOM0ayKABLOquJMXlBCGclYFFEaEz4TJRRpmtSQJkXBCo5iAo2QauZRnmmzPBveZF-kMU3pmRIFKDt8qUFpC894uIkoRcnVmbkY3oEX_dKimChpnd3N4qRTwyceg5uSK4xScuTddUqwr_DGF-WbDzmwCD4b6A18-PuAs96oi9Pf4w8A_C8AAP__ukd_5g">