This helper is used later during the SSA construction and is,
as its name suggest, used to insert phi-nodes in the
instruction stream.
More exactly, the phi-node will be put at the begining of the
specified BB, just after the others phi-nodes but before
any other instructions.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx>
---
linearize.c | 22 ++++++++++++++++++++++
linearize.h | 1 +
2 files changed, 23 insertions(+)
diff --git a/linearize.c b/linearize.c
index 3d14892cd..0af92a08e 100644
--- a/linearize.c
+++ b/linearize.c
@@ -852,6 +852,28 @@ pseudo_t alloc_phi(struct basic_block *source, pseudo_t pseudo, struct symbol *t
return phi;
}
+pseudo_t insert_phi_node(struct basic_block *bb, struct symbol *type)
+{
+ struct instruction *phi_node = alloc_typed_instruction(OP_PHI, type);
+ struct instruction *insn;
+ pseudo_t phi;
+
+ phi = alloc_pseudo(phi_node);
+ phi_node->target = phi;
+ phi_node->bb = bb;
+
+ FOR_EACH_PTR(bb->insns, insn) {
+ enum opcode op = insn->opcode;
+ if (op == OP_ENTRY || op == OP_PHI)
+ continue;
+ INSERT_CURRENT(phi_node, insn);
+ return phi;
+ } END_FOR_EACH_PTR(insn);
+
+ add_instruction(&bb->insns, phi_node);
+ return phi;
+}
+
/*
* We carry the "access_data" structure around for any accesses,
* which simplifies things a lot. It contains all the access
diff --git a/linearize.h b/linearize.h
index 060d5f327..a67f5b3e7 100644
--- a/linearize.h
+++ b/linearize.h
@@ -332,6 +332,7 @@ struct entrypoint {
extern void insert_select(struct basic_block *bb, struct instruction *br, struct instruction *phi, pseudo_t if_true, pseudo_t if_false);
extern void insert_branch(struct basic_block *bb, struct instruction *br, struct basic_block *target);
+pseudo_t insert_phi_node(struct basic_block *bb, struct symbol *type);
pseudo_t alloc_phi(struct basic_block *source, pseudo_t pseudo, struct symbol *type);
pseudo_t alloc_pseudo(struct instruction *def);
pseudo_t value_pseudo(long long val);
--
2.14.0
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
