Lib.rs

Programming Languages Intermediate Representation

pliron is an extensible compiler IR framework, inspired by MLIR and written in safe Rust.

Build and Test

• Install the rust toolchain.

• cargo build and cargo test should build the compiler and run the testsuite.

• To see a simple IR constructed (by the print_simple test), use the following command:

  cargo test print_simple -- --show-output
  

  It should print something like:

  builtin.module @bar 
  {
    ^block_1v1():
      builtin.func @foo: builtin.function <()->(builtin.integer si64)> 
      {
        ^entry_block_2v1():
          c0_op_3v1_res0 = test.constant builtin.integer <0: si64>;
          test.return c0_op_3v1_res0
      }
  }
  

• pliron provides an LLVM Dialect and consequently an llvm-opt tool that can parse LLVM-IR bitcode into the LLVM dialect and output LLVM-IR bitcode.

Using the Library

pliron is currently in a nascent stage and not yet useful for real-world use. In the future it can be used by just adding a dependence to the crate in your Rust project.

Documentation

• Introduction and motivation are covered in the introductory wiki article.
• The wiki also has a comparison of pliron with other compiler projects, touching upon some design decisions.
• Code documentation can be found on docs.rs.

Some talks on pliron

• pliron: An Extensible IR Framework in Rust - IICT'24
• Rust(ing) the Future of Compilers: Pliron as the MLIR Alternative (No C/C++)
• Pliron Rust Workshop (6 sessions)