Futhark.Analysis.Metrics

Abstract Syntax Tree metrics. This is used in the futhark test program, for the structure stanzas.

Documentation

newtype AstMetrics

AST metrics are simply a collection from identifiable node names to the number of times that node appears.

Constructors

AstMetrics (Map Text Int)

Instances

Read AstMetrics

Defined in Futhark.Analysis.Metrics.Type

Methods

readsPrec :: Int -> ReadS AstMetrics

readList :: ReadS [AstMetrics]

readPrec :: ReadPrec AstMetrics

readListPrec :: ReadPrec [AstMetrics]

Show AstMetrics

Defined in Futhark.Analysis.Metrics.Type

Methods

showsPrec :: Int -> AstMetrics -> ShowS

show :: AstMetrics -> String

showList :: [AstMetrics] -> ShowS

progMetrics :: OpMetrics (Op rep) => Prog rep -> AstMetrics

Compute the metrics for a program.

Extensibility

class OpMetrics op where

Compute the metrics for some operation.

Methods

opMetrics :: op -> MetricsM ()

Instances

OpMetrics SizeOp

Defined in Futhark.IR.GPU.Op

Methods

opMetrics :: SizeOp -> MetricsM ()

OpMetrics (Op rep) => OpMetrics (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

opMetrics :: SOAC rep -> MetricsM ()

OpMetrics a => OpMetrics (Maybe a)

Defined in Futhark.Analysis.Metrics

Methods

opMetrics :: Maybe a -> MetricsM ()

(OpMetrics (Op rep), OpMetrics (op rep)) => OpMetrics (HostOp op rep)

Defined in Futhark.IR.GPU.Op

Methods

opMetrics :: HostOp op rep -> MetricsM ()

(OpMetrics (Op rep), OpMetrics (op rep)) => OpMetrics (MCOp op rep)

Defined in Futhark.IR.MC.Op

Methods

opMetrics :: MCOp op rep -> MetricsM ()

OpMetrics (inner rep) => OpMetrics (MemOp inner rep)

Defined in Futhark.IR.Mem

Methods

opMetrics :: MemOp inner rep -> MetricsM ()

OpMetrics (NoOp rep)

Defined in Futhark.Analysis.Metrics

Methods

opMetrics :: NoOp rep -> MetricsM ()

OpMetrics (Op rep) => OpMetrics (SegOp lvl rep)

Defined in Futhark.IR.SegOp

Methods

opMetrics :: SegOp lvl rep -> MetricsM ()

seen :: Text -> MetricsM ()

Add this node to the current tally.

inside :: Text -> MetricsM () -> MetricsM ()

Enclose a metrics counting operation. Most importantly, this prefixes the name of the context to all the metrics computed in the enclosed operation.

data MetricsM a

This monad is used for computing metrics. It internally keeps track of what we've seen so far. Use seen to add more stuff.

Instances

Applicative MetricsM

Defined in Futhark.Analysis.Metrics

Methods

pure :: a -> MetricsM a

(<*>) :: MetricsM (a -> b) -> MetricsM a -> MetricsM b

liftA2 :: (a -> b -> c) -> MetricsM a -> MetricsM b -> MetricsM c

(*>) :: MetricsM a -> MetricsM b -> MetricsM b

(<*) :: MetricsM a -> MetricsM b -> MetricsM a

Functor MetricsM

Defined in Futhark.Analysis.Metrics

Methods

fmap :: (a -> b) -> MetricsM a -> MetricsM b

(<$) :: a -> MetricsM b -> MetricsM a

Monad MetricsM

Defined in Futhark.Analysis.Metrics

Methods

(>>=) :: MetricsM a -> (a -> MetricsM b) -> MetricsM b

(>>) :: MetricsM a -> MetricsM b -> MetricsM b

return :: a -> MetricsM a

stmMetrics :: OpMetrics (Op rep) => Stm rep -> MetricsM ()

Compute metrics for this statement.

lambdaMetrics :: OpMetrics (Op rep) => Lambda rep -> MetricsM ()

Compute metrics for this lambda.

bodyMetrics :: OpMetrics (Op rep) => Body rep -> MetricsM ()

Compute metrics for this body.