FBT_REG_O0
*tinstr++ = FBT_SETHI(id, FBT_REG_O0);
*tinstr++ = FBT_ORLO(FBT_REG_O0, id, FBT_REG_O0);
*tinstr++ = FBT_ORSIMM13(FBT_REG_G0, id, FBT_REG_O0);
*tinstr++ = FBT_SETHI(id, FBT_REG_O0);
*tinstr++ = FBT_ORLO(FBT_REG_O0, id, FBT_REG_O0);
*tinstr++ = FBT_ORSIMM13(FBT_REG_G0, id, FBT_REG_O0);
if (FBT_FMT3_RD(restore) == FBT_REG_O0) {
uint32_t rs1, rs2, o2i = FBT_REG_I0 - FBT_REG_O0;
*tinstr++ = FBT_SETHI(id, FBT_REG_O0);
*tinstr++ = FBT_ORLO(FBT_REG_O0, id, FBT_REG_O0);
*tinstr++ = FBT_ORSIMM13(FBT_REG_G0, id, FBT_REG_O0);