This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH/VRP] Fix type of EQ_EXPR
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: Andrew Pinski <pinskia at gmail dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Tue, 29 Nov 2016 11:26:35 +0100
- Subject: Re: [PATCH/VRP] Fix type of EQ_EXPR
- Authentication-results: sourceware.org; auth=none
- References: <CA+=Sn1nxrDoOCkyDuLwaGaXrFrK-ocTadD-uueF5Zp8taKD5jw@mail.gmail.com>
On Tue, Nov 29, 2016 at 7:36 AM, Andrew Pinski <pinskia@gmail.com> wrote:
> While rewriting PHI-OPT to use match and simplify infrastructure, I
> ran into a problem where VRP pass would create a EQ_EXPR which has a
> non boolean type inside the VRP pass. This currently works on
> accident as it seems we don't check the type of the argument of
> COND_EXPR gimple to be boolean type if it is a comparison.
>
> OK? Bootstrapped and tested on aarch64-linux-gnu with no regressions.
Ok.
Richard.
> Thanks,
> Andrew Pinski
>
> ChangeLog:
> * tree-vrp.c (simplify_stmt_using_ranges): Use boolean_type_node
> for the EQ_EXPR.