diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2011-08-29 13:52:22 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2011-08-29 13:52:22 +0200 |
| commit | 776bebcdb0de9557b40aa5496c016588da845398 (patch) | |
| tree | b21c10d04005768db52dd8381f69e4b5da208843 /gcc | |
| parent | 8934a5840e5f5f51309a9a6bf5113278274fdb4e (diff) | |
| download | gcc-776bebcdb0de9557b40aa5496c016588da845398.zip gcc-776bebcdb0de9557b40aa5496c016588da845398.tar.gz gcc-776bebcdb0de9557b40aa5496c016588da845398.tar.bz2 | |
re PR middle-end/48722 (ICE in df_refs_verify() with -mno-push-args)
PR middle-end/48722
* emit-rtl.c (unshare_all_rtl_again): For CALL_INSNs,
reset_used_flags also in CALL_INSN_FUNCTION_USAGE.
(verify_rtl_sharing): Likewise and verify_rtx_sharing
in there too.
(unshare_all_rtl_in_chain): For CALL_INSNs
copy_rtx_if_shared also CALL_INSN_FUNCTION_USAGE.
* gcc.target/i386/pr48722.c: New test.
From-SVN: r178208
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 10 | ||||
| -rw-r--r-- | gcc/emit-rtl.c | 11 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr48722.c | 13 |
4 files changed, 39 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7ac6528..7a35deb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,13 @@ +2011-08-29 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/48722 + * emit-rtl.c (unshare_all_rtl_again): For CALL_INSNs, + reset_used_flags also in CALL_INSN_FUNCTION_USAGE. + (verify_rtl_sharing): Likewise and verify_rtx_sharing + in there too. + (unshare_all_rtl_in_chain): For CALL_INSNs + copy_rtx_if_shared also CALL_INSN_FUNCTION_USAGE. + 2011-08-29 Richard Guenther <rguenther@suse.de> * gimple-fold.c (gimple_fold_stmt_to_constant_1): Set a location diff --git a/gcc/emit-rtl.c b/gcc/emit-rtl.c index b97d7c4..c94e743 100644 --- a/gcc/emit-rtl.c +++ b/gcc/emit-rtl.c @@ -2444,6 +2444,8 @@ unshare_all_rtl_again (rtx insn) { reset_used_flags (PATTERN (p)); reset_used_flags (REG_NOTES (p)); + if (CALL_P (p)) + reset_used_flags (CALL_INSN_FUNCTION_USAGE (p)); } /* Make sure that virtual stack slots are not shared. */ @@ -2611,6 +2613,8 @@ verify_rtl_sharing (void) { reset_used_flags (PATTERN (p)); reset_used_flags (REG_NOTES (p)); + if (CALL_P (p)) + reset_used_flags (CALL_INSN_FUNCTION_USAGE (p)); if (GET_CODE (PATTERN (p)) == SEQUENCE) { int i; @@ -2622,6 +2626,8 @@ verify_rtl_sharing (void) gcc_assert (INSN_P (q)); reset_used_flags (PATTERN (q)); reset_used_flags (REG_NOTES (q)); + if (CALL_P (q)) + reset_used_flags (CALL_INSN_FUNCTION_USAGE (q)); } } } @@ -2631,6 +2637,8 @@ verify_rtl_sharing (void) { verify_rtx_sharing (PATTERN (p), p); verify_rtx_sharing (REG_NOTES (p), p); + if (CALL_P (p)) + verify_rtx_sharing (CALL_INSN_FUNCTION_USAGE (p), p); } timevar_pop (TV_VERIFY_RTL_SHARING); @@ -2647,6 +2655,9 @@ unshare_all_rtl_in_chain (rtx insn) { PATTERN (insn) = copy_rtx_if_shared (PATTERN (insn)); REG_NOTES (insn) = copy_rtx_if_shared (REG_NOTES (insn)); + if (CALL_P (insn)) + CALL_INSN_FUNCTION_USAGE (insn) + = copy_rtx_if_shared (CALL_INSN_FUNCTION_USAGE (insn)); } } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7c6f93f..238fc80 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-08-29 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/48722 + * gcc.target/i386/pr48722.c: New test. + 2011-08-29 Thomas Koenig <tkoenig@gcc.gnu.org> PR libfortran/50192 diff --git a/gcc/testsuite/gcc.target/i386/pr48722.c b/gcc/testsuite/gcc.target/i386/pr48722.c new file mode 100644 index 0000000..a35fe7e --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr48722.c @@ -0,0 +1,13 @@ +/* PR middle-end/48722 */ +/* { dg-do compile } */ +/* { dg-options "-Os -mno-push-args" } */ + +extern long long a; +extern int b; +void bar (int, long long); + +void +foo (void) +{ + bar (a > 0x85, b); +} |