[Bug target/34458] New: [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[Bug target/34458] New: [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[tbm at cyrius dot com]

I get the following 4.3 regression with -O3 on hppa:

tbm@tx:~$ /usr/lib/gcc-snapshot/bin/gcc -c -O3 -Wall kmd-lint.c
kmd-lint.c: In function 'lint_operate':
kmd-lint.c:9: internal compiler error: in int_cst_value, at tree.c:8047
Please submit a full bug report,
with preprocessed source if appropriate.

This shows up at with current trunk and at least with 4.3.0 20070916.


-- 
           Summary: [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at
                    -O3
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com
GCC target triplet: hppa-linux-gnu


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

[Bug target/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2007-12-14 03:54 -------
/* Testcase by Martin Michlmayr <tbm@cyrius.com> */

typedef struct
{
  int data[1024];
}
Lint;
Lint lint_operate (Lint a, long long ammount)
{
  int index;
  Lint ret;
  for (index = 0; index < 24; index++)
    ret.data[index] =
      a.data[index + ammount / 32 + 1] << a.data[index + ammount / 32];
  return ret;
}


-- 


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

[Bug target/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[danglin at gcc dot gnu dot org]

------- Comment #2 from danglin at gcc dot gnu dot org  2007-12-14 16:44 -------
Breakpoint 1, int_cst_value (x=0x4023d320) at ../../gcc/gcc/tree.c:8047
8047      gcc_assert (bits <= HOST_BITS_PER_WIDE_INT);
(gdb) p bits
$3 = 64
(gdb) bt
#0  int_cst_value (x=0x4023d320) at ../../gcc/gcc/tree.c:8047
#1  0x00633d7c in initialize_matrix_A (A=0x401c7fc0, chrec=0x40246730,
    index=0, mult=1) at ../../gcc/gcc/tree-data-ref.c:1816
#2  0x0063505c in analyze_subscript_affine_affine (chrec_a=0x40246730,
    chrec_b=0x40246758, overlaps_a=0xfb452094, overlaps_b=0xfb452098,
    last_conflicts=0xfb45208c) at ../../gcc/gcc/tree-data-ref.c:2049
#3  0x006375e0 in analyze_siv_subscript (chrec_a=0x40246730,
    chrec_b=0x40246758, overlaps_a=0xfb452094, overlaps_b=0xfb452098,
    last_conflicts=0xfb45208c) at ../../gcc/gcc/tree-data-ref.c:2367
#4  0x00638a34 in analyze_overlapping_iterations (chrec_a=0x402464b0,
    chrec_b=0x40246460, overlap_iterations_a=0xfb452094,
    overlap_iterations_b=0xfb452098, last_conflicts=0xfb45208c,
    loop_nest=0x401cdaa8) at ../../gcc/gcc/tree-data-ref.c:2604
#5  0x0063be74 in subscript_dependence_tester_1 (ddr=0xcce3d0, dra=0xcce400,
    drb=0xcce440, loop_nest=0x401cdaa8) at ../../gcc/gcc/tree-data-ref.c:3145
#6  0x0063c080 in subscript_dependence_tester (ddr=0xcce3d0,
    loop_nest=0x401cdaa8) at ../../gcc/gcc/tree-data-ref.c:3191
#7  0x0063eee4 in compute_affine_dependence (ddr=0xcce3d0,
    loop_nest=0x401cdaa8) at ../../gcc/gcc/tree-data-ref.c:3820
#8  0x0063f2e8 in compute_all_dependences (datarefs=0xce5f38,
    dependence_relations=0xfb451e20, loop_nest=0xce5d50,
    compute_self_and_rr=1 '\001') at ../../gcc/gcc/tree-data-ref.c:3896
#9  0x00640e5c in compute_data_dependences_for_loop (loop=0x401cdaa8,
    compute_self_and_read_read_dependences=1 '\001', datarefs=0xfb451e1c,
    dependence_relations=0xfb451e20) at ../../gcc/gcc/tree-data-ref.c:4132
#10 0x006b8804 in tree_predictive_commoning_loop (loop=0x401cdaa8)
    at ../../gcc/gcc/tree-predcom.c:2496
#11 0x006b8d14 in tree_predictive_commoning ()
    at ../../gcc/gcc/tree-predcom.c:2605
#12 0x007b4858 in run_tree_predictive_commoning ()
    at ../../gcc/gcc/tree-ssa-loop.c:183
#13 0x004db980 in execute_one_pass (pass=0xc88f18)
    at ../../gcc/gcc/passes.c:1118
#14 0x004dbba0 in execute_pass_list (pass=0xc88f18)
    at ../../gcc/gcc/passes.c:1171
