[Mlir-commits] [mlir] [mlir][affine] Use value bound inference to determine minimum/maximum trip counts in loop analysis (PR #128113)

[Oleksandr Alex Zinenko]

================
@@ -212,6 +214,40 @@ void mlir::affine::getTripCountMapAndOperands(
                             tripCountValueMap.getOperands().end());
 }
 
+/// Take the min if all trip counts are constant.
----------------
ftynse wrote:

Please provide a significantly better documentation for this function. It is rather confusing what it does, and it doesn't seem to be related to the trip counts in any way. It seems to be computing a min of lower or upper bounds on individual expressions in a map given operands.

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