This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Make sure operands and virtual operands don't mix[patch]
- From: Andrew MacLeod <amacleod at redhat dot com>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: gcc-patches <gcc-patches at gcc dot gnu dot org>
- Date: 09 Sep 2003 19:20:43 -0400
- Subject: Re: [tree-ssa] Make sure operands and virtual operands don't mix[patch]
- References: <1063147558.3405.36.camel@frodo.toronto.redhat.com>
On Tue, 2003-09-09 at 18:45, Diego Novillo wrote:
>
> I'm still debating whether to always enable this. This patch adds a
> check to the out-of-ssa pass that makes sure that we don't have the same
> SSA name mentioned in real and virtual operands.
>
Your patch will only catch mixes if the operand is used as a real
operand first, and then as a virtual... not the other way around. ie, if
the used_in_real_ops flag is set when you see a virtual use...
I suspect you'll still get most of them. If you wanna be really sure,
create 2 vectors... one for real uses and one for virtual uses... At the
end of creating the map, AND the 2 vectors together and it *ought* to
result in a zero vector... Anything else flags something used as both...
If we are at the point where we dont think it happens any more, Im all
for enabling it with ENABLE_CHECKING on...
Andrew