What is the list of all existing Bril interpreters?

[rcplane]

I am interested in the question of what is the fastest Bril interpreter.
In order to form a leaderboard, we would need

1. a list of interpreters that exist
2. specify a benchmark suite and running conditions (runtime, end-to-end including compilation time)
3. a standardized platform target such as an x86 virtualized docker container based on polyglot for github actions submission

Starting from the top, what are all existing Bril interpreters? Please do contribute more to this list, especially if the interpreter in question has a shot at fastest. If particular benchmarks have performance interest, do note them.

• brili.ts doc
• bril-rs doc
• brilift
• brilc
• bril-ocaml
• bril-hs

[Pat-Lafon]

Have you seen #213 #234? There is also sampsyo/cs6120#304 floating around.

I would also note something like: #221. Creating benchmarks/long with the purpose of stressing interpreters(as opposed to programs which are amenable to compiler optimizations).

[sampsyo]

There are two in-tree interpreters:

• the slow reference interpreter in TypeScript
• the fast interpreter in Rust

There are three in-tree compilers from Bril to native executables:

• Brilift, using Cranelift
• Brillvm, using LLVM via some Rust bindings
• bril-llvm, using LLVM via generating text IR from Python

I don't believe the OCaml library includes an interpreter.

Some things that are not in tree that could be worth trying, but for which we can't vouch for the "freshness":

• a bytecode interpeter (I would still love to merge this into the tree if you want, @charles-rs & @susan-garry)
• a compiler to C source code
• a compiler to Java bytecode

[charles-rs]

Give me like a week or so to split off of the byte code stuff from the armv8 stuff then merge it in!

[sampsyo]

Awesome!

[rcplane]

Hi @Pat-Lafon , might you be able to recommend a version of LLVM to try with Brillvm ?
I've been trying make rt with LLVM 17 and seeing

error: could not find native static library `Polly`, perhaps an -L flag is missing?
error: could not compile `llvm-sys` (lib) due to previous error

[Pat-Lafon]

Inkwell is working on support for llvm 17 TheDan64/inkwell#448. Brillvm currently should work with llvm16 as specified in the CI. Maybe I should note that.