full implementation of Instr.low_reg and its application to operand expander