This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] tree-ssa-dom.c: Remove an "if" whose condition isalways true.
- From: Jeffrey A Law <law at redhat dot com>
- To: Kazu Hirata <kazu at cs dot umass dot edu>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 02 Dec 2004 23:36:23 -0700
- Subject: Re: [patch] tree-ssa-dom.c: Remove an "if" whose condition isalways true.
- Organization: Red Hat, Inc
- References: <20041202.225135.35032931.kazu@cs.umass.edu>
- Reply-to: law at redhat dot com
On Thu, 2004-12-02 at 22:51 -0500, Kazu Hirata wrote:
> Hi,
>
> Attached is a patch to remove an "if" whose condition is always true.
>
> AFAIK, we have a property that every PHI argument is either an
> SSA_NAME or a gimple min invariant. record_equivalences_from_phis
> unnecessarily checks this property. The patch removes this redundant
> "if".
>
> I didn't put gcc_assert because verify_phi_arg verifies that every PHI
> argument is either an SSA_NAME or a gimple min invariant.
>
> Tested on i686-pc-linux-gnu. OK to apply?
>
> Kazu Hirata
>
> 2004-12-02 Kazu Hirata <kazu@cs.umass.edu>
>
> * tree-ssa-dom.c (record_equivalences_from_phis): Remove an
> "if" whose condition is always true.
OK.
jeff