From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2066) id AFE063858D32; Mon, 18 Sep 2023 02:19:05 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org AFE063858D32 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1695003545; bh=ODzteEGKgsCvTquszEQdKIww4o0nc2l+uZfr8y6wD/4=; h=From:To:Subject:Date:From; b=y1YFfnvB3N6GP37NxhS3c/Ipy1KLpj61iw38bcaAaAfO56N8iI0ewqonUOHDBO6S+ QUb6+GPay1e0ahJk34+gziZX36fW2AdNjGAIc/hB5FvfvuexuJ5a4wBdcu1sDbNtMv 16JOyEpoEhrIMcdV+5M6dKgR7Mab/bglqkEMQIpQ= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Jiu Fu Guo To: gcc-cvs@gcc.gnu.org Subject: [gcc r14-4082] use local range for one more pattern in match.pd X-Act-Checkin: gcc X-Git-Author: Jiufu Guo X-Git-Refname: refs/heads/master X-Git-Oldrev: 5b4acfa306d53c8473883552f1db7278b7065b18 X-Git-Newrev: 55b22a6f630e76a0be913ced8bf1b017eaffd89b Message-Id: <20230918021905.AFE063858D32@sourceware.org> Date: Mon, 18 Sep 2023 02:19:05 +0000 (GMT) List-Id: https://gcc.gnu.org/g:55b22a6f630e76a0be913ced8bf1b017eaffd89b commit r14-4082-g55b22a6f630e76a0be913ced8bf1b017eaffd89b Author: Jiufu Guo Date: Wed Sep 13 16:12:05 2023 +0800 use local range for one more pattern in match.pd For "get_global_range_query" SSA_NAME_RANGE_INFO can be queried. For "get_range_query", it could get more context-aware range info. And look at the implementation of "get_range_query", it returns global range if no local fun info. ATTRIBUTE_RETURNS_NONNULL inline range_query * get_range_query (const struct function *fun) { return (fun && fun->x_range_query) ? fun->x_range_query : &global_ranges; } So, using "get_range_query" would cover more case. For example, the test case of "pr111303.c". PR middle-end/111303 gcc/ChangeLog: * match.pd ((t * 2) / 2): Update pattern. gcc/testsuite/ChangeLog: * gcc.dg/tree-ssa/pr111303.c: New test. Diff: --- gcc/match.pd | 4 ++-- gcc/testsuite/gcc.dg/tree-ssa/pr111303.c | 15 +++++++++++++++ 2 files changed, 17 insertions(+), 2 deletions(-) diff --git a/gcc/match.pd b/gcc/match.pd index 39c9c81966a..87edf0e75c3 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -931,8 +931,8 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) bool overflowed = true; value_range vr0, vr1; if (INTEGRAL_TYPE_P (type) - && get_global_range_query ()->range_of_expr (vr0, @0) - && get_global_range_query ()->range_of_expr (vr1, @1) + && get_range_query (cfun)->range_of_expr (vr0, @0) + && get_range_query (cfun)->range_of_expr (vr1, @1) && !vr0.varying_p () && !vr0.undefined_p () && !vr1.varying_p () && !vr1.undefined_p ()) { diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr111303.c b/gcc/testsuite/gcc.dg/tree-ssa/pr111303.c new file mode 100644 index 00000000000..b703fe4546d --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr111303.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-optimized" } */ + +typedef unsigned int INT; + +INT +foo (INT x, INT y) +{ + if (x > 100 || y > 100) + return x; + return (x * y) / y; +} + +/* { dg-final { scan-tree-dump-times "return x_..D." 1 "optimized"} } */ +/* { dg-final { scan-tree-dump-times " / " 0 "optimized"} } */