6 releases

0.0.7 Jun 2, 2023
0.0.6 Jan 12, 2023
0.0.5 Mar 9, 2022
0.0.4 Feb 21, 2022
0.0.1 Sep 14, 2021

#259 in Development tools

Download history 16/week @ 2023-12-23 100/week @ 2023-12-30 92/week @ 2024-01-06 120/week @ 2024-01-13 46/week @ 2024-01-20 2/week @ 2024-02-10 65/week @ 2024-02-17 86/week @ 2024-02-24 69/week @ 2024-03-02 74/week @ 2024-03-09 50/week @ 2024-03-16 164/week @ 2024-03-23 149/week @ 2024-03-30 213/week @ 2024-04-06

583 downloads per month

GPL-3.0 license

230KB
6K SLoC

Koopa

github crates.io docs.rs build status

Library for generating/parsing/optimizing Koopa IR.

Koopa IR is the next generation of education-oriented intermediate representation designed for compiler courses at Peking University.

Usage

cargo add koopa

Koopa IR

Here is a "Hello, world!" program in Koopa IR:

// `putchar` function in libc.
decl @putchar(i32): i32

// A helper function for printing strings (integer arrays).
fun @putstr(@arr: *i32) {
%entry:
  jump %loop_entry(@arr)

%loop_entry(%ptr: *i32):
  %cur = load %ptr
  br %cur, %loop_body, %end

%loop_body:
  call @putchar(%cur)
  %next = getptr %ptr, 1
  jump %loop_entry(%next)

%end:
  ret
}

// String "Hello, world!\n\0".
global @str = alloc [i32, 15], {
  72, 101, 108, 108, 111, 44, 32, 119, 111, 114, 108, 100, 33, 10, 0
}

// `main` function, the entry point of the program.
fun @main(): i32 {
%entry:
  %str = getelemptr @str, 0
  call @putstr(%str)
  ret 0
}

Koopa IR is a strongly-typed, SSA form based intermediate representation. It's simple but powerful enough to support compilation of code into machine instructions, or some advanced optimizations of it.

For more details, see the document of Koopa IR (Chinese).

Examples

See the examples directory, which contains three examples:

  • opt: a simple Koopa IR optimizer.
  • brainfuck: a brainfuck to Koopa IR compiler.
  • interpreter: a simple Koopa IR interpreter.

And there are some more complex examples:

  • kira-rs: The Kira compiler (Rust version), which compiles SysY language into Koopa IR and RISC-V assembly.
  • kira-cpp: The Kira compiler (C++ version).

References

Koopa IR library is heavily influenced by LLVM and Cranelift.

Changelog

See CHANGELOG.md.

License

Copyright (C) 2010-2023 MaxXing. License GPLv3.

Dependencies

~0.1–9.5MB
~53K SLoC