diff options
| author | Richard Biener <rguenther@suse.de> | 2016-04-29 08:36:49 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-04-29 08:36:49 +0000 |
| commit | 98998245d99f06946b4d5ed6744c77c3760f1141 (patch) | |
| tree | 1858d6d18d0408f87683330cd1b7664179f40c81 /gcc/tree-ssa-alias.h | |
| parent | 59cf7a415cf212da56ea3ebd5b34063e84b9275f (diff) | |
| download | gcc-98998245d99f06946b4d5ed6744c77c3760f1141.zip gcc-98998245d99f06946b4d5ed6744c77c3760f1141.tar.gz gcc-98998245d99f06946b4d5ed6744c77c3760f1141.tar.bz2 | |
re PR tree-optimization/13962 ([tree-ssa] make "fold" use alias information to optimize pointer comparisons)
2016-04-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/13962
PR tree-optimization/65686
* tree-ssa-alias.h (ptrs_compare_unequal): Declare.
* tree-ssa-alias.c (ptrs_compare_unequal): New function
using PTA to compare pointers.
* match.pd: Add pattern for pointer equality compare simplification
using ptrs_compare_unequal.
* gcc.dg/uninit-pr65686.c: New testcase.
From-SVN: r235622
Diffstat (limited to 'gcc/tree-ssa-alias.h')
| -rw-r--r-- | gcc/tree-ssa-alias.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/tree-ssa-alias.h b/gcc/tree-ssa-alias.h index ccf23b4..0593b05 100644 --- a/gcc/tree-ssa-alias.h +++ b/gcc/tree-ssa-alias.h @@ -101,6 +101,7 @@ extern alias_set_type ao_ref_alias_set (ao_ref *); extern alias_set_type ao_ref_base_alias_set (ao_ref *); extern bool ptr_deref_may_alias_global_p (tree); extern bool ptr_derefs_may_alias_p (tree, tree); +extern bool ptrs_compare_unequal (tree, tree); extern bool ref_may_alias_global_p (tree); extern bool ref_may_alias_global_p (ao_ref *); extern bool refs_may_alias_p (tree, tree); |