On Wed, Nov 23, 2016 at 2:40 PM, Marc Glisse <marc.gli...@inria.fr> wrote:
> On Fri, 18 Nov 2016, Bin Cheng wrote:
>
> +(for cmp (lt le gt ge)
> + (simplify
> + (cond (cmp@0 (convert1? @1) INTEGER_CST@3) (convert2? @1) INTEGER_CST@2)
> + (with
> + {
> + tree from_type = TREE_TYPE (@1);
> + tree c1_type = TREE_TYPE (@3), c2_type = TREE_TYPE (@2);
> + enum tree_code code = TREE_CODE (@0), cmp_code = TREE_CODE (@0);
>
> Note that you can use cmp directly, it is already equal to LT_EXPR or one of
> the others.
Yes, looks like @0 and its related variables are redundant, I will
prepare another patch after fixing the conversion issue.
Thanks,
bin
>
> --
> Marc Glisse
