[Bug target/59744] miscompilation of unsigned comparison on aarch64

["yroux at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59744

--- Comment #8 from yroux at gcc dot gnu.org ---
Author: yroux
Date: Mon Aug 11 22:08:03 2014
New Revision: 213842

URL: https://gcc.gnu.org/viewcvs?rev=213842&root=gcc&view=rev
Log:
gcc/
2014-08-11  Michael Collison  <michael.collison@linaro.org>

    Backport from trunk r206529, r206530
    2014-01-10  Richard Earnshaw  <rearnsha@arm.com>

    PR target/59744
    * aarch64-modes.def (CC_Zmode): New flags mode.
    * aarch64.c (aarch64_select_cc_mode): Only allow NEG when the condition
    represents an equality.
    (aarch64_get_condition_code): Handle CC_Zmode.
    * aarch64.md (compare_neg<mode>): Restrict to equality operations.

gcc/testsuite/
2014-08-11  Michael Collison  <michael.collison@linaro.org>

    Backport from trunk r206529
    2014-01-10  Richard Earnshaw  <rearnsha@arm.com>

    PR target/59744
    * gcc.target/aarch64/cmn-neg.c: Use equality comparisons.
    * gcc.target/aarch64/cmn-neg2.c: New test.


Added:
    branches/linaro/gcc-4_8-branch/gcc/testsuite/gcc.target/aarch64/cmn-neg2.c
Modified:
    branches/linaro/gcc-4_8-branch/gcc/ChangeLog.linaro
    branches/linaro/gcc-4_8-branch/gcc/config/aarch64/aarch64-modes.def
    branches/linaro/gcc-4_8-branch/gcc/config/aarch64/aarch64.c
    branches/linaro/gcc-4_8-branch/gcc/config/aarch64/aarch64.md
    branches/linaro/gcc-4_8-branch/gcc/testsuite/ChangeLog.linaro
    branches/linaro/gcc-4_8-branch/gcc/testsuite/gcc.target/aarch64/cmn-neg.c