Futhark.Analysis.CallGraph

This module exports functionality for generating a call graph of an Futhark program.

Documentation

data CallGraph

The call graph is a mapping from a function name, i.e., the caller, to a record of the names of functions called *directly* (not transitively!) by the function.

We keep track separately of the functions called by constants.

Instances

Show CallGraph

Defined in Futhark.Analysis.CallGraph

Methods

showsPrec :: Int -> CallGraph -> ShowS

show :: CallGraph -> String

showList :: [CallGraph] -> ShowS

Eq CallGraph

Defined in Futhark.Analysis.CallGraph

Methods

(==) :: CallGraph -> CallGraph -> Bool

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

Ord CallGraph

Defined in Futhark.Analysis.CallGraph

Methods

compare :: CallGraph -> CallGraph -> Ordering

(<) :: CallGraph -> CallGraph -> Bool

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

(>) :: CallGraph -> CallGraph -> Bool

(>=) :: CallGraph -> CallGraph -> Bool

max :: CallGraph -> CallGraph -> CallGraph

min :: CallGraph -> CallGraph -> CallGraph

Pretty CallGraph

Defined in Futhark.Analysis.CallGraph

Methods

pretty :: CallGraph -> Doc ann

prettyList :: [CallGraph] -> Doc ann

buildCallGraph :: Prog SOACS -> CallGraph

buildCallGraph prog build the program's call graph.

isFunInCallGraph :: Name -> CallGraph -> Bool

Is the given function known to the call graph?

calls :: Name -> Name -> CallGraph -> Bool

Does the first function call the second?

calledByConsts :: Name -> CallGraph -> Bool

Is the function called in any of the constants?

allCalledBy :: Name -> CallGraph -> Set Name

All functions called by this function.

numOccurences :: CallGraph -> Map Name Int

Produce a mapping of the number of occurences in the call graph of each function. Only counts functions that are called at least once.