xref: /qemu/accel/tcg/user-exec.c (revision 9395cd0a38bfec68d150443f59aa50e44877a9c1)
142a623c7SBlue Swirl /*
242a623c7SBlue Swirl  *  User emulator execution
342a623c7SBlue Swirl  *
442a623c7SBlue Swirl  *  Copyright (c) 2003-2005 Fabrice Bellard
542a623c7SBlue Swirl  *
642a623c7SBlue Swirl  * This library is free software; you can redistribute it and/or
742a623c7SBlue Swirl  * modify it under the terms of the GNU Lesser General Public
842a623c7SBlue Swirl  * License as published by the Free Software Foundation; either
9fb0343d5SThomas Huth  * version 2.1 of the License, or (at your option) any later version.
1042a623c7SBlue Swirl  *
1142a623c7SBlue Swirl  * This library is distributed in the hope that it will be useful,
1242a623c7SBlue Swirl  * but WITHOUT ANY WARRANTY; without even the implied warranty of
1342a623c7SBlue Swirl  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
1442a623c7SBlue Swirl  * Lesser General Public License for more details.
1542a623c7SBlue Swirl  *
1642a623c7SBlue Swirl  * You should have received a copy of the GNU Lesser General Public
1742a623c7SBlue Swirl  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
1842a623c7SBlue Swirl  */
19d38ea87aSPeter Maydell #include "qemu/osdep.h"
2078271684SClaudio Fontana #include "hw/core/tcg-cpu-ops.h"
2176cad711SPaolo Bonzini #include "disas/disas.h"
2263c91552SPaolo Bonzini #include "exec/exec-all.h"
23dcb32f1dSPhilippe Mathieu-Daudé #include "tcg/tcg.h"
24023b0ae3SPeter Maydell #include "qemu/bitops.h"
25f08b6170SPaolo Bonzini #include "exec/cpu_ldst.h"
263b9bd3f4SPaolo Bonzini #include "exec/translate-all.h"
27a411d296SPhilippe Mathieu-Daudé #include "exec/helper-proto.h"
28e6cd4bb5SRichard Henderson #include "qemu/atomic128.h"
29243af022SPaolo Bonzini #include "trace/trace-root.h"
300583f775SRichard Henderson #include "internal.h"
3142a623c7SBlue Swirl 
32ec603b55SRichard Henderson __thread uintptr_t helper_retaddr;
33ec603b55SRichard Henderson 
3442a623c7SBlue Swirl //#define DEBUG_SIGNAL
3542a623c7SBlue Swirl 
360fdbb7d2SRichard Henderson /*
370fdbb7d2SRichard Henderson  * Adjust the pc to pass to cpu_restore_state; return the memop type.
380fdbb7d2SRichard Henderson  */
390fdbb7d2SRichard Henderson MMUAccessType adjust_signal_pc(uintptr_t *pc, bool is_write)
4042a623c7SBlue Swirl {
4152ba13f0SRichard Henderson     switch (helper_retaddr) {
4252ba13f0SRichard Henderson     default:
4352ba13f0SRichard Henderson         /*
4452ba13f0SRichard Henderson          * Fault during host memory operation within a helper function.
4552ba13f0SRichard Henderson          * The helper's host return address, saved here, gives us a
4652ba13f0SRichard Henderson          * pointer into the generated code that will unwind to the
4752ba13f0SRichard Henderson          * correct guest pc.
48ec603b55SRichard Henderson          */
490fdbb7d2SRichard Henderson         *pc = helper_retaddr;
5052ba13f0SRichard Henderson         break;
5152ba13f0SRichard Henderson 
5252ba13f0SRichard Henderson     case 0:
5352ba13f0SRichard Henderson         /*
5452ba13f0SRichard Henderson          * Fault during host memory operation within generated code.
5552ba13f0SRichard Henderson          * (Or, a unrelated bug within qemu, but we can't tell from here).
5652ba13f0SRichard Henderson          *
5752ba13f0SRichard Henderson          * We take the host pc from the signal frame.  However, we cannot
5852ba13f0SRichard Henderson          * use that value directly.  Within cpu_restore_state_from_tb, we
5952ba13f0SRichard Henderson          * assume PC comes from GETPC(), as used by the helper functions,
6052ba13f0SRichard Henderson          * so we adjust the address by -GETPC_ADJ to form an address that
61e3a6e0daSzhaolichang          * is within the call insn, so that the address does not accidentally
6252ba13f0SRichard Henderson          * match the beginning of the next guest insn.  However, when the
6352ba13f0SRichard Henderson          * pc comes from the signal frame it points to the actual faulting
6452ba13f0SRichard Henderson          * host memory insn and not the return from a call insn.
6552ba13f0SRichard Henderson          *
6652ba13f0SRichard Henderson          * Therefore, adjust to compensate for what will be done later
6752ba13f0SRichard Henderson          * by cpu_restore_state_from_tb.
6852ba13f0SRichard Henderson          */
690fdbb7d2SRichard Henderson         *pc += GETPC_ADJ;
7052ba13f0SRichard Henderson         break;
7152ba13f0SRichard Henderson 
7252ba13f0SRichard Henderson     case 1:
7352ba13f0SRichard Henderson         /*
7452ba13f0SRichard Henderson          * Fault during host read for translation, or loosely, "execution".
7552ba13f0SRichard Henderson          *
7652ba13f0SRichard Henderson          * The guest pc is already pointing to the start of the TB for which
7752ba13f0SRichard Henderson          * code is being generated.  If the guest translator manages the
7852ba13f0SRichard Henderson          * page crossings correctly, this is exactly the correct address
7952ba13f0SRichard Henderson          * (and if the translator doesn't handle page boundaries correctly
8052ba13f0SRichard Henderson          * there's little we can do about that here).  Therefore, do not
8152ba13f0SRichard Henderson          * trigger the unwinder.
8252ba13f0SRichard Henderson          *
8352ba13f0SRichard Henderson          * Like tb_gen_code, release the memory lock before cpu_loop_exit.
8452ba13f0SRichard Henderson          */
8552ba13f0SRichard Henderson         mmap_unlock();
860fdbb7d2SRichard Henderson         *pc = 0;
870fdbb7d2SRichard Henderson         return MMU_INST_FETCH;
88ec603b55SRichard Henderson     }
89ec603b55SRichard Henderson 
900fdbb7d2SRichard Henderson     return is_write ? MMU_DATA_STORE : MMU_DATA_LOAD;
910fdbb7d2SRichard Henderson }
920fdbb7d2SRichard Henderson 
935e38ba7dSRichard Henderson /**
945e38ba7dSRichard Henderson  * handle_sigsegv_accerr_write:
955e38ba7dSRichard Henderson  * @cpu: the cpu context
965e38ba7dSRichard Henderson  * @old_set: the sigset_t from the signal ucontext_t
975e38ba7dSRichard Henderson  * @host_pc: the host pc, adjusted for the signal
985e38ba7dSRichard Henderson  * @guest_addr: the guest address of the fault
995e38ba7dSRichard Henderson  *
1005e38ba7dSRichard Henderson  * Return true if the write fault has been handled, and should be re-tried.
1015e38ba7dSRichard Henderson  *
1025e38ba7dSRichard Henderson  * Note that it is important that we don't call page_unprotect() unless
1035e38ba7dSRichard Henderson  * this is really a "write to nonwriteable page" fault, because
1045e38ba7dSRichard Henderson  * page_unprotect() assumes that if it is called for an access to
1055e38ba7dSRichard Henderson  * a page that's writeable this means we had two threads racing and
1065e38ba7dSRichard Henderson  * another thread got there first and already made the page writeable;
1075e38ba7dSRichard Henderson  * so we will retry the access. If we were to call page_unprotect()
1085e38ba7dSRichard Henderson  * for some other kind of fault that should really be passed to the
1095e38ba7dSRichard Henderson  * guest, we'd end up in an infinite loop of retrying the faulting access.
1105e38ba7dSRichard Henderson  */
1115e38ba7dSRichard Henderson bool handle_sigsegv_accerr_write(CPUState *cpu, sigset_t *old_set,
1125e38ba7dSRichard Henderson                                  uintptr_t host_pc, abi_ptr guest_addr)
1135e38ba7dSRichard Henderson {
1145e38ba7dSRichard Henderson     switch (page_unprotect(guest_addr, host_pc)) {
1155e38ba7dSRichard Henderson     case 0:
1165e38ba7dSRichard Henderson         /*
1175e38ba7dSRichard Henderson          * Fault not caused by a page marked unwritable to protect
1185e38ba7dSRichard Henderson          * cached translations, must be the guest binary's problem.
1195e38ba7dSRichard Henderson          */
1205e38ba7dSRichard Henderson         return false;
1215e38ba7dSRichard Henderson     case 1:
1225e38ba7dSRichard Henderson         /*
1235e38ba7dSRichard Henderson          * Fault caused by protection of cached translation; TBs
1245e38ba7dSRichard Henderson          * invalidated, so resume execution.
1255e38ba7dSRichard Henderson          */
1265e38ba7dSRichard Henderson         return true;
1275e38ba7dSRichard Henderson     case 2:
1285e38ba7dSRichard Henderson         /*
1295e38ba7dSRichard Henderson          * Fault caused by protection of cached translation, and the
1305e38ba7dSRichard Henderson          * currently executing TB was modified and must be exited immediately.
1315e38ba7dSRichard Henderson          */
132940b3090SRichard Henderson         sigprocmask(SIG_SETMASK, old_set, NULL);
133940b3090SRichard Henderson         cpu_loop_exit_noexc(cpu);
1345e38ba7dSRichard Henderson         /* NORETURN */
1355e38ba7dSRichard Henderson     default:
1365e38ba7dSRichard Henderson         g_assert_not_reached();
1375e38ba7dSRichard Henderson     }
1385e38ba7dSRichard Henderson }
1395e38ba7dSRichard Henderson 
140069cfe77SRichard Henderson static int probe_access_internal(CPUArchState *env, target_ulong addr,
141069cfe77SRichard Henderson                                  int fault_size, MMUAccessType access_type,
142069cfe77SRichard Henderson                                  bool nonfault, uintptr_t ra)
14359e96ac6SDavid Hildenbrand {
14472d2bbf9SRichard Henderson     int acc_flag;
14572d2bbf9SRichard Henderson     bool maperr;
146c25c283dSDavid Hildenbrand 
147c25c283dSDavid Hildenbrand     switch (access_type) {
148c25c283dSDavid Hildenbrand     case MMU_DATA_STORE:
14972d2bbf9SRichard Henderson         acc_flag = PAGE_WRITE_ORG;
150c25c283dSDavid Hildenbrand         break;
151c25c283dSDavid Hildenbrand     case MMU_DATA_LOAD:
15272d2bbf9SRichard Henderson         acc_flag = PAGE_READ;
153c25c283dSDavid Hildenbrand         break;
154c25c283dSDavid Hildenbrand     case MMU_INST_FETCH:
15572d2bbf9SRichard Henderson         acc_flag = PAGE_EXEC;
156c25c283dSDavid Hildenbrand         break;
157c25c283dSDavid Hildenbrand     default:
158c25c283dSDavid Hildenbrand         g_assert_not_reached();
159c25c283dSDavid Hildenbrand     }
160c25c283dSDavid Hildenbrand 
16172d2bbf9SRichard Henderson     if (guest_addr_valid_untagged(addr)) {
16272d2bbf9SRichard Henderson         int page_flags = page_get_flags(addr);
16372d2bbf9SRichard Henderson         if (page_flags & acc_flag) {
16472d2bbf9SRichard Henderson             return 0; /* success */
16572d2bbf9SRichard Henderson         }
16672d2bbf9SRichard Henderson         maperr = !(page_flags & PAGE_VALID);
16772d2bbf9SRichard Henderson     } else {
16872d2bbf9SRichard Henderson         maperr = true;
16972d2bbf9SRichard Henderson     }
17072d2bbf9SRichard Henderson 
171069cfe77SRichard Henderson     if (nonfault) {
172069cfe77SRichard Henderson         return TLB_INVALID_MASK;
17359e96ac6SDavid Hildenbrand     }
17472d2bbf9SRichard Henderson 
17572d2bbf9SRichard Henderson     cpu_loop_exit_sigsegv(env_cpu(env), addr, access_type, maperr, ra);
176069cfe77SRichard Henderson }
177069cfe77SRichard Henderson 
178069cfe77SRichard Henderson int probe_access_flags(CPUArchState *env, target_ulong addr,
179069cfe77SRichard Henderson                        MMUAccessType access_type, int mmu_idx,
180069cfe77SRichard Henderson                        bool nonfault, void **phost, uintptr_t ra)
181069cfe77SRichard Henderson {
182069cfe77SRichard Henderson     int flags;
183069cfe77SRichard Henderson 
184069cfe77SRichard Henderson     flags = probe_access_internal(env, addr, 0, access_type, nonfault, ra);
1853e8f1628SRichard Henderson     *phost = flags ? NULL : g2h(env_cpu(env), addr);
186069cfe77SRichard Henderson     return flags;
187069cfe77SRichard Henderson }
188069cfe77SRichard Henderson 
189069cfe77SRichard Henderson void *probe_access(CPUArchState *env, target_ulong addr, int size,
190069cfe77SRichard Henderson                    MMUAccessType access_type, int mmu_idx, uintptr_t ra)
191069cfe77SRichard Henderson {
192069cfe77SRichard Henderson     int flags;
193069cfe77SRichard Henderson 
194069cfe77SRichard Henderson     g_assert(-(addr | TARGET_PAGE_MASK) >= size);
195069cfe77SRichard Henderson     flags = probe_access_internal(env, addr, size, access_type, false, ra);
196069cfe77SRichard Henderson     g_assert(flags == 0);
197fef39ccdSDavid Hildenbrand 
1983e8f1628SRichard Henderson     return size ? g2h(env_cpu(env), addr) : NULL;
19959e96ac6SDavid Hildenbrand }
20059e96ac6SDavid Hildenbrand 
201a411d296SPhilippe Mathieu-Daudé /* The softmmu versions of these helpers are in cputlb.c.  */
202a411d296SPhilippe Mathieu-Daudé 
203f83bcecbSRichard Henderson /*
204f83bcecbSRichard Henderson  * Verify that we have passed the correct MemOp to the correct function.
205f83bcecbSRichard Henderson  *
206f83bcecbSRichard Henderson  * We could present one function to target code, and dispatch based on
207f83bcecbSRichard Henderson  * the MemOp, but so far we have worked hard to avoid an indirect function
208f83bcecbSRichard Henderson  * call along the memory path.
209f83bcecbSRichard Henderson  */
210f83bcecbSRichard Henderson static void validate_memop(MemOpIdx oi, MemOp expected)
211ed4cfbcdSRichard Henderson {
212f83bcecbSRichard Henderson #ifdef CONFIG_DEBUG_TCG
213f83bcecbSRichard Henderson     MemOp have = get_memop(oi) & (MO_SIZE | MO_BSWAP);
214f83bcecbSRichard Henderson     assert(have == expected);
215f83bcecbSRichard Henderson #endif
216f83bcecbSRichard Henderson }
217ed4cfbcdSRichard Henderson 
218f83bcecbSRichard Henderson static void *cpu_mmu_lookup(CPUArchState *env, target_ulong addr,
219f83bcecbSRichard Henderson                             MemOpIdx oi, uintptr_t ra, MMUAccessType type)
220f83bcecbSRichard Henderson {
221*9395cd0aSRichard Henderson     MemOp mop = get_memop(oi);
222*9395cd0aSRichard Henderson     int a_bits = get_alignment_bits(mop);
223f83bcecbSRichard Henderson     void *ret;
224f83bcecbSRichard Henderson 
225*9395cd0aSRichard Henderson     /* Enforce guest required alignment.  */
226*9395cd0aSRichard Henderson     if (unlikely(addr & ((1 << a_bits) - 1))) {
227*9395cd0aSRichard Henderson         cpu_loop_exit_sigbus(env_cpu(env), addr, type, ra);
228*9395cd0aSRichard Henderson     }
229f83bcecbSRichard Henderson 
230f83bcecbSRichard Henderson     ret = g2h(env_cpu(env), addr);
231f83bcecbSRichard Henderson     set_helper_retaddr(ra);
232ed4cfbcdSRichard Henderson     return ret;
233ed4cfbcdSRichard Henderson }
234ed4cfbcdSRichard Henderson 
235f83bcecbSRichard Henderson uint8_t cpu_ldb_mmu(CPUArchState *env, abi_ptr addr,
236f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra)
237ed4cfbcdSRichard Henderson {
238f83bcecbSRichard Henderson     void *haddr;
239f83bcecbSRichard Henderson     uint8_t ret;
240ed4cfbcdSRichard Henderson 
241f83bcecbSRichard Henderson     validate_memop(oi, MO_UB);
242f83bcecbSRichard Henderson     trace_guest_ld_before_exec(env_cpu(env), addr, oi);
243f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_LOAD);
244f83bcecbSRichard Henderson     ret = ldub_p(haddr);
245f83bcecbSRichard Henderson     clear_helper_retaddr();
246f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_R);
247ed4cfbcdSRichard Henderson     return ret;
248ed4cfbcdSRichard Henderson }
249ed4cfbcdSRichard Henderson 
250f83bcecbSRichard Henderson uint16_t cpu_ldw_be_mmu(CPUArchState *env, abi_ptr addr,
251f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra)
252ed4cfbcdSRichard Henderson {
253f83bcecbSRichard Henderson     void *haddr;
254f83bcecbSRichard Henderson     uint16_t ret;
255ed4cfbcdSRichard Henderson 
256f83bcecbSRichard Henderson     validate_memop(oi, MO_BEUW);
257f83bcecbSRichard Henderson     trace_guest_ld_before_exec(env_cpu(env), addr, oi);
258f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_LOAD);
259f83bcecbSRichard Henderson     ret = lduw_be_p(haddr);
260f83bcecbSRichard Henderson     clear_helper_retaddr();
261f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_R);
262ed4cfbcdSRichard Henderson     return ret;
263ed4cfbcdSRichard Henderson }
264ed4cfbcdSRichard Henderson 
265f83bcecbSRichard Henderson uint32_t cpu_ldl_be_mmu(CPUArchState *env, abi_ptr addr,
266f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra)
267ed4cfbcdSRichard Henderson {
268f83bcecbSRichard Henderson     void *haddr;
269f83bcecbSRichard Henderson     uint32_t ret;
270f83bcecbSRichard Henderson 
271f83bcecbSRichard Henderson     validate_memop(oi, MO_BEUL);
272f83bcecbSRichard Henderson     trace_guest_ld_before_exec(env_cpu(env), addr, oi);
273f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_LOAD);
274f83bcecbSRichard Henderson     ret = ldl_be_p(haddr);
275f83bcecbSRichard Henderson     clear_helper_retaddr();
276f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_R);
277f83bcecbSRichard Henderson     return ret;
278f83bcecbSRichard Henderson }
279f83bcecbSRichard Henderson 
280f83bcecbSRichard Henderson uint64_t cpu_ldq_be_mmu(CPUArchState *env, abi_ptr addr,
281f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra)
282f83bcecbSRichard Henderson {
283f83bcecbSRichard Henderson     void *haddr;
284ed4cfbcdSRichard Henderson     uint64_t ret;
285ed4cfbcdSRichard Henderson 
286f83bcecbSRichard Henderson     validate_memop(oi, MO_BEQ);
287f83bcecbSRichard Henderson     trace_guest_ld_before_exec(env_cpu(env), addr, oi);
288f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_LOAD);
289f83bcecbSRichard Henderson     ret = ldq_be_p(haddr);
290f83bcecbSRichard Henderson     clear_helper_retaddr();
291f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_R);
292b9e60257SRichard Henderson     return ret;
293b9e60257SRichard Henderson }
294b9e60257SRichard Henderson 
295f83bcecbSRichard Henderson uint16_t cpu_ldw_le_mmu(CPUArchState *env, abi_ptr addr,
296f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra)
297b9e60257SRichard Henderson {
298f83bcecbSRichard Henderson     void *haddr;
299f83bcecbSRichard Henderson     uint16_t ret;
300f83bcecbSRichard Henderson 
301f83bcecbSRichard Henderson     validate_memop(oi, MO_LEUW);
302f83bcecbSRichard Henderson     trace_guest_ld_before_exec(env_cpu(env), addr, oi);
303f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_LOAD);
304f83bcecbSRichard Henderson     ret = lduw_le_p(haddr);
305f83bcecbSRichard Henderson     clear_helper_retaddr();
306f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_R);
307f83bcecbSRichard Henderson     return ret;
308f83bcecbSRichard Henderson }
309f83bcecbSRichard Henderson 
310f83bcecbSRichard Henderson uint32_t cpu_ldl_le_mmu(CPUArchState *env, abi_ptr addr,
311f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra)
312f83bcecbSRichard Henderson {
313f83bcecbSRichard Henderson     void *haddr;
314b9e60257SRichard Henderson     uint32_t ret;
315b9e60257SRichard Henderson 
316f83bcecbSRichard Henderson     validate_memop(oi, MO_LEUL);
317f83bcecbSRichard Henderson     trace_guest_ld_before_exec(env_cpu(env), addr, oi);
318f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_LOAD);
319f83bcecbSRichard Henderson     ret = ldl_le_p(haddr);
320f83bcecbSRichard Henderson     clear_helper_retaddr();
321f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_R);
322b9e60257SRichard Henderson     return ret;
323b9e60257SRichard Henderson }
324b9e60257SRichard Henderson 
325f83bcecbSRichard Henderson uint64_t cpu_ldq_le_mmu(CPUArchState *env, abi_ptr addr,
326f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra)
327b9e60257SRichard Henderson {
328f83bcecbSRichard Henderson     void *haddr;
329b9e60257SRichard Henderson     uint64_t ret;
330b9e60257SRichard Henderson 
331f83bcecbSRichard Henderson     validate_memop(oi, MO_LEQ);
332f83bcecbSRichard Henderson     trace_guest_ld_before_exec(env_cpu(env), addr, oi);
333f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_LOAD);
334f83bcecbSRichard Henderson     ret = ldq_le_p(haddr);
335f83bcecbSRichard Henderson     clear_helper_retaddr();
336f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_R);
337ed4cfbcdSRichard Henderson     return ret;
338ed4cfbcdSRichard Henderson }
339ed4cfbcdSRichard Henderson 
340f83bcecbSRichard Henderson void cpu_stb_mmu(CPUArchState *env, abi_ptr addr, uint8_t val,
341f83bcecbSRichard Henderson                  MemOpIdx oi, uintptr_t ra)
342ed4cfbcdSRichard Henderson {
343f83bcecbSRichard Henderson     void *haddr;
344ed4cfbcdSRichard Henderson 
345f83bcecbSRichard Henderson     validate_memop(oi, MO_UB);
346f83bcecbSRichard Henderson     trace_guest_st_before_exec(env_cpu(env), addr, oi);
347f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_STORE);
348f83bcecbSRichard Henderson     stb_p(haddr, val);
349ed4cfbcdSRichard Henderson     clear_helper_retaddr();
350f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_W);
351ed4cfbcdSRichard Henderson }
352ed4cfbcdSRichard Henderson 
353f83bcecbSRichard Henderson void cpu_stw_be_mmu(CPUArchState *env, abi_ptr addr, uint16_t val,
354f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra)
355ed4cfbcdSRichard Henderson {
356f83bcecbSRichard Henderson     void *haddr;
357ed4cfbcdSRichard Henderson 
358f83bcecbSRichard Henderson     validate_memop(oi, MO_BEUW);
359f83bcecbSRichard Henderson     trace_guest_st_before_exec(env_cpu(env), addr, oi);
360f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_STORE);
361f83bcecbSRichard Henderson     stw_be_p(haddr, val);
362ed4cfbcdSRichard Henderson     clear_helper_retaddr();
363f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_W);
364ed4cfbcdSRichard Henderson }
365ed4cfbcdSRichard Henderson 
366f83bcecbSRichard Henderson void cpu_stl_be_mmu(CPUArchState *env, abi_ptr addr, uint32_t val,
367f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra)
368ed4cfbcdSRichard Henderson {
369f83bcecbSRichard Henderson     void *haddr;
370ed4cfbcdSRichard Henderson 
371f83bcecbSRichard Henderson     validate_memop(oi, MO_BEUL);
372f83bcecbSRichard Henderson     trace_guest_st_before_exec(env_cpu(env), addr, oi);
373f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_STORE);
374f83bcecbSRichard Henderson     stl_be_p(haddr, val);
375ed4cfbcdSRichard Henderson     clear_helper_retaddr();
376f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_W);
377ed4cfbcdSRichard Henderson }
378ed4cfbcdSRichard Henderson 
379f83bcecbSRichard Henderson void cpu_stq_be_mmu(CPUArchState *env, abi_ptr addr, uint64_t val,
380f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra)
381ed4cfbcdSRichard Henderson {
382f83bcecbSRichard Henderson     void *haddr;
383ed4cfbcdSRichard Henderson 
384f83bcecbSRichard Henderson     validate_memop(oi, MO_BEQ);
385f83bcecbSRichard Henderson     trace_guest_st_before_exec(env_cpu(env), addr, oi);
386f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_STORE);
387f83bcecbSRichard Henderson     stq_be_p(haddr, val);
388b9e60257SRichard Henderson     clear_helper_retaddr();
389f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_W);
390b9e60257SRichard Henderson }
391b9e60257SRichard Henderson 
392f83bcecbSRichard Henderson void cpu_stw_le_mmu(CPUArchState *env, abi_ptr addr, uint16_t val,
393f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra)
394b9e60257SRichard Henderson {
395f83bcecbSRichard Henderson     void *haddr;
396b9e60257SRichard Henderson 
397f83bcecbSRichard Henderson     validate_memop(oi, MO_LEUW);
398f83bcecbSRichard Henderson     trace_guest_st_before_exec(env_cpu(env), addr, oi);
399f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_STORE);
400f83bcecbSRichard Henderson     stw_le_p(haddr, val);
401b9e60257SRichard Henderson     clear_helper_retaddr();
402f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_W);
403b9e60257SRichard Henderson }
404b9e60257SRichard Henderson 
405f83bcecbSRichard Henderson void cpu_stl_le_mmu(CPUArchState *env, abi_ptr addr, uint32_t val,
406f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra)
407b9e60257SRichard Henderson {
408f83bcecbSRichard Henderson     void *haddr;
409b9e60257SRichard Henderson 
410f83bcecbSRichard Henderson     validate_memop(oi, MO_LEUL);
411f83bcecbSRichard Henderson     trace_guest_st_before_exec(env_cpu(env), addr, oi);
412f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_STORE);
413f83bcecbSRichard Henderson     stl_le_p(haddr, val);
414b9e60257SRichard Henderson     clear_helper_retaddr();
415f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_W);
416b9e60257SRichard Henderson }
417b9e60257SRichard Henderson 
418f83bcecbSRichard Henderson void cpu_stq_le_mmu(CPUArchState *env, abi_ptr addr, uint64_t val,
419f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra)
420b9e60257SRichard Henderson {
421f83bcecbSRichard Henderson     void *haddr;
422b9e60257SRichard Henderson 
423f83bcecbSRichard Henderson     validate_memop(oi, MO_LEQ);
424f83bcecbSRichard Henderson     trace_guest_st_before_exec(env_cpu(env), addr, oi);
425f83bcecbSRichard Henderson     haddr = cpu_mmu_lookup(env, addr, oi, ra, MMU_DATA_STORE);
426f83bcecbSRichard Henderson     stq_le_p(haddr, val);
427ed4cfbcdSRichard Henderson     clear_helper_retaddr();
428f83bcecbSRichard Henderson     qemu_plugin_vcpu_mem_cb(env_cpu(env), addr, oi, QEMU_PLUGIN_MEM_W);
429ed4cfbcdSRichard Henderson }
430ed4cfbcdSRichard Henderson 
431ed4cfbcdSRichard Henderson uint32_t cpu_ldub_code(CPUArchState *env, abi_ptr ptr)
432ed4cfbcdSRichard Henderson {
433ed4cfbcdSRichard Henderson     uint32_t ret;
434ed4cfbcdSRichard Henderson 
435ed4cfbcdSRichard Henderson     set_helper_retaddr(1);
4363e8f1628SRichard Henderson     ret = ldub_p(g2h_untagged(ptr));
437ed4cfbcdSRichard Henderson     clear_helper_retaddr();
438ed4cfbcdSRichard Henderson     return ret;
439ed4cfbcdSRichard Henderson }
440ed4cfbcdSRichard Henderson 
441ed4cfbcdSRichard Henderson uint32_t cpu_lduw_code(CPUArchState *env, abi_ptr ptr)
442ed4cfbcdSRichard Henderson {
443ed4cfbcdSRichard Henderson     uint32_t ret;
444ed4cfbcdSRichard Henderson 
445ed4cfbcdSRichard Henderson     set_helper_retaddr(1);
4463e8f1628SRichard Henderson     ret = lduw_p(g2h_untagged(ptr));
447ed4cfbcdSRichard Henderson     clear_helper_retaddr();
448ed4cfbcdSRichard Henderson     return ret;
449ed4cfbcdSRichard Henderson }
450ed4cfbcdSRichard Henderson 
451ed4cfbcdSRichard Henderson uint32_t cpu_ldl_code(CPUArchState *env, abi_ptr ptr)
452ed4cfbcdSRichard Henderson {
453ed4cfbcdSRichard Henderson     uint32_t ret;
454ed4cfbcdSRichard Henderson 
455ed4cfbcdSRichard Henderson     set_helper_retaddr(1);
4563e8f1628SRichard Henderson     ret = ldl_p(g2h_untagged(ptr));
457ed4cfbcdSRichard Henderson     clear_helper_retaddr();
458ed4cfbcdSRichard Henderson     return ret;
459ed4cfbcdSRichard Henderson }
460ed4cfbcdSRichard Henderson 
461ed4cfbcdSRichard Henderson uint64_t cpu_ldq_code(CPUArchState *env, abi_ptr ptr)
462ed4cfbcdSRichard Henderson {
463ed4cfbcdSRichard Henderson     uint64_t ret;
464ed4cfbcdSRichard Henderson 
465ed4cfbcdSRichard Henderson     set_helper_retaddr(1);
4663e8f1628SRichard Henderson     ret = ldq_p(g2h_untagged(ptr));
467ed4cfbcdSRichard Henderson     clear_helper_retaddr();
468ed4cfbcdSRichard Henderson     return ret;
469ed4cfbcdSRichard Henderson }
470ed4cfbcdSRichard Henderson 
471f83bcecbSRichard Henderson #include "ldst_common.c.inc"
472f83bcecbSRichard Henderson 
473a754f7f3SRichard Henderson /*
474a754f7f3SRichard Henderson  * Do not allow unaligned operations to proceed.  Return the host address.
475a754f7f3SRichard Henderson  *
476a754f7f3SRichard Henderson  * @prot may be PAGE_READ, PAGE_WRITE, or PAGE_READ|PAGE_WRITE.
477a754f7f3SRichard Henderson  */
478a411d296SPhilippe Mathieu-Daudé static void *atomic_mmu_lookup(CPUArchState *env, target_ulong addr,
4799002ffcbSRichard Henderson                                MemOpIdx oi, int size, int prot,
480a754f7f3SRichard Henderson                                uintptr_t retaddr)
481a411d296SPhilippe Mathieu-Daudé {
482fce3f474SRichard Henderson     MemOp mop = get_memop(oi);
483fce3f474SRichard Henderson     int a_bits = get_alignment_bits(mop);
484fce3f474SRichard Henderson     void *ret;
485fce3f474SRichard Henderson 
486fce3f474SRichard Henderson     /* Enforce guest required alignment.  */
487fce3f474SRichard Henderson     if (unlikely(addr & ((1 << a_bits) - 1))) {
488fce3f474SRichard Henderson         MMUAccessType t = prot == PAGE_READ ? MMU_DATA_LOAD : MMU_DATA_STORE;
489fce3f474SRichard Henderson         cpu_loop_exit_sigbus(env_cpu(env), addr, t, retaddr);
490fce3f474SRichard Henderson     }
491fce3f474SRichard Henderson 
492a411d296SPhilippe Mathieu-Daudé     /* Enforce qemu required alignment.  */
493a411d296SPhilippe Mathieu-Daudé     if (unlikely(addr & (size - 1))) {
49429a0af61SRichard Henderson         cpu_loop_exit_atomic(env_cpu(env), retaddr);
495a411d296SPhilippe Mathieu-Daudé     }
496fce3f474SRichard Henderson 
497fce3f474SRichard Henderson     ret = g2h(env_cpu(env), addr);
49808b97f7fSRichard Henderson     set_helper_retaddr(retaddr);
49908b97f7fSRichard Henderson     return ret;
500a411d296SPhilippe Mathieu-Daudé }
501a411d296SPhilippe Mathieu-Daudé 
502be9568b4SRichard Henderson #include "atomic_common.c.inc"
503be9568b4SRichard Henderson 
504be9568b4SRichard Henderson /*
505be9568b4SRichard Henderson  * First set of functions passes in OI and RETADDR.
506be9568b4SRichard Henderson  * This makes them callable from other helpers.
507be9568b4SRichard Henderson  */
508be9568b4SRichard Henderson 
509be9568b4SRichard Henderson #define ATOMIC_NAME(X) \
510be9568b4SRichard Henderson     glue(glue(glue(cpu_atomic_ ## X, SUFFIX), END), _mmu)
51108b97f7fSRichard Henderson #define ATOMIC_MMU_CLEANUP do { clear_helper_retaddr(); } while (0)
512504f73f7SAlex Bennée #define ATOMIC_MMU_IDX MMU_USER_IDX
513a411d296SPhilippe Mathieu-Daudé 
514a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 1
515a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
516a411d296SPhilippe Mathieu-Daudé 
517a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 2
518a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
519a411d296SPhilippe Mathieu-Daudé 
520a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 4
521a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
522a411d296SPhilippe Mathieu-Daudé 
523a411d296SPhilippe Mathieu-Daudé #ifdef CONFIG_ATOMIC64
524a411d296SPhilippe Mathieu-Daudé #define DATA_SIZE 8
525a411d296SPhilippe Mathieu-Daudé #include "atomic_template.h"
526a411d296SPhilippe Mathieu-Daudé #endif
527a411d296SPhilippe Mathieu-Daudé 
528e6cd4bb5SRichard Henderson #if HAVE_ATOMIC128 || HAVE_CMPXCHG128
529be9568b4SRichard Henderson #define DATA_SIZE 16
530be9568b4SRichard Henderson #include "atomic_template.h"
531be9568b4SRichard Henderson #endif
532