[Bug middle-end/28421] New: ICE with SSE code in extract_insn, at recog.c:2020

[Bug middle-end/28421] New: ICE with SSE code in extract_insn, at recog.c:2020

[micis at gmx dot de]

I get an ICE when I compile at -O1 (and only at -O1).
With the original source only gcc403 ICEs but not gcc401.
With the reduced source gcc401 ICEs too.

Michael Cieslinski


g++403 -O1 -S mb.ii -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-4.0.3/configure --prefix=/usr/local/gcc403
--program-suffix=403 --with-arch=opteron --enable-languages=c,c++
Thread model: posix
gcc version 4.0.3
 /usr/local/gcc403/libexec/gcc/x86_64-unknown-linux-gnu/4.0.3/cc1plus
-fpreprocessed mb.ii -quiet -dumpbase mb.ii -march=opteron -auxbase mb -O1
-version -o mb.s
GNU C++ version 4.0.3 (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.0.3.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
mb.ii: In function 'long int __vector__ foo()':
mb.ii:29: error: unrecognizable insn:
(insn 109 30 96 3 (set (reg:V2SI 0 ax)
        (const_vector:V2SI [
                (const_int -1 [0xffffffffffffffff])
                (const_int -1 [0xffffffffffffffff])
            ])) -1 (nil)
    (nil))
mb.ii:29: internal compiler error: in extract_insn, at recog.c:2020


mb.ii:

typedef long V2 __attribute__ ((__vector_size__(16)));
typedef int  V4 __attribute__ ((__vector_size__(16)));

int bar(V2);


__inline V2 baz(int a, int b)
{
    return (V4) {a, b};
}


V2 foo ()
{
    V2*     G;
    int*    H;
    V2      A;

    for (int E; E<10; E++)
    {
        G++;
        for (int F; F<E; F++)
        {
            *G = baz(0x0ffffffff, 0x0ffffffff);
            *H =   bar(__builtin_ia32_psrldqi128(A,  8))
                 | bar(__builtin_ia32_psrldqi128(A, 96));
        }
    }
}


-- 
           Summary: ICE with SSE code in extract_insn, at recog.c:2020
           Product: gcc
           Version: 4.0.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: micis at gmx dot de
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug target/28421] ICE with SSE code in extract_insn, at recog.c:2020

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-07-18 14:40 -------
(reg:V2SI 0 ax)
HUH, how can that happen.


-- 


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

[Bug target/28421] [4.0 Regression] ICE with SSE code in extract_insn, at recog.c:2020

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-09-03 06:28 -------
Reload 1: reload_in (V2SI) = (const_vector:V2SI [
                                                        (const_int -1
[0xffffffffffffffff])
                                                        (const_int -1
[0xffffffffffffffff])
                                                    ])
        GENERAL_REGS, RELOAD_FOR_INPUT (opnum = 1), can't combine
        reload_in_reg: (reg:V2SI 88)
        reload_reg_rtx: (reg:V2SI 0 ax)
There is a problem first with overflowed integers that the back-end does not
understand in 4.0.x which was fixed in 4.1.0.

This is also a regression from 3.4.0 so confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|x86_64-unknown-linux-gnu    |
   GCC host triplet|x86_64-unknown-linux-gnu    |
 GCC target triplet|x86_64-unknown-linux-gnu    |x86_64-*-linux-gnu
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.0.3
      Known to work|                            |4.2.0 3.4.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-09-03 06:28:09
               date|                            |
            Summary|ICE with SSE code in        |[4.0 Regression] ICE with
                   |extract_insn, at            |SSE code in extract_insn, at
                   |recog.c:2020                |recog.c:2020
   Target Milestone|---                         |4.0.4


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

[Bug target/28421] [4.0 Regression] ICE with SSE code in extract_insn, at recog.c:2020

[gdr at gcc dot gnu dot org]

------- Comment #3 from gdr at gcc dot gnu dot org  2007-02-03 18:04 -------
Won't fix in GCC-4.0.x.


-- 

gdr at gcc dot gnu dot org changed:

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


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