xref: /qemu/include/accel/tcg/cpu-ldst.h (revision efe25c260cd69dcfc948e1622bedbdec953569a8)
1f08b6170SPaolo Bonzini /*
21ce871a3SPhilippe Mathieu-Daudé  *  Software MMU support (per-target)
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
7d6ea4236SChetan Pant  * version 2.1 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  *
28b9e60257SRichard Henderson  * load:  cpu_ld{sign}{size}{end}_{mmusuffix}(env, ptr)
29b9e60257SRichard Henderson  *        cpu_ld{sign}{size}{end}_{mmusuffix}_ra(env, ptr, retaddr)
30b9e60257SRichard Henderson  *        cpu_ld{sign}{size}{end}_mmuidx_ra(env, ptr, mmu_idx, retaddr)
31f83bcecbSRichard Henderson  *        cpu_ld{sign}{size}{end}_mmu(env, ptr, oi, retaddr)
32db5fd8d7SPeter Maydell  *
33b9e60257SRichard Henderson  * store: cpu_st{size}{end}_{mmusuffix}(env, ptr, val)
34b9e60257SRichard Henderson  *        cpu_st{size}{end}_{mmusuffix}_ra(env, ptr, val, retaddr)
35b9e60257SRichard Henderson  *        cpu_st{size}{end}_mmuidx_ra(env, ptr, val, mmu_idx, retaddr)
36f83bcecbSRichard Henderson  *        cpu_st{size}{end}_mmu(env, ptr, val, oi, retaddr)
37db5fd8d7SPeter Maydell  *
38db5fd8d7SPeter Maydell  * sign is:
39db5fd8d7SPeter Maydell  * (empty): for 32 and 64 bit sizes
40db5fd8d7SPeter Maydell  *   u    : unsigned
41db5fd8d7SPeter Maydell  *   s    : signed
42db5fd8d7SPeter Maydell  *
43db5fd8d7SPeter Maydell  * size is:
44db5fd8d7SPeter Maydell  *   b: 8 bits
45db5fd8d7SPeter Maydell  *   w: 16 bits
46db5fd8d7SPeter Maydell  *   l: 32 bits
47db5fd8d7SPeter Maydell  *   q: 64 bits
48db5fd8d7SPeter Maydell  *
49b9e60257SRichard Henderson  * end is:
50b9e60257SRichard Henderson  * (empty): for target native endian, or for 8 bit access
51b9e60257SRichard Henderson  *     _be: for forced big endian
52b9e60257SRichard Henderson  *     _le: for forced little endian
53b9e60257SRichard Henderson  *
54f4e1bae2SRichard Henderson  * mmusuffix is one of the generic suffixes "data" or "code", or "mmuidx".
55f4e1bae2SRichard Henderson  * The "mmuidx" suffix carries an extra mmu_idx argument that specifies
56f4e1bae2SRichard Henderson  * the index to use; the "data" and "code" suffixes take the index from
57f4e1bae2SRichard Henderson  * cpu_mmu_index().
58f83bcecbSRichard Henderson  *
59f83bcecbSRichard Henderson  * The "mmu" suffix carries the full MemOpIdx, with both mmu_idx and the
60f83bcecbSRichard Henderson  * MemOp including alignment requirements.  The alignment will be enforced.
61f08b6170SPaolo Bonzini  */
62f08b6170SPaolo Bonzini #ifndef CPU_LDST_H
63f08b6170SPaolo Bonzini #define CPU_LDST_H
64f08b6170SPaolo Bonzini 
651ce871a3SPhilippe Mathieu-Daudé #ifndef CONFIG_TCG
661ce871a3SPhilippe Mathieu-Daudé #error Can only include this header with TCG
671ce871a3SPhilippe Mathieu-Daudé #endif
681ce871a3SPhilippe Mathieu-Daudé 
690b6426baSRichard Henderson #include "exec/cpu-ldst-common.h"
70*efe25c26SRichard Henderson #include "accel/tcg/cpu-mmu-index.h"
71471558cbSPhilippe Mathieu-Daudé #include "exec/abi_ptr.h"
72f83bcecbSRichard Henderson 
73c773828aSPaolo Bonzini #if defined(CONFIG_USER_ONLY)
74f9ba56a0SPhilippe Mathieu-Daudé #include "user/guest-host.h"
75471558cbSPhilippe Mathieu-Daudé #endif /* CONFIG_USER_ONLY */
76c773828aSPaolo Bonzini 
77ed4cfbcdSRichard Henderson uint32_t cpu_ldub_data(CPUArchState *env, abi_ptr ptr);
78ed4cfbcdSRichard Henderson int cpu_ldsb_data(CPUArchState *env, abi_ptr ptr);
79b9e60257SRichard Henderson uint32_t cpu_lduw_be_data(CPUArchState *env, abi_ptr ptr);
80b9e60257SRichard Henderson int cpu_ldsw_be_data(CPUArchState *env, abi_ptr ptr);
81b9e60257SRichard Henderson uint32_t cpu_ldl_be_data(CPUArchState *env, abi_ptr ptr);
82b9e60257SRichard Henderson uint64_t cpu_ldq_be_data(CPUArchState *env, abi_ptr ptr);
83b9e60257SRichard Henderson uint32_t cpu_lduw_le_data(CPUArchState *env, abi_ptr ptr);
84b9e60257SRichard Henderson int cpu_ldsw_le_data(CPUArchState *env, abi_ptr ptr);
85b9e60257SRichard Henderson uint32_t cpu_ldl_le_data(CPUArchState *env, abi_ptr ptr);
86b9e60257SRichard Henderson uint64_t cpu_ldq_le_data(CPUArchState *env, abi_ptr ptr);
87b9e60257SRichard Henderson 
88b9e60257SRichard Henderson uint32_t cpu_ldub_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
89b9e60257SRichard Henderson int cpu_ldsb_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
90b9e60257SRichard Henderson uint32_t cpu_lduw_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
91b9e60257SRichard Henderson int cpu_ldsw_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
92b9e60257SRichard Henderson uint32_t cpu_ldl_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
93b9e60257SRichard Henderson uint64_t cpu_ldq_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
94b9e60257SRichard Henderson uint32_t cpu_lduw_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
95b9e60257SRichard Henderson int cpu_ldsw_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
96b9e60257SRichard Henderson uint32_t cpu_ldl_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
97b9e60257SRichard Henderson uint64_t cpu_ldq_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
98c773828aSPaolo Bonzini 
99ed4cfbcdSRichard Henderson void cpu_stb_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
100b9e60257SRichard Henderson void cpu_stw_be_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
101b9e60257SRichard Henderson void cpu_stl_be_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
102b9e60257SRichard Henderson void cpu_stq_be_data(CPUArchState *env, abi_ptr ptr, uint64_t val);
103b9e60257SRichard Henderson void cpu_stw_le_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
104b9e60257SRichard Henderson void cpu_stl_le_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
105b9e60257SRichard Henderson void cpu_stq_le_data(CPUArchState *env, abi_ptr ptr, uint64_t val);
106c773828aSPaolo Bonzini 
107ed4cfbcdSRichard Henderson void cpu_stb_data_ra(CPUArchState *env, abi_ptr ptr,
108b9e60257SRichard Henderson                      uint32_t val, uintptr_t ra);
109b9e60257SRichard Henderson void cpu_stw_be_data_ra(CPUArchState *env, abi_ptr ptr,
110b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
111b9e60257SRichard Henderson void cpu_stl_be_data_ra(CPUArchState *env, abi_ptr ptr,
112b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
113b9e60257SRichard Henderson void cpu_stq_be_data_ra(CPUArchState *env, abi_ptr ptr,
114b9e60257SRichard Henderson                         uint64_t val, uintptr_t ra);
115b9e60257SRichard Henderson void cpu_stw_le_data_ra(CPUArchState *env, abi_ptr ptr,
116b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
117b9e60257SRichard Henderson void cpu_stl_le_data_ra(CPUArchState *env, abi_ptr ptr,
118b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
119b9e60257SRichard Henderson void cpu_stq_le_data_ra(CPUArchState *env, abi_ptr ptr,
120b9e60257SRichard Henderson                         uint64_t val, uintptr_t ra);
121c773828aSPaolo Bonzini 
122f83bcecbSRichard Henderson uint32_t cpu_ldub_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
123f83bcecbSRichard Henderson                             int mmu_idx, uintptr_t ra);
124f83bcecbSRichard Henderson int cpu_ldsb_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
125f83bcecbSRichard Henderson                        int mmu_idx, uintptr_t ra);
126f83bcecbSRichard Henderson uint32_t cpu_lduw_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
127f83bcecbSRichard Henderson                                int mmu_idx, uintptr_t ra);
128f83bcecbSRichard Henderson int cpu_ldsw_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
129f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
130f83bcecbSRichard Henderson uint32_t cpu_ldl_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
131f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
132f83bcecbSRichard Henderson uint64_t cpu_ldq_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
133f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
134f83bcecbSRichard Henderson uint32_t cpu_lduw_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
135f83bcecbSRichard Henderson                                int mmu_idx, uintptr_t ra);
136f83bcecbSRichard Henderson int cpu_ldsw_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
137f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
138f83bcecbSRichard Henderson uint32_t cpu_ldl_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
139f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
140f83bcecbSRichard Henderson uint64_t cpu_ldq_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
141f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
142f83bcecbSRichard Henderson 
143f83bcecbSRichard Henderson void cpu_stb_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
144f83bcecbSRichard Henderson                        int mmu_idx, uintptr_t ra);
145f83bcecbSRichard Henderson void cpu_stw_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
146f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
147f83bcecbSRichard Henderson void cpu_stl_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
148f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
149f83bcecbSRichard Henderson void cpu_stq_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint64_t val,
150f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
151f83bcecbSRichard Henderson void cpu_stw_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
152f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
153f83bcecbSRichard Henderson void cpu_stl_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
154f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
155f83bcecbSRichard Henderson void cpu_stq_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint64_t val,
156f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
157f83bcecbSRichard Henderson 
158ee3eb3a7SMarc-André Lureau #if TARGET_BIG_ENDIAN
159b9e60257SRichard Henderson # define cpu_lduw_data        cpu_lduw_be_data
160b9e60257SRichard Henderson # define cpu_ldsw_data        cpu_ldsw_be_data
161b9e60257SRichard Henderson # define cpu_ldl_data         cpu_ldl_be_data
162b9e60257SRichard Henderson # define cpu_ldq_data         cpu_ldq_be_data
163b9e60257SRichard Henderson # define cpu_lduw_data_ra     cpu_lduw_be_data_ra
164b9e60257SRichard Henderson # define cpu_ldsw_data_ra     cpu_ldsw_be_data_ra
165b9e60257SRichard Henderson # define cpu_ldl_data_ra      cpu_ldl_be_data_ra
166b9e60257SRichard Henderson # define cpu_ldq_data_ra      cpu_ldq_be_data_ra
167b9e60257SRichard Henderson # define cpu_lduw_mmuidx_ra   cpu_lduw_be_mmuidx_ra
168b9e60257SRichard Henderson # define cpu_ldsw_mmuidx_ra   cpu_ldsw_be_mmuidx_ra
169b9e60257SRichard Henderson # define cpu_ldl_mmuidx_ra    cpu_ldl_be_mmuidx_ra
170b9e60257SRichard Henderson # define cpu_ldq_mmuidx_ra    cpu_ldq_be_mmuidx_ra
171b9e60257SRichard Henderson # define cpu_stw_data         cpu_stw_be_data
172b9e60257SRichard Henderson # define cpu_stl_data         cpu_stl_be_data
173b9e60257SRichard Henderson # define cpu_stq_data         cpu_stq_be_data
174b9e60257SRichard Henderson # define cpu_stw_data_ra      cpu_stw_be_data_ra
175b9e60257SRichard Henderson # define cpu_stl_data_ra      cpu_stl_be_data_ra
176b9e60257SRichard Henderson # define cpu_stq_data_ra      cpu_stq_be_data_ra
177b9e60257SRichard Henderson # define cpu_stw_mmuidx_ra    cpu_stw_be_mmuidx_ra
178b9e60257SRichard Henderson # define cpu_stl_mmuidx_ra    cpu_stl_be_mmuidx_ra
179b9e60257SRichard Henderson # define cpu_stq_mmuidx_ra    cpu_stq_be_mmuidx_ra
180b9e60257SRichard Henderson #else
181b9e60257SRichard Henderson # define cpu_lduw_data        cpu_lduw_le_data
182b9e60257SRichard Henderson # define cpu_ldsw_data        cpu_ldsw_le_data
183b9e60257SRichard Henderson # define cpu_ldl_data         cpu_ldl_le_data
184b9e60257SRichard Henderson # define cpu_ldq_data         cpu_ldq_le_data
185b9e60257SRichard Henderson # define cpu_lduw_data_ra     cpu_lduw_le_data_ra
186b9e60257SRichard Henderson # define cpu_ldsw_data_ra     cpu_ldsw_le_data_ra
187b9e60257SRichard Henderson # define cpu_ldl_data_ra      cpu_ldl_le_data_ra
188b9e60257SRichard Henderson # define cpu_ldq_data_ra      cpu_ldq_le_data_ra
189b9e60257SRichard Henderson # define cpu_lduw_mmuidx_ra   cpu_lduw_le_mmuidx_ra
190b9e60257SRichard Henderson # define cpu_ldsw_mmuidx_ra   cpu_ldsw_le_mmuidx_ra
191b9e60257SRichard Henderson # define cpu_ldl_mmuidx_ra    cpu_ldl_le_mmuidx_ra
192b9e60257SRichard Henderson # define cpu_ldq_mmuidx_ra    cpu_ldq_le_mmuidx_ra
193b9e60257SRichard Henderson # define cpu_stw_data         cpu_stw_le_data
194b9e60257SRichard Henderson # define cpu_stl_data         cpu_stl_le_data
195b9e60257SRichard Henderson # define cpu_stq_data         cpu_stq_le_data
196b9e60257SRichard Henderson # define cpu_stw_data_ra      cpu_stw_le_data_ra
197b9e60257SRichard Henderson # define cpu_stl_data_ra      cpu_stl_le_data_ra
198b9e60257SRichard Henderson # define cpu_stq_data_ra      cpu_stq_le_data_ra
199b9e60257SRichard Henderson # define cpu_stw_mmuidx_ra    cpu_stw_le_mmuidx_ra
200b9e60257SRichard Henderson # define cpu_stl_mmuidx_ra    cpu_stl_le_mmuidx_ra
201b9e60257SRichard Henderson # define cpu_stq_mmuidx_ra    cpu_stq_le_mmuidx_ra
202b9e60257SRichard Henderson #endif
203b9e60257SRichard Henderson 
204fc4120a3SRichard Henderson uint32_t cpu_ldub_code(CPUArchState *env, abi_ptr addr);
205fc4120a3SRichard Henderson uint32_t cpu_lduw_code(CPUArchState *env, abi_ptr addr);
206fc4120a3SRichard Henderson uint32_t cpu_ldl_code(CPUArchState *env, abi_ptr addr);
207fc4120a3SRichard Henderson uint64_t cpu_ldq_code(CPUArchState *env, abi_ptr addr);
208c773828aSPaolo Bonzini 
209c773828aSPaolo Bonzini /**
210c773828aSPaolo Bonzini  * tlb_vaddr_to_host:
211c773828aSPaolo Bonzini  * @env: CPUArchState
212c773828aSPaolo Bonzini  * @addr: guest virtual address to look up
213c773828aSPaolo Bonzini  * @access_type: 0 for read, 1 for write, 2 for execute
214c773828aSPaolo Bonzini  * @mmu_idx: MMU index to use for lookup
215c773828aSPaolo Bonzini  *
216c773828aSPaolo Bonzini  * Look up the specified guest virtual index in the TCG softmmu TLB.
2174811e909SRichard Henderson  * If we can translate a host virtual address suitable for direct RAM
2184811e909SRichard Henderson  * access, without causing a guest exception, then return it.
2194811e909SRichard Henderson  * Otherwise (TLB entry is for an I/O access, guest software
2204811e909SRichard Henderson  * TLB fill required, etc) return NULL.
221c773828aSPaolo Bonzini  */
2224811e909SRichard Henderson #ifdef CONFIG_USER_ONLY
2233e23de15SLaurent Vivier static inline void *tlb_vaddr_to_host(CPUArchState *env, abi_ptr addr,
2244811e909SRichard Henderson                                       MMUAccessType access_type, int mmu_idx)
225c773828aSPaolo Bonzini {
2263e8f1628SRichard Henderson     return g2h(env_cpu(env), addr);
2274811e909SRichard Henderson }
2282e83c496SAurelien Jarno #else
2299c6e54f4SPhilippe Mathieu-Daudé void *tlb_vaddr_to_host(CPUArchState *env, vaddr addr,
2304811e909SRichard Henderson                         MMUAccessType access_type, int mmu_idx);
2314811e909SRichard Henderson #endif
232c773828aSPaolo Bonzini 
2333d75856dSRichard Henderson /*
2343d75856dSRichard Henderson  * For user-only, helpers that use guest to host address translation
2353d75856dSRichard Henderson  * must protect the actual host memory access by recording 'retaddr'
2363d75856dSRichard Henderson  * for the signal handler.  This is required for a race condition in
2373d75856dSRichard Henderson  * which another thread unmaps the page between a probe and the
2383d75856dSRichard Henderson  * actual access.
2393d75856dSRichard Henderson  */
2403d75856dSRichard Henderson #ifdef CONFIG_USER_ONLY
2413d75856dSRichard Henderson extern __thread uintptr_t helper_retaddr;
2423d75856dSRichard Henderson 
2433d75856dSRichard Henderson static inline void set_helper_retaddr(uintptr_t ra)
2443d75856dSRichard Henderson {
2453d75856dSRichard Henderson     helper_retaddr = ra;
2463d75856dSRichard Henderson     /*
2473d75856dSRichard Henderson      * Ensure that this write is visible to the SIGSEGV handler that
2483d75856dSRichard Henderson      * may be invoked due to a subsequent invalid memory operation.
2493d75856dSRichard Henderson      */
2503d75856dSRichard Henderson     signal_barrier();
2513d75856dSRichard Henderson }
2523d75856dSRichard Henderson 
2533d75856dSRichard Henderson static inline void clear_helper_retaddr(void)
2543d75856dSRichard Henderson {
2553d75856dSRichard Henderson     /*
2563d75856dSRichard Henderson      * Ensure that previous memory operations have succeeded before
2573d75856dSRichard Henderson      * removing the data visible to the signal handler.
2583d75856dSRichard Henderson      */
2593d75856dSRichard Henderson     signal_barrier();
2603d75856dSRichard Henderson     helper_retaddr = 0;
2613d75856dSRichard Henderson }
2623d75856dSRichard Henderson #else
2633d75856dSRichard Henderson #define set_helper_retaddr(ra)   do { } while (0)
2643d75856dSRichard Henderson #define clear_helper_retaddr()   do { } while (0)
2653d75856dSRichard Henderson #endif
2663d75856dSRichard Henderson 
267f08b6170SPaolo Bonzini #endif /* CPU_LDST_H */
268