Re: [PATCH][simplify-rtx] (GTU (PLUS a C) (C - 1)) --> (LTU a -C)

[Bernd Schmidt]

On 09/16/2016 10:40 AM, Kyrill Tkachov wrote:

2016-09-16  Kyrylo Tkachov  <kyrylo.tkac...@arm.com>

    * simplify-rtx.c (simplify_relational_operation_1): Add transformation
    (GTU (PLUS a C) (C - 1)) --> (LTU a -C).

2016-09-16  Kyrylo Tkachov  <kyrylo.tkac...@arm.com>

    * gcc.target/aarch64/gtu_to_ltu_cmp_1.c: New test.

Ok. Don't know if you want to add more variants of the input code to the 
testcase to make sure they're all covered.


Bernd