[Bug middle-end/66915] New: [6 Regression] FAIL: gcc.dg/fixed-point/unary.c execution test on arm

[Bug middle-end/66915] New: [6 Regression] FAIL: gcc.dg/fixed-point/unary.c execution test on arm

[ktkachov at gcc dot gnu.org]

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

            Bug ID: 66915
           Summary: [6 Regression] FAIL: gcc.dg/fixed-point/unary.c
                    execution test on arm
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ktkachov at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---
             Build: arm-none-eabi, arm-none-linux-gnueabi,
                    arm-none-linux-gnueabihf

I see this test fail on arm targets after:

Author: rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Wed Jul 15 12:25:57 2015 +0000

    2015-07-15  Richard Biener  <rguenther@suse.de>

        * fold-const.c (fold_binary_loc): Move bool_var != 0 -> bool_var
        and bool_var == 1 -> bool_var simplifications ...
        * match.pd: ... to patterns here.  Factor out negate_expr_p
        cases from the A - B -> A + (-B) patterns as negate_expr_p
        predicate and add a -(A + B) -> (-B) - A pattern.


    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@225825
138bc75d-0d04-0410-961f-82ee72b054a4

[Bug middle-end/66915] [6 Regression] FAIL: gcc.dg/fixed-point/unary.c execution test on arm

[ktkachov at gcc dot gnu.org]

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

--- Comment #1 from ktkachov at gcc dot gnu.org ---
My cross was configured with:
--with-newlib --without-isl --with-arch=armv7-a --with-float=hard
--with-fpu=neon-vfpv4

[Bug middle-end/66915] [6 Regression] FAIL: gcc.dg/fixed-point/unary.c execution test on arm

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |6.0

[Bug middle-end/66915] [6 Regression] FAIL: gcc.dg/fixed-point/unary.c execution test on arm

[ktkachov at gcc dot gnu.org]

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

--- Comment #3 from ktkachov at gcc dot gnu.org ---
Author: ktkachov
Date: Tue Jul 21 08:26:32 2015
New Revision: 226028

URL: https://gcc.gnu.org/viewcvs?rev=226028&root=gcc&view=rev
Log:
[match.pd] PR middle-end/66915 Restrict A - B -> A + (-B) to non-fixed-point
types

        PR middle-end/66915
        * match.pd (A - B -> A + (-B)): Don't allow folding
        when type if a fixed-point type.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd

[Bug middle-end/66915] [6 Regression] FAIL: gcc.dg/fixed-point/unary.c execution test on arm

[ktkachov at gcc dot gnu.org]

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

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from ktkachov at gcc dot gnu.org ---
Fixed.