#15 0x004dbbc4 in execute_pass_list (pass=0xc88e48)
    at ../../gcc/gcc/passes.c:1172
#16 0x004dbbc4 in execute_pass_list (pass=0xc8880c)
    at ../../gcc/gcc/passes.c:1172
#17 0x006949c0 in tree_rest_of_compilation (fndecl=0x402318c0)
    at ../../gcc/gcc/tree-optimize.c:404
#18 0x0096e704 in cgraph_expand_function (node=0x401c9280)
    at ../../gcc/gcc/cgraphunit.c:1151
#19 0x0096e960 in cgraph_expand_all_functions ()
    at ../../gcc/gcc/cgraphunit.c:1214
#20 0x0096f23c in cgraph_optimize () at ../../gcc/gcc/cgraphunit.c:1421
#21 0x00055140 in c_write_global_declarations () at ../../gcc/gcc/c-decl.c:8077
#22 0x005e4fb0 in compile_file () at ../../gcc/gcc/toplev.c:1055
#23 0x005e7af4 in do_compile () at ../../gcc/gcc/toplev.c:2245
#24 0x005e7ba0 in toplev_main (argc=17, argv=0xfb451608)
    at ../../gcc/gcc/toplev.c:2277
#25 0x00131740 in main (argc=17, argv=0xfb451608) at ../../gcc/gcc/main.c:35

It appears HOST_BITS_PER_WIDE_INT is 32 in this code.  This is no doubt
caused by using a long long (64-bit) index.  


-- 


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

