]> git.ipfire.org Git - thirdparty/gcc.git/commit
use local range for one more pattern in match.pd
authorJiufu Guo <guojiufu@linux.ibm.com>
Wed, 13 Sep 2023 08:12:05 +0000 (16:12 +0800)
committerguojiufu <guojiufu@linux.ibm.com>
Mon, 18 Sep 2023 02:18:35 +0000 (10:18 +0800)
commit55b22a6f630e76a0be913ced8bf1b017eaffd89b
tree6a4f81cd3d5c4c164345121f7c5107b32fe0bd64
parent5b4acfa306d53c8473883552f1db7278b7065b18
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.
gcc/match.pd
gcc/testsuite/gcc.dg/tree-ssa/pr111303.c [new file with mode: 0644]