Hydride Build

This page talks about how to build Hydride from scratch.

First install Rosette and Hydride package for Racket. The instruction is given in README.md. Remeber to always setup the environment by sourcing setup.sh.

To build Hydride backend for Halide, an LLVM 12.x is needed. The shell frontends/halide/install.sh in armdev branch gives an example Makefile, which downloads LLVM 12.x to frontends/halide/ and build LLVM as well as Halide in this folder.

The last step is to build legalizer for the target. The file codegen-generator/tools/low-level-codegen/CMakeLists.txt gives an example to build legalizer for ARM.

For example, one can build legalizer under codegen-generator/tools/low-level-codegen/build, both setup.sh and Makefile is configured for this case. Notice that both leglaizer.so(.dylib) and wrappers.ll are all needed and should be export into environment.

So far, one can use Hydride (with Halide) by using Makefiles under benchmarks folder.