[Bug tree-optimization/27790] New: [4.1/4.2 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[Bug tree-optimization/27790] New: [4.1/4.2 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[halcy0n at gentoo dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1975 bytes --]

halcyon@birdbath ~ $ gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc-4.1/configure --prefix=/home/halcyon/gcc-test/bin-4.1/
--enable-languages=c,c++
Thread model: posix
gcc version 4.1.2 20060529 (prerelease)

gcc -c -ftree-vectorize -O1 -msse2 test.i
test.i: In function ‘binarize’:
test.i:10: error: unrecognizable insn:
(insn 80 79 81 13 (set (reg:V16QI 84)
        (us_minus:V16QI (mem:V16QI (plus:SI (reg:SI 62 [ D.1718 ])
                    (reg:SI 68 [ vect_p.39 ])) [0 S16 A128])
            (reg:V16QI 82))) -1 (nil)
    (nil))
test.i:10: internal compiler error: in extract_insn, at recog.c:2084
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


Reduced testcase:

void binarize ()                                                                
{                                                                               
  unsigned i, npixels;                                                          
  unsigned char *b;                                                             
  if (i == 1)                                                                   
    {                                                                           
      for (i = 0; i < npixels; i++)                                             
        b[i] = (b[i] > 225 ? 0xff : 0);                                         
    }                                                                           
}


-- 
           Summary: [4.1/4.2 Regression] Unrecognizable insn with -ftree-
                    vectorize -O1 -msse2
           Product: gcc
           Version: 4.1.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: halcy0n at gentoo dot org


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

[Bug target/27790] [4.1/4.2 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |4.1.2


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

[Bug target/27790] [4.1/4.2 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-05-29 04:28 -------
Confirmed, the bug is in ix86_expand_int_vcond.  


-- 

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         |2006-05-29 04:28:52
               date|                            |


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

[Bug target/27790] [4.1/4.2 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-05-29 04:31 -------
This also can be reproduced on x86_64:
void binarize (int npixels, unsigned char *b)
{
  int i;
  for (i = 0; i < npixels; i++)
    b[i] = (b[i] > 225 ? 0xff : 0);
}


-- 


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

[Bug target/27790] [4.1/4.2 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[uros at kss-loka dot si]

------- Comment #3 from uros at kss-loka dot si  2006-05-29 10:29 -------
I'm testing a patch.


-- 

uros at kss-loka dot si changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |uros at kss-loka dot si
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-05-29 04:28:52         |2006-05-29 10:29:47
               date|                            |


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

[Bug target/27790] [4.1/4.2 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2006-05-29 10:42 -------
Created an attachment (id=11528)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11528&action=view)
pr27790.patch

This seems to work for me.


-- 


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

[Bug target/27790] [4.1/4.2 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[uros at kss-loka dot si]

------- Comment #5 from uros at kss-loka dot si  2006-05-29 11:52 -------
(In reply to comment #4)

> pr27790.patch
> 
> This seems to work for me.

In V4SImode case above, there is

            emit_insn (gen_subv4si3 (t1, cop0, cop1));

subv4si insn also needs cop0 in the register:

(define_expand "sub<mode>3"
  [(set (match_operand:SSEMODEI 0 "register_operand" "")
        (minus:SSEMODEI (match_operand:SSEMODEI 1 "register_operand" "")
                        (match_operand:SSEMODEI 2 "nonimmediate_operand" "")))]
  "TARGET_SSE2"
  "ix86_fixup_binary_operands_no_copy (MINUS, <MODE>mode, operands);")


> 


-- 


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

[Bug target/27790] [4.1/4.2 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[uros at gcc dot gnu dot org]

------- Comment #6 from uros at gcc dot gnu dot org  2006-05-30 06:12 -------
Subject: Bug 27790

Author: uros
Date: Tue May 30 06:12:30 2006
New Revision: 114229

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114229
Log:
        PR target/27790
        * config/i386/i386.c (ix86_expand_int_vcond): Force cop0
        into register for (code == GTU).

testsuite/ChangeLog:

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


Added:
    trunk/gcc/testsuite/gcc.target/i386/pr27790.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug target/27790] [4.1 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-05-30 14:00 -------
Fixed at least on the mainline.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.1.1 4.1.2 4.2.0           |4.1.1 4.1.2
      Known to work|4.0.4                       |4.0.4 4.2.0
            Summary|[4.1/4.2 Regression]        |[4.1 Regression]
                   |Unrecognizable insn with -  |Unrecognizable insn with -
                   |ftree-vectorize -O1 -msse2  |ftree-vectorize -O1 -msse2


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

[Bug target/27790] [4.1 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[uros at gcc dot gnu dot org]

------- Comment #8 from uros at gcc dot gnu dot org  2006-06-07 07:02 -------
Subject: Bug 27790

Author: uros
Date: Wed Jun  7 07:01:49 2006
New Revision: 114460

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114460
Log:
        PR target/27790
        * config/i386/i386.c (ix86_expand_int_vcond): Force cop0
        into register for (code == GTU).

testsuite/ChangeLog

        PR target/27790
        * gcc.target/i386/pr27790.c: New test.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.target/i386/pr27790.c
      - copied unchanged from r114229,
trunk/gcc/testsuite/gcc.target/i386/pr27790.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/config/i386/i386.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug target/27790] [4.1 Regression] Unrecognizable insn with -ftree-vectorize -O1 -msse2

[uros at kss-loka dot si]

------- Comment #9 from uros at kss-loka dot si  2006-06-07 07:05 -------
Fixed on 4.1 branch.


-- 

uros at kss-loka dot si changed:

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


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