FBT_REG_L2
FBT_FMT3_SIMM13(cti), FBT_REG_L2);
*tinstr++ = FBT_ADD(rs1, rs2, FBT_REG_L2);
*tinstr++ = FBT_CMP(FBT_REG_L2, FBT_REG_L3);