Futhark.Representation.AST.Attributes.Ranges

Utility declarations for performing range analysis.

Documentation

type Bound = Maybe KnownBound

A possibly undefined bound on a value.

data KnownBound

A known bound on a value.

Constructors

VarBound VName

Has the same bounds as this variable. VERY IMPORTANT: this variable may be an array, so it cannot be immediately translated to a ScalExp.

MinimumBound KnownBound KnownBound

Bounded by the minimum of these two bounds.

MaximumBound KnownBound KnownBound

Bounded by the maximum of these two bounds.

ScalarBound ScalExp

Bounded by this scalar expression.

Instances

Eq KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

(==) :: KnownBound -> KnownBound -> Bool

(/=) :: KnownBound -> KnownBound -> Bool

Ord KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

compare :: KnownBound -> KnownBound -> Ordering

(<) :: KnownBound -> KnownBound -> Bool

(<=) :: KnownBound -> KnownBound -> Bool

(>) :: KnownBound -> KnownBound -> Bool

(>=) :: KnownBound -> KnownBound -> Bool

max :: KnownBound -> KnownBound -> KnownBound

min :: KnownBound -> KnownBound -> KnownBound

Show KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

showsPrec :: Int -> KnownBound -> ShowS

show :: KnownBound -> String

showList :: [KnownBound] -> ShowS

Pretty KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

ppr :: KnownBound -> Doc

pprPrec :: Int -> KnownBound -> Doc

pprList :: [KnownBound] -> Doc

FreeAttr KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

precomputed :: KnownBound -> FV -> FV

FreeIn KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

freeIn' :: KnownBound -> FV

Substitute KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

substituteNames :: Map VName VName -> KnownBound -> KnownBound

Rename KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

rename :: KnownBound -> RenameM KnownBound

RangeOf Range

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

rangeOf :: Range -> Range

PrettyAnnot (PatElemT attr) => PrettyAnnot (PatElemT (Range, attr))

Defined in Futhark.Representation.Ranges

Methods

ppAnnot :: PatElemT (Range, attr) -> Maybe Doc

AliasesOf attr => AliasesOf ([Range], attr)

Defined in Futhark.Representation.Ranges

Methods

aliasesOf :: ([Range], attr) -> Names

AliasesOf attr => AliasesOf (Range, attr)

Defined in Futhark.Representation.Ranges

Methods

aliasesOf :: (Range, attr) -> Names

RangesOf ([Range], attr)

Defined in Futhark.Representation.Ranges

Methods

rangesOf :: ([Range], attr) -> [Range]

RangeOf (Range, attr)

Defined in Futhark.Representation.Ranges

Methods

rangeOf :: (Range, attr) -> Range

boundToScalExp :: KnownBound -> Maybe ScalExp

Convert the bound to a scalar expression if possible. This is possible for all bounds that do not contain VarBounds.

minimumBound :: Bound -> Bound -> Bound

Construct a MinimumBound from two possibly known bounds. The resulting bound will be unknown unless both of the given Bounds are known. This may seem counterintuitive, but it actually makes sense when you consider the task of combining the lower bounds for two different flows of execution (like an if expression). If we only have knowledge about one of the branches, this means that we have no useful information about the combined lower bound, as the other branch may take any value.

maximumBound :: Bound -> Bound -> Bound

Like minimumBound, but constructs a MaximumBound.

type Range = (Bound, Bound)

Upper and lower bound, both inclusive.

unknownRange :: Range

A range in which both upper and lower bounds are 'Nothing.

type ScalExpRange = (Maybe ScalExp, Maybe ScalExp)

The range as a pair of scalar expressions.

type Ranged lore = (Attributes lore, RangedOp (Op lore), RangeOf (LetAttr lore), RangesOf (BodyAttr lore))

The lore has embedded range information. Note that it may not be up to date, unless whatever maintains the syntax tree is careful.

class RangeOf a where

Something that contains range information.

Methods

rangeOf :: a -> Range

The range of the argument element.

Instances

RangeOf SubExp

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

rangeOf :: SubExp -> Range

RangeOf Range

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

rangeOf :: Range -> Range

RangeOf attr => RangeOf (PatElemT attr)

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

