Compiler InternalsConst MIR and Map IRA plain map of constant lowering and map lowering in Syl.HW IR and SV IRA short map of checked hardware data, backend emission, and the boundary between them.