commit 74ece8ec21ca8ce6c3f608db50b72d967124b98c
author Mehdi Amini <joker.eph@gmail.com> Wed Sep 17 10:00:16 2025 +0200
committer Copybara-Service <copybara-worker@google.com> Wed Sep 17 01:15:41 2025 -0700
tree 11e55b91e5227555a67408bcf6deb342134eb3fb
parent 35fa2aaf811ae8575b9113db9532d060f9d8a6df

[MLIR] Add a getStaticTripCount method to LoopLikeOpInterface (#158679)

This patch adds a `getStaticTripCount` to the LoopLikeOpInterface,
allowing loops to optionally return a static trip count when possible.
This is implemented on SCF ForOp, revamping the implementation of
`constantTripCount`, removing redundant duplicate implementations from
SCF.cpp.

GitOrigin-RevId: 75469bb376b7fa931d03ea95f6b7142d27ef0e51