diff options
| author | Haochen Jiang <haochen.jiang@intel.com> | 2021-12-30 15:47:58 +0800 |
|---|---|---|
| committer | liuhongt <hongtao.liu@intel.com> | 2022-01-11 10:10:14 +0800 |
| commit | 4bb79e27c02c5cd57d5781bef20e70982d898c40 (patch) | |
| tree | 388319e806c74b1fc14e98abcb281064637ccc74 /gcc | |
| parent | d9450aa0e8b70f2362925cbcac8a29733899d37f (diff) | |
| download | gcc-4bb79e27c02c5cd57d5781bef20e70982d898c40.zip gcc-4bb79e27c02c5cd57d5781bef20e70982d898c40.tar.gz gcc-4bb79e27c02c5cd57d5781bef20e70982d898c40.tar.bz2 | |
Extend predicate of operands[1] from register_operand to vector_operand for andnot insn.
This can do optimization like
- pcmpeqd %xmm0, %xmm0
- pxor g(%rip), %xmm0
- pand %xmm1, %xmm0
+ movdqa g(%rip), %xmm0
+ pandn %xmm1, %xmm0
gcc/ChangeLog:
PR target/53652
* config/i386/sse.md (*andnot<mode>3): Extend predicate of
operands[1] from register_operand to vector_operand.
gcc/testsuite/ChangeLog:
PR target/53652
* gcc.target/i386/pr53652-1.c: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/config/i386/sse.md | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr53652-1.c | 16 |
2 files changed, 17 insertions, 1 deletions
diff --git a/gcc/config/i386/sse.md b/gcc/config/i386/sse.md index d8f3035..0864748 100644 --- a/gcc/config/i386/sse.md +++ b/gcc/config/i386/sse.md @@ -16631,7 +16631,7 @@ (define_insn "*andnot<mode>3" [(set (match_operand:VI 0 "register_operand" "=x,x,v") (and:VI - (not:VI (match_operand:VI 1 "register_operand" "0,x,v")) + (not:VI (match_operand:VI 1 "vector_operand" "0,x,v")) (match_operand:VI 2 "bcst_vector_operand" "xBm,xm,vmBr")))] "TARGET_SSE" { diff --git a/gcc/testsuite/gcc.target/i386/pr53652-1.c b/gcc/testsuite/gcc.target/i386/pr53652-1.c new file mode 100644 index 0000000..bd07ee2 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr53652-1.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -msse2" } */ +/* { dg-final { scan-assembler-times "pandn\[ \\t\]" 2 } } */ +/* { dg-final { scan-assembler-not "vpternlogq\[ \\t\]" } } */ + +typedef unsigned long long vec __attribute__((vector_size (16))); +vec g; +vec f1 (vec a, vec b) +{ + return ~a&b; +} +vec f2 (vec a, vec b) +{ + return ~g&b; +} + |