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

    <tr>
        <th>Summary</th>
        <td>
            [mlir][scf] `scf.for` verifier shouldn't check for invalid step values.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir:scf
      </td>
    </tr>

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

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

<pre>
    Verifiers shouldn't check non-local properties, see https://mlir.llvm.org/getting_started/DeveloperGuide/ "IR Verifier".
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxskL2O1TAQhZ9m0lgbxZMf3xQudrkK0FLQIv9MEoNvfOVxIvH2KNECQqKa6pw532eYw7IRaejfoL9XZi9ryvqTyd4lT7eussn_1F8phzlQZsFr2qPfAFURbiX3Q2xpe4nJmSieOT0pl0AM-EEwkVhLeTK0r4AT4PSIIdcxHo865QVwWqiUsC3fuJhcyANOdzooniUf9-AJcBKA-PmL-P0fEOvK69aP7Wgq0lI13aiGcVDVqlspXSNbRSPe7EBkvR1xMIOSdFPj3FdBY4NdI6WU2GGn6tH2ZNthts5L6clA19DDhPhnZBWYd9JKqb6vorEU-TKFeLJA-8puBsTTXNZn6MXuC0PXxMCF_9aUUOLl-Ir1d-jfzmR_FzA07OZ6ThmGRhzvnP_RPKcswnaYGLzgQk9xmLgT19Weo_7X8xLKutvapQfgdG54Py_PnL6TK4DTxcWA04X2KwAA__99vaeL">