Multi-view intermediate representation based on algebraic data type

The structure of intermediate representation (IR) is usually a trade-off between several design considerations in practical compiler systems, and may not be appropriate for expressing the algorithms of some particular phases. On the other hand, conventional designs do not distinguish between the logical view and the physical view of IR. The high-level logic of algorithms is always interwoven with the low-level details operating in the IR. So it is difficult to develop or maintain a compiler or to reuse the code of existing compilers. In an attempt to solve these problems, this paper presents a multi-view IR based on an algebraic data type.