procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR middle-end/69909 (wrong code with -Os and vectors @ x86_64)

Browse source 
PR middle-end/69909
	* expr.c (expand_expr_real_1) <normal_inner_ref>: Avoid
	set_mem_attributes if tem is SSA_NAME which got expanded
	as a MEM.

	* gcc.dg/torture/pr69909.c: New test.

Co-Authored-By: Richard Biener <rguenther@suse.de>

From-SVN: r233656
This commit is contained in:
Jakub Jelinek 2016-02-24 09:36:16 +01:00 • committed by Jakub Jelinek
parent 47d3fdb242
commit 340fd4c9ce
4 changed files with 53 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
gcc/ChangeLog
View file

@ -1,3 +1,11 @@
2016-02-24 Jakub Jelinek <jakub@redhat.com>
Richard Biener <rguenth@suse.de>
PR middle-end/69909
* expr.c (expand_expr_real_1) <normal_inner_ref>: Avoid
set_mem_attributes if tem is SSA_NAME which got expanded
as a MEM.
2016-02-24 Richard Biener <rguenther@suse.de>
PR tree-optimization/69907

6
gcc/expr.c
View file

@ -10521,7 +10521,11 @@ expand_expr_real_1 (tree exp, rtx target, machine_mode tmode,
if (op0 == orig_op0)
op0 = copy_rtx (op0);
set_mem_attributes (op0, exp, 0);
/* Don't set memory attributes if the base expression is
SSA_NAME that got expanded as a MEM. In that case, we should
just honor its original memory attributes. */
if (TREE_CODE (tem) != SSA_NAME || !MEM_P (orig_op0))
set_mem_attributes (op0, exp, 0);
if (REG_P (XEXP (op0, 0)))
mark_reg_pointer (XEXP (op0, 0), MEM_ALIGN (op0));

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2016-02-24 Jakub Jelinek <jakub@redhat.com>
PR middle-end/69909
* gcc.dg/torture/pr69909.c: New test.
2016-02-24 Richard Biener <rguenther@suse.de>
PR tree-optimization/69907

35
gcc/testsuite/gcc.dg/torture/pr69909.c Normal file
View file

@ -0,0 +1,35 @@
/* PR middle-end/69909 */
/* { dg-do run { target int128 } } */
/* { dg-additional-options "-w" } */
typedef unsigned V __attribute__ ((vector_size (32)));
typedef __int128 T;
typedef __int128 U __attribute__ ((vector_size (32)));
__attribute__((noinline, noclone)) T
foo (T a, V b, V c, V d, V e, U f)
{
d[6] ^= 0x10;
f -= (U) d;
f[1] |= f[1] << (a & 127);
c ^= d;
return b[7] + c[2] + c[2] + d[6] + e[2] + f[1];
}
int
main ()
{
if (__CHAR_BIT__ != 8 || sizeof (unsigned) != 4 || sizeof (T) != 16)
return 0;
T x = foo (1, (V) { 9, 2, 5, 8, 1, 2, 9, 3 },
(V) { 1, 2, 3, 4, 5, 6, 7, 8 },
(V) { 4, 1, 2, 9, 8, 3, 5, 2 },
(V) { 3, 6, 1, 3, 2, 9, 4, 8 }, (U) { 3, 5 });
if (((unsigned long long) (x >> 64) != 0xffffffffffffffffULL
|| (unsigned long long) x != 0xfffffffe0000001aULL)
&& ((unsigned long long) (x >> 64) != 0xfffffffffffffffdULL
|| (unsigned long long) x != 0xffffffff00000022ULL))
__builtin_abort ();
return 0;
}