git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR debug/53948 (Assignment line missing for -O0 -g) 

PR debug/53948
        * emit-rtl.c (reg_is_parm_p): New function.
        * regs.h (reg_is_parm_p): New prototype.
        * ira-conflicts.c (ira_build_conflicts): Allow parameters in
        callee-clobbered registers.

       PR debug/53948
        * gcc.dg/debug/dwarf2/pr53948.c: New test.

From-SVN: r195900
This commit is contained in:
Jeff Law 2013-02-08 13:03:52 -07:00 committed by Jeff Law
parent e1122ddda6
commit a698cc0308
6 changed files with 43 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2013-02-08 Jeff Law <law@redhat.com>
PR debug/53948
* emit-rtl.c (reg_is_parm_p): New function.
* regs.h (reg_is_parm_p): New prototype.
* ira-conflicts.c (ira_build_conflicts): Allow parameters in
callee-clobbered registers.
2013-02-08 Michael Meissner <meissner@linux.vnet.ibm.com> 2013-02-08 Michael Meissner <meissner@linux.vnet.ibm.com>
PR target/56043 PR target/56043

12
gcc/emit-rtl.c
View File

@ -919,6 +919,18 @@ gen_reg_rtx (enum machine_mode mode)
return val; return val;
} }
/* Return TRUE if REG is a PARM_DECL, FALSE otherwise. */
bool
reg_is_parm_p (rtx reg)
{
tree decl;
gcc_assert (REG_P (reg));
decl = REG_EXPR (reg);
return (decl && TREE_CODE (decl) == PARM_DECL);
}
/* Update NEW with the same attributes as REG, but with OFFSET added /* Update NEW with the same attributes as REG, but with OFFSET added
to the REG_OFFSET. */ to the REG_OFFSET. */

8
gcc/ira-conflicts.c
View File

@ -895,8 +895,12 @@ ira_build_conflicts (void)
if ((! flag_caller_saves && ALLOCNO_CALLS_CROSSED_NUM (a) != 0) if ((! flag_caller_saves && ALLOCNO_CALLS_CROSSED_NUM (a) != 0)
/* For debugging purposes don't put user defined variables in /* For debugging purposes don't put user defined variables in
callee-clobbered registers. */ callee-clobbered registers. However, do allow parameters
|| (optimize == 0 && REG_USERVAR_P (allocno_reg))) in callee-clobbered registers to improve debugging. This
is a bit of a fragile hack. */
|| (optimize == 0
&& REG_USERVAR_P (allocno_reg)
&& ! reg_is_parm_p (allocno_reg)))
{ {
IOR_HARD_REG_SET (OBJECT_TOTAL_CONFLICT_HARD_REGS (obj), IOR_HARD_REG_SET (OBJECT_TOTAL_CONFLICT_HARD_REGS (obj),
call_used_reg_set); call_used_reg_set);

2
gcc/regs.h
View File

@ -89,6 +89,8 @@ REG_N_SETS (int regno)
#define SET_REG_N_SETS(N,V) (regstat_n_sets_and_refs[N].sets = V) #define SET_REG_N_SETS(N,V) (regstat_n_sets_and_refs[N].sets = V)
#define INC_REG_N_SETS(N,V) (regstat_n_sets_and_refs[N].sets += V) #define INC_REG_N_SETS(N,V) (regstat_n_sets_and_refs[N].sets += V)
/* Given a REG, return TRUE if the reg is a PARM_DECL, FALSE otherwise. */
extern bool reg_is_parm_p (rtx);
/* Functions defined in regstat.c. */ /* Functions defined in regstat.c. */
extern void regstat_init_n_sets_and_refs (void); extern void regstat_init_n_sets_and_refs (void);

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2013-02-08 Jeff Law <law@redhat.com>
PR debug/53948
* gcc.dg/debug/dwarf2/pr53948.c: New test.
2013-02-08 Michael Meissner <meissner@linux.vnet.ibm.com> 2013-02-08 Michael Meissner <meissner@linux.vnet.ibm.com>
PR target/56043 PR target/56043

10
gcc/testsuite/gcc.dg/debug/dwarf2/pr53948.c Normal file
View File

@ -0,0 +1,10 @@
/* Test that we have line information for the line
with local variable initializations. */
/* { dg-options "-O0 -g -dA" } */
/* { dg-final { scan-assembler ".loc 1 8 0|# line 8" } } */
int f (register int a, register int b) {
register int x = b, y = a;
return x + y; }