diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-02-28 09:15:49 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-02-28 09:15:49 +0000 |
| commit | 3a5a825aaecd124c57d3b08ba349631ac8e89123 (patch) | |
| tree | 9331bf1775c4098ffb8b748e6a4aa7b0856f164d /gcc/ipa-prop.c | |
| parent | 95510497873486319b680dfedf017415a2bb8173 (diff) | |
| download | gcc-3a5a825aaecd124c57d3b08ba349631ac8e89123.zip gcc-3a5a825aaecd124c57d3b08ba349631ac8e89123.tar.gz gcc-3a5a825aaecd124c57d3b08ba349631ac8e89123.tar.bz2 | |
re PR tree-optimization/52402 (IPA-SRA creates aligned loads from unaligned memory)
2012-02-28 Richard Guenther <rguenther@suse.de>
PR tree-optimization/52402
* ipa-prop.c (ipa_modify_call_arguments): Properly use
mis-aligned types when creating the accesses at the call site.
* gcc.dg/torture/pr52402.c: New testcase.
From-SVN: r184619
Diffstat (limited to 'gcc/ipa-prop.c')
| -rw-r--r-- | gcc/ipa-prop.c | 24 |
1 files changed, 21 insertions, 3 deletions
diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c index 6d76adb..3856793 100644 --- a/gcc/ipa-prop.c +++ b/gcc/ipa-prop.c @@ -2508,9 +2508,27 @@ ipa_modify_call_arguments (struct cgraph_edge *cs, gimple stmt, } } - expr = fold_build2_loc (loc, MEM_REF, adj->type, base, off); - if (adj->by_ref) - expr = build_fold_addr_expr (expr); + if (!adj->by_ref) + { + tree type = adj->type; + unsigned int align; + unsigned HOST_WIDE_INT misalign; + align = get_pointer_alignment_1 (base, &misalign); + misalign += (double_int_sext (tree_to_double_int (off), + TYPE_PRECISION (TREE_TYPE (off))).low + * BITS_PER_UNIT); + misalign = misalign & (align - 1); + if (misalign != 0) + align = (misalign & -misalign); + if (align < TYPE_ALIGN (type)) + type = build_aligned_type (type, align); + expr = fold_build2_loc (loc, MEM_REF, type, base, off); + } + else + { + expr = fold_build2_loc (loc, MEM_REF, adj->type, base, off); + expr = build_fold_addr_expr (expr); + } expr = force_gimple_operand_gsi (&gsi, expr, adj->by_ref |