IRDL: an IR definition language for SSA compilers (Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation)