On 8/13/2021 7:47 AM, Martin Liška wrote:
Hello.
Currently, the IPA ICF pass optimistically assumes that SSA NAMES do
match.
It's fine, but we should match SSA_NAME_IS_DEFAULT_DEF, otherwise we get
the verification error where a pair of SSA_NAMEs is equal, but hash
values
do differ.
Patch can bootstrap on x86_64-linux-gnu and survives regression tests.
Ready to be installed?
Thanks,
Martin
PR ipa/100600
gcc/ChangeLog:
* ipa-icf-gimple.c (func_checker::compare_ssa_name): Do not
consider equal SSA_NAMEs when one is a param.
gcc/testsuite/ChangeLog:
* gcc.dg/ipa/pr100600.c: New test.
OK
jeff
