]> git.proxmox.com Git - mirror_qemu.git/commitdiff
exec-all.h: Use stl_p to avoid undefined behaviour patching x86 jumps
authorPeter Maydell <peter.maydell@linaro.org>
Fri, 28 Mar 2014 15:29:46 +0000 (15:29 +0000)
committerRichard Henderson <rth@twiddle.net>
Mon, 12 May 2014 17:03:04 +0000 (10:03 -0700)
The code which patches x86 jump instructions assumes it can do an
unaligned write of a uint32_t. This is actually safe on x86, but it's
still undefined behaviour. We have infrastructure for doing efficient
unaligned accesses which doesn't engage in undefined behaviour, so
use it.

This is technically fractionally less efficient, at least with gcc 4.6;
instead of one instruction:
 7b2:   89 3e                   mov    %edi,(%rsi)
we get an extra spurious store to the stack slot:
 7b2:   89 7c 24 64             mov    %edi,0x64(%rsp)
 7b6:   89 3e                   mov    %edi,(%rsi)

Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Richard Henderson <rth@twiddle.net>
include/exec/exec-all.h

index f9ac332f9dec4d08176e7180d84262ae1a69f01c..1c49a21799e0f19955352cc941dfa3635fe39121 100644 (file)
@@ -229,7 +229,7 @@ void ppc_tb_set_jmp_target(unsigned long jmp_addr, unsigned long addr);
 static inline void tb_set_jmp_target1(uintptr_t jmp_addr, uintptr_t addr)
 {
     /* patch the branch destination */
-    *(uint32_t *)jmp_addr = addr - (jmp_addr + 4);
+    stl_p((void*)jmp_addr, addr - (jmp_addr + 4));
     /* no need to flush icache explicitly */
 }
 #elif defined(__aarch64__)