Hylo IR

Hylo IR is an SSA-form intermediate representation designed as a minimal core language to perform flow-sensitive analyses and high-level optimizations.

Hylo IR is a generic, target-independent instruction set whose semantics is defined in terms of an abstract machine.