RVG_RS1_OPOFF
(RV_X_MASK(x_, RVG_RS1_OPOFF, RVG_RS1_MASK)); })
rs1_num = decode_register_index(op_code, RVG_RS1_OPOFF);