public inbox for gcc-cvs@sourceware.org help / color / mirror / Atom feed
From: hongtao Liu <liuhongt@gcc.gnu.org> To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-7193] Add single_use to simplification (uncond_op + vec_cond -> cond_op). Date: Fri, 11 Feb 2022 07:48:17 +0000 (GMT) [thread overview] Message-ID: <20220211074817.6F931385843E@sourceware.org> (raw) https://gcc.gnu.org/g:165947fecf4d78c7effb0f1ee15e6942d8dce4ea commit r12-7193-g165947fecf4d78c7effb0f1ee15e6942d8dce4ea Author: liuhongt <hongtao.liu@intel.com> Date: Thu Feb 10 15:42:13 2022 +0800 Add single_use to simplification (uncond_op + vec_cond -> cond_op). gcc/ChangeLog: PR tree-optimization/104479 * match.pd (uncond_op + vec_cond -> cond_op): Add single_use for the dest of uncond_op. gcc/testsuite/ChangeLog: * gcc.target/i386/pr104479.c: New test. * gcc.target/i386/cond_op_shift_w-1.c: Adjust testcase. Diff: --- gcc/match.pd | 12 ++++++--- gcc/testsuite/gcc.target/i386/cond_op_shift_w-1.c | 3 +-- gcc/testsuite/gcc.target/i386/pr104479.c | 33 +++++++++++++++++++++++ 3 files changed, 42 insertions(+), 6 deletions(-) diff --git a/gcc/match.pd b/gcc/match.pd index d9d83591045..0f326233cbb 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -7384,13 +7384,15 @@ and, (vec_cond @0 (view_convert? (uncond_op@4 @1 @2)) @3) (with { tree op_type = TREE_TYPE (@4); } (if (vectorized_internal_fn_supported_p (as_internal_fn (cond_op), op_type) - && is_truth_type_for (op_type, TREE_TYPE (@0))) + && is_truth_type_for (op_type, TREE_TYPE (@0)) + && single_use (@4)) (view_convert (cond_op @0 @1 @2 (view_convert:op_type @3)))))) (simplify (vec_cond @0 @1 (view_convert? (uncond_op@4 @2 @3))) (with { tree op_type = TREE_TYPE (@4); } (if (vectorized_internal_fn_supported_p (as_internal_fn (cond_op), op_type) - && is_truth_type_for (op_type, TREE_TYPE (@0))) + && is_truth_type_for (op_type, TREE_TYPE (@0)) + && single_use (@4)) (view_convert (cond_op (bit_not @0) @2 @3 (view_convert:op_type @1))))))) /* Same for ternary operations. */ @@ -7400,13 +7402,15 @@ and, (vec_cond @0 (view_convert? (uncond_op@5 @1 @2 @3)) @4) (with { tree op_type = TREE_TYPE (@5); } (if (vectorized_internal_fn_supported_p (as_internal_fn (cond_op), op_type) - && is_truth_type_for (op_type, TREE_TYPE (@0))) + && is_truth_type_for (op_type, TREE_TYPE (@0)) + && single_use (@5)) (view_convert (cond_op @0 @1 @2 @3 (view_convert:op_type @4)))))) (simplify (vec_cond @0 @1 (view_convert? (uncond_op@5 @2 @3 @4))) (with { tree op_type = TREE_TYPE (@5); } (if (vectorized_internal_fn_supported_p (as_internal_fn (cond_op), op_type) - && is_truth_type_for (op_type, TREE_TYPE (@0))) + && is_truth_type_for (op_type, TREE_TYPE (@0)) + && single_use (@5)) (view_convert (cond_op (bit_not @0) @2 @3 @4 (view_convert:op_type @1))))))) #endif diff --git a/gcc/testsuite/gcc.target/i386/cond_op_shift_w-1.c b/gcc/testsuite/gcc.target/i386/cond_op_shift_w-1.c index 54c854f2f37..23ab8fa166f 100644 --- a/gcc/testsuite/gcc.target/i386/cond_op_shift_w-1.c +++ b/gcc/testsuite/gcc.target/i386/cond_op_shift_w-1.c @@ -1,7 +1,6 @@ /* { dg-do compile } */ /* { dg-options "-O2 -march=skylake-avx512 -fdump-tree-optimized -DTYPE=int16" } */ -/* { dg-final { scan-tree-dump-times ".COND_SHR" 1 "optimized" } } */ -/* { dg-final { scan-tree-dump-times ".COND_SHL" 1 "optimized" } } */ +/* { dg-final { scan-tree-dump-times "\.COND_" 4 "optimized" } } */ /* { dg-final { scan-assembler-times "vpsraw" 1 } } */ /* { dg-final { scan-assembler-times "vpsllw" 1 } } */ diff --git a/gcc/testsuite/gcc.target/i386/pr104479.c b/gcc/testsuite/gcc.target/i386/pr104479.c new file mode 100644 index 00000000000..4ca4c482542 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr104479.c @@ -0,0 +1,33 @@ +/* { dg-do compile } */ +/* { dg-options "-march=icelake-server -Ofast -fdump-tree-optimized" } */ +/* { dg-final { scan-tree-dump-not "\.COND_SHR" "optimized" } } */ +/* { dg-final { scan-tree-dump-not "\.COND_FMA" "optimized" } } */ + +void +cond_shr (unsigned int* __restrict dst, + unsigned int* __restrict src, + unsigned int* __restrict y, + int i_width) +{ + for(int x = 0; x < i_width; x++) + { + unsigned int temp = src[x] >> 3; + dst[x] = temp > 255 ? temp : y[x]; + } +} + + +void +cond_fma (float* __restrict dst, + float* __restrict src1, + float* __restrict src2, + float* __restrict src3, + unsigned int* __restrict y, + int i_width) +{ + for(int x = 0; x < i_width; x++) + { + float temp = __builtin_fmaf (src1[x], src2[x], src3[x]); + dst[x] = temp > 0.0f ? temp : y[x]; + } +}
reply other threads:[~2022-02-11 7:48 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20220211074817.6F931385843E@sourceware.org \ --to=liuhongt@gcc.gnu.org \ --cc=gcc-cvs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
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).