xref: /qemu/include/accel/tcg/cpu-ldst.h (revision db5fd8d709fd57f4d4f11edfca9f421f657f4508)
1f08b6170SPaolo Bonzini /*
2f08b6170SPaolo Bonzini  *  Software MMU support
3f08b6170SPaolo Bonzini  *
4f08b6170SPaolo Bonzini  * This library is free software; you can redistribute it and/or
5f08b6170SPaolo Bonzini  * modify it under the terms of the GNU Lesser General Public
6f08b6170SPaolo Bonzini  * License as published by the Free Software Foundation; either
7f08b6170SPaolo Bonzini  * version 2 of the License, or (at your option) any later version.
8f08b6170SPaolo Bonzini  *
9f08b6170SPaolo Bonzini  * This library is distributed in the hope that it will be useful,
10f08b6170SPaolo Bonzini  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11f08b6170SPaolo Bonzini  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12f08b6170SPaolo Bonzini  * Lesser General Public License for more details.
13f08b6170SPaolo Bonzini  *
14f08b6170SPaolo Bonzini  * You should have received a copy of the GNU Lesser General Public
15f08b6170SPaolo Bonzini  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
16f08b6170SPaolo Bonzini  *
17f08b6170SPaolo Bonzini  */
18f08b6170SPaolo Bonzini 
19f08b6170SPaolo Bonzini /*
20f08b6170SPaolo Bonzini  * Generate inline load/store functions for all MMU modes (typically
21f08b6170SPaolo Bonzini  * at least _user and _kernel) as well as _data versions, for all data
22f08b6170SPaolo Bonzini  * sizes.
23f08b6170SPaolo Bonzini  *
24f08b6170SPaolo Bonzini  * Used by target op helpers.
25f08b6170SPaolo Bonzini  *
26db5fd8d7SPeter Maydell  * The syntax for the accessors is:
27db5fd8d7SPeter Maydell  *
28db5fd8d7SPeter Maydell  * load: cpu_ld{sign}{size}_{mmusuffix}(env, ptr)
29db5fd8d7SPeter Maydell  *
30db5fd8d7SPeter Maydell  * store: cpu_st{sign}{size}_{mmusuffix}(env, ptr, val)
31db5fd8d7SPeter Maydell  *
32db5fd8d7SPeter Maydell  * sign is:
33db5fd8d7SPeter Maydell  * (empty): for 32 and 64 bit sizes
34db5fd8d7SPeter Maydell  *   u    : unsigned
35db5fd8d7SPeter Maydell  *   s    : signed
36db5fd8d7SPeter Maydell  *
37db5fd8d7SPeter Maydell  * size is:
38db5fd8d7SPeter Maydell  *   b: 8 bits
39db5fd8d7SPeter Maydell  *   w: 16 bits
40db5fd8d7SPeter Maydell  *   l: 32 bits
41db5fd8d7SPeter Maydell  *   q: 64 bits
42db5fd8d7SPeter Maydell  *
43db5fd8d7SPeter Maydell  * mmusuffix is one of the generic suffixes "data" or "code", or
44db5fd8d7SPeter Maydell  * (for softmmu configs)  a target-specific MMU mode suffix as defined
45db5fd8d7SPeter Maydell  * in target cpu.h.
46f08b6170SPaolo Bonzini  */
47f08b6170SPaolo Bonzini #ifndef CPU_LDST_H
48f08b6170SPaolo Bonzini #define CPU_LDST_H
49f08b6170SPaolo Bonzini 
50c773828aSPaolo Bonzini #if defined(CONFIG_USER_ONLY)
51c773828aSPaolo Bonzini /* All direct uses of g2h and h2g need to go away for usermode softmmu.  */
52c773828aSPaolo Bonzini #define g2h(x) ((void *)((unsigned long)(target_ulong)(x) + GUEST_BASE))
53c773828aSPaolo Bonzini 
54c773828aSPaolo Bonzini #if HOST_LONG_BITS <= TARGET_VIRT_ADDR_SPACE_BITS
55c773828aSPaolo Bonzini #define h2g_valid(x) 1
56c773828aSPaolo Bonzini #else
57c773828aSPaolo Bonzini #define h2g_valid(x) ({ \
58c773828aSPaolo Bonzini     unsigned long __guest = (unsigned long)(x) - GUEST_BASE; \
59c773828aSPaolo Bonzini     (__guest < (1ul << TARGET_VIRT_ADDR_SPACE_BITS)) && \
60c773828aSPaolo Bonzini     (!RESERVED_VA || (__guest < RESERVED_VA)); \
61c773828aSPaolo Bonzini })
62f08b6170SPaolo Bonzini #endif
63f08b6170SPaolo Bonzini 
64c773828aSPaolo Bonzini #define h2g_nocheck(x) ({ \
65c773828aSPaolo Bonzini     unsigned long __ret = (unsigned long)(x) - GUEST_BASE; \
66c773828aSPaolo Bonzini     (abi_ulong)__ret; \
67c773828aSPaolo Bonzini })
68c773828aSPaolo Bonzini 
69c773828aSPaolo Bonzini #define h2g(x) ({ \
70c773828aSPaolo Bonzini     /* Check if given address fits target address space */ \
71c773828aSPaolo Bonzini     assert(h2g_valid(x)); \
72c773828aSPaolo Bonzini     h2g_nocheck(x); \
73c773828aSPaolo Bonzini })
74c773828aSPaolo Bonzini 
75c773828aSPaolo Bonzini #endif
76c773828aSPaolo Bonzini 
77c773828aSPaolo Bonzini #if defined(CONFIG_USER_ONLY)
78c773828aSPaolo Bonzini 
799220fe54SPeter Maydell /* In user-only mode we provide only the _code and _data accessors. */
80c773828aSPaolo Bonzini 
819220fe54SPeter Maydell #define MEMSUFFIX _data
829220fe54SPeter Maydell #define DATA_SIZE 1
839220fe54SPeter Maydell #include "exec/cpu_ldst_useronly_template.h"
84c773828aSPaolo Bonzini 
859220fe54SPeter Maydell #define DATA_SIZE 2
869220fe54SPeter Maydell #include "exec/cpu_ldst_useronly_template.h"
87c773828aSPaolo Bonzini 
889220fe54SPeter Maydell #define DATA_SIZE 4
899220fe54SPeter Maydell #include "exec/cpu_ldst_useronly_template.h"
90c773828aSPaolo Bonzini 
919220fe54SPeter Maydell #define DATA_SIZE 8
929220fe54SPeter Maydell #include "exec/cpu_ldst_useronly_template.h"
939220fe54SPeter Maydell #undef MEMSUFFIX
94c773828aSPaolo Bonzini 
959220fe54SPeter Maydell #define MEMSUFFIX _code
969220fe54SPeter Maydell #define CODE_ACCESS
979220fe54SPeter Maydell #define DATA_SIZE 1
989220fe54SPeter Maydell #include "exec/cpu_ldst_useronly_template.h"
99c773828aSPaolo Bonzini 
1009220fe54SPeter Maydell #define DATA_SIZE 2
1019220fe54SPeter Maydell #include "exec/cpu_ldst_useronly_template.h"
102c773828aSPaolo Bonzini 
1039220fe54SPeter Maydell #define DATA_SIZE 4
1049220fe54SPeter Maydell #include "exec/cpu_ldst_useronly_template.h"
1059220fe54SPeter Maydell 
1069220fe54SPeter Maydell #define DATA_SIZE 8
1079220fe54SPeter Maydell #include "exec/cpu_ldst_useronly_template.h"
1089220fe54SPeter Maydell #undef MEMSUFFIX
1099220fe54SPeter Maydell #undef CODE_ACCESS
110c773828aSPaolo Bonzini 
111c773828aSPaolo Bonzini #else
112c773828aSPaolo Bonzini 
113c773828aSPaolo Bonzini /* The memory helpers for tcg-generated code need tcg_target_long etc.  */
114c773828aSPaolo Bonzini #include "tcg.h"
115c773828aSPaolo Bonzini 
116c773828aSPaolo Bonzini uint8_t helper_ldb_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
117c773828aSPaolo Bonzini uint16_t helper_ldw_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
118c773828aSPaolo Bonzini uint32_t helper_ldl_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
119c773828aSPaolo Bonzini uint64_t helper_ldq_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
120c773828aSPaolo Bonzini 
121c773828aSPaolo Bonzini void helper_stb_mmu(CPUArchState *env, target_ulong addr,
122c773828aSPaolo Bonzini                     uint8_t val, int mmu_idx);
123c773828aSPaolo Bonzini void helper_stw_mmu(CPUArchState *env, target_ulong addr,
124c773828aSPaolo Bonzini                     uint16_t val, int mmu_idx);
125c773828aSPaolo Bonzini void helper_stl_mmu(CPUArchState *env, target_ulong addr,
126c773828aSPaolo Bonzini                     uint32_t val, int mmu_idx);
127c773828aSPaolo Bonzini void helper_stq_mmu(CPUArchState *env, target_ulong addr,
128c773828aSPaolo Bonzini                     uint64_t val, int mmu_idx);
129c773828aSPaolo Bonzini 
130c773828aSPaolo Bonzini uint8_t helper_ldb_cmmu(CPUArchState *env, target_ulong addr, int mmu_idx);
131c773828aSPaolo Bonzini uint16_t helper_ldw_cmmu(CPUArchState *env, target_ulong addr, int mmu_idx);
132c773828aSPaolo Bonzini uint32_t helper_ldl_cmmu(CPUArchState *env, target_ulong addr, int mmu_idx);
133c773828aSPaolo Bonzini uint64_t helper_ldq_cmmu(CPUArchState *env, target_ulong addr, int mmu_idx);
134c773828aSPaolo Bonzini 
135c773828aSPaolo Bonzini #define CPU_MMU_INDEX 0
136c773828aSPaolo Bonzini #define MEMSUFFIX MMU_MODE0_SUFFIX
137c773828aSPaolo Bonzini #define DATA_SIZE 1
138c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
139c773828aSPaolo Bonzini 
140c773828aSPaolo Bonzini #define DATA_SIZE 2
141c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
142c773828aSPaolo Bonzini 
143c773828aSPaolo Bonzini #define DATA_SIZE 4
144c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
145c773828aSPaolo Bonzini 
146c773828aSPaolo Bonzini #define DATA_SIZE 8
147c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
148c773828aSPaolo Bonzini #undef CPU_MMU_INDEX
149c773828aSPaolo Bonzini #undef MEMSUFFIX
150c773828aSPaolo Bonzini 
151c773828aSPaolo Bonzini #define CPU_MMU_INDEX 1
152c773828aSPaolo Bonzini #define MEMSUFFIX MMU_MODE1_SUFFIX
153c773828aSPaolo Bonzini #define DATA_SIZE 1
154c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
155c773828aSPaolo Bonzini 
156c773828aSPaolo Bonzini #define DATA_SIZE 2
157c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
158c773828aSPaolo Bonzini 
159c773828aSPaolo Bonzini #define DATA_SIZE 4
160c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
161c773828aSPaolo Bonzini 
162c773828aSPaolo Bonzini #define DATA_SIZE 8
163c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
164c773828aSPaolo Bonzini #undef CPU_MMU_INDEX
165c773828aSPaolo Bonzini #undef MEMSUFFIX
166c773828aSPaolo Bonzini 
167c773828aSPaolo Bonzini #if (NB_MMU_MODES >= 3)
168c773828aSPaolo Bonzini 
169c773828aSPaolo Bonzini #define CPU_MMU_INDEX 2
170c773828aSPaolo Bonzini #define MEMSUFFIX MMU_MODE2_SUFFIX
171c773828aSPaolo Bonzini #define DATA_SIZE 1
172c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
173c773828aSPaolo Bonzini 
174c773828aSPaolo Bonzini #define DATA_SIZE 2
175c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
176c773828aSPaolo Bonzini 
177c773828aSPaolo Bonzini #define DATA_SIZE 4
178c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
179c773828aSPaolo Bonzini 
180c773828aSPaolo Bonzini #define DATA_SIZE 8
181c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
182c773828aSPaolo Bonzini #undef CPU_MMU_INDEX
183c773828aSPaolo Bonzini #undef MEMSUFFIX
184c773828aSPaolo Bonzini #endif /* (NB_MMU_MODES >= 3) */
185c773828aSPaolo Bonzini 
186c773828aSPaolo Bonzini #if (NB_MMU_MODES >= 4)
187c773828aSPaolo Bonzini 
188c773828aSPaolo Bonzini #define CPU_MMU_INDEX 3
189c773828aSPaolo Bonzini #define MEMSUFFIX MMU_MODE3_SUFFIX
190c773828aSPaolo Bonzini #define DATA_SIZE 1
191c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
192c773828aSPaolo Bonzini 
193c773828aSPaolo Bonzini #define DATA_SIZE 2
194c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
195c773828aSPaolo Bonzini 
196c773828aSPaolo Bonzini #define DATA_SIZE 4
197c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
198c773828aSPaolo Bonzini 
199c773828aSPaolo Bonzini #define DATA_SIZE 8
200c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
201c773828aSPaolo Bonzini #undef CPU_MMU_INDEX
202c773828aSPaolo Bonzini #undef MEMSUFFIX
203c773828aSPaolo Bonzini #endif /* (NB_MMU_MODES >= 4) */
204c773828aSPaolo Bonzini 
205c773828aSPaolo Bonzini #if (NB_MMU_MODES >= 5)
206c773828aSPaolo Bonzini 
207c773828aSPaolo Bonzini #define CPU_MMU_INDEX 4
208c773828aSPaolo Bonzini #define MEMSUFFIX MMU_MODE4_SUFFIX
209c773828aSPaolo Bonzini #define DATA_SIZE 1
210c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
211c773828aSPaolo Bonzini 
212c773828aSPaolo Bonzini #define DATA_SIZE 2
213c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
214c773828aSPaolo Bonzini 
215c773828aSPaolo Bonzini #define DATA_SIZE 4
216c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
217c773828aSPaolo Bonzini 
218c773828aSPaolo Bonzini #define DATA_SIZE 8
219c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
220c773828aSPaolo Bonzini #undef CPU_MMU_INDEX
221c773828aSPaolo Bonzini #undef MEMSUFFIX
222c773828aSPaolo Bonzini #endif /* (NB_MMU_MODES >= 5) */
223c773828aSPaolo Bonzini 
224c773828aSPaolo Bonzini #if (NB_MMU_MODES >= 6)
225c773828aSPaolo Bonzini 
226c773828aSPaolo Bonzini #define CPU_MMU_INDEX 5
227c773828aSPaolo Bonzini #define MEMSUFFIX MMU_MODE5_SUFFIX
228c773828aSPaolo Bonzini #define DATA_SIZE 1
229c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
230c773828aSPaolo Bonzini 
231c773828aSPaolo Bonzini #define DATA_SIZE 2
232c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
233c773828aSPaolo Bonzini 
234c773828aSPaolo Bonzini #define DATA_SIZE 4
235c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
236c773828aSPaolo Bonzini 
237c773828aSPaolo Bonzini #define DATA_SIZE 8
238c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
239c773828aSPaolo Bonzini #undef CPU_MMU_INDEX
240c773828aSPaolo Bonzini #undef MEMSUFFIX
241c773828aSPaolo Bonzini #endif /* (NB_MMU_MODES >= 6) */
242c773828aSPaolo Bonzini 
243c773828aSPaolo Bonzini #if (NB_MMU_MODES > 6)
244c773828aSPaolo Bonzini #error "NB_MMU_MODES > 6 is not supported for now"
245c773828aSPaolo Bonzini #endif /* (NB_MMU_MODES > 6) */
246c773828aSPaolo Bonzini 
247c773828aSPaolo Bonzini /* these access are slower, they must be as rare as possible */
248c773828aSPaolo Bonzini #define CPU_MMU_INDEX (cpu_mmu_index(env))
249c773828aSPaolo Bonzini #define MEMSUFFIX _data
250c773828aSPaolo Bonzini #define DATA_SIZE 1
251c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
252c773828aSPaolo Bonzini 
253c773828aSPaolo Bonzini #define DATA_SIZE 2
254c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
255c773828aSPaolo Bonzini 
256c773828aSPaolo Bonzini #define DATA_SIZE 4
257c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
258c773828aSPaolo Bonzini 
259c773828aSPaolo Bonzini #define DATA_SIZE 8
260c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
261c773828aSPaolo Bonzini #undef CPU_MMU_INDEX
262c773828aSPaolo Bonzini #undef MEMSUFFIX
263c773828aSPaolo Bonzini 
264c773828aSPaolo Bonzini #define CPU_MMU_INDEX (cpu_mmu_index(env))
265c773828aSPaolo Bonzini #define MEMSUFFIX _code
266c773828aSPaolo Bonzini #define SOFTMMU_CODE_ACCESS
267c773828aSPaolo Bonzini 
268c773828aSPaolo Bonzini #define DATA_SIZE 1
269c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
270c773828aSPaolo Bonzini 
271c773828aSPaolo Bonzini #define DATA_SIZE 2
272c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
273c773828aSPaolo Bonzini 
274c773828aSPaolo Bonzini #define DATA_SIZE 4
275c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
276c773828aSPaolo Bonzini 
277c773828aSPaolo Bonzini #define DATA_SIZE 8
278c773828aSPaolo Bonzini #include "exec/cpu_ldst_template.h"
279c773828aSPaolo Bonzini 
280c773828aSPaolo Bonzini #undef CPU_MMU_INDEX
281c773828aSPaolo Bonzini #undef MEMSUFFIX
282c773828aSPaolo Bonzini #undef SOFTMMU_CODE_ACCESS
283c773828aSPaolo Bonzini 
284c773828aSPaolo Bonzini /**
285c773828aSPaolo Bonzini  * tlb_vaddr_to_host:
286c773828aSPaolo Bonzini  * @env: CPUArchState
287c773828aSPaolo Bonzini  * @addr: guest virtual address to look up
288c773828aSPaolo Bonzini  * @access_type: 0 for read, 1 for write, 2 for execute
289c773828aSPaolo Bonzini  * @mmu_idx: MMU index to use for lookup
290c773828aSPaolo Bonzini  *
291c773828aSPaolo Bonzini  * Look up the specified guest virtual index in the TCG softmmu TLB.
292c773828aSPaolo Bonzini  * If the TLB contains a host virtual address suitable for direct RAM
293c773828aSPaolo Bonzini  * access, then return it. Otherwise (TLB miss, TLB entry is for an
294c773828aSPaolo Bonzini  * I/O access, etc) return NULL.
295c773828aSPaolo Bonzini  *
296c773828aSPaolo Bonzini  * This is the equivalent of the initial fast-path code used by
297c773828aSPaolo Bonzini  * TCG backends for guest load and store accesses.
298c773828aSPaolo Bonzini  */
299c773828aSPaolo Bonzini static inline void *tlb_vaddr_to_host(CPUArchState *env, target_ulong addr,
300c773828aSPaolo Bonzini                                       int access_type, int mmu_idx)
301c773828aSPaolo Bonzini {
302c773828aSPaolo Bonzini     int index = (addr >> TARGET_PAGE_BITS) & (CPU_TLB_SIZE - 1);
303c773828aSPaolo Bonzini     CPUTLBEntry *tlbentry = &env->tlb_table[mmu_idx][index];
304c773828aSPaolo Bonzini     target_ulong tlb_addr;
305c773828aSPaolo Bonzini     uintptr_t haddr;
306c773828aSPaolo Bonzini 
307c773828aSPaolo Bonzini     switch (access_type) {
308c773828aSPaolo Bonzini     case 0:
309c773828aSPaolo Bonzini         tlb_addr = tlbentry->addr_read;
310c773828aSPaolo Bonzini         break;
311c773828aSPaolo Bonzini     case 1:
312c773828aSPaolo Bonzini         tlb_addr = tlbentry->addr_write;
313c773828aSPaolo Bonzini         break;
314c773828aSPaolo Bonzini     case 2:
315c773828aSPaolo Bonzini         tlb_addr = tlbentry->addr_code;
316c773828aSPaolo Bonzini         break;
317c773828aSPaolo Bonzini     default:
318c773828aSPaolo Bonzini         g_assert_not_reached();
319c773828aSPaolo Bonzini     }
320c773828aSPaolo Bonzini 
321c773828aSPaolo Bonzini     if ((addr & TARGET_PAGE_MASK)
322c773828aSPaolo Bonzini         != (tlb_addr & (TARGET_PAGE_MASK | TLB_INVALID_MASK))) {
323c773828aSPaolo Bonzini         /* TLB entry is for a different page */
324c773828aSPaolo Bonzini         return NULL;
325c773828aSPaolo Bonzini     }
326c773828aSPaolo Bonzini 
327c773828aSPaolo Bonzini     if (tlb_addr & ~TARGET_PAGE_MASK) {
328c773828aSPaolo Bonzini         /* IO access */
329c773828aSPaolo Bonzini         return NULL;
330c773828aSPaolo Bonzini     }
331c773828aSPaolo Bonzini 
332c773828aSPaolo Bonzini     haddr = addr + env->tlb_table[mmu_idx][index].addend;
333c773828aSPaolo Bonzini     return (void *)haddr;
334c773828aSPaolo Bonzini }
335c773828aSPaolo Bonzini 
336c773828aSPaolo Bonzini #endif /* defined(CONFIG_USER_ONLY) */
337c773828aSPaolo Bonzini 
338f08b6170SPaolo Bonzini #endif /* CPU_LDST_H */
339