diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2011-03-24 14:21:27 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2011-03-24 14:21:27 +0000 |
| commit | 1d60cc55298f5915b5d934c5f5398ebb5b03809c (patch) | |
| tree | a12d186a3cb54d9ffd7b7c8638b34ec3d48e9cf5 /gcc | |
| parent | c78dd519d330ac45f0382753e2960236ef0e3f55 (diff) | |
| download | gcc-1d60cc55298f5915b5d934c5f5398ebb5b03809c.zip gcc-1d60cc55298f5915b5d934c5f5398ebb5b03809c.tar.gz gcc-1d60cc55298f5915b5d934c5f5398ebb5b03809c.tar.bz2 | |
tree-sra.c (build_ref_for_offset): Strip useless type conversions from the address built for a reference with...
* tree-sra.c (build_ref_for_offset): Strip useless type conversions
from the address built for a reference with variable offset.
From-SVN: r171393
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/array15.adb | 24 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/array15.ads | 5 | ||||
| -rw-r--r-- | gcc/tree-sra.c | 1 |
5 files changed, 39 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 238f6f0..c2e1bf4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2011-03-24 Eric Botcazou <ebotcazou@adacore.com> + + * tree-sra.c (build_ref_for_offset): Strip useless type conversions + from the address built for a reference with variable offset. + 2011-03-24 Uros Bizjak <ubizjak@gmail.com> PR target/48237 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6b9b249..4720026 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2011-03-24 Eric Botcazou <ebotcazou@adacore.com> + + * gnat.dg/array15.ad[sb]: New test. + 2011-03-24 Uros Bizjak <ubizjak@gmail.com> PR target/48237 diff --git a/gcc/testsuite/gnat.dg/array15.adb b/gcc/testsuite/gnat.dg/array15.adb new file mode 100644 index 0000000..eb51f37 --- /dev/null +++ b/gcc/testsuite/gnat.dg/array15.adb @@ -0,0 +1,24 @@ +-- { dg-do compile } +-- { dg-options "-O -gnatws" } + +package body Array15 is + + type Arr is array (Natural range <>) of Integer; + + Table : Arr (1 .. 4); + + N : Natural := 1; + + procedure Zero is + begin + N := 0; + end; + + function F (I : Integer) return Integer is + A1 : Arr := (1 => I); + A2 : Arr := Table (1 .. N) & A1; + begin + return A2 (I); + end; + +end Array15; diff --git a/gcc/testsuite/gnat.dg/array15.ads b/gcc/testsuite/gnat.dg/array15.ads new file mode 100644 index 0000000..c5c2087 --- /dev/null +++ b/gcc/testsuite/gnat.dg/array15.ads @@ -0,0 +1,5 @@ +package Array15 is + + function F (I : Integer) return Integer; + +end Array15; diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c index f28719f..7ad0e09 100644 --- a/gcc/tree-sra.c +++ b/gcc/tree-sra.c @@ -1376,6 +1376,7 @@ build_ref_for_offset (location_t loc, tree base, HOST_WIDE_INT offset, add_referenced_var (tmp); tmp = make_ssa_name (tmp, NULL); addr = build_fold_addr_expr (unshare_expr (prev_base)); + STRIP_USELESS_TYPE_CONVERSION (addr); stmt = gimple_build_assign (tmp, addr); gimple_set_location (stmt, loc); SSA_NAME_DEF_STMT (tmp) = stmt; |