This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
ping x3 : latch mem to reg before multi-access in convert_move
- From: Olivier Hainque <hainque at adacore dot com>
- To: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Cc: Olivier Hainque <hainque at adacore dot com>, rth at redhat dot com
- Date: Sun, 24 Jun 2012 08:56:51 +0200
- Subject: ping x3 : latch mem to reg before multi-access in convert_move
- References: <CA26633C-1088-444D-A4BD-BE7BA3B69AB3@adacore.com> <9F84391B-C2F2-4F29-89D9-7321597380BE@adacore.com>
Hello,
ping # 3 for http://gcc.gnu.org/ml/gcc-patches/2012-04/msg00298.html
This is related to convert-move possibly emitting a sequence
with multiple accesses to one input, triggering multiple memory
accesses when that input happens to be a mem.
> The original problem we had with this was the introduction of an
> artificial race condition in addition to the potential performance
> impact.
> While our original testcases don't expose the problem with current
> versions of the compiler, the issue appears to remain latent and the
> change still looks sensible in any case.
...
> * expr.c (convert_move): Latch mem integer inputs into a
> register before expanding a multi-instructions sequence.
Thanks in advance,
Olivier