At least for Rust, I know that it flows through the whole pipeline and piggy backs off of llvmir for multi platform support and strong optimisations Rust -> HI

At least for Rust, I know that it flows through the whole pipeline and piggy backs off of llvmir for multi platform support and strong optimisations Rust -> HIR (higher intermediate representation) -> MIR (middle intermediate representation) -> LLVMIR Different stages are differing levels of complexity and do different checks