[Bug target/27566] New: [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[Bug target/27566] New: [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[jsm28 at gcc dot gnu dot org]

Some GCC tests such as gcc.c-torture/execute/simd-5.c fail on
powerpc-none-eabispe with an ICE in final_scan_insn (not optimizing) or
reload_cse_simplify_operands (optimizing).  This happens with trunk and 4.1
branch but not with 4.0 branch.  Reduced testcase:

typedef short Q __attribute__((vector_size(8)));

Q a, b, c;

void
f (void)
{
  c = a * b;
}

Non-optimizing:
t.c: In function 'f':
t.c:9: error: insn does not satisfy its constraints:
(insn 45 74 75 (set (reg:V4HI 0 0 [158])
        (mem/u/c/i:V4HI (lo_sum:SI (reg:SI 10 10)
                (symbol_ref/u:SI ("*.LC0") [flags 0x2])) [0 S8 A64])) 1059
{*movv4hi_internal} (nil)
    (nil))
t.c:9: internal compiler error: in final_scan_insn, at final.c:2379
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

With -O:
t.c: In function 'f':
t.c:9: error: insn does not satisfy its constraints:
(insn 18 68 66 2 (set (reg:V4HI 0 0 [127])
        (mem/u/c/i:V4HI (lo_sum:SI (reg:SI 6 6)
                (symbol_ref/u:SI ("*.LC0") [flags 0x82])) [0 S8 A64])) 1059
{*movv4hi_internal} (nil)
    (nil))
t.c:9: internal compiler error: in reload_cse_simplify_operands, at
postreload.c:393
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.1/4.2 Regression] ICEs in final_scan_insn and
                    reload_cse_simplify_operands for vectors with SPE
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jsm28 at gcc dot gnu dot org
GCC target triplet: powerpc*-*-*spe


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

[Bug target/27566] [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[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
   Target Milestone|---                         |4.1.1


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

[Bug target/27566] [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug target/27566] [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[mmitchel at gcc dot gnu dot org]

------- Comment #1 from mmitchel at gcc dot gnu dot org  2006-05-25 02:34 -------
Will not be fixed in 4.1.1; adjust target milestone to 4.1.2.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.1                       |4.1.2


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

[Bug target/27566] [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-06-30 06:04 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-06-30 06:04:54
               date|                            |


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

[Bug target/27566] [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-07-08 04:56 -------
We have before reload:
(insn 45 44 46 3 (set (reg:V4HI 131 [ D.1754 ])
        (const_vector:V4HI [
                (const_int 0 [0x0])
                (const_int 0 [0x0])
                (const_int 0 [0x0])
                (const_int 0 [0x0])
            ])) 933 {*movv4hi_internal} (nil)
    (nil))

Which then gets turned into:
(insn 73 44 45 3 (set (reg:SI 10 10)
        (high:SI (symbol_ref/u:SI ("*.LC0") [flags 0x2]))) 319 {elf_high} (nil)
    (nil))

(insn 45 73 74 3 (set (reg:V4HI 0 0 [orig:131 D.1754 ] [131])
        (mem/u/c/i:V4HI (lo_sum:SI (reg:SI 10 10) 
                (symbol_ref/u:SI ("*.LC0") [flags 0x2])) [0 S8 A64])) 933
{*movv4hi_internal} (nil)
    (nil))
Which is normally fine except for the fact V4HI memory only accepts reg+reg and
not reg+imm.


-- 


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

[Bug target/27566] [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[dje at gcc dot gnu dot org]

------- Comment #4 from dje at gcc dot gnu dot org  2006-07-14 19:21 -------
rs6000_legitimate_offset_address_p() accepts constant offsets:

    case V4HImode:
    case V2SImode:
    case V1DImode:
    case V2SFmode:
      /* SPE vector modes.  */
      return SPE_CONST_OFFSET_OK (offset);

It actually probably should allow any constant offset when not strict, but this
needs a legitimize_reload_address stanza to push the addition.


-- 

dje at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dje at gcc dot gnu dot org


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

[Bug target/27566] [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[dje at gcc dot gnu dot org]

------- Comment #5 from dje at gcc dot gnu dot org  2006-08-03 01:19 -------
* config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Do not reload a
SPE symbol_ref into a lo_sum address.

Index: rs6000.c
===================================================================
*** rs6000.c    (revision 115281)
--- rs6000.c    (working copy)
*************** rs6000_legitimize_reload_address (rtx x,
*** 3421,3426 ****
--- 3421,3427 ----

    if (GET_CODE (x) == SYMBOL_REF
        && !ALTIVEC_VECTOR_MODE (mode)
+       && !SPE_VECTOR_MODE (mode)
  #if TARGET_MACHO
        && DEFAULT_ABI == ABI_DARWIN
        && (flag_pic || MACHO_DYNAMIC_NO_PIC_P)


-- 


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

[Bug target/27566] [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[dje at gcc dot gnu dot org]

------- Comment #6 from dje at gcc dot gnu dot org  2006-08-03 13:48 -------
Subject: Bug 27566

Author: dje
Date: Thu Aug  3 13:48:01 2006
New Revision: 115902

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115902
Log:
        PR target/27566
        * config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Do
        not reload a SPE symbol_ref into a lo_sum address.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/rs6000/rs6000.c


-- 


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

[Bug target/27566] [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[dje at gcc dot gnu dot org]

------- Comment #7 from dje at gcc dot gnu dot org  2006-08-03 18:36 -------
Subject: Bug 27566

Author: dje
Date: Thu Aug  3 18:36:28 2006
New Revision: 115909

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115909
Log:
        PR target/27566
        * config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Do
        not reload a SPE symbol_ref into a lo_sum address.

Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/config/rs6000/rs6000.c


-- 


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

[Bug target/27566] [4.1/4.2 Regression] ICEs in final_scan_insn and reload_cse_simplify_operands for vectors with SPE

[dje at gcc dot gnu dot org]

------- Comment #8 from dje at gcc dot gnu dot org  2006-08-03 18:37 -------
Patch applied to mainline and 4.1 branch.


-- 

dje at gcc dot gnu dot org changed:

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


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