tcg: Replace if + tcg_abort with tcg_debug_assert

Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
This commit is contained in:
Richard Henderson 2023-04-05 12:08:46 -07:00
parent 6dd0621489
commit 1a057554cc
2 changed files with 4 additions and 8 deletions

View File

@ -1369,8 +1369,8 @@ static void tcg_out_addi(TCGContext *s, int reg, tcg_target_long val)
} }
} }
/* Use SMALL != 0 to force a short forward branch. */ /* Set SMALL to force a short forward branch. */
static void tcg_out_jxx(TCGContext *s, int opc, TCGLabel *l, int small) static void tcg_out_jxx(TCGContext *s, int opc, TCGLabel *l, bool small)
{ {
int32_t val, val1; int32_t val, val1;
@ -1385,9 +1385,7 @@ static void tcg_out_jxx(TCGContext *s, int opc, TCGLabel *l, int small)
} }
tcg_out8(s, val1); tcg_out8(s, val1);
} else { } else {
if (small) { tcg_debug_assert(!small);
tcg_abort();
}
if (opc == -1) { if (opc == -1) {
tcg_out8(s, OPC_JMP_long); tcg_out8(s, OPC_JMP_long);
tcg_out32(s, val - 5); tcg_out32(s, val - 5);

View File

@ -1174,9 +1174,7 @@ static TCGTemp *tcg_global_reg_new_internal(TCGContext *s, TCGType type,
{ {
TCGTemp *ts; TCGTemp *ts;
if (TCG_TARGET_REG_BITS == 32 && type != TCG_TYPE_I32) { tcg_debug_assert(TCG_TARGET_REG_BITS == 64 || type == TCG_TYPE_I32);
tcg_abort();
}
ts = tcg_global_alloc(s); ts = tcg_global_alloc(s);
ts->base_type = type; ts->base_type = type;