Ivory.Opts.CFG

Documentation

callGraphDot :: CallNm -> FilePath -> [Module] -> IO CFG

Call-graph output. Takes a start function foo, a filepath, and emits the graph named foo.dot in the filepath.

Generate a dot file of the control flow for a program.

data SizeMap

Constructors

SizeMap

Fields

stackElemMap :: StackType -> Size

Mapping from StackType to their implementation-dependent size.

retSize :: Size

Size of a return address.

Implementation-defined size map for stack elements.

defaultSizeMap :: SizeMap

Maps everything to being size 1. Useful for testing.

hasLoop :: CFG -> Bool

Does the program have a loop in it?

Does the control-flow graph contain a loop?

data WithTop a

Add Top to a type.

Instances

Functor WithTop

Applicative WithTop

Eq a => Eq (WithTop a)

Ord a => Ord (WithTop a)

Show a => Show (WithTop a)

maxStack :: CallNm -> CFG -> SizeMap -> WithTop Size

Takes a procedure name, a control-flow graph, and a SizeMap and produces the maximum stack usage starting at the procedure give. Returns Top if there is an unanalyzable loop in the program (ie., non-constant loop) and Val max otherwise.

What is the maximum stack size of the program?