From: Thomas Schwinge <thomas@codesourcery.com>
To: Aldy Hernandez <aldyh@redhat.com>, <gcc-patches@gcc.gnu.org>
Subject: Add 'c-c++-common/torture/pr107195-1.c' [PR107195] (was: [COMMITTED] [PR107195] Set range to zero when nonzero mask is 0.)
Date: Mon, 17 Oct 2022 09:43:37 +0200 [thread overview]
Message-ID: <878rlej3o6.fsf@euler.schwinge.homeip.net> (raw)
In-Reply-To: <20221011083137.336470-1-aldyh@redhat.com>
[-- Attachment #1: Type: text/plain, Size: 7365 bytes --]
Hi!
On 2022-10-11T10:31:37+0200, Aldy Hernandez via Gcc-patches <gcc-patches@gcc.gnu.org> wrote:
> When solving 0 = _15 & 1, we calculate _15 as:
>
> [irange] int [-INF, -2][0, +INF] NONZERO 0xfffffffe
>
> The known value of _15 is [0, 1] NONZERO 0x1 which is intersected with
> the above, yielding:
>
> [0, 1] NONZERO 0x0
>
> This eventually gets copied to a _Bool [0, 1] NONZERO 0x0.
>
> This is problematic because here we have a bool which is zero, but
> returns false for irange::zero_p, since the latter does not look at
> nonzero bits. This causes logical_combine to assume the range is
> not-zero, and all hell breaks loose.
>
> I think we should just normalize a nonzero mask of 0 to [0, 0] at
> creation, thus avoiding all this.
1. This commit r13-3217-gc4d15dddf6b9eacb36f535807ad2ee364af46e04
"[PR107195] Set range to zero when nonzero mask is 0" broke a GCC/nvptx
offloading test case:
UNSUPPORTED: libgomp.oacc-c/../libgomp.oacc-c-c++-common/nvptx-sese-1.c -DACC_DEVICE_TYPE_nvidia=1 -DACC_MEM_SHARED=0 -foffload=nvptx-none -O0
PASS: libgomp.oacc-c/../libgomp.oacc-c-c++-common/nvptx-sese-1.c -DACC_DEVICE_TYPE_nvidia=1 -DACC_MEM_SHARED=0 -foffload=nvptx-none -O2 (test for excess errors)
PASS: libgomp.oacc-c/../libgomp.oacc-c-c++-common/nvptx-sese-1.c -DACC_DEVICE_TYPE_nvidia=1 -DACC_MEM_SHARED=0 -foffload=nvptx-none -O2 execution test
[-PASS:-]{+FAIL:+} libgomp.oacc-c/../libgomp.oacc-c-c++-common/nvptx-sese-1.c -DACC_DEVICE_TYPE_nvidia=1 -DACC_MEM_SHARED=0 -foffload=nvptx-none -O2 scan-nvptx-none-offload-rtl-dump mach "SESE regions:.* [0-9]+{[0-9]+->[0-9]+(\\.[0-9]+)+}"
Same for C++.
I'll later send a patch (for the test case!) to fix that up.
2. Looking into this, I found that this
commit r13-3217-gc4d15dddf6b9eacb36f535807ad2ee364af46e04
"[PR107195] Set range to zero when nonzero mask is 0" actually enables a
code transformation/optimization that GCC apparently has not been doing
before! I've tried to capture that in the attached
"Add 'c-c++-common/torture/pr107195-1.c' [PR107195]".
Will you please verify that one? In its current '#if 1' configuration,
it's all-PASS after commit
r13-3217-gc4d15dddf6b9eacb36f535807ad2ee364af46e04
"[PR107195] Set range to zero when nonzero mask is 0", whereas before, we
get two calls to 'foo', because GCC apparently didnn't understand the
relation (optimization opportunity) between 'r *= 2;' and the subsequent
'if (r & 1)'.
I've left in the other '#if' variants in case you'd like to experiment
with these, but would otherwise clean that up before pushing.
Where does one put such a test case?
Should the file be named 'pr107195' or something else?
Do we scan 'optimized', or an earlier dump?
At '-O1', the actual code transformation is visible already in the 'dom2'
dump:
<bb 3> [local count: 536870913]:
gimple_assign <mult_expr, r_7, r_6(D), 2, NULL>
+ gimple_assign <bit_and_expr, _11, r_7, 1, NULL>
+ goto <bb 6>; [100.00%]
- <bb 4> [local count: 1073741824]:
- # gimple_phi <r_4, r_6(D)(2), r_7(3)>
+ <bb 4> [local count: 536870912]:
+ # gimple_phi <r_4, r_6(D)(2)>
gimple_assign <bit_and_expr, _2, r_4, 1, NULL>
gimple_cond <ne_expr, _2, 0, NULL, NULL>
- goto <bb 5>; [50.00%]
+ goto <bb 5>; [100.00%]
else
- goto <bb 6>; [50.00%]
+ goto <bb 6>; [0.00%]
<bb 5> [local count: 536870913]:
gimple_call <foo, _3, r_4>
gimple_assign <plus_expr, r_8, _3, r_4, NULL>
<bb 6> [local count: 1073741824]:
- # gimple_phi <r_5, r_4(4), r_8(5)>
+ # gimple_phi <r_5, r_4(4), r_8(5), r_7(3)>
gimple_return <r_5>
And, the actual "avoid second call 'foo'" optimization is visiable
starting 'dom3':
<bb 3> [local count: 536870913]:
gimple_assign <mult_expr, r_7, r_6(D), 2, NULL>
+ goto <bb 6>; [100.00%]
- <bb 4> [local count: 1073741824]:
- # gimple_phi <r_4, r_6(D)(2), r_7(3)>
- gimple_assign <bit_and_expr, _2, r_4, 1, NULL>
+ <bb 4> [local count: 536870912]:
+ gimple_assign <bit_and_expr, _2, r_6(D), 1, NULL>
gimple_cond <ne_expr, _2, 0, NULL, NULL>
- goto <bb 5>; [50.00%]
+ goto <bb 5>; [100.00%]
else
- goto <bb 6>; [50.00%]
+ goto <bb 6>; [0.00%]
<bb 5> [local count: 536870913]:
- gimple_call <foo, _3, r_4>
- gimple_assign <plus_expr, r_8, _3, r_4, NULL>
+ gimple_assign <integer_cst, _3, 0, NULL, NULL>
+ gimple_assign <ssa_name, r_8, r_6(D), NULL, NULL>
<bb 6> [local count: 1073741824]:
- # gimple_phi <r_5, r_4(4), r_8(5)>
+ # gimple_phi <r_5, r_6(D)(4), r_6(D)(5), r_7(3)>
gimple_return <r_5>
..., but I don't know if either of those would be stable/appropriate to
scan instead of 'optimized'?
Grüße
Thomas
> PR tree-optimization/107195
>
> gcc/ChangeLog:
>
> * value-range.cc (irange::set_range_from_nonzero_bits): Set range
> to [0,0] when nonzero mask is 0.
>
> gcc/testsuite/ChangeLog:
>
> * gcc.dg/tree-ssa/pr107195-1.c: New test.
> * gcc.dg/tree-ssa/pr107195-2.c: New test.
> ---
> gcc/testsuite/gcc.dg/tree-ssa/pr107195-1.c | 15 +++++++++++++++
> gcc/testsuite/gcc.dg/tree-ssa/pr107195-2.c | 16 ++++++++++++++++
> gcc/value-range.cc | 5 +++++
> 3 files changed, 36 insertions(+)
> create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr107195-1.c
> create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr107195-2.c
>
> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr107195-1.c b/gcc/testsuite/gcc.dg/tree-ssa/pr107195-1.c
> new file mode 100644
> index 00000000000..a0c20dbd4b1
> --- /dev/null
> +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr107195-1.c
> @@ -0,0 +1,15 @@
> +// { dg-do run }
> +// { dg-options "-O1 -fno-tree-ccp" }
> +
> +int a, b;
> +int main() {
> + int c = 0;
> + if (a)
> + c = 1;
> + c = 1 & (a && c) && b;
> + if (a) {
> + b = c;
> + __builtin_abort ();
> + }
> + return 0;
> +}
> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr107195-2.c b/gcc/testsuite/gcc.dg/tree-ssa/pr107195-2.c
> new file mode 100644
> index 00000000000..d447c78bdd3
> --- /dev/null
> +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr107195-2.c
> @@ -0,0 +1,16 @@
> +// { dg-do run }
> +// { dg-options "-O1" }
> +
> +int a, b;
> +int main() {
> + int c = 0;
> + long d;
> + for (; b < 1; b++) {
> + (c && d) & 3 || a;
> + d = c;
> + c = -1;
> + if (d)
> + __builtin_abort();
> + }
> + return 0;
> +}
> diff --git a/gcc/value-range.cc b/gcc/value-range.cc
> index a14f9bc4394..e07d2aa9a5b 100644
> --- a/gcc/value-range.cc
> +++ b/gcc/value-range.cc
> @@ -2903,6 +2903,11 @@ irange::set_range_from_nonzero_bits ()
> }
> return true;
> }
> + else if (popcount == 0)
> + {
> + set_zero (type ());
> + return true;
> + }
> return false;
> }
>
> --
> 2.37.3
-----------------
Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0001-Add-c-c-common-torture-pr107195-1.c-PR107195.patch --]
[-- Type: text/x-diff, Size: 2075 bytes --]
From dc4644dcef05a1f21a9ebc194689f31412811387 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@codesourcery.com>
Date: Mon, 17 Oct 2022 09:10:03 +0200
Subject: [PATCH] Add 'c-c++-common/torture/pr107195-1.c' [PR107195]
... to display optimization performed as of recent
commit r13-3217-gc4d15dddf6b9eacb36f535807ad2ee364af46e04
"[PR107195] Set range to zero when nonzero mask is 0".
PR tree-optimization/107195
gcc/testsuite/
* c-c++-common/torture/pr107195-1.c: New.
---
.../c-c++-common/torture/pr107195-1.c | 41 +++++++++++++++++++
1 file changed, 41 insertions(+)
create mode 100644 gcc/testsuite/c-c++-common/torture/pr107195-1.c
diff --git a/gcc/testsuite/c-c++-common/torture/pr107195-1.c b/gcc/testsuite/c-c++-common/torture/pr107195-1.c
new file mode 100644
index 000000000000..1e201c1f5e6c
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/torture/pr107195-1.c
@@ -0,0 +1,41 @@
+/* Inspired by 'libgomp.oacc-c-c++-common/nvptx-sese-1.c'. */
+
+/* { dg-additional-options -fdump-tree-optimized-raw }
+ { dg-skip-if {} { *-*-* } { {-flto -fno-fat-lto-objects} } { } } */
+
+#if 1
+extern int
+__attribute__((const))
+foo (int);
+#else
+int
+__attribute__((noinline))
+foo (int x)
+{
+ return x & 2;
+}
+#endif
+
+int f (int r)
+{
+ if (foo (r)) /* If this first 'if' holds... */
+ r *= 2; /* ..., 'r' now has a zero-value lower-most bit... */
+
+ if (r & 1) /* ..., so this second 'if' can never hold... */
+ { /* ..., so this is unreachable. */
+#if 1
+ /* In constrast, if the first 'if' does not hold ('foo (r) == 0'), the
+ second 'if' may hold, but we know ('foo' being 'const') that
+ 'foo (r) == 0', so don't have to re-evaluate it here: */
+ r += foo (r);
+ /* Thus, if optimizing, we only ever expect one call of 'foo'.
+ { dg-final { scan-tree-dump-times {gimple_call <foo,} 1 optimized { target __OPTIMIZE__ } } }
+ { dg-final { scan-tree-dump-times {gimple_call <foo,} 2 optimized { target { ! __OPTIMIZE__ } } } }
+ */
+#else
+ r += foo (-r);
+#endif
+ }
+
+ return r;
+}
--
2.35.1
next prev parent reply other threads:[~2022-10-17 7:43 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-10-11 8:31 [COMMITTED] [PR107195] Set range to zero when nonzero mask is 0 Aldy Hernandez
2022-10-17 7:43 ` Thomas Schwinge [this message]
2022-10-17 13:58 ` Add 'c-c++-common/torture/pr107195-1.c' [PR107195] (was: [COMMITTED] [PR107195] Set range to zero when nonzero mask is 0.) Aldy Hernandez
2022-10-17 14:46 ` Thomas Schwinge
2022-10-18 5:41 ` Aldy Hernandez
2022-10-20 11:38 ` Add 'gcc.dg/tree-ssa/pr107195-3.c' [PR107195] (was: Add 'c-c++-common/torture/pr107195-1.c' [PR107195] (was: [COMMITTED] [PR107195] Set range to zero when nonzero mask is 0.)) Thomas Schwinge
2022-10-20 12:23 ` Aldy Hernandez
2022-10-20 19:22 ` Thomas Schwinge
2022-10-20 22:44 ` Aldy Hernandez
2022-10-21 8:38 ` Thomas Schwinge
2022-10-21 8:51 ` Aldy Hernandez
2022-10-21 9:36 ` Restore 'libgomp.oacc-c-c++-common/nvptx-sese-1.c' SESE regions checking [PR107195, PR107344] (was: [COMMITTED] [PR107195] Set range to zero when nonzero mask is 0.) Thomas Schwinge
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=878rlej3o6.fsf@euler.schwinge.homeip.net \
--to=thomas@codesourcery.com \
--cc=aldyh@redhat.com \
--cc=gcc-patches@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: link
Be 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).