Project Ranger
Eric Botcazou
ebotcazou@adacore.com
Fri Jun 1 08:16:00 GMT 2018
> First, we'll collect the cases that demonstrate a unique situation we
> care about. I have 4 very specific case that show current
> shortcomings.. Not just with the Ranger, but a couple we don't handle
> with VRP today. .. I'll eventually get those put onto the wiki so the
> list can be updated.
I'm not specifically worried here, there is already a couple of testcases in
the testsuite that require symbolic information to be properly optimized.
> I think most of these cases that care about symbolics are not so much
> range related, but rather an algorithmic layer on top. Any follow on
> optimization to either enhance or replace vrp or anything similar will
> simply use the ranger as a client. If it turns out there are cases
> where we *have* to remember the end point of a range as a symbolic, then
> the algorithm to track that symbolic along with the range, and request a
> re-evaluation of the range when the value of that symbolic is changes.
>
> [...]
>
> Does that help? If it does, I'll add this to the coverage in the wiki
> page.
Yes, thanks for the detailed explanation. This approach of setting aside the
handling of symbolic information might end up being a good compromise between
the necessary minimal[*] handling of this information and the complexity of
doing it directly in the Ranger.
[*] The implicit assumption hee is that a VRP implementation with full-blown
support of symbolic ranges is not worth the hassle in practice.
--
Eric Botcazou
More information about the Gcc
mailing list