[Bug target/59153] New: ICE: in memory_address_length, at config/i386/i386.c:24617 with -O -flive-range-shrinkage -mdispatch-scheduler -march=bdver1

[Bug target/59153] New: ICE: in memory_address_length, at config/i386/i386.c:24617 with -O -flive-range-shrinkage -mdispatch-scheduler -march=bdver1

[zsojka at seznam dot cz]

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

            Bug ID: 59153
           Summary: ICE: in memory_address_length, at
                    config/i386/i386.c:24617 with -O
                    -flive-range-shrinkage -mdispatch-scheduler
                    -march=bdver1
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz

Created attachment 31230
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31230&action=edit
reduced testcase

Compiler output:
$ gcc -O -flive-range-shrinkage -mdispatch-scheduler -march=bdver1 testcase.c 
testcase.c: In function 'foo':
testcase.c:5:1: internal compiler error: in memory_address_length, at
config/i386/i386.c:24617
 }
 ^
0xd97f06 memory_address_length(rtx_def*, bool)
        /mnt/svn/gcc-trunk/gcc/config/i386/i386.c:24617
0xdc4943 insn_default_length(rtx_def*)
        /mnt/svn/gcc-trunk/gcc/config/i386/i386.md:631
0xd6dc30 min_insn_size
        /mnt/svn/gcc-trunk/gcc/config/i386/i386.c:36340
0xd6ee2f add_to_dispatch_window
        /mnt/svn/gcc-trunk/gcc/config/i386/i386.c:43215
0xd6ee2f do_dispatch
        /mnt/svn/gcc-trunk/gcc/config/i386/i386.c:43381
0x12d1de3 schedule_block(basic_block_def**, void*)
        /mnt/svn/gcc-trunk/gcc/haifa-sched.c:6262
0xa734a7 schedule_region
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:3057
0xa734a7 schedule_insns
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:3393
0xa7389b schedule_insns
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:3378
0xa7389b rest_of_handle_live_range_shrinkage
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:3587
0xa7389b execute
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:3677
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

$ gcc -v                                                                      
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-204897-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-204897-lto-fortran-checking-yes-rtl-df/
--without-cloog --without-ppl
Thread model: posix
gcc version 4.9.0 20131116 (experimental) (GCC) 

Tested revisions:
r204897 - crash
4.8 - doesn't know -flive-range-shrinkage

[Bug target/59153] ICE: in memory_address_length, at config/i386/i386.c:24617 with -O -flive-range-shrinkage -mdispatch-scheduler -march=bdver1

[uros at gcc dot gnu.org]

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

--- Comment #1 from uros at gcc dot gnu.org ---
Author: uros
Date: Sun Nov 17 23:10:10 2013
New Revision: 204925

URL: http://gcc.gnu.org/viewcvs?rev=204925&root=gcc&view=rev
Log:
    PR target/59153
    * config/i386/i386.c (ix86_address_subreg_operand): Do not
    reject non-integer subregs.
    (ix86_decompose_address): Do not reject invalid CONST_INT RTXes.
    Move check for invalid x32 constant addresses ...
    (ix86_legitimate_address_p): ... here.

testsuite/ChangeLog:

    PR target/59153
    * gcc.target/i386/pr59153.c: New test.


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

[Bug target/59153] ICE: in memory_address_length, at config/i386/i386.c:24617 with -O -flive-range-shrinkage -mdispatch-scheduler -march=bdver1

[ubizjak at gmail dot com]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2013-11/msg01977.htm
                   |                            |l
   Last reconfirmed|                            |2013-11-17
           Assignee|unassigned at gcc dot gnu.org      |ubizjak at gmail dot com
   Target Milestone|---                         |4.7.4
     Ever confirmed|0                           |1

--- Comment #2 from Uroš Bizjak <ubizjak at gmail dot com> ---
Fixed in mainline sofar.
>From gcc-bugs-return-434825-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Nov 17 23:57:59 2013
Return-Path: <gcc-bugs-return-434825-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 22380 invoked by alias); 17 Nov 2013 23:57:59 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 22300 invoked by uid 48); 17 Nov 2013 23:57:55 -0000
From: "regehr at cs dot utah.edu" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/59164] New: ice: tree check:=?UTF-8?Q? expected tree that contains ‘decl minimal’ structure?=,=?UTF-8?Q? have ‘integer_cst’ in get_var_info?=, at tree-into-ssa.c:380
Date: Sun, 17 Nov 2013 23:57:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: regehr at cs dot utah.edu
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter cc
Message-ID: <bug-59164-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-11/txt/msg01602.txt.bz2
Content-length: 3066

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

            Bug ID: 59164
           Summary: ice: tree check: expected tree that contains ‘decl
                    minimal’ structure, have ‘integer_cst’ in
                    get_var_info, at tree-into-ssa.c:380
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: regehr at cs dot utah.edu
                CC: chenyang at cs dot utah.edu

