diff options
| author | Jiufu Guo <guojiufu@linux.ibm.com> | 2023-09-13 16:12:05 +0800 |
|---|---|---|
| committer | guojiufu <guojiufu@linux.ibm.com> | 2023-09-18 10:18:35 +0800 |
| commit | 55b22a6f630e76a0be913ced8bf1b017eaffd89b (patch) | |
| tree | 6a4f81cd3d5c4c164345121f7c5107b32fe0bd64 /gcc | |
| parent | 5b4acfa306d53c8473883552f1db7278b7065b18 (diff) | |
| download | gcc-55b22a6f630e76a0be913ced8bf1b017eaffd89b.zip gcc-55b22a6f630e76a0be913ced8bf1b017eaffd89b.tar.gz gcc-55b22a6f630e76a0be913ced8bf1b017eaffd89b.tar.bz2 | |
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/match.pd | 4 | ||||
| -rw-r--r-- | 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 39c9c81..87edf0e 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 0000000..b703fe4 --- /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"} } */ |