RV_REG_TCC_SAVED
emit(rv_addi(RV_REG_TCC_SAVED, RV_REG_TCC, 0), ctx);
emit(rv_addi(RV_REG_TCC, RV_REG_TCC_SAVED, 0), ctx);
emit_mv(RV_REG_TCC_SAVED, RV_REG_TCC, ctx);