Programming Languages Intermediate Representation

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

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 
  {
    ^block1v1():
      builtin.func @foo: builtin.function <()->(builtin.integer si64)> 
      {
        ^entry_block2v1():
          c0_v0 = test.constant builtin.integer <0: si64> !0;
          test.return c0_v0
      }
  }
  
  outlined_attributes:
  !0 = [builtin_debug_info = builtin.debug_info [c0]]

• 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

Add a dependence on the crate in your Rust project.

Current Status:

pliron is under active development. Every effort is made to ensure that the code is well tested and of production quality.

The LLVM dialect, although not complete, can be useful practically. It can, for example, compile bzip2 and lua and run their test suites. These two are already part of our llvm-opt testsuite.

We also plan to start work on supporting a cranelift dialect/backend soon.

Documentation & Resources

• Kaleidoscope tutorial.
• Latest docs (built from master).
• Release docs.rs.
• Misc articles on the wiki

• Some talks / videos on pliron

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

Projects using pliron

• cuda-oxide: NVIDIA's Rust CUDA compiler.
• Commonly used Pliron Dialects
• Pliron Dialect for Tensors

Discussions

• Discord channel (Invitation link)
• GitHub Discussions