Clash.Normalize.Primitives

Special primitives created during the normalization process.

Documentation

removedArg :: PrimInfo

The removedArg primitive represents an argument which is computationally irrelevant, and has been removed from the circuit (as removing it does not change the behaviour of the circuit). Examples of such arguments are unused arguments to blackboxes, as removing them does not affect the rendered HDL.

undefined :: PrimInfo

The undefined primitive represents an undefined value that was identified during normalization. This includes undefined results to compile-time evaluation, such as division by zero.

undefinedX :: PrimInfo

The undefinedX primitive represents an X-exception throwing value that was identified during normalization.