[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH v2 25/81] tcg: Validate op supported in opcode_args_ct
From: |
Richard Henderson |
Subject: |
[PATCH v2 25/81] tcg: Validate op supported in opcode_args_ct |
Date: |
Tue, 7 Jan 2025 00:00:16 -0800 |
We should have checked that the op is supported before
emitting it. The backend cannot be expected to have a
constraint set for unsupported ops.
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
---
tcg/tcg.c | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/tcg/tcg.c b/tcg/tcg.c
index f72a8e5a47..80744b86bb 100644
--- a/tcg/tcg.c
+++ b/tcg/tcg.c
@@ -3367,6 +3367,10 @@ static const TCGArgConstraint *opcode_args_ct(const
TCGOp *op)
const TCGOpDef *def = &tcg_op_defs[op->opc];
TCGConstraintSetIndex con_set;
+#ifdef CONFIG_DEBUG_TCG
+ assert(tcg_op_supported(op->opc, TCGOP_TYPE(op), TCGOP_FLAGS(op)));
+#endif
+
if (def->nb_iargs + def->nb_oargs == 0) {
return NULL;
}
--
2.43.0
- [PATCH v2 02/81] tcg: Replace TCGOP_VECL with TCGOP_TYPE, (continued)
- [PATCH v2 11/81] target/i386: Remove TCG_TARGET_extract_tl_valid, Richard Henderson, 2025/01/07
- [PATCH v2 21/81] tcg: Change have_vec to has_type in tcg_op_supported, Richard Henderson, 2025/01/07
- [PATCH v2 24/81] tcg: Constify tcg_op_defs, Richard Henderson, 2025/01/07
- [PATCH v2 26/81] tcg: Add TCG_OPF_NOT_PRESENT to opcodes without inputs or outputs, Richard Henderson, 2025/01/07
- [PATCH v2 25/81] tcg: Validate op supported in opcode_args_ct,
Richard Henderson <=
- [PATCH v2 06/81] tcg: Add type and flags arguments to tcg_op_supported, Richard Henderson, 2025/01/07
- [PATCH v2 07/81] target/arm: Do not test TCG_TARGET_HAS_bitsel_vec, Richard Henderson, 2025/01/07
[PATCH v2 10/81] tcg: Add tcg_op_deposit_valid, Richard Henderson, 2025/01/07