This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] ICF is more strict about non-common function and var, attributes.
- From: Martin Liška <mliska at suse dot cz>
- To: Jan Hubicka <hubicka at ucw dot cz>
- Cc: "gcc-pat >> GCC Patches" <gcc-patches at gcc dot gnu dot org>
- Date: Sun, 01 Mar 2015 00:54:53 +0100
- Subject: Re: [PATCH] ICF is more strict about non-common function and var, attributes.
- Authentication-results: sourceware.org; auth=none
- References: <54F23BFA dot 4060502 at suse dot cz> <20150228224223 dot GD20437 at kam dot mff dot cuni dot cz>
On 02/28/2015 11:42 PM, Jan Hubicka wrote:
>>
>> 2015-02-28 Martin Liska <mliska@suse.cz>
>> Jan Hubicka <hubicka@ucw.cz>
>>
>> * ipa-icf-gimple.c (func_checker::compare_variable_decl):
>> Validate variable alignment.
>> * ipa-icf.c (sem_function::equals_private): Be more precise
>> about non-common function attributes.
>> (sem_variable::equals): Likewise.
> OK,
> does this fix
> gcc.target/i386/stackalign/longlong-2.c -mno-stackrealign scan-assembler-times and[lq]?[^\\n]*-16,[^\\n]*sp 2
> FAIL: gcc.target/i386/stackalign/longlong-2.c -mno-stackrealign scan-assembler-times and[lq]?[^\\n]*-8,[^\\n]*sp 2
> FAIL: gcc.target/i386/stackalign/longlong-2.c -mstackrealign scan-assembler-times and[lq]?[^\\n]*-16,[^\\n]*sp 2
> FAIL: gcc.target/i386/stackalign/longlong-2.c -mstackrealign scan-assembler-times and[lq]?[^\\n]*-8,[^\\n]*sp 2
>
> on -m32 mentioned in PR65237?
>
> Honza
>>
>>
>
Half of FAILs are gone, but the rest is correctly merged (alignment matches). Thus I would omit ICF
in this testcase. I'm going to install the patch.
Thanks,
Martin
>From 60c5fdc5d5bab2d26a43813ffebda247c8dd1fce Mon Sep 17 00:00:00 2001
From: mliska <mliska@suse.cz>
Date: Fri, 27 Feb 2015 21:49:46 +0100
Subject: [PATCH 1/4] ICF is more strict about non-common function and var
attributes.
gcc/ChangeLog:
2015-02-28 Martin Liska <mliska@suse.cz>
Jan Hubicka <hubicka@ucw.cz>
* ipa-icf-gimple.c (func_checker::compare_variable_decl):
Validate variable alignment.
* ipa-icf.c (sem_function::equals_private): Be more precise
about non-common function attributes.
(sem_variable::equals): Likewise.
gcc/testsuite/ChangeLog:
2015-03-01 Martin Liska <mliska@suse.cz>
Jan Hubicka <hubicka@ucw.cz>
* gcc.target/i386/stackalign/longlong-2.c: Omit ICF.
---
gcc/ipa-icf-gimple.c | 3 ++
gcc/ipa-icf.c | 35 ++++++++++++++++++++++
.../gcc.target/i386/stackalign/longlong-2.c | 2 +-
3 files changed, 39 insertions(+), 1 deletion(-)
diff --git a/gcc/ipa-icf-gimple.c b/gcc/ipa-icf-gimple.c
index 53d2c38..cbeb795 100644
--- a/gcc/ipa-icf-gimple.c
+++ b/gcc/ipa-icf-gimple.c
@@ -575,6 +575,9 @@ func_checker::compare_variable_decl (tree t1, tree t2)
if (t1 == t2)
return true;
+ if (DECL_ALIGN (t1) != DECL_ALIGN (t2))
+ return return_false_with_msg ("alignments are different");
+
if (DECL_HARD_REGISTER (t1) != DECL_HARD_REGISTER (t2))
return return_false_with_msg ("DECL_HARD_REGISTER are different");
diff --git a/gcc/ipa-icf.c b/gcc/ipa-icf.c
index 5d50b6f..92133fc 100644
--- a/gcc/ipa-icf.c
+++ b/gcc/ipa-icf.c
@@ -619,6 +619,30 @@ sem_function::equals_private (sem_item *item,
if (!compare_phi_node (bb_sorted[i]->bb, m_compared_func->bb_sorted[i]->bb))
return return_false_with_msg ("PHI node comparison returns false");
+ /* Compare special function DECL attributes. */
+ if (DECL_FUNCTION_PERSONALITY (decl) != DECL_FUNCTION_PERSONALITY (item->decl))
+ return return_false_with_msg ("function personalities are different");
+
+ if (DECL_DISREGARD_INLINE_LIMITS (decl) != DECL_DISREGARD_INLINE_LIMITS (item->decl))
+ return return_false_with_msg ("DECL_DISREGARD_INLINE_LIMITS are different");
+
+ if (DECL_DECLARED_INLINE_P (decl) != DECL_DECLARED_INLINE_P (item->decl))
+ return return_false_with_msg ("inline attributes are different");
+
+ if (DECL_IS_OPERATOR_NEW (decl) != DECL_IS_OPERATOR_NEW (item->decl))
+ return return_false_with_msg ("operator new flags are different");
+
+ if (DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (decl)
+ != DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT (item->decl))
+ return return_false_with_msg ("intrument function entry exit "
+ "attributes are different");
+
+ if (DECL_NO_LIMIT_STACK (decl) != DECL_NO_LIMIT_STACK (item->decl))
+ return return_false_with_msg ("no stack limit attributes are different");
+
+ if (flags_from_decl_or_type (decl) != flags_from_decl_or_type (item->decl))
+ return return_false_with_msg ("decl_or_type flags are different");
+
return result;
}
@@ -1280,6 +1304,17 @@ sem_variable::equals (sem_item *item,
if (!ctor || !v->ctor)
return return_false_with_msg ("ctor is missing for semantic variable");
+ if (DECL_IN_CONSTANT_POOL (decl)
+ && (DECL_IN_CONSTANT_POOL (item->decl)
+ || item->node->address_matters_p ()))
+ return return_false_with_msg ("constant pool");
+
+ if (DECL_IN_TEXT_SECTION (decl) != DECL_IN_TEXT_SECTION (item->decl))
+ return return_false_with_msg ("text section");
+
+ if (DECL_TLS_MODEL (decl) || DECL_TLS_MODEL (item->decl))
+ return return_false_with_msg ("TLS model");
+
return sem_variable::equals (ctor, v->ctor);
}
diff --git a/gcc/testsuite/gcc.target/i386/stackalign/longlong-2.c b/gcc/testsuite/gcc.target/i386/stackalign/longlong-2.c
index 6ea83f9..d52b9d1 100644
--- a/gcc/testsuite/gcc.target/i386/stackalign/longlong-2.c
+++ b/gcc/testsuite/gcc.target/i386/stackalign/longlong-2.c
@@ -1,6 +1,6 @@
/* { dg-do compile { target { ! *-*-darwin* } } } */
/* { dg-require-effective-target ia32 } */
-/* { dg-options "-O2 -mpreferred-stack-boundary=2" } */
+/* { dg-options "-O2 -mpreferred-stack-boundary=2 -fno-ipa-icf" } */
/* { dg-final { scan-assembler-times "and\[lq\]?\[^\\n\]*-8,\[^\\n\]*sp" 2 } } */
/* { dg-final { scan-assembler-times "and\[lq\]?\[^\\n\]*-16,\[^\\n\]*sp" 2 } } */
--
2.1.2