[Mlir-commits] [mlir] [mlir][scf] Fix front peeling skipped due to float rounding in trip count (PR #231100)

[Federico Bruzzone]

================

----------------
FedericoBruzzone wrote:

I think a comment is needed to explain this aspect before the `if` statement.
Note that the previous condition was likely written in accordance with the documentation for [`scf.for`](https://mlir.llvm.org/docs/Dialects/SCFDialect/#scffor-scfforop):

> The trip count n is max(0, ceil((UB - LB) / Step)) and the induction variable takes the values LB + j*Step for j = 0, ..., n - 1 in that order.

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