[Bug tree-optimization/36198] New: expected integer_cst, have mult_expr

[Bug tree-optimization/36198] New: expected integer_cst, have mult_expr

[jv244 at cam dot ac dot uk]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 873 bytes --]

/data03/vondele/clean/cp2k/src/../src/d3_poly.F: In function
‘init_d3_poly_module’:
/data03/vondele/clean/cp2k/src/../src/d3_poly.F:68: internal compiler error:
tree check: expected integer_cst, have mult_expr in int_cst_value, at
tree.c:8002

after the fix for PR36129, gfortran ([trunk revision 135124]) ICEs with the
above. I'll try to get to a testcase, but it only happens with -fprofile-use,
so it will be an ugly testcase at best.


-- 
           Summary: expected integer_cst, have mult_expr
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jv244 at cam dot ac dot uk
OtherBugsDependingO 29975
             nThis:


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

[Bug tree-optimization/36198] expected integer_cst, have mult_expr

[jv244 at cam dot ac dot uk]

------- Comment #1 from jv244 at cam dot ac dot uk  2008-05-10 08:44 -------
Created an attachment (id=15624)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15624&action=view)
all files needed to reproduce and a README with the command

all files needed to reproduce and a README with the command


-- 


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

[Bug tree-optimization/36198] expected integer_cst, have mult_expr

[jv244 at cam dot ac dot uk]

------- Comment #2 from jv244 at cam dot ac dot uk  2008-05-10 10:03 -------
backtrace

#0  internal_error (gmsgid=0xc2d800 "tree check: %s, have %s in %s, at %s:%d")
at /data03/vondele/gcc_trunk/gcc/gcc/diagnostic.c:594
#1  0x00000000008a284e in tree_check_failed (node=0x2b6a9f6ec4c0, file=0xc2d628
"/data03/vondele/gcc_trunk/gcc/gcc/tree.c", line=8002, function=0xc2f7fc
"int_cst_value")
    at /data03/vondele/gcc_trunk/gcc/gcc/tree.c:6764
#2  0x00000000008a2c08 in int_cst_value (x=0xffffffffffffffff) at
/data03/vondele/gcc_trunk/gcc/gcc/tree.c:8002
#3  0x000000000072ca52 in analyze_subscript_affine_affine
(chrec_a=0x2b6a9faf5410, chrec_b=0x2b6a9fc29000, overlaps_a=0x7fff0bb79240,
overlaps_b=0x7fff0bb79238,
    last_conflicts=0x7fff0bb79248) at
/data03/vondele/gcc_trunk/gcc/gcc/tree-data-ref.c:2076
#4  0x000000000072eb86 in analyze_siv_subscript (chrec_a=0xc2d800,
chrec_b=0x7fff0bb78f70, overlaps_a=0xba887e, overlaps_b=0xc2f7fc,
last_conflicts=0xc2d64a)
    at /data03/vondele/gcc_trunk/gcc/gcc/tree-data-ref.c:2394
#5  0x000000000072f783 in subscript_dependence_tester_1 (ddr=0x102c620,
dra=0x126dea0, drb=0x102c570, loop_nest=0x2b6a9fc15820)
    at /data03/vondele/gcc_trunk/gcc/gcc/tree-data-ref.c:2633
#6  0x00000000007300cd in subscript_dependence_tester (ddr=0x102c620,
loop_nest=0x2b6a9fc15820) at
/data03/vondele/gcc_trunk/gcc/gcc/tree-data-ref.c:3219
#7  0x00000000007315e8 in compute_all_dependences (datarefs=0x1046270,
dependence_relations=0x7fff0bb795e8, loop_nest=0x104ca60, compute_self_and_rr=1
'\001')
    at /data03/vondele/gcc_trunk/gcc/gcc/tree-data-ref.c:3849
#8  0x0000000000732899 in compute_data_dependences_for_loop
(loop=0x2b6a9fc15820, compute_self_and_read_read_dependences=252 '',
datarefs=0x7fff0bb795f0,
    dependence_relations=0x7fff0bb795e8) at
