FBT_OP_RESTORE
(FBT_OP_RESTORE | ((rs1) << FBT_FMT3_RS1_SHIFT) | \
if (FBT_FMT3_OP(*(instr + 1)) != FBT_OP_RESTORE)