/*
- * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
+ * Copyright (C) 1995-2007 Inria Rhone-Alpes. All right reserved.
*
* This file is part of libFirm.
*
* Hence, nothing has to be updated if the program is modified unless the CFG is touched.
* See .c file for more comments.
*/
+
#ifndef FIRM_ANA_IRLIVECHK_H
#define FIRM_ANA_IRLIVECHK_H
#include "irgraph.h"
#include "irnode.h"
+#include "dfs.h"
typedef enum {
lv_chk_state_in = 1,
/**
* Make a new liveness check environment.
* @param irg The graph.
+ * @param dfs A forward DFS on CFG of the given irg.
* @return The environment.
*/
-extern lv_chk_t *lv_chk_new(ir_graph *irg);
+extern lv_chk_t *lv_chk_new(ir_graph *irg, const dfs_t *dfs);
/**
* Free liveness check information.
*/
extern void lv_chk_free(lv_chk_t *lv);
-#define lv_chk_bl_end(lv, bl, irn) ((lv_chk_bl_xxx((lv), (bl), (irn)) & lv_chk_state_end) != 0)
-#define lv_chk_bl_out(lv, bl, irn) ((lv_chk_bl_xxx((lv), (bl), (irn)) & lv_chk_state_out) != 0)
-#define lv_chk_bl_in(lv, bl, irn) ((lv_chk_bl_xxx((lv), (bl), (irn)) & lv_chk_state_in) != 0)
/**
* Return liveness information for a node concerning a block.
*/
extern unsigned lv_chk_bl_xxx(const lv_chk_t *lv, const ir_node *bl, const ir_node *irn);
+#define lv_chk_bl_in(lv, bl, irn) ((lv_chk_bl_xxx((lv), (bl), (irn)) & lv_chk_state_in) != 0)
+#define lv_chk_bl_end(lv, bl, irn) ((lv_chk_bl_xxx((lv), (bl), (irn)) & lv_chk_state_end) != 0)
+#define lv_chk_bl_out(lv, bl, irn) ((lv_chk_bl_xxx((lv), (bl), (irn)) & lv_chk_state_out) != 0)
+
#endif /* FIRM_ANA_IRLIVECHK_H */