> Hmm. I think that non-path ranger should work as well if you provide it with
> a
> context (gimple stmt). The context in this case should be the loop exit stmt
> we are analyzing (the gcond) I think. OTOH what you model in the path ranger
> is basically the loop entry edge, so you could use range_on_edge of the entry
> edge as well?
When I tried
if (get_range_query (cfun)->range_on_edge
(r, loop_preheader_edge (loop), src)
(non-path) it still works on riscv but not on x86 or power. I haven't tried
with a statement yet but can do that of course.
--
Regards
Robin
