mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 05:10:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR target/52736 (miscompilation: store to aliased __m128d is 8 Bytes off)

Browse Source 
PR target/52736
	* config/i386/sse.md (sse2_loadlpd splitter): Use offset 0
	instead of 8 in adjust_address.

	* gcc.target/i386/pr52736.c: New test.

From-SVN: r185904
This commit is contained in:
Jakub Jelinek 2012-03-28 10:01:00 +02:00 committed by Jakub Jelinek
parent 0805e111c7
commit be47bf24cb
4 changed files with 41 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2012-03-28 Jakub Jelinek <jakub@redhat.com>
PR target/52736
* config/i386/sse.md (sse2_loadlpd splitter): Use offset 0
instead of 8 in adjust_address.
2012-03-27 Aurelien Buhrig <aurelien.buhrig.gcc@gmail.com>
PR middle-end/51893

2
gcc/config/i386/sse.md
View File

@ -4901,7 +4901,7 @@
(vec_select:DF (match_dup 0) (parallel [(const_int 1)]))))]
"TARGET_SSE2 && reload_completed"
[(set (match_dup 0) (match_dup 1))]
"operands[0] = adjust_address (operands[0], DFmode, 8);")
"operands[0] = adjust_address (operands[0], DFmode, 0);")
(define_insn "sse2_movsd"
[(set (match_operand:V2DF 0 "nonimmediate_operand" "=x,x,x,x,m,x,x,x,o")

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2012-03-28 Jakub Jelinek <jakub@redhat.com>
PR target/52736
* gcc.target/i386/pr52736.c: New test.
2012-03-27 Martin Jambor <mjambor@suse.cz>
PR middle-end/52693

29
gcc/testsuite/gcc.target/i386/pr52736.c Normal file
View File

@ -0,0 +1,29 @@
/* PR target/52736 */
/* { dg-do run } */
/* { dg-options "-O1 -msse2" } */
/* { dg-require-effective-target sse2_runtime } */
#include <x86intrin.h>
typedef double D __attribute__((may_alias));
__attribute__((aligned(16))) static const double r[4] = { 1., 5., 1., 3. };
__attribute__((noinline, noclone))
void
foo (int x)
{
asm volatile ("" : "+g" (x) : : "memory");
if (x != 3)
__builtin_abort ();
}
int
main ()
{
__m128d t = _mm_set1_pd (5.);
((D *)(&t))[0] = 1.;
foo (_mm_movemask_pd (_mm_cmpeq_pd (t, _mm_load_pd (&r[0]))));
((D *)(&t))[1] = 3.;
foo (_mm_movemask_pd (_mm_cmpeq_pd (t, _mm_load_pd (&r[2]))));
return 0;
}