On 07/29/2011 07:23 PM, Dimitrios Apostolou wrote:
2011-07-29 Dimitrios Apostolou <ji...@gmx.net>
Paolo Bonzini <bonz...@gnu.org>
(df_def_record_1): Assert a parallel must contain an EXPR_LIST at
this point. Receive the LOC and move its extraction...
(df_defs_record): ... here. Rewrote logic with a switch statement
instead of multiple if-else.
(df_find_hard_reg_defs, df_find_hard_reg_defs_1): New functions
that duplicate the logic of df_defs_record() and df_def_record_1()
but without actually recording any DEFs, only marking them in
the defs HARD_REG_SET.
(df_get_call_refs): Call df_find_hard_reg_defs() to mark DEFs that
are the result of the call. Record DF_REF_BASE DEFs in REGNO
order. Use regs_invalidated_by_call HARD_REG_SET instead of
regs_invalidated_by_call_regset bitmap.
(df_insn_refs_collect): Record DF_REF_REGULAR DEFs after
df_get_call_refs().
Ok for mainline. I will commit it for you after rebootstrapping (just
to be safe).
P.S. maraz: that's 4.3% improvement in instruction count, should you start
worrying or is it too late?
Now I'm curious!
Paolo
