Function sequant::eval::dryrun::detail::range_at

• Defined in File result.hpp

Function Documentation

inline std::pair<std::size_t, std::size_t> sequant::eval::dryrun::detail::range_at(ExtentOverrides const &ov, ExtentOverrides const &lob, std::shared_ptr<CostModel const> const &cm, annot_t const &annot, std::size_t pos)

The realized element range of position pos of an operand: (lo, extent) &#8212; sliced modes from the overrides, whole modes from the regime. (lo, extent); extent is 0 when unknown (whole mode whose label the regime does not size, e.g. a fixture hyperindex) &#8212; callers compare only known extents.