diff options
| author | Richard Biener <rguenther@suse.de> | 2015-07-22 11:31:50 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-07-22 11:31:50 +0000 |
| commit | 8bb8e838416dce451fae352df5198f99e5f84da5 (patch) | |
| tree | 2b717adaafe8433027ff31c83f676589f58cf74b /gcc/tree-ssanames.c | |
| parent | b1db706aba296e3bbb369102a540169315888dce (diff) | |
| download | gcc-8bb8e838416dce451fae352df5198f99e5f84da5.zip gcc-8bb8e838416dce451fae352df5198f99e5f84da5.tar.gz gcc-8bb8e838416dce451fae352df5198f99e5f84da5.tar.bz2 | |
re PR tree-optimization/66952 (wrong code at -O2 and -O3 on x86_64-linux-gnu)
2015-07-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/66952
* tree-ssa-ifcombine.c (pass_tree_ifcombine::execute): For
blocks we end up executing unconditionally reset all SSA
info such as range and alignment.
* tree-ssanames.h (reset_flow_sensitive_info): Declare.
* tree-ssanames.c (reset_flow_sensitive_info): New function.
* gcc.dg/torture/pr66952.c: New testcase.
From-SVN: r226062
Diffstat (limited to 'gcc/tree-ssanames.c')
| -rw-r--r-- | gcc/tree-ssanames.c | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/tree-ssanames.c b/gcc/tree-ssanames.c index 4dd881a..910cb19 100644 --- a/gcc/tree-ssanames.c +++ b/gcc/tree-ssanames.c @@ -528,6 +528,23 @@ duplicate_ssa_name_fn (struct function *fn, tree name, gimple stmt) } +/* Reset all flow sensitive data on NAME such as range-info, nonzero + bits and alignment. */ + +void +reset_flow_sensitive_info (tree name) +{ + if (POINTER_TYPE_P (TREE_TYPE (name))) + { + /* points-to info is not flow-sensitive. */ + if (SSA_NAME_PTR_INFO (name)) + mark_ptr_info_alignment_unknown (SSA_NAME_PTR_INFO (name)); + } + else + SSA_NAME_RANGE_INFO (name) = NULL; +} + + /* Release all the SSA_NAMEs created by STMT. */ void |