df-scan.c (df_def_record_1): Assert a parallel must contain an EXPR_LIST at this...
authorDimitrios Apostolou <jimis@gmx.net>
Sat, 26 May 2012 11:44:50 +0000 (11:44 +0000)
committerPaolo Bonzini <bonzini@gcc.gnu.org>
Sat, 26 May 2012 11:44:50 +0000 (11:44 +0000)
commitc5ebdc251f067f0d9bf1e483e288ae14ad3cb648
tree6d0201512cc68742ac9c09ddfe0a89bad96e49d0
parent82ea8185b85e13fd59e854bdf4340fda5b39130f
df-scan.c (df_def_record_1): Assert a parallel must contain an EXPR_LIST at this point.

2012-05-26  Dimitrios Apostolou  <jimis@gmx.net>
    Paolo Bonzini  <bonzini@gnu.org>

* df-scan.c (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. Change if-else to a switch statement.
(df_find_hard_reg_defs, df_find_hard_reg_defs_1): New.
(df_get_call_refs): Changed defs_generated from bitmap to HARD_REG_SET
and compute it from df_find_hard_reg_defs(). Record DF_REF_BASE
DEFs in REGNO order. Use HARD_REG_SET instead of bitmap for
regs_invalidated_by_call.
(df_insn_refs_collect): Record DF_REF_REGULAR DEFs after
df_get_call_refs().

Co-Authored-By: Paolo Bonzini <bonzini@gnu.org>
From-SVN: r187911
gcc/ChangeLog
gcc/df-scan.c