diff options
| author | Olivier Hainque <hainque@adacore.com> | 2010-08-27 10:48:32 +0000 |
|---|---|---|
| committer | Olivier Hainque <hainque@gcc.gnu.org> | 2010-08-27 10:48:32 +0000 |
| commit | d32f725a65e4af3eccb7192b3be7662123df5280 (patch) | |
| tree | 19db1f26d8d334badf53e2e36df8a12d40ac9c4b /gcc/dse.c | |
| parent | 401fcd3b8fd7158703263fd4de33a23faa7a2738 (diff) | |
| download | gcc-d32f725a65e4af3eccb7192b3be7662123df5280.zip gcc-d32f725a65e4af3eccb7192b3be7662123df5280.tar.gz gcc-d32f725a65e4af3eccb7192b3be7662123df5280.tar.bz2 | |
dse.c (group_info.base_mem, [...]): Use BLKmode to cover all the possible offsets from this base.
* dse.c (group_info.base_mem, get_group_info): Use BLKmode to
cover all the possible offsets from this base.
(scan_reads_nospill): Pass base_mem's mode to canon_true_dependence.
testsuite/
* gnat.dg/dse_step.ads, dse_step.adb, test_dse_step.adb: New test.
Co-Authored-By: Eric Botcazou <ebotcazou@adacore.com>
From-SVN: r163582
Diffstat (limited to 'gcc/dse.c')
| -rw-r--r-- | gcc/dse.c | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -473,8 +473,9 @@ struct group_info hard_frame_pointer. */ bool frame_related; - /* A mem wrapped around the base pointer for the group in order to - do read dependency. */ + /* A mem wrapped around the base pointer for the group in order to do + read dependency. It must be given BLKmode in order to encompass all + the possible offsets from the base. */ rtx base_mem; /* Canonized version of base_mem's address. */ @@ -705,7 +706,7 @@ get_group_info (rtx base) *slot = gi = (group_info_t) pool_alloc (rtx_group_info_pool); gi->rtx_base = base; gi->id = rtx_group_next_id++; - gi->base_mem = gen_rtx_MEM (QImode, base); + gi->base_mem = gen_rtx_MEM (BLKmode, base); gi->canon_base_addr = canon_rtx (base); gi->store1_n = BITMAP_ALLOC (NULL); gi->store1_p = BITMAP_ALLOC (NULL); @@ -3118,7 +3119,7 @@ scan_reads_nospill (insn_info_t insn_info, bitmap gen, bitmap kill) base. */ if ((read_info->group_id < 0) && canon_true_dependence (group->base_mem, - QImode, + GET_MODE (group->base_mem), group->canon_base_addr, read_info->mem, NULL_RTX, rtx_varies_p)) |