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

Safe HaskellNone
LanguageHaskell2010

Futhark.Pass.ResolveAssertions

Description

Go through the program and use algebraic simplification and range analysis to try to figure out which assertions are statically true.

Currently implemented by running the simplifier with a special rule that is too expensive to run all the time.

Synopsis

Documentation

resolveAssertions :: Pass SOACS SOACS Source #

The assertion-resolver pass.