[DF] [performance] generate DF_REF_BASE REFs in REGNO order

Paolo Bonzini bonzini@gnu.org
Fri Jul 29 17:48:00 GMT 2011


On 07/29/2011 07:23 PM, Dimitrios Apostolou wrote:
>
> 2011-07-29  Dimitrios Apostolou <jimis@gmx.net>
>              Paolo Bonzini <bonzini@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



More information about the Gcc-patches mailing list