SYS-OSS/FRET-qemu
4
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

tcg/tci: Remove assertions for deposit and extract

Browse Source 
We already have these assertions during opcode creation.

Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
This commit is contained in:
Richard Henderson 2024-12-28 14:44:56 -08:00
parent d9336b727f
commit 41736e7ce1
1 changed files with 2 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
tcg/tci/tcg-target.c.inc
View File

@ -775,28 +775,12 @@ static void tcg_out_op(TCGContext *s, TCGOpcode opc, TCGType type,
break; break;
CASE_32_64(deposit) /* Optional (TCG_TARGET_HAS_deposit_*). */ CASE_32_64(deposit) /* Optional (TCG_TARGET_HAS_deposit_*). */
{ tcg_out_op_rrrbb(s, opc, args[0], args[1], args[2], args[3], args[4]);
TCGArg pos = args[3], len = args[4];
TCGArg max = opc == INDEX_op_deposit_i32 ? 32 : 64;
tcg_debug_assert(pos < max);
tcg_debug_assert(pos + len <= max);
tcg_out_op_rrrbb(s, opc, args[0], args[1], args[2], pos, len);
}
break; break;
CASE_32_64(extract) /* Optional (TCG_TARGET_HAS_extract_*). */ CASE_32_64(extract) /* Optional (TCG_TARGET_HAS_extract_*). */
CASE_32_64(sextract) /* Optional (TCG_TARGET_HAS_sextract_*). */ CASE_32_64(sextract) /* Optional (TCG_TARGET_HAS_sextract_*). */
{ tcg_out_op_rrbb(s, opc, args[0], args[1], args[2], args[3]);
TCGArg pos = args[2], len = args[3];
TCGArg max = type == TCG_TYPE_I32 ? 32 : 64;
tcg_debug_assert(pos < max);
tcg_debug_assert(pos + len <= max);
tcg_out_op_rrbb(s, opc, args[0], args[1], pos, len);
}
break; break;
CASE_32_64(brcond) CASE_32_64(brcond)