[Bug target/35621] New: gcc.target/i386/ssse3-psignw.c fails at -O3

[Bug target/35621] New: gcc.target/i386/ssse3-psignw.c fails at -O3

[hjl dot tools at gmail dot com]

[hjl@gnu-27 gcc]$ /export/build/gnu/gcc/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/gcc/build-x86_64-linux/gcc/
/net/gnu-13/export/gnu/src/gcc/gcc/gcc/testsuite/gcc.target/i386/ssse3-psignw.c
  -O3 -mssse3 -fno-show-column  -lm   -o ./ssse3-psignw.exe 
[hjl@gnu-27 gcc]$ ./ssse3-psignw.exe
Aborted
[hjl@gnu-27 gcc]$


-- 
           Summary: gcc.target/i386/ssse3-psignw.c fails at -O3
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: hjl dot tools at gmail dot com
GCC target triplet: x86_64-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug target/35621] gcc.target/i386/ssse3-psignw.c fails at -O3

[hjl dot tools at gmail dot com]

------- Comment #1 from hjl dot tools at gmail dot com  2008-03-18 00:52 -------
The problem seems MMX register related.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2008-03-18 01:07 -------
(In reply to comment #1)
> The problem seems MMX register related.

Actually the testcase violates C aliasing rules.  Way violating them.

      compute_correct_result (&vals[i + 0], &vals[i + 4], ck);


compute_correct_result (int *i1, int *i2, int *r)

  short *sout = (short *) r;

      sout[i] = -s1[i];


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|target                      |testsuite


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2008-03-18 01:08 -------
Actually it looks like all the ssse3-*.c testcase violate C aliasing rules.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3

[hjl dot tools at gmail dot com]

------- Comment #4 from hjl dot tools at gmail dot com  2008-03-18 02:43 -------
I don't think alias is the cause. With this patch:

--- ./ssse3-psignw.c.foo        2007-08-23 09:44:31.000000000 -0700
+++ ./ssse3-psignw.c    2008-03-17 19:40:53.000000000 -0700
@@ -9,7 +9,7 @@

 /* Test the 64-bit form */
 static void
-ssse3_test_psignw (int *i1, int *i2, int *r)
+ssse3_test_psignw (void *i1, void *i2, void *r)
 {
   __m64 t1 = *(__m64 *) i1;
   __m64 t2 = *(__m64 *) i2;
@@ -19,7 +19,7 @@ ssse3_test_psignw (int *i1, int *i2, int

 /* Test the 128-bit form */
 static void
-ssse3_test_psignw128 (int *i1, int *i2, int *r)
+ssse3_test_psignw128 (void *i1, void *i2, void *r)
 {
   /* Assumes incoming pointers are 16-byte aligned */
   __m128i t1 = *(__m128i *) i1;
@@ -29,7 +29,7 @@ ssse3_test_psignw128 (int *i1, int *i2, 

 /* Routine to manually compute the results */
 static void
-compute_correct_result (int *i1, int *i2, int *r)
+compute_correct_result (void *i1, void *i2, void *r)
 {
   short *s1 = (short *) i1;
   short *s2 = (short *) i2;

-O3 still fails.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2008-03-18 02:45 -------
(In reply to comment #4)
> I don't think alias is the cause. With this patch:

How does that change aliasing?  Hint it does not. 


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3

[ubizjak at gmail dot com]

------- Comment #6 from ubizjak at gmail dot com  2008-03-18 06:54 -------
The test works OK for 32bit x86 target with -O3 and

gcc version 4.4.0 20080318 (experimental) [trunk revision 133304] (GCC)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3

[ubizjak at gmail dot com]

------- Comment #7 from ubizjak at gmail dot com  2008-03-18 20:12 -------
(In reply to comment #3)
> Actually it looks like all the ssse3-*.c testcase violate C aliasing rules.

I can confirm this, the test works OK with -fno-strict-aliasing.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3

[hjl dot tools at gmail dot com]

------- Comment #8 from hjl dot tools at gmail dot com  2008-03-18 20:16 -------
Close it. We can reopen it if it fails at -O2.


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |WONTFIX


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3

[pinskia at gcc dot gnu dot org]

------- Comment #9 from pinskia at gcc dot gnu dot org  2008-03-18 20:24 -------
Why is this closed as won't fix.  The testcase invokes undefined behavior and
should be fixed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|WONTFIX                     |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3 (violates C/C++ aliasing rules)

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-03-18 20:24:29
               date|                            |
            Summary|gcc.target/i386/ssse3-      |gcc.target/i386/ssse3-
                   |psignw.c fails at -O3       |psignw.c fails at -O3
                   |                            |(violates C/C++ aliasing
                   |                            |rules)


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3 (violates C/C++ aliasing rules)

[hjl dot tools at gmail dot com]

------- Comment #10 from hjl dot tools at gmail dot com  2008-03-18 20:28 -------
Just add -fno-strict-aliasing.


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |SUSPENDED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-psignw.c fails at -O3 (violates C/C++ aliasing rules)

[pluto at agmk dot net]

------- Comment #11 from pluto at agmk dot net  2008-03-18 20:48 -------
(In reply to comment #10)
> Just add -fno-strict-aliasing.
> 

just use __builtin_memcpy to avoid ugly casting.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-*.c violates C/C++ aliasing rules

[hjl dot tools at gmail dot com]

------- Comment #12 from hjl dot tools at gmail dot com  2008-03-20 13:27 -------
A patch is posted at

http://gcc.gnu.org/ml/gcc-patches/2008-03/msg01203.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |hjl dot tools at gmail dot
                   |dot org                     |com
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2008-
                   |                            |03/msg01203.html
             Status|SUSPENDED                   |ASSIGNED
   Last reconfirmed|2008-03-18 20:24:29         |2008-03-20 13:27:41
               date|                            |
            Summary|gcc.target/i386/ssse3-      |gcc.target/i386/ssse3-*.c
                   |psignw.c fails at -O3       |violates C/C++ aliasing
                   |(violates C/C++ aliasing    |rules
                   |rules)                      |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-*.c violates C/C++ aliasing rules

[hjl at gcc dot gnu dot org]

------- Comment #13 from hjl at gcc dot gnu dot org  2008-03-20 14:41 -------
Subject: Bug 35621

Author: hjl
Date: Thu Mar 20 14:40:10 2008
New Revision: 133380

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133380
Log:
2008-03-20  H.J. Lu  <hongjiu.lu@intel.com>

        PR testsuite/35621
        * gcc.target/i386/ssse3-pabsb.c: Add -fno-strict-aliasing.
        * gcc.target/i386/ssse3-pabsd.c: Likewise.
        * gcc.target/i386/ssse3-pabsw.c: Likewise.
        * gcc.target/i386/ssse3-palignr.c: Likewise.
        * gcc.target/i386/ssse3-phaddd.c: Likewise.
        * gcc.target/i386/ssse3-phaddsw.c: Likewise.
        * gcc.target/i386/ssse3-phaddw.c: Likewise.
        * gcc.target/i386/ssse3-phsubd.c: Likewise.
        * gcc.target/i386/ssse3-phsubsw.c: Likewise.
        * gcc.target/i386/ssse3-phsubw.c: Likewise.
        * gcc.target/i386/ssse3-pmaddubsw.c: Likewise.
        * gcc.target/i386/ssse3-pmulhrsw.c: Likewise.
        * gcc.target/i386/ssse3-pshufb.c: Likewise.
        * gcc.target/i386/ssse3-psignb.c: Likewise.
        * gcc.target/i386/ssse3-psignd.c: Likewise.
        * gcc.target/i386/ssse3-psignw.c: Likewise.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.target/i386/ssse3-pabsb.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-pabsd.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-pabsw.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-palignr.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-phaddd.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-phaddsw.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-phaddw.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-phsubd.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-phsubsw.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-phsubw.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-pmaddubsw.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-pmulhrsw.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-pshufb.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-psignb.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-psignd.c
    trunk/gcc/testsuite/gcc.target/i386/ssse3-psignw.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-*.c violates C/C++ aliasing rules

[hjl at gcc dot gnu dot org]

------- Comment #14 from hjl at gcc dot gnu dot org  2008-03-20 14:42 -------
Subject: Bug 35621

Author: hjl
Date: Thu Mar 20 14:41:51 2008
New Revision: 133381

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133381
Log:
2008-03-20  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2008-03-20  H.J. Lu  <hongjiu.lu@intel.com>

        PR testsuite/35621
        * gcc.target/i386/ssse3-pabsb.c: Add -fno-strict-aliasing.
        * gcc.target/i386/ssse3-pabsd.c: Likewise.
        * gcc.target/i386/ssse3-pabsw.c: Likewise.
        * gcc.target/i386/ssse3-palignr.c: Likewise.
        * gcc.target/i386/ssse3-phaddd.c: Likewise.
        * gcc.target/i386/ssse3-phaddsw.c: Likewise.
        * gcc.target/i386/ssse3-phaddw.c: Likewise.
        * gcc.target/i386/ssse3-phsubd.c: Likewise.
        * gcc.target/i386/ssse3-phsubsw.c: Likewise.
        * gcc.target/i386/ssse3-phsubw.c: Likewise.
        * gcc.target/i386/ssse3-pmaddubsw.c: Likewise.
        * gcc.target/i386/ssse3-pmulhrsw.c: Likewise.
        * gcc.target/i386/ssse3-pshufb.c: Likewise.
        * gcc.target/i386/ssse3-psignb.c: Likewise.
        * gcc.target/i386/ssse3-psignd.c: Likewise.
        * gcc.target/i386/ssse3-psignw.c: Likewise.

Modified:
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-pabsb.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-pabsd.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-pabsw.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-palignr.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-phaddd.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-phaddsw.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-phaddw.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-phsubd.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-phsubsw.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-phsubw.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-pmaddubsw.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-pmulhrsw.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-pshufb.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-psignb.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-psignd.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/ssse3-psignw.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-*.c violates C/C++ aliasing rules

[hjl dot tools at gmail dot com]

------- Comment #15 from hjl dot tools at gmail dot com  2008-03-20 14:46 -------
Fixed.


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-*.c violates C/C++ aliasing rules

[hjl at gcc dot gnu dot org]

------- Comment #16 from hjl at gcc dot gnu dot org  2009-04-10 00:31 -------
Subject: Bug 35621

Author: hjl
Date: Fri Apr 10 00:30:50 2009
New Revision: 145871

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=145871
Log:
2009-04-09  H.J. Lu  <hongjiu.lu@intel.com>

        PR testsuite/35621
        * gcc.target/i386/avx-vpabsb-1.c: Add -fno-strict-aliasing.
        * gcc.target/i386/avx-vpabsb-1.c: Likewise.
        * gcc.target/i386/avx-vpabsd-1.c: Likewise.
        * gcc.target/i386/avx-vpabsw-1.c: Likewise.
        * gcc.target/i386/avx-vpalignr-1.c: Likewise.
        * gcc.target/i386/avx-vphaddd-1.c: Likewise.
        * gcc.target/i386/avx-vphaddsw-1.c: Likewise.
        * gcc.target/i386/avx-vphaddw-1.c: Likewise.
        * gcc.target/i386/avx-vphsubd-1.c: Likewise.
        * gcc.target/i386/avx-vphsubsw-1.c: Likewise.
        * gcc.target/i386/avx-vphsubw-1.c: Likewise.
        * gcc.target/i386/avx-vpmaddubsw-1.c: Likewise.
        * gcc.target/i386/avx-vpmulhrsw-1.c: Likewise.
        * gcc.target/i386/avx-vpshufb-1.c: Likewise.
        * gcc.target/i386/avx-vpsignb-1.c: Likewise.
        * gcc.target/i386/avx-vpsignd-1.c: Likewise.
        * gcc.target/i386/avx-vpsignw-1.c: Likewise.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.target/i386/avx-vpabsb-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vpabsd-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vpabsw-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vpalignr-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vphaddd-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vphaddsw-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vphaddw-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vphsubd-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vphsubsw-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vphsubw-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vpmaddubsw-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vpmulhrsw-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vpshufb-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vpsignb-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vpsignd-1.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vpsignw-1.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621

[Bug testsuite/35621] gcc.target/i386/ssse3-*.c violates C/C++ aliasing rules

[hjl at gcc dot gnu dot org]

------- Comment #17 from hjl at gcc dot gnu dot org  2009-04-10 00:32 -------
Subject: Bug 35621

Author: hjl
Date: Fri Apr 10 00:32:12 2009
New Revision: 145872

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=145872
Log:
2009-04-09  H.J. Lu  <hongjiu.lu@intel.com>

        PR testsuite/35621
        * gcc.target/i386/avx-vpabsb-1.c: Add -fno-strict-aliasing.
        * gcc.target/i386/avx-vpabsb-1.c: Likewise.
        * gcc.target/i386/avx-vpabsd-1.c: Likewise.
        * gcc.target/i386/avx-vpabsw-1.c: Likewise.
        * gcc.target/i386/avx-vpalignr-1.c: Likewise.
        * gcc.target/i386/avx-vphaddd-1.c: Likewise.
        * gcc.target/i386/avx-vphaddsw-1.c: Likewise.
        * gcc.target/i386/avx-vphaddw-1.c: Likewise.
        * gcc.target/i386/avx-vphsubd-1.c: Likewise.
        * gcc.target/i386/avx-vphsubsw-1.c: Likewise.
        * gcc.target/i386/avx-vphsubw-1.c: Likewise.
        * gcc.target/i386/avx-vpmaddubsw-1.c: Likewise.
        * gcc.target/i386/avx-vpmulhrsw-1.c: Likewise.
        * gcc.target/i386/avx-vpshufb-1.c: Likewise.
        * gcc.target/i386/avx-vpsignb-1.c: Likewise.
        * gcc.target/i386/avx-vpsignd-1.c: Likewise.
        * gcc.target/i386/avx-vpsignw-1.c: Likewise.

Modified:
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vpabsb-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vpabsd-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vpabsw-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vpalignr-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vphaddd-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vphaddsw-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vphaddw-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vphsubd-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vphsubsw-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vphsubw-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vpmaddubsw-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vpmulhrsw-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vpshufb-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vpsignb-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vpsignd-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/avx-vpsignw-1.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35621