rangeOf :: PatElemT attr -> Range

RangeOf (Range, attr)

Defined in Futhark.Representation.Ranges

Methods

rangeOf :: (Range, attr) -> Range

RangeOf (VarWisdom, attr)

Defined in Futhark.Optimise.Simplify.Lore

Methods

rangeOf :: (VarWisdom, attr) -> Range

class RangesOf a where

Something that contains range information for several things, most notably Body or Pattern.

Methods

rangesOf :: a -> [Range]

The ranges of the argument.

Instances

RangeOf a => RangesOf [a]

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

rangesOf :: [a] -> [Range]

Ranged lore => RangesOf (Body lore)

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

rangesOf :: Body lore -> [Range]

RangeOf attr => RangesOf (PatternT attr)

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

rangesOf :: PatternT attr -> [Range]

RangesOf ([Range], attr)

Defined in Futhark.Representation.Ranges

Methods

rangesOf :: ([Range], attr) -> [Range]

expRanges :: Ranged lore => Exp lore -> [Range]

Ranges of the value parts of the expression.

class IsOp op => RangedOp op where

Methods

opRanges :: op -> [Range]

Instances

RangedOp ()

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

opRanges :: () -> [Range]

RangedOp SizeOp

Defined in Futhark.Representation.Kernels.Kernel

Methods

opRanges :: SizeOp -> [Range]

Ranged inner => RangedOp (SOAC inner)

Defined in Futhark.Representation.SOACS.SOAC

Methods

opRanges :: SOAC inner -> [Range]

RangedOp inner => RangedOp (MemOp inner)

Defined in Futhark.Representation.Mem

Methods

opRanges :: MemOp inner -> [Range]

(Attributes inner, ASTConstraints lvl) => RangedOp (SegOp lvl inner)

Defined in Futhark.Representation.SegOp

Methods

opRanges :: SegOp lvl inner -> [Range]

(Attributes lore, RangedOp op) => RangedOp (HostOp lore op)

Defined in Futhark.Representation.Kernels.Kernel

Methods

opRanges :: HostOp lore op -> [Range]

class RangedOp (OpWithRanges op) => CanBeRanged op where

Associated Types

type OpWithRanges op :: Type

Methods

removeOpRanges :: OpWithRanges op -> op

addOpRanges :: op -> OpWithRanges op

Instances

CanBeRanged ()

Defined in Futhark.Representation.AST.Attributes.Ranges

Associated Types

type OpWithRanges ()

Methods

removeOpRanges :: OpWithRanges () -> ()

addOpRanges :: () -> OpWithRanges ()

(Attributes lore, CanBeRanged (Op lore)) => CanBeRanged (SOAC lore)

Defined in Futhark.Representation.SOACS.SOAC

Associated Types

type OpWithRanges (SOAC lore)

Methods

removeOpRanges :: OpWithRanges (SOAC lore) -> SOAC lore

addOpRanges :: SOAC lore -> OpWithRanges (SOAC lore)

CanBeRanged inner => CanBeRanged (MemOp inner)

Defined in Futhark.Representation.Mem

Associated Types

type OpWithRanges (MemOp inner)

Methods

removeOpRanges :: OpWithRanges (MemOp inner) -> MemOp inner

addOpRanges :: MemOp inner -> OpWithRanges (MemOp inner)

(Attributes lore, CanBeRanged (Op lore), ASTConstraints lvl) => CanBeRanged (SegOp lvl lore)

Defined in Futhark.Representation.SegOp

Associated Types

type OpWithRanges (SegOp lvl lore)

Methods

removeOpRanges :: OpWithRanges (SegOp lvl lore) -> SegOp lvl lore

addOpRanges :: SegOp lvl lore -> OpWithRanges (SegOp lvl lore)

(CanBeRanged (Op lore), CanBeRanged op, Attributes lore) => CanBeRanged (HostOp lore op)

Defined in Futhark.Representation.Kernels.Kernel

Associated Types

type OpWithRanges (HostOp lore op)

Methods

removeOpRanges :: OpWithRanges (HostOp lore op) -> HostOp lore op

addOpRanges :: HostOp lore op -> OpWithRanges (HostOp lore op)