[Bug tree-optimization/53390] New: ICE: tree check: expected integer_cst, have nop_expr in vect_compute_data_ref_alignmen on 32-bit x86 host

[Bug tree-optimization/53390] New: ICE: tree check: expected integer_cst, have nop_expr in vect_compute_data_ref_alignmen on 32-bit x86 host

[gary at intrepid dot com]

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

             Bug #: 53390
           Summary: ICE: tree check: expected integer_cst, have nop_expr
                    in vect_compute_data_ref_alignmen on 32-bit x86 host
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gary@intrepid.com
                CC: PHHargrove@lbl.gov
              Host: CentOS 6 x86-32
            Target: x86-32


Built on x86-32 with GCC 4.8 trunk version 187616 (2012-05-16), the attached
test case fails with following internal error (with checks enabled).

test.i: In function ‘foo’:
test.i:10:6: internal compiler error: tree check: expected integer_cst, have
nop_expr in tree_int_cst_sgn, at tree.c:6601

Back trace:

#0  internal_error (gmsgid=0x8f57f68 "tree check: %s, have %s in %s, at %s:%d")
    at gcc/diagnostic.c:955
#1  0x089e6b71 in tree_check_failed (node=0xb7c8a378, 
    file=0x8f57148 "gcc/tree.c", line=6601, 
    function=0x8f5958c "tree_int_cst_sgn")
    at gcc/tree.c:8886
#2  0x089d7c50 in tree_int_cst_sgn (t=0xb7c8a378)
    at gcc/tree.c:6601
#3  0x089d7108 in tree_int_cst_lt (t1=0xb7c8a378, t2=0xb7bec594)
    at gcc/tree.c:6503
#4  0x089d7634 in tree_int_cst_compare (t1=0xb7c8a378, t2=0xb7bec594)
    at gcc/tree.c:6525
#5  0x08e2abda in vect_compute_data_ref_alignment (dr=0x92a3768)
    at gcc/tree-vect-data-refs.c:923
#6  0x08e2ae38 in vect_compute_data_refs_alignment (loop_vinfo=0x92a37e0, 
    bb_vinfo=0x0) at gcc/tree-vect-data-refs.c:976
#7  0x08e2d99f in vect_analyze_data_refs_alignment (loop_vinfo=0x92a37e0, 
    bb_vinfo=0x0)
    at gcc/tree-vect-data-refs.c:2074

(gdb) f 5
#5  0x08e2abda in vect_compute_data_ref_alignment (dr=0x92a3768)
    at gcc/tree-vect-data-refs.c:923
