The incoming new method to construct the SSA form that can be done during the linearization. It needs only and a small API: - store_var() - load_var() - seal_bb() These calls can easily be inserted into the current linearization. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> --- ssa.h | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 ssa.h diff --git a/ssa.h b/ssa.h new file mode 100644 index 000000000..484c2b418 --- /dev/null +++ b/ssa.h @@ -0,0 +1,11 @@ +#ifndef SSA_H +#define SSA_H + +#include "linearize.h" + +/* ssa.c */ +pseudo_t load_var(struct basic_block *bb, struct symbol *var); +void store_var(struct basic_block *bb, struct symbol *var, pseudo_t val); +void seal_bb(struct basic_block *bb); + +#endif -- 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