LIV2/bebbo-gcc
1
0
Fork 0
mirror of https://github.com/LIV2/bebbo-gcc.git synced 2025-12-06 00:23:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Backport r251530

Browse Source 
2017-09-15  Martin Liska  <mliska@suse.cz>

	Backport from mainline
	2017-08-30  Martin Liska  <mliska@suse.cz>

	PR inline-asm/82001
	* ipa-icf-gimple.c (func_checker::compare_tree_list_operand):
	Rename to ...
	(func_checker::compare_asm_inputs_outputs): ... this function.
	(func_checker::compare_gimple_asm): Use the function to compare
	also ASM constrains.
	* ipa-icf-gimple.h: Rename the function.
2017-09-15  Martin Liska  <mliska@suse.cz>

	Backport from mainline
	2017-08-30  Martin Liska  <mliska@suse.cz>

	PR inline-asm/82001
	* gcc.dg/ipa/pr82001.c: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-6-branch@252799 138bc75d-0d04-0410-961f-82ee72b054a4
This commit is contained in:
marxin 2017-09-15 09:21:42 +00:00
parent dd529fd11e
commit bf6a2b0e02
5 changed files with 58 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gcc/ChangeLog
View File

@ -1,3 +1,16 @@
2017-09-15 Martin Liska <mliska@suse.cz>
Backport from mainline
2017-08-30 Martin Liska <mliska@suse.cz>
PR inline-asm/82001
* ipa-icf-gimple.c (func_checker::compare_tree_list_operand):
Rename to ...
(func_checker::compare_asm_inputs_outputs): ... this function.
(func_checker::compare_gimple_asm): Use the function to compare
also ASM constrains.
* ipa-icf-gimple.h: Rename the function.
2017-09-15 Martin Liska <mliska@suse.cz>
Backport from mainline

19
gcc/ipa-icf-gimple.c
View File

@ -543,11 +543,8 @@ func_checker::compare_operand (tree t1, tree t2)
}
}
/* Compares two tree list operands T1 and T2 and returns true if these
two trees are semantically equivalent. */
bool
func_checker::compare_tree_list_operand (tree t1, tree t2)
func_checker::compare_asm_inputs_outputs (tree t1, tree t2)
{
gcc_assert (TREE_CODE (t1) == TREE_LIST);
gcc_assert (TREE_CODE (t2) == TREE_LIST);
@ -560,6 +557,16 @@ func_checker::compare_tree_list_operand (tree t1, tree t2)
if (!compare_operand (TREE_VALUE (t1), TREE_VALUE (t2)))
return return_false ();
tree p1 = TREE_PURPOSE (t1);
tree p2 = TREE_PURPOSE (t2);
gcc_assert (TREE_CODE (p1) == TREE_LIST);
gcc_assert (TREE_CODE (p2) == TREE_LIST);
if (strcmp (TREE_STRING_POINTER (TREE_VALUE (p1)),
TREE_STRING_POINTER (TREE_VALUE (p2))) != 0)
return return_false ();
t2 = TREE_CHAIN (t2);
}
@ -1008,7 +1015,7 @@ func_checker::compare_gimple_asm (const gasm *g1, const gasm *g2)
tree input1 = gimple_asm_input_op (g1, i);
tree input2 = gimple_asm_input_op (g2, i);
if (!compare_tree_list_operand (input1, input2))
if (!compare_asm_inputs_outputs (input1, input2))
return return_false_with_msg ("ASM input is different");
}
@ -1017,7 +1024,7 @@ func_checker::compare_gimple_asm (const gasm *g1, const gasm *g2)
tree output1 = gimple_asm_output_op (g1, i);
tree output2 = gimple_asm_output_op (g2, i);
if (!compare_tree_list_operand (output1, output2))
if (!compare_asm_inputs_outputs (output1, output2))
return return_false_with_msg ("ASM output is different");
}

6
gcc/ipa-icf-gimple.h
View File

@ -215,9 +215,9 @@ public:
is returned. */
bool compare_operand (tree t1, tree t2);
/* Compares two tree list operands T1 and T2 and returns true if these
two trees are semantically equivalent. */
bool compare_tree_list_operand (tree t1, tree t2);
/* Compares GIMPLE ASM inputs (or outputs) where we iterate tree chain
and compare both TREE_PURPOSEs and TREE_VALUEs. */
bool compare_asm_inputs_outputs (tree t1, tree t2);
/* Verifies that trees T1 and T2, representing function declarations
are equivalent from perspective of ICF. */

8
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,11 @@
2017-09-15 Martin Liska <mliska@suse.cz>
Backport from mainline
2017-08-30 Martin Liska <mliska@suse.cz>
PR inline-asm/82001
* gcc.dg/ipa/pr82001.c: New test.
2017-09-15 Martin Liska <mliska@suse.cz>
Backport from mainline

21
gcc/testsuite/gcc.dg/ipa/pr82001.c Normal file
View File

@ -0,0 +1,21 @@
/* { dg-do compile { target i?86-*-* x86_64-*-* } } */
/* { dg-options "-O2 -fdump-ipa-icf-details" } */
int
mullo (int a, int b)
{
asm("mul %%edx # %%1 was %1"
: "+"
"a"(a),
"+d"(b));
return a;
}
int
mulhi (int a, int b)
{
asm("mul %%edx # %%1 was %1" : "+d"(a), "+a"(b));
return a;
}
/* { dg-final { scan-ipa-dump "Equal symbols: 0" "icf" } } */