On 1/9/2026 12:27 AM, Richard Biener wrote:
Does it make sense to impose such clamping from extern as argument
to genautomata? That would leave the large reservations in the .md file
for documentation purposes (I'd have added comments in places where
you clamped at least for this reason)?
It conceptually makes sense and as Andrew notes there are other cases
where we're clamping.
There's alternate approaches like we see with the power port where each
part's scheduling description often has multiple DFAs with the long
running reservations in one DFA and everything else in another. When
the long running reservations are in a distinct DFA, the explosion
problems aren't so bad. The problem with that approach is you can't
model resource contentions across the distinct DFAs -- so if you're
focused on dispatch more than latency or other function unit hazards, it
falls flat.
It's unclear how clamping those cases would behave, though I suspect it
just doesn't matter in practice.
Jeff
