This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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
>


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]