Cycles from a fixed-latency writer's issue to a reader's.
605def sm121LowerReadAfterWrite =
606 (lambda unrestricted writer : (family SM121LowerClass) .
607 (lambda unrestricted reader : (family SM121LowerClass) .
608 (nat-add
609 (sm121LowerReaderRow reader (sm121LowerWriterColumn writer))
610 (naturalSelect
611 (naturalOr (sm121LowerIsTensor writer) (sm121LowerIsTensor reader))
612 sm121LowerTensorPadding
613 sm121LowerPadding))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.