ir_instr implementation