This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Simple Value Range Propagation
On Mon, 9 Jun 2003, Josef Zlomek wrote:
> > Yeah, I must say, the hybrid search algorithm I implemented *really* works
> > better than even just good iterative ordering. Good thing i found it
> > buried in a paper.
> >
> > I can make it work with just about any datastructure, if you want me to
> > make a completely function-pointerized version. That might eliminate some
> > duplicate code in the VRP (and var-tracking) pass.
>
> It would be nice. I was also thinking about some generalization of the
> hybrid search dataflow code.
>
The main problem, of course, is the indirect function call cost.
Since we don't have cross-module inlining/cloning, it won't specialize the
function automatically to the parameters given, and the cost of calling a
given meet operator through a function pointer 3000000 times can be quite
high.
:)
I might have to make the completely generic version a static inline in the
header as a result or something.
> Josef
>