diff options
| author | Richard Sandiford <richard@codesourcery.com> | 2007-02-05 10:41:26 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2007-02-05 10:41:26 +0000 |
| commit | 55d6f63112dada0287fd21d4c61bd8e8d0992a39 (patch) | |
| tree | 87b2b9db27c89d054c3e05e042bf497e5980fc6b /gcc | |
| parent | 5cd0f9153d5ae7d646006fc21bb967de4e262d8d (diff) | |
| download | gcc-55d6f63112dada0287fd21d4c61bd8e8d0992a39.zip gcc-55d6f63112dada0287fd21d4c61bd8e8d0992a39.tar.gz gcc-55d6f63112dada0287fd21d4c61bd8e8d0992a39.tar.bz2 | |
dwarf2out.c (dwarf2out_frame_debug_expr): Record the register saves in a PARALLEL before the register assignments.
gcc/
* dwarf2out.c (dwarf2out_frame_debug_expr): Record the register
saves in a PARALLEL before the register assignments.
From-SVN: r121594
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/dwarf2out.c | 28 |
2 files changed, 28 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ad824be..198dee3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2007-02-05 Richard Sandiford <richard@codesourcery.com> + * dwarf2out.c (dwarf2out_frame_debug_expr): Record the register + saves in a PARALLEL before the register assignments. + +2007-02-05 Richard Sandiford <richard@codesourcery.com> + * doc/tm.texi (DWARF_ALT_FRAME_RETURN_COLUMN): Do not require DWARF_FRAME_RETURN_COLUMN to be a general register. * dwarf2out.c (init_return_column_size): New function, split from... diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c index 6cbf9d3..186c979 100644 --- a/gcc/dwarf2out.c +++ b/gcc/dwarf2out.c @@ -1524,13 +1524,31 @@ dwarf2out_frame_debug_expr (rtx expr, const char *label) { int par_index; int limit = XVECLEN (expr, 0); + rtx elem; + + /* PARALLELs have strict read-modify-write semantics, so we + ought to evaluate every rvalue before changing any lvalue. + It's cumbersome to do that in general, but there's an + easy approximation that is enough for all current users: + handle register saves before register assignments. */ + if (GET_CODE (expr) == PARALLEL) + for (par_index = 0; par_index < limit; par_index++) + { + elem = XVECEXP (expr, 0, par_index); + if (GET_CODE (elem) == SET + && MEM_P (SET_DEST (elem)) + && (RTX_FRAME_RELATED_P (elem) || par_index == 0)) + dwarf2out_frame_debug_expr (elem, label); + } for (par_index = 0; par_index < limit; par_index++) - if (GET_CODE (XVECEXP (expr, 0, par_index)) == SET - && (RTX_FRAME_RELATED_P (XVECEXP (expr, 0, par_index)) - || par_index == 0)) - dwarf2out_frame_debug_expr (XVECEXP (expr, 0, par_index), label); - + { + elem = XVECEXP (expr, 0, par_index); + if (GET_CODE (elem) == SET + && (!MEM_P (SET_DEST (elem)) || GET_CODE (expr) == SEQUENCE) + && (RTX_FRAME_RELATED_P (elem) || par_index == 0)) + dwarf2out_frame_debug_expr (elem, label); + } return; } |