diff options
| author | Jan Hubicka <jh@suse.cz> | 2023-06-28 09:34:53 +0200 |
|---|---|---|
| committer | Jan Hubicka <jh@suse.cz> | 2023-06-28 09:35:26 +0200 |
| commit | 7198573f44fb579843bff8deda695107858d8cff (patch) | |
| tree | d9b9e1de6c2ff6c478aeb7e64355bf46b767aead /gcc | |
| parent | 857e1f93ff8e3b93a7a3dcca9e50fe32a4c93950 (diff) | |
| download | gcc-7198573f44fb579843bff8deda695107858d8cff.zip gcc-7198573f44fb579843bff8deda695107858d8cff.tar.gz gcc-7198573f44fb579843bff8deda695107858d8cff.tar.bz2 | |
Enable ranger for ipa-prop
gcc/ChangeLog:
PR tree-optimization/110377
* ipa-prop.cc (ipa_compute_jump_functions_for_edge): Pass statement to
the ranger query.
(ipa_analyze_node): Enable ranger.
gcc/testsuite/ChangeLog:
PR tree-optimization/110377
* gcc.dg/ipa/pr110377.c: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ipa-prop.cc | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/ipa/pr110377.c | 16 |
2 files changed, 20 insertions, 2 deletions
diff --git a/gcc/ipa-prop.cc b/gcc/ipa-prop.cc index 41c8121..33bda82 100644 --- a/gcc/ipa-prop.cc +++ b/gcc/ipa-prop.cc @@ -2386,7 +2386,7 @@ ipa_compute_jump_functions_for_edge (struct ipa_func_body_info *fbi, if (TREE_CODE (arg) == SSA_NAME && param_type - && get_range_query (cfun)->range_of_expr (vr, arg) + && get_range_query (cfun)->range_of_expr (vr, arg, cs->call_stmt) && vr.nonzero_p ()) addr_nonzero = true; else if (tree_single_nonzero_warnv_p (arg, &strict_overflow)) @@ -2408,7 +2408,7 @@ ipa_compute_jump_functions_for_edge (struct ipa_func_body_info *fbi, && Value_Range::supports_type_p (param_type) && irange::supports_p (TREE_TYPE (arg)) && irange::supports_p (param_type) - && get_range_query (cfun)->range_of_expr (vr, arg) + && get_range_query (cfun)->range_of_expr (vr, arg, cs->call_stmt) && !vr.undefined_p ()) { Value_Range resvr (vr); @@ -3190,7 +3190,9 @@ ipa_analyze_node (struct cgraph_node *node) bi->cg_edges.safe_push (cs); } + enable_ranger (cfun, false); analysis_dom_walker (&fbi).walk (ENTRY_BLOCK_PTR_FOR_FN (cfun)); + disable_ranger (cfun); ipa_release_body_info (&fbi); free_dominance_info (CDI_DOMINATORS); diff --git a/gcc/testsuite/gcc.dg/ipa/pr110377.c b/gcc/testsuite/gcc.dg/ipa/pr110377.c new file mode 100644 index 0000000..63120a9 --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/pr110377.c @@ -0,0 +1,16 @@ +/* { dg-do compile */ +/* { dg-options "-O2 -fdump-ipa-cp" } */ +int test3(int); +__attribute__ ((noinline)) +void test2(int a) +{ + test3(a); +} +void +test(int n) +{ + if (n > 5) + __builtin_unreachable (); + test2(n); +} +/* { dg-final { scan-ipa-dump "-INF, 5" "cp" } } */ |