Ir -> IR