* [PATCH] Small reg-stack improvement (PR target/70465)
@ 2017-02-21 22:48 Jakub Jelinek
2017-02-22 0:27 ` Jakub Jelinek
2017-02-22 17:19 ` Jeff Law
0 siblings, 2 replies; 3+ messages in thread
From: Jakub Jelinek @ 2017-02-21 22:48 UTC (permalink / raw)
To: Uros Bizjak, Jeff Law; +Cc: gcc-patches
Hi!
As reported by Uros, the
fld a
fld b
fxchg %st(1)
optimization to
fld b
fld a
misses several important cases, one is FLOAT_EXTEND memory loads where
the memory is SFmode or DFmode but we extend it to a wider mode, and
the other is when we load a known i?87 constant like 0.0, 1.0, PI etc.
Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
2017-02-21 Jakub Jelinek <jakub@redhat.com>
PR target/70465
* reg-stack.c (emit_swap_insn): Treat (float_extend:?F (mem:?F))
and (const_double:?F) like (mem:?F) for the purpose of fxch %st(1)
elimination by swapping fld*.
* gcc.target/i386/pr70465-2.c: New test.
--- gcc/reg-stack.c.jj 2017-01-26 09:46:03.000000000 +0100
+++ gcc/reg-stack.c 2017-02-21 16:22:45.208895719 +0100
@@ -895,12 +895,16 @@ emit_swap_insn (rtx_insn *insn, stack_pt
just use
fld b
fld a
- if possible. */
+ if possible. Similarly for fld1, fldz, fldpi etc. instead of any
+ of the loads or for float extension from memory. */
+ i1src = SET_SRC (i1set);
+ if (GET_CODE (i1src) == FLOAT_EXTEND)
+ i1src = XEXP (i1src, 0);
if (REG_P (i1dest)
&& REGNO (i1dest) == FIRST_STACK_REG
- && MEM_P (SET_SRC (i1set))
- && !side_effects_p (SET_SRC (i1set))
+ && (MEM_P (i1src) || GET_CODE (i1src) == CONST_DOUBLE)
+ && !side_effects_p (i1src)
&& hard_regno == FIRST_STACK_REG + 1
&& i1 != BB_HEAD (current_block))
{
@@ -930,6 +934,9 @@ emit_swap_insn (rtx_insn *insn, stack_pt
&& (i2set = single_set (i2)) != NULL_RTX)
{
rtx i2dest = *get_true_reg (&SET_DEST (i2set));
+ rtx i2src = SET_SRC (i2set);
+ if (GET_CODE (i2src) == FLOAT_EXTEND)
+ i2src = XEXP (i2src, 0);
/* If the last two insns before insn that involve
stack regs are loads, where the latter (i1)
pushes onto the register stack and thus
@@ -937,9 +944,9 @@ emit_swap_insn (rtx_insn *insn, stack_pt
%st to %st(1), consider swapping them. */
if (REG_P (i2dest)
&& REGNO (i2dest) == FIRST_STACK_REG
- && MEM_P (SET_SRC (i2set))
+ && (MEM_P (i2src) || GET_CODE (i2src) == CONST_DOUBLE)
/* Ensure i2 doesn't have other side-effects. */
- && !side_effects_p (SET_SRC (i2set))
+ && !side_effects_p (i2src)
/* And that the two instructions can actually be
swapped, i.e. there shouldn't be any stores
in between i2 and i1 that might alias with
--- gcc/testsuite/gcc.target/i386/pr70465-2.c.jj 2017-02-21 16:23:46.982090658 +0100
+++ gcc/testsuite/gcc.target/i386/pr70465-2.c 2017-02-21 16:16:25.000000000 +0100
@@ -0,0 +1,25 @@
+/* PR target/70465 */
+/* { dg-do compile } */
+/* { dg-options "-Ofast -mfpmath=387 -fomit-frame-pointer" } */
+/* { dg-final { scan-assembler-not "fxch\t%st.1" } } */
+
+extern float d[1024];
+
+static inline long double
+foo (long double a, long double b)
+{
+ return a < b ? a : b;
+}
+
+static inline long double
+bar (long double a, long double b)
+{
+ return a > b ? a : b;
+}
+
+float
+baz (void)
+{
+ long double c = d[0];
+ return foo (bar (c, 0.0l), 1.0l);
+}
Jakub
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] Small reg-stack improvement (PR target/70465)
2017-02-21 22:48 [PATCH] Small reg-stack improvement (PR target/70465) Jakub Jelinek
@ 2017-02-22 0:27 ` Jakub Jelinek
2017-02-22 17:19 ` Jeff Law
1 sibling, 0 replies; 3+ messages in thread
From: Jakub Jelinek @ 2017-02-22 0:27 UTC (permalink / raw)
To: Uros Bizjak, Jeff Law; +Cc: gcc-patches
On Tue, Feb 21, 2017 at 10:23:47PM +0100, Jakub Jelinek wrote:
> As reported by Uros, the
> fld a
> fld b
> fxchg %st(1)
> optimization to
> fld b
> fld a
> misses several important cases, one is FLOAT_EXTEND memory loads where
> the memory is SFmode or DFmode but we extend it to a wider mode, and
> the other is when we load a known i?87 constant like 0.0, 1.0, PI etc.
>
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
I've done another pair of bootstraps/regtests to gather statistics on how often
does this patch swap fld* that had fxch %st(1) after it instead, and
in both it triggered 9858 times.
So it is less often than the first PR70465 patch (which triggered
26783 times), but still significant.
Jakub
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] Small reg-stack improvement (PR target/70465)
2017-02-21 22:48 [PATCH] Small reg-stack improvement (PR target/70465) Jakub Jelinek
2017-02-22 0:27 ` Jakub Jelinek
@ 2017-02-22 17:19 ` Jeff Law
1 sibling, 0 replies; 3+ messages in thread
From: Jeff Law @ 2017-02-22 17:19 UTC (permalink / raw)
To: Jakub Jelinek, Uros Bizjak; +Cc: gcc-patches
On 02/21/2017 02:23 PM, Jakub Jelinek wrote:
> Hi!
>
> As reported by Uros, the
> fld a
> fld b
> fxchg %st(1)
> optimization to
> fld b
> fld a
> misses several important cases, one is FLOAT_EXTEND memory loads where
> the memory is SFmode or DFmode but we extend it to a wider mode, and
> the other is when we load a known i?87 constant like 0.0, 1.0, PI etc.
>
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
>
> 2017-02-21 Jakub Jelinek <jakub@redhat.com>
>
> PR target/70465
> * reg-stack.c (emit_swap_insn): Treat (float_extend:?F (mem:?F))
> and (const_double:?F) like (mem:?F) for the purpose of fxch %st(1)
> elimination by swapping fld*.
>
> * gcc.target/i386/pr70465-2.c: New test.
OK.
jeff
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2017-02-22 17:10 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-02-21 22:48 [PATCH] Small reg-stack improvement (PR target/70465) Jakub Jelinek
2017-02-22 0:27 ` Jakub Jelinek
2017-02-22 17:19 ` Jeff Law
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).