diff options
author | Richard Biener <rguenther@suse.de> | 2013-04-04 11:00:45 +0000 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2013-04-04 11:00:45 +0000 |
commit | 1d2929253bea7a12339be090010578aa45d091a4 (patch) | |
tree | b697566b615403d6848da1c8034a40e1e3ebfdda /gcc/tree-loop-distribution.c | |
parent | f5548e212122df43b3a077caa1af7a95c0074803 (diff) |
2013-04-04 Richard Biener <rguenther@suse.de>
PR tree-optimization/56837
* tree-loop-distribution.c (classify_partition): For non-zero
values require that the value has the same precision as its
mode to be useful as memset value.
* g++.dg/torture/pr56837.C: New testcase.
git-svn-id: https://gcc.gnu.org/svn/gcc/branches/gcc-4_8-branch@197477 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-loop-distribution.c')
-rw-r--r-- | gcc/tree-loop-distribution.c | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/gcc/tree-loop-distribution.c b/gcc/tree-loop-distribution.c index 70f71b37c83..101efbed0a5 100644 --- a/gcc/tree-loop-distribution.c +++ b/gcc/tree-loop-distribution.c @@ -942,13 +942,17 @@ classify_partition (loop_p loop, struct graph *rdg, partition_t partition) gimple stmt = DR_STMT (single_store); tree rhs = gimple_assign_rhs1 (stmt); if (!(integer_zerop (rhs) - || integer_all_onesp (rhs) || real_zerop (rhs) || (TREE_CODE (rhs) == CONSTRUCTOR && !TREE_CLOBBER_P (rhs)) - || (INTEGRAL_TYPE_P (TREE_TYPE (rhs)) - && (TYPE_MODE (TREE_TYPE (gimple_assign_lhs (stmt))) - == TYPE_MODE (unsigned_char_type_node))))) + || ((integer_all_onesp (rhs) + || (INTEGRAL_TYPE_P (TREE_TYPE (rhs)) + && (TYPE_MODE (TREE_TYPE (rhs)) + == TYPE_MODE (unsigned_char_type_node)))) + /* For stores of a non-zero value require that the precision + of the value matches its actual size. */ + && (TYPE_PRECISION (TREE_TYPE (rhs)) + == GET_MODE_BITSIZE (TYPE_MODE (TREE_TYPE (rhs))))))) return; if (TREE_CODE (rhs) == SSA_NAME && !SSA_NAME_IS_DEFAULT_DEF (rhs) |