[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 04/27] tcg: Remove branch-to-next regardless of reference count
From: |
Richard Henderson |
Subject: |
[PATCH 04/27] tcg: Remove branch-to-next regardless of reference count |
Date: |
Mon, 30 Jan 2023 10:59:12 -1000 |
Just because the label reference count is more than 1 does
not mean we cannot remove a branch-to-next. By doing this
first, the label reference count may drop to 0, and then
the label itself gets removed as before.
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
---
tcg/tcg.c | 33 +++++++++++++++++----------------
1 file changed, 17 insertions(+), 16 deletions(-)
diff --git a/tcg/tcg.c b/tcg/tcg.c
index 0bb0bdbe43..fc0de1dccc 100644
--- a/tcg/tcg.c
+++ b/tcg/tcg.c
@@ -2636,7 +2636,7 @@ TCGOp *tcg_op_insert_after(TCGContext *s, TCGOp *old_op,
/* Reachable analysis : remove unreachable code. */
static void reachable_code_pass(TCGContext *s)
{
- TCGOp *op, *op_next;
+ TCGOp *op, *op_next, *op_prev;
bool dead = false;
QTAILQ_FOREACH_SAFE(op, &s->ops, link, op_next) {
@@ -2646,6 +2646,22 @@ static void reachable_code_pass(TCGContext *s)
switch (op->opc) {
case INDEX_op_set_label:
label = arg_label(op->args[0]);
+
+ /*
+ * Optimization can fold conditional branches to unconditional.
+ * If we find a label which is preceded by an unconditional
+ * branch to next, remove the branch. We couldn't do this when
+ * processing the branch because any dead code between the branch
+ * and label had not yet been removed.
+ */
+ op_prev = QTAILQ_PREV(op, link);
+ if (op_prev->opc == INDEX_op_br &&
+ label == arg_label(op_prev->args[0])) {
+ tcg_op_remove(s, op_prev);
+ /* Fall through means insns become live again. */
+ dead = false;
+ }
+
if (label->refs == 0) {
/*
* While there is an occasional backward branch, virtually
@@ -2659,21 +2675,6 @@ static void reachable_code_pass(TCGContext *s)
/* Once we see a label, insns become live again. */
dead = false;
remove = false;
-
- /*
- * Optimization can fold conditional branches to unconditional.
- * If we find a label with one reference which is preceded by
- * an unconditional branch to it, remove both. This needed to
- * wait until the dead code in between them was removed.
- */
- if (label->refs == 1) {
- TCGOp *op_prev = QTAILQ_PREV(op, link);
- if (op_prev->opc == INDEX_op_br &&
- label == arg_label(op_prev->args[0])) {
- tcg_op_remove(s, op_prev);
- remove = true;
- }
- }
}
break;
--
2.34.1
- [PATCH] target/arm: Fix physical address resolution for Stage2, (continued)
- [PATCH] target/arm: Fix physical address resolution for Stage2, Richard Henderson, 2023/01/30
- [PATCH 03/27] accel/tcg: Use more accurate max_insns for tb_overflow, Richard Henderson, 2023/01/30
- [PATCH 01/27] tcg: Adjust TCGContext.temps_in_use check, Richard Henderson, 2023/01/30
- [PATCH 06/27] tcg: Add liveness_pass_0, Richard Henderson, 2023/01/30
- [PATCH 08/27] tcg: Pass TCGTempKind to tcg_temp_new_internal, Richard Henderson, 2023/01/30
- [PATCH 09/27] tcg: Add tcg_temp_ebb_new_{i32,i64,ptr}, Richard Henderson, 2023/01/30
- [PATCH 04/27] tcg: Remove branch-to-next regardless of reference count,
Richard Henderson <=
- [PATCH 10/27] tcg: Add tcg_gen_movi_ptr, Richard Henderson, 2023/01/30
- [PATCH 07/27] tcg: Remove TEMP_NORMAL, Richard Henderson, 2023/01/30
- [PATCH 16/27] target/arm: Drop copies in gen_sve_{ldr,str}, Richard Henderson, 2023/01/30
- [PATCH 15/27] tcg: Change default temp lifetime to TEMP_TB, Richard Henderson, 2023/01/30
- [PATCH 13/27] accel/tcg/plugin: Tidy plugin_gen_disable_mem_helpers, Richard Henderson, 2023/01/30
- [PATCH 11/27] tcg: Use tcg_temp_ebb_new_* in tcg/, Richard Henderson, 2023/01/30