Machine Readable Specification for the Cadence Intermediate Representation

[jsproz]

Issue to be solved

Create a machine readable specification for the Cadence IR (Intermediate Representation) that can be used to generate the structures for the IR.

Suggested Solution

• The specification has a section that describes the notation.
• The specification has been used to generate a go implementation that is a drop-in replacement for the current IR nodes.
• The specification describes the transformation from the ST(Syntax Tree) to the IR.
• The drop-in replacement has been used to compare the current implementation with the generated implementation and there is a high degree of confidence in the specification.