Safe Haskell	Safe-Inferred
Language	Haskell2010

Futhark.Analysis.CallGraph

Description

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

Synopsis

data CallGraph
buildCallGraph :: Prog SOACS -> CallGraph
isFunInCallGraph :: Name -> CallGraph -> Bool
calls :: Name -> Name -> CallGraph -> Bool
calledByConsts :: Name -> CallGraph -> Bool
allCalledBy :: Name -> CallGraph -> Set Name
findNoninlined :: Prog SOACS -> Set Name

Documentation

data CallGraph Source #

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

We keep track separately of the functions called by constants.

buildCallGraph :: Prog SOACS -> CallGraph Source #

buildCallGraph prog build the program's call graph.

isFunInCallGraph :: Name -> CallGraph -> Bool Source #

Is the given function known to the call graph?

calls :: Name -> Name -> CallGraph -> Bool Source #

Does the first function call the second?

calledByConsts :: Name -> CallGraph -> Bool Source #

Is the function called in any of the constants?

allCalledBy :: Name -> CallGraph -> Set Name Source #

All functions called by this function.

findNoninlined :: Prog SOACS -> Set Name Source #

The set of all functions that are called noinline somewhere, or have a noinline attribute on their definition.