Hi Guys, I am checking in the patch below to the 4.5 branch and mainline sources to fix a problem with the RX's SMOVF instruction. This instruction copies blocks of memory, but it always loads and stores aligned 32-bit values. If necessary it will load extra bytes from the beginning or end of the destination block in order to be able to write back a whole word. This can be a problem if the destination block is in the I/O address space and those extra bytes do not exist or must not be read.
The patch fixes the problem by disabling the use of the SMOVF instruction when volatile pointers are involved. In this case gcc will be forced to use another method to copy the data, most likely a loop of byte loads and stores. Cheers Nick PS. I am not applying the patch to the 4.6 branch since it is already present there. gcc/ChangeLog 2011-04-13 Nick Clifton <ni...@redhat.com> * config/rx/rx.md (movmemsi): Do not use this pattern when volatile pointers are involved. Index: gcc/config/rx/rx.md =================================================================== --- gcc/config/rx/rx.md (revision 170734) +++ gcc/config/rx/rx.md (working copy) @@ -1897,6 +1897,14 @@ rtx addr2 = gen_rtx_REG (SImode, 2); rtx len = gen_rtx_REG (SImode, 3); + /* Do not use when the source or destination are volatile - the SMOVF + instruction will read and write in word sized blocks, which may be + outside of the valid address range. */ + if (MEM_P (operands[0]) && MEM_VOLATILE_P (operands[0])) + FAIL; + if (MEM_P (operands[1]) && MEM_VOLATILE_P (operands[1])) + FAIL; + if (REG_P (operands[0]) && (REGNO (operands[0]) == 2 || REGNO (operands[0]) == 3)) FAIL;