futhark-0.25.9: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageGHC2021

Futhark.IR.Mem.Interval

Synopsis

Documentation

data Interval Source #

Instances

Instances details
Show Interval Source # 
Instance details

Defined in Futhark.IR.Mem.Interval

FreeIn Interval Source # 
Instance details

Defined in Futhark.IR.Mem.Interval

Methods

freeIn' :: Interval -> FV Source #

Eq Interval Source # 
Instance details

Defined in Futhark.IR.Mem.Interval

selfOverlap :: scope -> asserts -> [(VName, PrimExp VName)] -> [PrimExp VName] -> [Interval] -> Maybe Interval Source #

Returns true if the intervals are self-overlapping, meaning that for a given dimension d, the stride of d is larger than the aggregate spans of the lower dimensions.