path: root/ir/be/beirg.h
diff options
authorSebastian Hack <>2007-05-10 17:43:44 +0200
committerSebastian Hack <>2007-05-10 17:43:44 +0200
commit8eee0e6361868153ae82c8d8bdda1446a9af9084 (patch)
treebcf002f199c23043548471a69935263e95d72c2e /ir/be/beirg.h
parent73660ffae4a673bc11dba89455ecba9b80938298 (diff)
* Added a new file: beintlive_t.h which subsumes all interferene/liveness checks
- it uses the new liveness checking algos in ana/irlivechk.h - value_dominates, etc. was erased from bera.h because it does not belong there * bechordal.c features an experimental coloring (by defualt disabled by macro) which can color the routine in a single pass without building the "borders". A long term goal is to disable borders completely but they are used in other places, too. * The 1st parameter of values_interfere is now a birg and not a be_lv_t. There is now a special routine lv_values_interfere() for those who want to use the computed liveness explicitly. changing the parameter makes it more easy to switch to other liveness implementations. All other files were modified to respect the changes [r13762]
Diffstat (limited to 'ir/be/beirg.h')
1 files changed, 8 insertions, 0 deletions
diff --git a/ir/be/beirg.h b/ir/be/beirg.h
index b9813f0..647480a 100644
--- a/ir/be/beirg.h
+++ b/ir/be/beirg.h
@@ -35,6 +35,7 @@ typedef struct be_irg_t be_irg_t;
ir_graph *be_get_birg_irg(const be_irg_t *birg);
void be_assure_liveness(be_irg_t *birg);
+void be_assure_liveness_chk(be_irg_t *birg);
void be_invalidate_liveness(be_irg_t *birg);
be_lv_t *be_get_birg_liveness(const be_irg_t *birg);
@@ -52,4 +53,11 @@ ir_exec_freq *be_get_birg_exec_freq(const be_irg_t *birg);
void be_free_birg(be_irg_t *birg);
+ * Compare the computed liveness information with the liveness check info.
+ * @param lv The computed liveness.
+ * @param lvc The liveness check information.
+ */
+void be_live_chk_compare(be_irg_t *birg);
#endif /* FIRM_BE_BEIRG_H */