This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

[PATCH, i386]: Improve fop and corresponding peephole2 patterns

From: Uros Bizjak <ubizjak at gmail dot com>
To: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
Date: Thu, 28 Apr 2016 14:05:16 +0200
Subject: [PATCH, i386]: Improve fop and corresponding peephole2 patterns
Authentication-results: sourceware.org; auth=none

Hello!

mult_operator will never match in patterns, protected with
!COMMUTATIVE_ARITH. The patch also adds "reg = op (mem, reg)"
peephole2 to break additional cases of dependency of two loads from
x87 stack.

2016-04-28  Uros Bizjak  <ubizjak@gmail.com>

    * config/i386/i386.md (*fop_<mode>_1_mixed): Do not check for
    mult_operator when calculating "type" attribute.
    (*fop_<mode>_1_i387): Ditto.
    (*fop_xf_1_i387): Ditto.
    (x87 stack loads peephole2): Add "reg = op (mem, reg)" peephole2.
    Use std::swap to swap operands.  Use RTL expressions to generate
    converted pattern.

Bootstrapped and regression tested on x86_64-linux-gnu {,-m32}.

Committed to mainline SVN.

Uros.

Attachment: p.diff.txt
Description: Text document

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]