[Mlir-commits] [mlir] [mlir][scf] Add value bound for computed upper bound of forall loop (PR #171158)

[Aviad Cohen]

================
@@ -130,6 +130,17 @@ struct ForallOpInterface
     : public ValueBoundsOpInterface::ExternalModel<ForallOpInterface,
                                                    ForallOp> {
 
+  static AffineExpr getTripCountExpr(scf::ForallOp forAllOp,
----------------
AviadCo wrote:

This function is very similar `getTripCountExpr(scf::ForOp forOp` above, can you please make it common?

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