No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
apps
deps
llvm
note/prelim
pass
unit
work
.gitignore
.gitmodules
README.md

README.md

Init

  • LLVM : cd llvm && ./init.sh
  • Z3 : cd deps/z3 && ./init.sh

Build

  • For first time buildi : ./llvm.py build -c
  • For later build : ./llvm.py build
  • For debug build : ./llvm.py build -c -d

Test

  • Set test env : ./llvm.py work
  • Run on bitcode file : opt -symf
  • Exit test env : Ctrl + D or exit

Kernel

(In the case of Linux kernel)

  • Setup submodule : git submodule update --init -- app/linux-stable
  • Checkout a version : ./main.py checkout
  • Config : ./main.py config
  • Build w/gcc (3 hours) : ./main.py build
  • Parse build procedure : ./main.py parse
  • Build w/llvm : ./main.py irgen
  • Group into modules : ./main.py group
  • Optimize and LTO : ./main.py trans
  • Run the checker : ./main.py check
  • Check failure/timeouts : ./main.py stat