From 94538b6545be9613ee25c80325e3cebf518730cf Mon Sep 17 00:00:00 2001 From: Uros Bizjak Date: Fri, 16 Aug 2019 16:28:12 +0200 Subject: [PATCH] mmx.md (mmxdoublemode): New mode attribute. * config/i386/mmx.md (mmxdoublemode): New mode attribute. (mmx_uavg3): Macroize expaner from mmx_uavgv8qi3 and mmx_uavgv4hi3 using MMXMODE12 mode iterator. (uavg3_ceil): New expander. * config/i386/sse.md (uavg3_ceil): Use ssedoublemode mode iterator when creating CONST1_RTX. (_uavg3): Ditto. (*_uavg3): Use ssedoublemode mode iterator for const1_operand predicate. From-SVN: r274572 --- gcc/ChangeLog | 12 +++++++ gcc/config/i386/mmx.md | 72 ++++++++++++++++++++++-------------------- gcc/config/i386/sse.md | 6 ++-- 3 files changed, 53 insertions(+), 37 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 45691b4c900..36e62908096 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,15 @@ +2019-08-16 Uroš Bizjak + + * config/i386/mmx.md (mmxdoublemode): New mode attribute. + (mmx_uavg3): Macroize expaner from mmx_uavgv8qi3 and + mmx_uavgv4hi3 using MMXMODE12 mode iterator. + (uavg3_ceil): New expander. + * config/i386/sse.md (uavg3_ceil): Use ssedoublemode + mode iterator when creating CONST1_RTX. + (_uavg3): Ditto. + (*_uavg3): Use ssedoublemode + mode iterator for const1_operand predicate. + 2019-08-16 Richard Biener * tree-scalar-evolution.c (follow_ssa_edge_expr): Declare. diff --git a/gcc/config/i386/mmx.md b/gcc/config/i386/mmx.md index 33eb15fae20..c9cad04d6e9 100644 --- a/gcc/config/i386/mmx.md +++ b/gcc/config/i386/mmx.md @@ -58,6 +58,9 @@ ;; Mapping from integer vector mode to mnemonic suffix (define_mode_attr mmxvecsize [(V8QI "b") (V4HI "w") (V2SI "d") (V1DI "q")]) +(define_mode_attr mmxdoublemode + [(V8QI "V8HI") (V4HI "V4SI")]) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; Move patterns @@ -1948,24 +1951,24 @@ ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(define_expand "mmx_uavgv8qi3" - [(set (match_operand:V8QI 0 "register_operand") - (truncate:V8QI - (lshiftrt:V8HI - (plus:V8HI - (plus:V8HI - (zero_extend:V8HI - (match_operand:V8QI 1 "register_mmxmem_operand")) - (zero_extend:V8HI - (match_operand:V8QI 2 "register_mmxmem_operand"))) - (const_vector:V8HI [(const_int 1) (const_int 1) - (const_int 1) (const_int 1) - (const_int 1) (const_int 1) - (const_int 1) (const_int 1)])) +(define_expand "mmx_uavg3" + [(set (match_operand:MMXMODE12 0 "register_operand") + (truncate:MMXMODE12 + (lshiftrt: + (plus: + (plus: + (zero_extend: + (match_operand:MMXMODE12 1 "register_mmxmem_operand")) + (zero_extend: + (match_operand:MMXMODE12 2 "register_mmxmem_operand"))) + (match_dup 3)) (const_int 1))))] "(TARGET_MMX || TARGET_MMX_WITH_SSE) && (TARGET_SSE || TARGET_3DNOW)" - "ix86_fixup_binary_operands_no_copy (PLUS, V8QImode, operands);") +{ + operands[3] = CONST1_RTX(mode); + ix86_fixup_binary_operands_no_copy (PLUS, mode, operands); +}) (define_insn "*mmx_uavgv8qi3" [(set (match_operand:V8QI 0 "register_operand" "=y,x,Yv") @@ -1984,7 +1987,7 @@ (const_int 1))))] "(TARGET_MMX || TARGET_MMX_WITH_SSE) && (TARGET_SSE || TARGET_3DNOW) - && ix86_binary_operator_ok (PLUS, V8QImode, operands)" + && !(MEM_P (operands[1]) && MEM_P (operands[2]))" { switch (which_alternative) { @@ -2013,23 +2016,6 @@ (const_string "*"))) (set_attr "mode" "DI,TI,TI")]) -(define_expand "mmx_uavgv4hi3" - [(set (match_operand:V4HI 0 "register_operand") - (truncate:V4HI - (lshiftrt:V4SI - (plus:V4SI - (plus:V4SI - (zero_extend:V4SI - (match_operand:V4HI 1 "register_mmxmem_operand")) - (zero_extend:V4SI - (match_operand:V4HI 2 "register_mmxmem_operand"))) - (const_vector:V4SI [(const_int 1) (const_int 1) - (const_int 1) (const_int 1)])) - (const_int 1))))] - "(TARGET_MMX || TARGET_MMX_WITH_SSE) - && (TARGET_SSE || TARGET_3DNOW_A)" - "ix86_fixup_binary_operands_no_copy (PLUS, V4HImode, operands);") - (define_insn "*mmx_uavgv4hi3" [(set (match_operand:V4HI 0 "register_operand" "=y,x,Yv") (truncate:V4HI @@ -2045,7 +2031,7 @@ (const_int 1))))] "(TARGET_MMX || TARGET_MMX_WITH_SSE) && (TARGET_SSE || TARGET_3DNOW_A) - && ix86_binary_operator_ok (PLUS, V4HImode, operands)" + && !(MEM_P (operands[1]) && MEM_P (operands[2]))" "@ pavgw\t{%2, %0|%0, %2} pavgw\t{%2, %0|%0, %2} @@ -2055,6 +2041,24 @@ (set_attr "type" "mmxshft,sseiadd,sseiadd") (set_attr "mode" "DI,TI,TI")]) +(define_expand "uavg3_ceil" + [(set (match_operand:MMXMODE12 0 "register_operand") + (truncate:MMXMODE12 + (lshiftrt: + (plus: + (plus: + (zero_extend: + (match_operand:MMXMODE12 1 "register_operand")) + (zero_extend: + (match_operand:MMXMODE12 2 "register_operand"))) + (match_dup 3)) + (const_int 1))))] + "TARGET_MMX_WITH_SSE" +{ + operands[3] = CONST1_RTX(mode); + ix86_fixup_binary_operands_no_copy (PLUS, mode, operands); +}) + (define_insn "mmx_psadbw" [(set (match_operand:V1DI 0 "register_operand" "=y,x,Yv") (unspec:V1DI [(match_operand:V8QI 1 "register_operand" "0,0,Yv") diff --git a/gcc/config/i386/sse.md b/gcc/config/i386/sse.md index 3391724fd8d..7bef93907db 100644 --- a/gcc/config/i386/sse.md +++ b/gcc/config/i386/sse.md @@ -11900,7 +11900,7 @@ (const_int 1))))] "TARGET_SSE2" { - operands[3] = CONST1_RTX(mode); + operands[3] = CONST1_RTX(mode); ix86_fixup_binary_operands_no_copy (PLUS, mode, operands); }) @@ -15641,7 +15641,7 @@ (const_int 1))))] "TARGET_SSE2 && && " { - operands[] = CONST1_RTX(mode); + operands[] = CONST1_RTX(mode); ix86_fixup_binary_operands_no_copy (PLUS, mode, operands); }) @@ -15655,7 +15655,7 @@ (match_operand:VI12_AVX2 1 "vector_operand" "%0,v")) (zero_extend: (match_operand:VI12_AVX2 2 "vector_operand" "xBm,vm"))) - (match_operand:VI12_AVX2 "const1_operand")) + (match_operand: "const1_operand")) (const_int 1))))] "TARGET_SSE2 && && && !(MEM_P (operands[1]) && MEM_P (operands[2]))"