[Bug target/46253] New: ICE: in move_or_delete_vzeroupper_2, at config/i386/i386.c:252 with -g and __builtin_ia32_vzeroupper()

[Bug target/46253] New: ICE: in move_or_delete_vzeroupper_2, at config/i386/i386.c:252 with -g and __builtin_ia32_vzeroupper()

[zsojka at seznam dot cz]

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

           Summary: ICE: in move_or_delete_vzeroupper_2, at
                    config/i386/i386.c:252 with -g and
                    __builtin_ia32_vzeroupper()
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


Created attachment 22212
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22212
reduced testcase

Compiler output:
$ gcc -O -g -mf16c pr46253.c 
pr46253.c: In function 'foo':
pr46253.c:10:1: internal compiler error: in move_or_delete_vzeroupper_2, at
config/i386/i386.c:252
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug target/46253] ICE: in move_or_delete_vzeroupper_2, at config/i386/i386.c:252 with -g and __builtin_ia32_vzeroupper()

[ubizjak at gmail dot com]

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

Uros Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2010.10.31 18:04:40
         AssignedTo|unassigned at gcc dot       |ubizjak at gmail dot com
                   |gnu.org                     |
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #1 from Uros Bizjak <ubizjak at gmail dot com> 2010-10-31 18:04:40 UTC ---
I will soon post a patch that recodes move_or_delete_vzeroupper_2 loop.

The patch also fixes this testcase.

[Bug target/46253] ICE: in move_or_delete_vzeroupper_2, at config/i386/i386.c:252 with -g and __builtin_ia32_vzeroupper()

[hjl.tools at gmail dot com]

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

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2010-10-31 18:09:16 UTC ---
Created attachment 22213
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22213
An experimental patch

[Bug target/46253] [4.6 Regression] ICE: in move_or_delete_vzeroupper_2, at config/i386/i386.c:252 with -g and __builtin_ia32_vzeroupper()

[hjl at gcc dot gnu.org]

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

--- Comment #3 from hjl at gcc dot gnu.org <hjl at gcc dot gnu.org> 2010-11-02 18:08:49 UTC ---
Author: hjl
Date: Tue Nov  2 18:08:44 2010
New Revision: 166208

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166208
Log:
Emit vzerouppers after reload.

gcc/

2010-11-02  Uros Bizjak  <ubizjak@gmail.com>
        H.J. Lu  <hongjiu.lu@intel.com>

    * config/i386/i386-protos.h (ix86_split_call_vzeroupper): New.
    (ix86_split_call_pop_vzeroupper): Likewise.

    * config/i386/i386.c (move_or_delete_vzeroupper_2): Rewrite
    the loop.
    (ix86_expand_call): Use UNSPEC_CALL_NEEDS_VZEROUPPER.
    (ix86_split_call_vzeroupper): New.
    (ix86_split_call_pop_vzeroupper): Likewise.

    * config/i386/i386.md (UNSPEC_CALL_NEEDS_VZEROUPPER): New.
    (*call_pop_0_vzeroupper): Likewise.
    (*call_pop_1_vzeroupper): Likewise.
    (*sibcall_pop_1_vzeroupper): Likewise.
    (*call_0_vzeroupper): Likewise.
    (*call_1_vzeroupper): Likewise.
    (*sibcall_1_vzeroupper): Likewise.
    (*call_1_rex64_vzeroupper): Likewise.
    (*call_1_rex64_ms_sysv_vzeroupper): New.
    (*call_1_rex64_large_vzeroupper): Likewise.
    (*sibcall_1_rex64_vzeroupper): Likewise.
    (*call_value_pop_0_vzeroupper): New.
    (*call_value_pop_1_vzeroupper): Likewise.
    (*sibcall_value_pop_1_vzeroupper): Likewise.
    (*call_value_0_vzeroupper): New.
    (*call_value_0_rex64_vzeroupper): Use
    (*call_value_0_rex64_ms_sysv_vzeroupper): Likewise.
    (*call_value_1_vzeroupper): Likewise.
    (*sibcall_value_1_vzeroupper): Likewise.
    (*call_value_1_rex64_vzeroupper): Likewise.
    (*call_value_1_rex64_ms_sysv_vzeroupper): Likewise.
    (*call_value_1_rex64_large_vzeroupper): Likewise.
    (*sibcall_value_1_rex64_vzeroupper): Likewise.

gcc/testsuite/

2010-11-02  H.J. Lu  <hongjiu.lu@intel.com>

    * gcc.target/i386/avx-vzeroupper-15.c: New.
    * gcc.target/i386/avx-vzeroupper-16.c: Likewise.
    * gcc.target/i386/avx-vzeroupper-17.c: Likewise.
    * gcc.target/i386/avx-vzeroupper-18.c: Likewise.

    PR target/46253
    * gcc.target/i386/pr46253.c: New.

Added:
    trunk/gcc/testsuite/gcc.target/i386/avx-vzeroupper-15.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vzeroupper-16.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vzeroupper-17.c
    trunk/gcc/testsuite/gcc.target/i386/avx-vzeroupper-18.c
    trunk/gcc/testsuite/gcc.target/i386/pr46253.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386-protos.h
    trunk/gcc/config/i386/i386.c
    trunk/gcc/config/i386/i386.md
    trunk/gcc/testsuite/ChangeLog

[Bug target/46253] [4.6 Regression] ICE: in move_or_delete_vzeroupper_2, at config/i386/i386.c:252 with -g and __builtin_ia32_vzeroupper()

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

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

--- Comment #4 from H.J. Lu <hjl.tools at gmail dot com> 2010-11-02 18:09:43 UTC ---
Fixed.