futhark-0.10.1: An optimising compiler for a functional, array-oriented language.

Safe HaskellNone
LanguageHaskell2010

Futhark.Optimise.InliningDeadFun

Description

This module implements a compiler pass for inlining functions, then removing those that have become dead.

Synopsis

Documentation

inlineAndRemoveDeadFunctions :: Pass SOACS SOACS Source #

A composition of inlineAggressively and removeDeadFunctions, to avoid the cost of type-checking the intermediate stage.

removeDeadFunctions :: Pass SOACS SOACS Source #

removeDeadFunctions prog removes the functions that are unreachable from the main function from the program.