ir -> ir0