[Bug ipa/98349] New: [11 regression] cc.target/powerpc/sse-movhps-1.c and sse-movlps.c fail after r11-3434

[Bug ipa/98349] New: [11 regression] cc.target/powerpc/sse-movhps-1.c and sse-movlps.c fail after r11-3434

[seurer at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98349

            Bug ID: 98349
           Summary: [11 regression] cc.target/powerpc/sse-movhps-1.c and
                    sse-movlps.c fail after r11-3434
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
                CC: marxin at gcc dot gnu.org
  Target Milestone: ---

g:c33f474239308d81bf96cfdb2520d25488ad8724, r11-3434

make  -k check-gcc RUNTESTFLAGS="powerpc.exp=gcc.target/powerpc/sse-movhps-1.c"
FAIL: gcc.target/powerpc/sse-movhps-1.c execution test
# of expected passes            1
# of unexpected failures        1

also

make  -k check-gcc RUNTESTFLAGS="powerpc.exp=gcc.target/powerpc/sse-movlps-1.c"
FAIL: gcc.target/powerpc/sse-movlps-1.c execution test
# of expected passes            1
# of unexpected failures        1

spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test/gcc/xgcc
-B/home/seurer/gcc/git/build/gcc-test/gcc/
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.target/powerpc/sse-movlps-1.c
-fdiagnostics-plain-output -O3 -mpower8-vector -Wno-psabi -lm -o
./sse-movlps-1.exe
PASS: gcc.target/powerpc/sse-movlps-1.c (test for excess errors)
Setting LD_LIBRARY_PATH to
:/home/seurer/gcc/git/build/gcc-test/gcc::/home/seurer/gcc/git/build/gcc-test/gcc:/home/seurer/gcc/git/build/gcc-test/./gmp/.libs:/home/seurer/gcc/git/build/gcc-test/./prev-gmp/.libs:/home/seurer/gcc/git/build/gcc-test/./mpfr/src/.libs:/home/seurer/gcc/git/build/gcc-test/./prev-mpfr/src/.libs:/home/seurer/gcc/git/build/gcc-test/./mpc/src/.libs:/home/seurer/gcc/git/build/gcc-test/./prev-mpc/src/.libs:/home/seurer/gcc/git/build/gcc-test/./isl/.libs:/home/seurer/gcc/git/build/gcc-test/./prev-isl/.libs:/home/seurer/gcc/install/gcc-7.4.0/lib64
Execution timeout is: 300
spawn [open ...]
FAIL: gcc.target/powerpc/sse-movlps-1.c execution test

Program received signal SIGABRT, Aborted.
0x00003fffb7cd260c in __GI_raise (sig=<optimized out>) at
../nptl/sysdeps/unix/sysv/linux/raise.c:55
55        return INLINE_SYSCALL (tgkill, 3, pid, selftid, sig);
(gdb) where
#0  0x00003fffb7cd260c in __GI_raise (sig=<optimized out>) at
../nptl/sysdeps/unix/sysv/linux/raise.c:55
#1  0x00003fffb7cd47f8 in __GI_abort () at abort.c:90
#2  0x0000000010000768 in sse_test () at
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.target/powerpc/sse-movlps-1.c:46
#3  do_test () at
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.target/powerpc/sse-check.h:14
#4  0x0000000010000510 in main () at
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.target/powerpc/sse-check.h:20

commit c33f474239308d81bf96cfdb2520d25488ad8724
Author: Jan Hubicka <jh@suse.cz>
Date:   Thu Sep 24 15:09:17 2020 +0200

[Bug ipa/98349] [11 regression] gcc.target/powerpc/sse-movhps-1.c and sse-movlps.c fail after r11-3434

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98349

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[11 regression]             |[11 regression]
                   |cc.target/powerpc/sse-movhp |gcc.target/powerpc/sse-movh
                   |s-1.c and sse-movlps.c fail |ps-1.c and sse-movlps.c
                   |after r11-3434              |fail after r11-3434
   Target Milestone|---                         |11.0

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Possibly a testsuite TBAA issue as well.

[Bug testsuite/98349] [11 regression] gcc.target/powerpc/sse-movhps-1.c and sse-movlps.c fail after r11-3434

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98349

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
          Component|ipa                         |testsuite

[Bug testsuite/98349] [11 regression] gcc.target/powerpc/sse-movhps-1.c and sse-movlps.c fail after r11-3434

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98349

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
So on gimple (with a cc1 cross) I can't see anything obviously wrong but we
vectorize the check_union128 function and apply IPA constprop around the TU.

So please see what's actually wrong here - you have noinline on 'test'
but not noipa (so we IPA-CP the constant initializer generating code
that's probably not how it was supposed to be tested:

test.constprop.0:
.LFB316:
        .cfi_startproc
.LCF0:
0:      addis 2,12,.TOC.-.LCF0@ha
        addi 2,2,.TOC.-.LCF0@l
        .localentry     test.constprop.0,.-test.constprop.0
        lxsdx 32,0,3
        addis 9,2,.LC1@toc@ha
        addi 9,9,.LC1@toc@l
        lvx 2,0,9
        xxpermdi 34,32,34,1
        blr

(but it looks OK with my limited understanding of ppc assembly).

[Bug testsuite/98349] [11 regression] gcc.target/powerpc/sse-movhps-1.c and sse-movlps.c fail after r11-3434

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98349

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Should be fixed by:
https://gcc.gnu.org/g:c63f091db89a56ae56b2bfa2ba4d9e956bd9693f                  

commit r11-6879-gc63f091db89a56ae56b2bfa2ba4d9e956bd9693f                       
Author: Jakub Jelinek <jakub@redhat.com>                                        
Date:   Sat Jan 23 09:41:58 2021 +0100                                          

    rs6000: Fix up __m64 typedef in mmintrin.h [PR97301]                        

    The x86 __m64 type is defined as:                                           
    /* The Intel API is flexible enough that we must allow aliasing with other  
       vector types, and their scalar components.  */                           
    typedef int __m64 __attribute__ ((__vector_size__ (8), __may_alias__));     
    and so matches the comment above it in that reads and stores through        
    pointers to __m64 can alias anything.                                       
    But in the rs6000 headers that is the case only for __m128, but not __m64.  

    The following patch adds that attribute, which fixes the                    
    FAIL: gcc.target/powerpc/sse-movhps-1.c execution test                      
    FAIL: gcc.target/powerpc/sse-movlps-1.c execution test                      
    regressions that appeared when Honza improved ipa-modref.                   

    2021-01-23  Jakub Jelinek  <jakub@redhat.com>                               

            PR testsuite/97301                                                  
            * config/rs6000/mmintrin.h (__m64): Add __may_alias__ attribute.