diff options
| author | Olivier Hainque <hainque@adacore.com> | 2006-06-24 12:47:48 +0000 |
|---|---|---|
| committer | Olivier Hainque <hainque@gcc.gnu.org> | 2006-06-24 12:47:48 +0000 |
| commit | 61c25908fdbf3b6c29334ff84b30fcfaa2e29880 (patch) | |
| tree | b0b48b70fe5bdb5192ddb541aa32d97ef613a126 /gcc/testsuite | |
| parent | 7606c786fd0d802f142f18e0cfbb643ad79cc8ec (diff) | |
| download | gcc-61c25908fdbf3b6c29334ff84b30fcfaa2e29880.zip gcc-61c25908fdbf3b6c29334ff84b30fcfaa2e29880.tar.gz gcc-61c25908fdbf3b6c29334ff84b30fcfaa2e29880.tar.bz2 | |
gimplify.c (gimplify_scalar_mode_aggregate_compare): New function.
* gimplify.c (gimplify_scalar_mode_aggregate_compare): New function.
(gimplify_expr): Use it for tcc_comparison of operands of non BLKmode
aggregate types.
* tree-ssa-loop-im.c (for_each_index): Handle ARRAY_RANGE_REF as
ARRAY_REF, so have the callback called for the low bound expression.
* gnat.dg/scalar_mode_agg_compare_loop.adb: New test.
* gnat.dg/scalar_mode_agg_compare.adb: New test.
From-SVN: r114963
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/scalar_mode_agg_compare.adb | 25 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/scalar_mode_agg_compare_loop.adb | 18 |
3 files changed, 48 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 615ef9d..1c8e7c4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2006-06-24 Olivier Hainque <hainque@adacore.com> + + * gnat.dg/scalar_mode_agg_compare_loop.adb: New test. + * gnat.dg/scalar_mode_agg_compare.adb: New test. + 2006-06-23 Janis Johnson <janis187@us.ibm.com> * gcc.dg/dfp/usual-arith-conv-bad.c: New test. diff --git a/gcc/testsuite/gnat.dg/scalar_mode_agg_compare.adb b/gcc/testsuite/gnat.dg/scalar_mode_agg_compare.adb new file mode 100644 index 0000000..ff37346 --- /dev/null +++ b/gcc/testsuite/gnat.dg/scalar_mode_agg_compare.adb @@ -0,0 +1,25 @@ +-- { dg-do run } + +procedure Scalar_Mode_Agg_Compare is + + type Point is record + Mapped : Boolean; + Tag : String (1 .. 2); -- HImode + end record; + pragma Pack (Point); -- Tag possibly at bitpos 1 + + function My_Point return Point is + begin + return (Mapped => True, Tag => "XX"); + end; + + A, B : Point := My_Point; +begin + -- The comparison below should find the two Tag fields equal and not + -- attempt to take their address, which might not be byte aligned. + + if A.Tag /= B.Tag then + raise Program_Error; + end if; +end; + diff --git a/gcc/testsuite/gnat.dg/scalar_mode_agg_compare_loop.adb b/gcc/testsuite/gnat.dg/scalar_mode_agg_compare_loop.adb new file mode 100644 index 0000000..9bafb4d --- /dev/null +++ b/gcc/testsuite/gnat.dg/scalar_mode_agg_compare_loop.adb @@ -0,0 +1,18 @@ + +-- { dg-do compile } +-- { dg-options "-O2 -gnatp" } + +function Scalar_Mode_Agg_Compare_Loop return Boolean is + S : constant String (1 .. 4) := "ABCD"; + F : constant Natural := S'First; + L : constant Natural := S'Last; +begin + for J in F .. L - 1 loop + if S (F .. F) = "X" or (J <= L - 2 and S (J .. J + 1) = "YY") then + return True; + end if; + end loop; + + return False; +end; + |