#erlang #ir #diagnostics #compiler #compilation #spans #ecosystem

nightly eirproject/libeir_diagnostics

Erlang ecosystem common IR

1 unstable release

0.1.0 Jul 12, 2019

#66 in #erlang

249 stars & 14 watchers

MIT/Apache

21KB
594 lines

Eir Project

Erlang compiler and IR implemented in Rust

Details

Current features:

  • Unified Thorin based IR representation named Eir
  • Erlang frontend
  • Core frontend
  • Pattern match compilation passes
  • Basic optimization and cleanup passes
  • Naive interpreter used for testing

The project is split into several crates:

  • libeir_ir - Contains the core Eir IR data structures, validation, printing
  • libeir_syntax_erl - Frontend for Erlang, lowers to Eir.
  • libeir_syntax_core - Frontend for Core Erlang, lowers to Eir.
  • libeir_passes - Compiler passes operating on Eir.
  • libeir_lowerutils - Utilities for lowering Eir to SSA form.
  • libeir_interpreter - Naive interpreter for Eir. Used to run OTP test suites.
  • libeir_intern - Symbol interning. Used by most other crates.
  • libeir_diagnostics - Source span handling and diagnostics printing.
  • libeir_util - Kitchen sink of utilities used by other crates.
  • pattern-compiler - A generic pattern matching tree compiler.
  • tools - CLI tools used to work with the IR.

Dependencies

~2.4–9.5MB
~95K SLoC