This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] verify_stmts and verify_ssa
- From: law at redhat dot com
- To: Jan Hubicka <hubicka at ucw dot cz>
- Cc: Jason Merrill <jason at redhat dot com>, Richard Henderson <rth at redhat dot com>, Jan Hubicka <jh at suse dot cz>, gcc-patches at gcc dot gnu dot org
- Date: Tue, 25 Nov 2003 12:16:19 -0700
- Subject: Re: [tree-ssa] verify_stmts and verify_ssa
- Reply-to: law at redhat dot com
In message <20031125190311.GD5985@atrey.karlin.mff.cuni.cz>, Jan Hubicka writes
:
>> On Fri, 21 Nov 2003 05:29:25 -0800, Richard Henderson <rth@redhat.com> wrot
>e:
>>
>> > On Fri, Nov 21, 2003 at 02:17:30PM +0100, Jan Hubicka wrote:
>> >> I see your point now, so for COMPONENT_REF I don't need to check
>> >> anything and they are always shareable (one operand is var_decl and
>> >> other is field_decl), right?
>> >
>> > Yes.
>>
>> When did we decide that COMPONENT_REFs can be shared?
>See the history on discussion with Jeff. Dominator optimization produce
>such a sharing and we concluded to allow sharing of COMPONENT_REF,
>ARRAY_REF iff it's operand is static, REALPART_EXPR and IMAGPART_EXPR of
>constants.
This is not the dominator optimizer. It is an artifact of translation
into SSA form.
jeff