FBT_FMT3_RS1
FBT_FMT3_RS1(instr) == FBT_REG_O6 && \
uint32_t rs1 = FBT_FMT3_RS1(cti);
rs1 = FBT_FMT3_RS1(restore);
uint32_t rs1 = FBT_FMT3_RS1(cti);
rs1 = FBT_FMT3_RS1(restore);
FBT_FMT3_RS1(cti) != FBT_REG_O7) {
rs1 = FBT_FMT3_RS1(cti);