projects
/
libfirm
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
- New register allocation verifier
[libfirm]
/
ir
/
be
/
bemain.c
diff --git
a/ir/be/bemain.c
b/ir/be/bemain.c
index
fee4d4b
..
efbf988
100644
(file)
--- a/
ir/be/bemain.c
+++ b/
ir/be/bemain.c
@@
-73,7
+73,7
@@
static be_options_t be_options = {
static unsigned dump_flags = 0;
/* verify options */
static unsigned dump_flags = 0;
/* verify options */
-static
unsigned
vrfy_option = BE_VRFY_WARN;
+static
int
vrfy_option = BE_VRFY_WARN;
/* register allocator to use. */
static const be_ra_t *ra = &be_ra_chordal_allocator;
/* register allocator to use. */
static const be_ra_t *ra = &be_ra_chordal_allocator;
@@
-545,9
+545,10
@@
static void be_main_loop(FILE *file_handle)
dump(DUMP_FINAL, irg, "-finish", dump_ir_block_graph_sched);
dump(DUMP_FINAL, irg, "-finish", dump_ir_block_graph_sched);
- /* check schedule */
+ /* check schedule
and register allocation
*/
BE_TIMER_PUSH(t_verify);
be_sched_vrfy(birg.irg, vrfy_option);
BE_TIMER_PUSH(t_verify);
be_sched_vrfy(birg.irg, vrfy_option);
+ be_verify_register_allocation(env.arch_env, birg.irg);
BE_TIMER_POP(t_verify);
/* emit assembler code */
BE_TIMER_POP(t_verify);
/* emit assembler code */