fn collect_phied_registers(
    ir_code: &FunctionDefinition
) -> Vec<HashSet<RegisterName>>