923       if (tree_int_cst_compare (DR_STEP (dr), size_zero_node) < 0)
(gdb) l
918                       && DECL_ALIGN (base) >= TYPE_ALIGN (vectype)));
919
920       /* If this is a backward running DR then first access in the larger
921          vectype actually is N-1 elements before the address in the DR.
922          Adjust misalign accordingly.  */
923       if (tree_int_cst_compare (DR_STEP (dr), size_zero_node) < 0)
924         {
925           tree offset = ssize_int (TYPE_VECTOR_SUBPARTS (vectype) - 1);
926           /* DR_STEP(dr) is the same as -TYPE_SIZE of the scalar type,
927              otherwise we wouldn't be here.  */
(gdb) down
#4  0x089d7634 in tree_int_cst_compare (t1=0xb7c8a378, t2=0xb7bec594)
    at gcc/tree.c:6525
6525      if (tree_int_cst_lt (t1, t2))
(gdb) p t1
$1 = (const_tree) 0xb7c8a378
(gdb) pt
 <nop_expr 0xb7c8a378
    type <integer_type 0xb7bff0c0 ssizetype public SI
        size <integer_cst 0xb7bec55c constant 32>
        unit size <integer_cst 0xb7bec578 constant 4>
        align 32 symtab 0 alias set -1 canonical type 0xb7bff0c0 precision 32
min <integer_cst 0xb7bec620 -2147483648> max <integer_cst 0xb7bec63c
2147483647>>

    arg 0 <mult_expr 0xb7c87a80
        type <integer_type 0xb7bff3c0 unsigned int public unsigned SI size
<integer_cst 0xb7bec55c 32> unit size <integer_cst 0xb7bec578 4>
            align 32 symtab 0 alias set -1 canonical type 0xb7bff3c0 precision
32 min <integer_cst 0xb7bec86c 0> max <integer_cst 0xb7bec850 4294967295>
            pointer_to_this <pointer_type 0xb7c0b300>>

        arg 0 <nop_expr 0xb7c8a348 type <integer_type 0xb7bff3c0 unsigned int>

            arg 0 <ssa_name 0xb7c70d3c type <integer_type 0xb7bff360 int>
                visited var <var_decl 0xb7c81cc0 pretmp.12>def_stmt
pretmp.12_42 = var2;

                version 42>>
        arg 1 <integer_cst 0xb7c7fa64 constant 2>>>

I was unable to cause this to fail on an x86_64 *host* compiling with -m32, but
perhaps needed to try some other configuration options.  The failing compiler
above was built on an x86-32 (CentOS 6) host with --disable-bootstrap and
--enable-checking.

[Bug tree-optimization/53390] ICE: tree check: expected integer_cst, have nop_expr in vect_compute_data_ref_alignmen on 32-bit x86 host

[gary at intrepid dot com]

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

--- Comment #1 from Gary Funck <gary at intrepid dot com> 2012-05-17 17:12:49 UTC ---
Created attachment 27428
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27428
Test case to demonstrate ICE in tree check on 32-bit host

Test case attached.  Compile with "-fpreprocessed -O3".

[Bug tree-optimization/53390] ICE: tree check: expected integer_cst, have nop_expr in vect_compute_data_ref_alignmen on 32-bit x86 host

[gary at intrepid dot com]

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

--- Comment #2 from Gary Funck <gary at intrepid dot com> 2012-05-17 17:25:23 UTC ---
The following versions of the support packages were installed via RPM.

mpfr-devel-2.4.1-6.el6.i686
gmp-devel-4.3.1-7.el6.i686
libmpc-devel-0.8-3.el6.i686
binutils-2.20.51.0.2-5.28.el6.i686

[Bug tree-optimization/53390] ICE: tree check: expected integer_cst, have nop_expr in vect_compute_data_ref_alignmen on 32-bit x86 host

[hjl.tools at gmail dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-05-17
                 CC|                            |matz at gcc dot gnu.org
   Target Milestone|---                         |4.8.0
     Ever Confirmed|0                           |1

--- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> 2012-05-17 21:03:03 UTC ---
It is caused by revision 186530:

http://gcc.gnu.org/ml/gcc-cvs/2012-04/msg00481.html

[Bug tree-optimization/53390] [4.8 Regression] ICE: tree check: expected integer_cst, have nop_expr in vect_compute_data_ref_alignmen on 32-bit x86 host

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|x86-32                      |i?86-*-*
             Status|NEW                         |ASSIGNED
               Host|CentOS 6 x86-32             |
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
            Summary|ICE: tree check: expected   |[4.8 Regression] ICE: tree
                   |integer_cst, have nop_expr  |check: expected
                   |in                          |integer_cst, have nop_expr
                   |vect_compute_data_ref_align |in
                   |men on 32-bit x86 host      |vect_compute_data_ref_align
                   |                            |men on 32-bit x86 host

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-18 10:47:10 UTC ---
Mine.

Index: gcc/tree-vect-data-refs.c
===================================================================
--- gcc/tree-vect-data-refs.c   (revision 187650)
+++ gcc/tree-vect-data-refs.c   (working copy)
@@ -824,6 +824,11 @@ vect_compute_data_ref_alignment (struct
   /* Initialize misalignment to unknown.  */
   SET_DR_MISALIGNMENT (dr, -1);

+  /* Strided loads perform only component accesses, misalignment information
+     is irrelevant for them.  */
+  if (STMT_VINFO_STRIDE_LOAD_P (stmt_info))
+    return true;
+
   misalign = DR_INIT (dr);
   aligned_to = DR_ALIGNED_TO (dr);
   base_addr = DR_BASE_ADDRESS (dr);

[Bug tree-optimization/53390] [4.8 Regression] ICE: tree check: expected integer_cst, have nop_expr in vect_compute_data_ref_alignmen on 32-bit x86 host

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-18 12:09:55 UTC ---
Author: rguenth
Date: Fri May 18 12:09:49 2012
New Revision: 187653

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187653
Log:
2012-05-18  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/53390
    * tree-vect-data-refs.c (vect_compute_data_ref_alignment): Ignore
    strided loads.

    * gcc.dg/torture/pr53390.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr53390.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-data-refs.c

[Bug tree-optimization/53390] [4.8 Regression] ICE: tree check: expected integer_cst, have nop_expr in vect_compute_data_ref_alignmen on 32-bit x86 host

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

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

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-18 12:10:12 UTC ---
Fixed.