regehr@regehr-M51AC:~/z/reduce/r104$ gcc -O3 small.c -c
small.c: In function ‘fn2’:
small.c:9:6: internal compiler error: tree check: expected tree that contains
‘decl minimal’ structure, have ‘integer_cst’ in get_var_info, at
tree-into-ssa.c:380
 void fn2(void) {
      ^
0xbec8e4 tree_contains_struct_check_failed(tree_node const*,
tree_node_structure_enum, char const*, int, char const*)
    /home/regehr/z/compiler-source/gcc/gcc/tree.c:9340
0x54ddf7 contains_struct_check
    /home/regehr/z/compiler-source/gcc/gcc/tree.h:2820
0x54ddf7 get_var_info
    /home/regehr/z/compiler-source/gcc/gcc/tree-into-ssa.c:380
0xa4761e get_var_info
    /home/regehr/z/compiler-source/gcc/gcc/hash-table.h:825
0xa4761e get_common_info
    /home/regehr/z/compiler-source/gcc/gcc/tree-into-ssa.c:413
0xa4761e get_current_def(tree_node*)
    /home/regehr/z/compiler-source/gcc/gcc/tree-into-ssa.c:422
0xbbea64 slpeel_update_phi_nodes_for_guard1
    /home/regehr/z/compiler-source/gcc/gcc/tree-vect-loop-manip.c:474
0xbbea64 slpeel_tree_peel_loop_to_edge
    /home/regehr/z/compiler-source/gcc/gcc/tree-vect-loop-manip.c:1307
0xbc09ed vect_do_peeling_for_loop_bound(_loop_vec_info*, tree_node**, unsigned
int, bool)
    /home/regehr/z/compiler-source/gcc/gcc/tree-vect-loop-manip.c:1798
0xbb0437 vect_transform_loop(_loop_vec_info*)
    /home/regehr/z/compiler-source/gcc/gcc/tree-vect-loop.c:5662
0xbcd2cf vectorize_loops()
    /home/regehr/z/compiler-source/gcc/gcc/tree-vectorizer.c:375
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
regehr@regehr-M51AC:~/z/reduce/r104$ cat small.c
int a, d, e;
long b[10];
int c[10][8];

int fn1(p1) { 
  return 1 >> p1; 
}

void fn2(void) {
  int f;
  for (a=1; a <= 4; a++) {
    f = fn1(0 < c[a][0]);
    if (f || d)
      e = b[a] = 1;
  }
}
regehr@regehr-M51AC:~/z/reduce/r104$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r204924-install/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/regehr/z/compiler-source/gcc/configure
--prefix=/home/regehr/z/compiler-install/gcc-r204924-install
--enable-languages=c,c++ --enable-multilib
Thread model: posix
gcc version 4.9.0 20131117 (experimental) (GCC)
>From gcc-bugs-return-434826-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Nov 18 00:01:33 2013
Return-Path: <gcc-bugs-return-434826-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 24457 invoked by alias); 18 Nov 2013 00:01:32 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 24429 invoked by uid 48); 18 Nov 2013 00:01:29 -0000
From: "paolo.carlini at oracle dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/58907] [c++11] ICE in gimplify_var_or_parm_decl, at gimplify.c:NNNN
Date: Mon, 18 Nov 2013 00:01:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: paolo.carlini at oracle dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on everconfirmed
Message-ID: <bug-58907-4-uEwi4dacdq@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58907-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58907-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-11/txt/msg01603.txt.bz2
Content-length: 406

http://gcc.gnu.org/bugzilla/show_bug.cgi?idX907

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-11-18
     Ever confirmed|0                           |1

[Bug target/59153] ICE: in memory_address_length, at config/i386/i386.c:24617 with -O -flive-range-shrinkage -mdispatch-scheduler -march=bdver1

[uros at gcc dot gnu.org]

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

