On 10/13/20 6:02 PM, Richard Biener wrote:
On October 13, 2020 5:17:48 PM GMT+02:00, Aldy Hernandez via Gcc-patches
<gcc-patches@gcc.gnu.org> wrote:
[Neither Andrew nor I are familiar with the SCEV code. We treat it as
a
black box :). So we could use a SCEV expert here.]
In bounds_of_var_in_loop, evolution_part_in_loop_num is returning NULL:
step = evolution_part_in_loop_num (chrec, loop->num);
It means that Var doesn't vary in the loop.
That is, chrec isn't a polynomial chrec.
That's what I thought, but it is:
(gdb) p chrec
$6 = <polynomial_chrec 0x7ffff0e2a820>
(gdb) dd chrec
{0, +, 1}_2
evolution_part_in_loop_num() is returning NULL deep in
chrec_component_in_loop_num():
default:
=> if (right)
return NULL_TREE;
else
return chrec;
Do you have any suggestions?
Thanks.
Aldy
