> For the complete documentation index, see [llms.txt](https://docs.hylo-lang.org/hylo-ir/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.hylo-lang.org/hylo-ir/val-ir.md).

# Hylo IR

Hylo IR is an [SSA-form](https://en.wikipedia.org/wiki/Static_single-assignment_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.