Multi View Intermediate Representation Based on Algebraic Data Type

摘要

The structure of intermediate representation (IR) is usually trade-off of 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 the logical view and the physical view of IR. The high-level logic of algorithms is always interwoven with the low-lwvel details operating IR So it's difficult to existing compilers. Try to solve these problems, this paper present a multi-view intermediate representation based on algebraic data type.