diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-03-28 10:01:00 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-03-28 10:01:00 +0200 |
| commit | be47bf24cbd5e88ebbde79ff7c5352e51c613f47 (patch) | |
| tree | 9e687b081d7d27fc048e4aeea971c78d58e4a208 /gcc/testsuite/gcc.target/i386/pr52736.c | |
| parent | 0805e111c76b70c5970bdf9dcd95dc113b2a5eb9 (diff) | |
| download | gcc-be47bf24cbd5e88ebbde79ff7c5352e51c613f47.tar.gz | |
re PR target/52736 (miscompilation: store to aliased __m128d is 8 Bytes off)
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
Diffstat (limited to 'gcc/testsuite/gcc.target/i386/pr52736.c')
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr52736.c | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.target/i386/pr52736.c b/gcc/testsuite/gcc.target/i386/pr52736.c new file mode 100644 index 00000000000..f35c1fd6c66 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr52736.c @@ -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; +} |