aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUros Bizjak <ubizjak@gmail.com>2023-03-14 18:41:06 +0100
committerUros Bizjak <ubizjak@gmail.com>2023-03-14 18:41:06 +0100
commit4bcc3b5cc87505d13cda82846db2e223a9b41f79 (patch)
treeeaf8e52311c230948c2f014b3ca3519e1e400815
parent7f22d1c83e74c41116300bebac2e4c492c90b03d (diff)
downloadgcc-4bcc3b5cc87505d13cda82846db2e223a9b41f79.zip
gcc-4bcc3b5cc87505d13cda82846db2e223a9b41f79.tar.gz
gcc-4bcc3b5cc87505d13cda82846db2e223a9b41f79.tar.bz2
i386: Use movss to implement V2SImode VEC_PERM.
Perform V2SI vector permutation in the same way as existing V2SF for TARGET_MMX_WITH_SSE targets. The testcase: typedef unsigned int v2si __attribute__((vector_size(8))); v2si foo(v2si x, v2si y) { return (v2si){y[0], x[1]}; } is currently compiled to (-O2): foo: movdqa %xmm0, %xmm2 movdqa %xmm1, %xmm0 pshufd $0xe5, %xmm2, %xmm2 punpckldq %xmm2, %xmm0 ret and with the patched compiler: foo: movss %xmm1, %xmm0 ret The functionality is already tested in gcc.target/i386/vperm-v2si.c gcc/ChangeLog: * config/i386/i386-expand.cc (expand_vec_perm_movs): Handle V2SImode for TARGET_MMX_WITH_SSE. * config/i386/mmx.md (*mmx_movss_<mode>): Rename from *mmx_movss using V2FI mode iterator to handle both V2SI and V2SF modes.
-rw-r--r--gcc/config/i386/i386-expand.cc8
-rw-r--r--gcc/config/i386/mmx.md10
2 files changed, 8 insertions, 10 deletions
diff --git a/gcc/config/i386/i386-expand.cc b/gcc/config/i386/i386-expand.cc
index 1094ece..6cc8bd5 100644
--- a/gcc/config/i386/i386-expand.cc
+++ b/gcc/config/i386/i386-expand.cc
@@ -18949,11 +18949,9 @@ expand_vec_perm_movs (struct expand_vec_perm_d *d)
if (d->one_operand_p)
return false;
- if (!(TARGET_SSE && vmode == V4SFmode)
- && !(TARGET_SSE && vmode == V4SImode)
- && !(TARGET_MMX_WITH_SSE && vmode == V2SFmode)
- && !(TARGET_SSE2 && vmode == V2DFmode)
- && !(TARGET_SSE2 && vmode == V2DImode))
+ if (!(TARGET_SSE && (vmode == V4SFmode || vmode == V4SImode))
+ && !(TARGET_MMX_WITH_SSE && (vmode == V2SFmode || vmode == V2SImode))
+ && !(TARGET_SSE2 && (vmode == V2DFmode || vmode == V2DImode)))
return false;
/* Only the first element is changed. */
diff --git a/gcc/config/i386/mmx.md b/gcc/config/i386/mmx.md
index 0deccc2..f9c6611 100644
--- a/gcc/config/i386/mmx.md
+++ b/gcc/config/i386/mmx.md
@@ -1518,11 +1518,11 @@
(set_attr "prefix" "*,maybe_vex,orig")
(set_attr "mode" "DI,V4SF,V4SF")])
-(define_insn "*mmx_movss"
- [(set (match_operand:V2SF 0 "register_operand" "=x,v")
- (vec_merge:V2SF
- (match_operand:V2SF 2 "register_operand" " x,v")
- (match_operand:V2SF 1 "register_operand" " 0,v")
+(define_insn "*mmx_movss_<mode>"
+ [(set (match_operand:V2FI 0 "register_operand" "=x,v")
+ (vec_merge:V2FI
+ (match_operand:V2FI 2 "register_operand" " x,v")
+ (match_operand:V2FI 1 "register_operand" " 0,v")
(const_int 1)))]
"TARGET_MMX_WITH_SSE"
"@