On Tue, Nov 29, 2016 at 7:36 AM, Andrew Pinski <pins...@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.