/data03/vondele/gcc_trunk/gcc/gcc/tree-data-ref.c:4169
#9  0x00000000007786f2 in tree_predictive_commoning_loop (loop=0x2b6a9fc15820)
at /data03/vondele/gcc_trunk/gcc/gcc/tree-predcom.c:2495
#10 0x0000000000779d5d in tree_predictive_commoning () at
/data03/vondele/gcc_trunk/gcc/gcc/tree-predcom.c:2604
#11 0x00000000007fe6c7 in run_tree_predictive_commoning () at
/data03/vondele/gcc_trunk/gcc/gcc/tree-ssa-loop.c:191


-- 


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

[Bug tree-optimization/36198] expected integer_cst, have mult_expr

[ubizjak at gmail dot com]

------- Comment #3 from ubizjak at gmail dot com  2008-05-10 12:36 -------
This is what goes into int_cst_value:

#2  0x00000000008a60c8 in int_cst_value (x=0x2aaaae72a4c0) at
../../gcc-svn/trunk/gcc/tree.c:8002
8002      unsigned HOST_WIDE_INT val = TREE_INT_CST_LOW (x);
(gdb) p debug_generic_expr (x)
((integer(kind=8)) {1, +, {1, +, 1}_1}_1 + -1) * 2


-- 

ubizjak at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-05-10 12:36:11
               date|                            |


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

[Bug tree-optimization/36198] expected integer_cst, have mult_expr

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2008-05-10 12:58 -------
That looks more like a fallout from:

2008-05-09  Jan Sjodin  <jan.sjodin@amd.com>
            Sebastian Pop  <sebastian.pop@amd.com>

        * tree-scalar-evolution.c: Document instantiate_scev.
        (instantiate_parameters_1): Renamed instantiate_scev_1.
        Don't use the same loop for instantiation_loop and evolution_loop.
        (instantiate_scev): New.
        (instantiate_parameters): Moved...
        (resolve_mixers): Update call to instantiate_scev_1 to pass the
        same loop twice.  Maintains the semantics for this function.
        * tree-scalar-evolution.h (instantiate_scev): Declare.
        (instantiate_parameters): ...here.  Now static inline.
        * tree-data-ref.c (dr_analyze_indices): Call instantiate_scev
        instead of resolve_mixers.


-- 

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=36198

[Bug tree-optimization/36198] [4.4 Regression] expected integer_cst, have mult_expr

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|expected integer_cst, have  |[4.4 Regression] expected
                   |mult_expr                   |integer_cst, have mult_expr
   Target Milestone|---                         |4.4.0


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

[Bug tree-optimization/36198] [4.4 Regression] expected integer_cst, have mult_expr

[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|NEW                         |ASSIGNED
   Last reconfirmed|2008-05-10 12:36:11         |2008-05-11 21:30:18
               date|                            |


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

[Bug tree-optimization/36198] [4.4 Regression] expected integer_cst, have mult_expr

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/36198] [4.4 Regression] expected integer_cst, have mult_expr

[jv244 at cam dot ac dot uk]

------- Comment #5 from jv244 at cam dot ac dot uk  2008-05-19 14:07 -------
with the patches for PR36206, d3_poly appears to compile. However, gfortran
segfaults later in the compilation process. 


-- 


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

[Bug tree-optimization/36198] [4.4 Regression] expected integer_cst, have mult_expr

[jv244 at cam dot ac dot uk]

------- Comment #6 from jv244 at cam dot ac dot uk  2008-05-19 14:22 -------
(In reply to comment #5)
> with the patches for PR36206, d3_poly appears to compile. However, gfortran
> segfaults later in the compilation process. 
> 
this seems an unrelated issue, now PR36265. I would say the patches of PR36206
work as advertised (I have not regression tested them).


-- 


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

[Bug tree-optimization/36198] [4.4 Regression] expected integer_cst, have mult_expr

[spop at gcc dot gnu dot org]

------- Comment #7 from spop at gcc dot gnu dot org  2008-05-20 16:08 -------
Fixed.


-- 

spop at gcc dot gnu dot org changed:

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


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