[Bug target/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[danglin at gcc dot gnu dot org]

------- Comment #3 from danglin at gcc dot gnu dot org  2007-12-14 17:36 -------
HOST_BITS_PER_WIDE_INT is 32 because NEED_64BIT_HOST_WIDE_INT
is not defined in auto-host.h:

/* Define to 1 if HOST_WIDE_INT must be 64 bits wide (see hwint.h). */
#ifndef USED_FOR_TARGET
/* #undef NEED_64BIT_HOST_WIDE_INT */
#endif

In hwint.h:
#if HOST_BITS_PER_LONG >= 64 || !defined NEED_64BIT_HOST_WIDE_INT
#   define HOST_BITS_PER_WIDE_INT HOST_BITS_PER_LONG
#   define HOST_WIDE_INT long

We have this statement in config.gcc:

#  need_64bit_hwint     Set to yes if HOST_WIDE_INT must be 64 bits wide
#                       for this target.  This is true iff this target
#                       supports "long" or "wchar_t" wider than 32 bits.

The above is not true, so it would appear this is not a target bug.


-- 


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

[Bug middle-end/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2007-12-14 22:28 -------
Are pointers 64bit here?  In that case the docs should be updated ;)

But yes, the code in tree-data-ref.c needs to be more careful.  Sebastian?


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug middle-end/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #5 from dave at hiauly1 dot hia dot nrc dot ca  2007-12-14 22:41 -------
Subject: Re:  [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

> Are pointers 64bit here?  In that case the docs should be updated ;)

No, they are 32bit for this target.

Dave


-- 


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[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
          Component|middle-end                  |tree-optimization
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[reichelt at gcc dot gnu dot org]

------- Comment #6 from reichelt at gcc dot gnu dot org  2007-12-27 15:42 -------
Confirmed. Even shorter testcase:

======================================
struct A
{
  int x[8];
};

void foo(struct A* p, long long j)
{
  int i;
  for (i = 0; i < 2; ++i)
    p->x[i+j+1] = p->x[i+j];
}
======================================

The bug appeared for i686-pc-linux-gnu between 2007-06-16 and 2007-05-13.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |monitored
   Last reconfirmed|0000-00-00 00:00:00         |2007-12-27 15:42:13
               date|                            |


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2007-12-27 15:59 -------
I always wondered why x86 uses HWI as being 32bits, it has registers which is
128bit wide now with SSE.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 GCC target triplet|hppa-linux-gnu              |HWI==32


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[hjl at lucon dot org]

------- Comment #8 from hjl at lucon dot org  2007-12-28 01:23 -------
I believe revision 125030:

http://gcc.gnu.org/ml/gcc-cvs/2007-05/msg00730.html
http://gcc.gnu.org/ml/gcc-patches/2007-05/msg01061.html

is the cause.


-- 

hjl at lucon dot org changed:

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


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[sebpop at gmail dot com]

------- Comment #9 from sebpop at gmail dot com  2007-12-28 17:56 -------
Subject: Re:  [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

Attached is a fix for this bug.  I'll test it and then post it on gcc-patches.

Sebastian


------- Comment #10 from sebpop at gmail dot com  2007-12-28 17:56 -------
Created an attachment (id=14839)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14839&action=view)


-- 


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[mmitchel at gcc dot gnu dot org]

------- Comment #11 from dberlin at gcc dot gnu dot org  2008-01-02 22:50 -------
adding a comment to test


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[dberlin at gcc dot gnu dot org]

------- Comment #11 from dberlin at gcc dot gnu dot org  2008-01-02 22:50 -------
adding a comment to test


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[spop at gcc dot gnu dot org]

------- Comment #12 from spop at gcc dot gnu dot org  2008-01-03 02:47 -------
Subject: Re:  [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

The fix I sent earlier had a typo, so I'm testing again.


-- 


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[spop at gcc dot gnu dot org]

------- Comment #13 from spop at gcc dot gnu dot org  2008-01-03 22:01 -------
Subject: Bug 34458

Author: spop
Date: Thu Jan  3 21:59:38 2008
New Revision: 131307

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131307
Log:
2008-01-02  Sebastian Pop  <sebastian.pop@amd.com>

        PR tree-optimization/34458
        * tree-data-ref.c (dd_int_cst_value): New.
        (initialize_matrix_A, compute_overlap_steps_for_affine_1_2,
        analyze_subscript_affine_affine, build_classic_dist_vector_1,
        add_multivariate_self_dist, init_omega_eq_with_af): Use 
        dd_int_cst_value instead of int_cst_value.

        * testsuite/gcc.dg/tree-ssa/pr34458.c: New.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr34458.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-data-ref.c


-- 


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[spop at gcc dot gnu dot org]

------- Comment #14 from spop at gcc dot gnu dot org  2008-01-03 22:03 -------
Fixed.


-- 

spop at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[rakdver at gcc dot gnu dot org]

------- Comment #15 from rakdver at gcc dot gnu dot org  2008-01-03 22:22 -------
(In reply to comment #14)
> Fixed.

The fix looks a bit ugly.  tree-data-ref should probably use double_ints or
mpz, instead (although this cleanup is obviously for 4.4).


-- 


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[spop at gcc dot gnu dot org]

------- Comment #16 from spop at gcc dot gnu dot org  2008-01-03 23:01 -------
Subject: Bug 34458

Author: spop
Date: Thu Jan  3 22:59:48 2008
New Revision: 131308

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131308
Log:
2008-01-03  Sebastian Pop  <sebastian.pop@amd.com>

        Revert fix for PR tree-optimization/34458.


Removed:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr34458.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-data-ref.c


-- 


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[spop at gcc dot gnu dot org]

------- Comment #17 from spop at gcc dot gnu dot org  2008-01-03 23:04 -------
Reverted the fix.


-- 

spop at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[spop at gcc dot gnu dot org]

-- 

spop at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |spop at gcc dot gnu dot org
                   |dot org                     |
             Status|REOPENED                    |ASSIGNED
   Last reconfirmed|2007-12-27 15:42:13         |2008-01-09 05:27:09
               date|                            |


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[rguenth at gcc dot gnu dot org]

------- Comment #18 from rguenth at gcc dot gnu dot org  2008-01-09 11:04 -------
I'll have a look.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|spop at gcc dot gnu dot org |rguenth at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[rguenth at gcc dot gnu dot org]

------- Comment #19 from rguenth at gcc dot gnu dot org  2008-01-09 14:18 -------
Subject: Bug 34458

Author: rguenth
Date: Wed Jan  9 14:17:13 2008
New Revision: 131429

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131429
Log:
2008-01-09  Richard Guenther  <rguenther@suse.de>

        PR middle-end/34458
        * tree-data-ref.c (initialize_matrix_A): Use tree_low_cst,
        adjust return type.

        * gcc.c-torture/compile/pr34458.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr34458.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-data-ref.c


------- Comment #20 from rguenth at gcc dot gnu dot org  2008-01-09 14:18 -------
Fixed again.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
   GCC host triplet|                            |HWI==32
 GCC target triplet|HWI==32                     |
         Resolution|                            |FIXED


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

[Bug tree-optimization/34458] [4.3 Regression] ICE in int_cst_value, at tree.c:8047 at -O3

[rguenth at gcc dot gnu dot org]

------- Comment #19 from rguenth at gcc dot gnu dot org  2008-01-09 14:18 -------
Subject: Bug 34458

Author: rguenth
Date: Wed Jan  9 14:17:13 2008
New Revision: 131429

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131429
Log:
2008-01-09  Richard Guenther  <rguenther@suse.de>

        PR middle-end/34458
        * tree-data-ref.c (initialize_matrix_A): Use tree_low_cst,
        adjust return type.

        * gcc.c-torture/compile/pr34458.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr34458.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-data-ref.c


-- 


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