--- Comment #3 from uros at gcc dot gnu.org ---
Author: uros
Date: Tue Nov 19 19:41:40 2013
New Revision: 205053

URL: http://gcc.gnu.org/viewcvs?rev=205053&root=gcc&view=rev
Log:
    Backport from mainline
    2013-11-18  Uros Bizjak  <ubizjak@gmail.com>

    * config/i386/i386.c (ix86_decompose_address): Use REG_P instead of
    ix86_address_subreg_operand.  Move subreg checks to
    ix86_validate_address_register.  Move address override check to
    ix86_legitimate_address_p.
    (ix86_validate_address_register): New function.
    (ix86_legitimate_address_p): Call ix86_validate_address_register
    to validate base and index registers.  Add address override check
    from ix86_decompose_address.
    (ix86_decompose_address): Remove.

    Backport from mainline
    2013-11-17  Uros Bizjak  <ubizjak@gmail.com>

    PR target/59153
    * config/i386/i386.c (ix86_address_subreg_operand): Do not
    reject non-integer subregs.
    (ix86_decompose_address): Do not reject invalid CONST_INT RTXes.
    Move check for invalid x32 constant addresses ...
    (ix86_legitimate_address_p): ... here.


Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/config/i386/i386.c

[Bug target/59153] ICE: in memory_address_length, at config/i386/i386.c:24617 with -O -flive-range-shrinkage -mdispatch-scheduler -march=bdver1

[uros at gcc dot gnu.org]

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

--- Comment #4 from uros at gcc dot gnu.org ---
Author: uros
Date: Wed Nov 20 16:01:46 2013
New Revision: 205122

URL: http://gcc.gnu.org/viewcvs?rev=205122&root=gcc&view=rev
Log:
    Backport from mainline
    2013-11-18  Uros Bizjak  <ubizjak@gmail.com>

    * config/i386/i386.c (ix86_decompose_address): Use REG_P instead of
    ix86_address_subreg_operand.  Move subreg checks to
    ix86_validate_address_register.  Move address override check to
    ix86_legitimate_address_p.
    (ix86_validate_address_register): New function.
    (ix86_legitimate_address_p): Call ix86_validate_address_register
    to validate base and index registers.  Add address override check
    from ix86_decompose_address.
    (ix86_decompose_address): Remove.

    Backport from mainline
    2013-11-17  Uros Bizjak  <ubizjak@gmail.com>

    PR target/59153
    * config/i386/i386.c (ix86_address_subreg_operand): Do not
    reject non-integer subregs.
    (ix86_decompose_address): Do not reject invalid CONST_INT RTXes.
    Move check for invalid x32 constant addresses ...
    (ix86_legitimate_address_p): ... here.

    Bacport from mainline
    2012-03-13  Uros Bizjak  <ubizjak@gmail.com>

    * config/i386/i386.c (ix86_decompose_address): Prevent %fs:(%reg)
    addresses only when %reg is not in word mode.


Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/config/i386/i386.c

[Bug target/59153] ICE: in memory_address_length, at config/i386/i386.c:24617 with -O -flive-range-shrinkage -mdispatch-scheduler -march=bdver1

[ubizjak at gmail dot com]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

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

--- Comment #5 from Uroš Bizjak <ubizjak at gmail dot com> ---
Fixed everywhere.
>From gcc-bugs-return-435261-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Nov 20 16:35:44 2013
Return-Path: <gcc-bugs-return-435261-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 2457 invoked by alias); 20 Nov 2013 16:35:43 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 31026 invoked by uid 48); 20 Nov 2013 16:34:01 -0000
From: "jsm28 at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/21718] real.c rounding not perfect
Date: Wed, 20 Nov 2013 16:35:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.1.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: jsm28 at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-21718-4-SPBwaKzRqk@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-21718-4@http.gcc.gnu.org/bugzilla/>
References: <bug-21718-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-11/txt/msg02038.txt.bz2
Content-length: 450

http://gcc.gnu.org/bugzilla/show_bug.cgi?id!718

--- Comment #25 from Joseph S. Myers <jsm28 at gcc dot gnu.org> ---
Rounding to zero and setting a sticky bit based on inexactness works as long as
the internal precision has at least two more bits than the final precision for
which correctly rounded results are required.  (This is what Boldo and
Melquiond call rounding to odd in their fma algorithm, but the basic idea is
much older than that.)