Test case for historical reasons

[libfirm] / ir / be / belive_t.h

diff --git a/ir/be/belive_t.h b/ir/be/belive_t.h
index 4a79d38..ba6dc31 100644 (file)
--- a/ir/be/belive_t.h
+++ b/ir/be/belive_t.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -30,17 +30,32 @@
 #include "irgraph_t.h"
 #include "irphase_t.h"
 #include "irhooks.h"
+#include "dfs.h"
+#include "statev.h"
 
 #include "pset.h"
 #include "bitset.h"
 
 #include "belive.h"
 
+#define USE_LIVE_CHK
+
+#ifdef USE_LIVE_CHK
+#include "irlivechk.h"
+#endif
+
+struct be_irg_t;
+
 struct _be_lv_t {
        ir_phase ph;
        ir_graph *irg;
+       dfs_t *dfs;
+       const struct be_irg_t *birg;
        bitset_t *nodes;
        hook_entry_t hook_info;
+#ifdef USE_LIVE_CHK
+       lv_chk_t *lvc;
+#endif
 };
 
 struct _be_lv_info_node_t {
@@ -88,8 +103,19 @@ struct _be_lv_info_node_t *be_lv_get(const struct _be_lv_t *li, const ir_node *b
 
 static INLINE int _be_is_live_xxx(const struct _be_lv_t *li, const ir_node *block, const ir_node *irn, unsigned flags)
 {
-       struct _be_lv_info_node_t *info = be_lv_get(li, block, irn);
-       return info ? (info->flags & flags) != 0 : 0;
+       int res;
+
+       if (li->nodes) {
+               struct _be_lv_info_node_t *info = be_lv_get(li, block, irn);
+               res = info ? (info->flags & flags) != 0 : 0;
+       }
+
+#ifdef USE_LIVE_CHK
+       else
+               res = (lv_chk_bl_xxx(li->lvc, block, irn) & flags) != 0;
+#endif /* USE_LIVE_CHK */
+
+       return res;
 }
 
 #define be_lv_foreach(lv, bl, flags, i) \