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

Safe Haskell	None
Language	Haskell2010

Futhark.Analysis.PrimExp.Simplify

Description

Defines simplification functions for PrimExps.

Synopsis

simplifyPrimExp :: SimplifiableLore lore => PrimExp VName -> SimpleM lore (PrimExp VName)
simplifyExtPrimExp :: SimplifiableLore lore => PrimExp (Ext VName) -> SimpleM lore (PrimExp (Ext VName))

Documentation

simplifyPrimExp :: SimplifiableLore lore => PrimExp VName -> SimpleM lore (PrimExp VName) Source #

Simplify a PrimExp, including copy propagation. If a LeafExp refers to a name that is a Constant, the node turns into a ValueExp.

simplifyExtPrimExp :: SimplifiableLore lore => PrimExp (Ext VName) -> SimpleM lore (PrimExp (Ext VName)) Source #

Like simplifyPrimExp, but where leaves may be Exts.