From 4e9bb42b21a8399500c0021fa991a79c8c0574fa Mon Sep 17 00:00:00 2001 From: Aldy Hernandez Date: Wed, 13 Mar 2002 02:03:36 +0000 Subject: [PATCH] expmed.c (store_bit_field): Reset alias set for memory. 2002-03-13 Aldy Hernandez * expmed.c (store_bit_field): Reset alias set for memory. (extract_bit_field): Same. From-SVN: r50706 --- gcc/ChangeLog | 5 +++++ gcc/expmed.c | 18 ++++++++++++++++++ 2 files changed, 23 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 48d9949287c..761ecb34c8f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2002-03-13 Aldy Hernandez + + * expmed.c (store_bit_field): Reset alias set for memory. + (extract_bit_field): Same. + 2002-03-12 Kaveh R. Ghazi * c-common.c (c_tree_code_type, c_tree_code_length, diff --git a/gcc/expmed.c b/gcc/expmed.c index 6d58ea9957e..48a3ef60278 100644 --- a/gcc/expmed.c +++ b/gcc/expmed.c @@ -392,6 +392,15 @@ store_bit_field (str_rtx, bitsize, bitnum, fieldmode, value, total_size) } } + /* We may be accessing data outside the field, which means + we can alias adjacent data. */ + if (GET_CODE (op0) == MEM) + { + op0 = shallow_copy_rtx (op0); + set_mem_alias_set (op0, 0); + set_mem_expr (op0, 0); + } + /* If OP0 is a register, BITPOS must count within a word. But as we have it, it counts within whatever size OP0 now has. On a bigendian machine, these are not the same, so convert. */ @@ -1069,6 +1078,15 @@ extract_bit_field (str_rtx, bitsize, bitnum, unsignedp, } } + /* We may be accessing data outside the field, which means + we can alias adjacent data. */ + if (GET_CODE (op0) == MEM) + { + op0 = shallow_copy_rtx (op0); + set_mem_alias_set (op0, 0); + set_mem_expr (op0, 0); + } + /* ??? We currently assume TARGET is at least as big as BITSIZE. If that's wrong, the solution is to test for it and set TARGET to 0 if needed. */ -- 2.30.2