From: Uros Bizjak Date: Tue, 7 Nov 2017 18:51:22 +0000 (+0100) Subject: re PR target/80425 (Extra inter-unit register move with zero-extension) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fa97b067e1ca939729ecb7656835d4fcbc27915e;p=gcc.git re PR target/80425 (Extra inter-unit register move with zero-extension) PR target/80425 * config/i386.i386.md (*zero_extendsidi2): Change (?r,*Yj), (?*Yi,r) and (*x,m) to ($r,Yj), ($Yi,r) and ($x,m). (zero-extendsidi peephole2): Remove peephole. testsuite/ChangeLog: PR target/80425 * gcc.target/i386/pr80425-3.c: New test. From-SVN: r254505 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 27d52937dd8..da5902d0ab5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2017-11-07 Uros Bizjak + + PR target/80425 + * config/i386.i386.md (*zero_extendsidi2): Change (?r,*Yj), (?*Yi,r) + and (*x,m) to ($r,Yj), ($Yi,r) and ($x,m). + (zero-extendsidi peephole2): Remove peephole. + 2017-11-07 Eric Botcazou PR c/53037 @@ -7,15 +14,13 @@ 2017-11-07 Andrew Waterman - * config/riscv/riscv-protos.h (riscv_hard_regno_nregs): New - prototype. + * config/riscv/riscv-protos.h (riscv_hard_regno_nregs): New prototype. (riscv_expand_block_move): Likewise. - gcc/config/riscv/riscv.h (MOVE_RATIO): Tune cost to movmemsi + * config/riscv/riscv.h (MOVE_RATIO): Tune cost to movmemsi implementation. (RISCV_MAX_MOVE_BYTES_PER_LOOP_ITER): New define. (RISCV_MAX_MOVE_BYTES_STRAIGHT): New define. - gcc/config/riscv/riscv.c (riscv_block_move_straight): New - function. + * config/riscv/riscv.c (riscv_block_move_straight): New function. (riscv_adjust_block_mem): Likewise. (riscv_block_move_loop): Likewise. (riscv_expand_block_move): Likewise. diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index d48decbb7d9..36061e19adb 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -3864,10 +3864,10 @@ (define_insn "*zero_extendsidi2" [(set (match_operand:DI 0 "nonimmediate_operand" - "=r,?r,?o,r ,o,?*Ym,?!*y,?r ,?*Yi,*x,*x,*v,*r") + "=r,?r,?o,r ,o,?*Ym,?!*y,$r,$Yi,$x,*x,*v,*r") (zero_extend:DI (match_operand:SI 1 "x86_64_zext_operand" - "0 ,rm,r ,rmWz,0,r ,m ,*Yj,r ,m ,*x,*v,*k")))] + "0 ,rm,r ,rmWz,0,r ,m ,Yj,r ,m ,*x,*v,*k")))] "" { switch (get_attr_type (insn)) @@ -3983,15 +3983,6 @@ (set (match_dup 4) (const_int 0))] "split_double_mode (DImode, &operands[0], 1, &operands[3], &operands[4]);") -(define_peephole2 - [(set (match_operand:DI 0 "general_reg_operand") - (zero_extend:DI (match_operand:SI 1 "nonimmediate_gr_operand"))) - (set (match_operand:DI 2 "sse_reg_operand") (match_dup 0))] - "TARGET_64BIT && TARGET_SSE2 && TARGET_INTER_UNIT_MOVES_TO_VEC - && peep2_reg_dead_p (2, operands[0])" - [(set (match_dup 2) - (zero_extend:DI (match_dup 1)))]) - (define_mode_attr kmov_isa [(QI "avx512dq") (HI "avx512f") (SI "avx512bw") (DI "avx512bw")]) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 59799238b1d..d8a018846b8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,8 +1,13 @@ +2017-11-07 Uros Bizjak + + PR target/80425 + * gcc.target/i386/pr80425-3.c: New test. + 2017-11-07 Andreas Schwab * g++.dg/pr50763-3.C (evalPoint): Return a value. -2017-10-17 Wilco Dijkstra +2017-11-07 Wilco Dijkstra Jackson Woodruff PR tree-optimization/71026 diff --git a/gcc/testsuite/gcc.target/i386/pr80425-3.c b/gcc/testsuite/gcc.target/i386/pr80425-3.c new file mode 100644 index 00000000000..1bf80b17b1c --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr80425-3.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -mavx512f" } */ + +#include + +extern int a; + +__m512i +f1 (__m512i x) +{ + return _mm512_srai_epi32 (x, a); +} + +/* { dg-final { scan-assembler-times "movd\[ \\t\]+\[^\n\]*%xmm" 1 } } */