This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PING] pointer_map
- From: Paolo Bonzini <paolo dot bonzini at lu dot unisi dot ch>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: Paolo Bonzini <paolo dot bonzini at lu dot unisi dot ch>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 02 Feb 2007 15:32:41 +0100
- Subject: Re: [PING] pointer_map
- References: <45C341C9.1020008@lu.unisi.ch> <45C34A82.1060907@redhat.com>
Diego Novillo wrote:
Paolo Bonzini wrote on 02/02/07 08:51:
The patch is at http://gcc.gnu.org/ml/gcc-patches/2006-12/msg00466.html
This could be really useful. I've wanted to have something like this in
the past. Since you are here, would it be hard to add a
pointer_set_remove() function?
Well, no -- just the time needed to look up the algorithm and implement
it. Still, I'd prefer to do one step at a time.
I think you need a GWP to approve this. Dunno if this has a named
maintainer.
It's in the middle-end, but all the possible uses for it that I
mentioned in the previous e-mail are in tree-SSA. ;-)
Paolo