llvm--2

Dependencies

This has been using clang 17, available on Homebrew and AUR:

brew install llvm
-- or --
yay -S clang17

It might work for earlier releases as well.

Builds a subset of LLVM IR referred to as LLVM-- in our compilers cource.

$ opam --version
2.1.5
$ dune --version
3.11.1
$ ocaml --version
The OCaml toplevel, version 4.14.1

Built with OCaml 4.14.1

opam switch create 4.14.1
eval $(opam env --switch=4.14.1)
opam install dune ocamlgraph stdio ppx_inline_test landmarks-ppx menhir -y

To build one or more .ll files seperately:

dune exec build -- [options] file...

Run the test suite for files/allocators only matching filter if specified:

dune exec tests -- [filter]

Profiling is done with LexiFi/landmarks.

To run on M1:

opam pin landmarks https://github.com/LexiFi/landmarks.git#b0c753c
opam pin landmarks-ppx https://github.com/LexiFi/landmarks.git#b0c753c

OCAML_LANDMARKS=format=json,output=profile.json  dune exec build -- tests/sha256.ll -a greedy -t lva