xref: /qemu/include/accel/tcg/cpu-ldst.h (revision 0b3c75ad1a21574cc55b0c095a7dc21e2d27ffc8)
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
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 
65f83bcecbSRichard Henderson #include "exec/memopidx.h"
66b4c8f3d4SRichard Henderson #include "qemu/int128.h"
67f1d4d9fcSPhilippe Mathieu-Daudé #include "cpu.h"
68f83bcecbSRichard Henderson 
69c773828aSPaolo Bonzini #if defined(CONFIG_USER_ONLY)
703e23de15SLaurent Vivier /* sparc32plus has 64bit long but 32bit space address
713e23de15SLaurent Vivier  * this can make bad result with g2h() and h2g()
723e23de15SLaurent Vivier  */
733e23de15SLaurent Vivier #if TARGET_VIRT_ADDR_SPACE_BITS <= 32
743e23de15SLaurent Vivier typedef uint32_t abi_ptr;
753e23de15SLaurent Vivier #define TARGET_ABI_FMT_ptr "%x"
763e23de15SLaurent Vivier #else
773e23de15SLaurent Vivier typedef uint64_t abi_ptr;
783e23de15SLaurent Vivier #define TARGET_ABI_FMT_ptr "%"PRIx64
793e23de15SLaurent Vivier #endif
803e23de15SLaurent Vivier 
81141a56d8SRichard Henderson #ifndef TARGET_TAGGED_ADDRESSES
82141a56d8SRichard Henderson static inline abi_ptr cpu_untagged_addr(CPUState *cs, abi_ptr x)
83141a56d8SRichard Henderson {
84141a56d8SRichard Henderson     return x;
85141a56d8SRichard Henderson }
86141a56d8SRichard Henderson #endif
87141a56d8SRichard Henderson 
88c773828aSPaolo Bonzini /* All direct uses of g2h and h2g need to go away for usermode softmmu.  */
893e8f1628SRichard Henderson static inline void *g2h_untagged(abi_ptr x)
903e8f1628SRichard Henderson {
913e8f1628SRichard Henderson     return (void *)((uintptr_t)(x) + guest_base);
923e8f1628SRichard Henderson }
933e8f1628SRichard Henderson 
943e8f1628SRichard Henderson static inline void *g2h(CPUState *cs, abi_ptr x)
953e8f1628SRichard Henderson {
963e8f1628SRichard Henderson     return g2h_untagged(cpu_untagged_addr(cs, x));
973e8f1628SRichard Henderson }
98c773828aSPaolo Bonzini 
9946b12f46SRichard Henderson static inline bool guest_addr_valid_untagged(abi_ulong x)
100a78a6363SRichard Henderson {
101a78a6363SRichard Henderson     return x <= GUEST_ADDR_MAX;
102a78a6363SRichard Henderson }
103ebf9a363SMax Filippov 
10446b12f46SRichard Henderson static inline bool guest_range_valid_untagged(abi_ulong start, abi_ulong len)
105ebf9a363SMax Filippov {
106ebf9a363SMax Filippov     return len - 1 <= GUEST_ADDR_MAX && start <= GUEST_ADDR_MAX - len + 1;
107ebf9a363SMax Filippov }
108f08b6170SPaolo Bonzini 
10957096f29SRichard Henderson #define h2g_valid(x) \
11057096f29SRichard Henderson     (HOST_LONG_BITS <= TARGET_VIRT_ADDR_SPACE_BITS || \
11157096f29SRichard Henderson      (uintptr_t)(x) - guest_base <= GUEST_ADDR_MAX)
11257096f29SRichard Henderson 
113c773828aSPaolo Bonzini #define h2g_nocheck(x) ({ \
1149abf09ffSRichard Henderson     uintptr_t __ret = (uintptr_t)(x) - guest_base; \
1153e23de15SLaurent Vivier     (abi_ptr)__ret; \
116c773828aSPaolo Bonzini })
117c773828aSPaolo Bonzini 
118c773828aSPaolo Bonzini #define h2g(x) ({ \
119c773828aSPaolo Bonzini     /* Check if given address fits target address space */ \
120c773828aSPaolo Bonzini     assert(h2g_valid(x)); \
121c773828aSPaolo Bonzini     h2g_nocheck(x); \
122c773828aSPaolo Bonzini })
1233e23de15SLaurent Vivier #else
1243e23de15SLaurent Vivier typedef target_ulong abi_ptr;
125514f9f8eSAlex Bennée #define TARGET_ABI_FMT_ptr TARGET_FMT_lx
126c773828aSPaolo Bonzini #endif
127c773828aSPaolo Bonzini 
128ed4cfbcdSRichard Henderson uint32_t cpu_ldub_data(CPUArchState *env, abi_ptr ptr);
129ed4cfbcdSRichard Henderson int cpu_ldsb_data(CPUArchState *env, abi_ptr ptr);
130b9e60257SRichard Henderson uint32_t cpu_lduw_be_data(CPUArchState *env, abi_ptr ptr);
131b9e60257SRichard Henderson int cpu_ldsw_be_data(CPUArchState *env, abi_ptr ptr);
132b9e60257SRichard Henderson uint32_t cpu_ldl_be_data(CPUArchState *env, abi_ptr ptr);
133b9e60257SRichard Henderson uint64_t cpu_ldq_be_data(CPUArchState *env, abi_ptr ptr);
134b9e60257SRichard Henderson uint32_t cpu_lduw_le_data(CPUArchState *env, abi_ptr ptr);
135b9e60257SRichard Henderson int cpu_ldsw_le_data(CPUArchState *env, abi_ptr ptr);
136b9e60257SRichard Henderson uint32_t cpu_ldl_le_data(CPUArchState *env, abi_ptr ptr);
137b9e60257SRichard Henderson uint64_t cpu_ldq_le_data(CPUArchState *env, abi_ptr ptr);
138b9e60257SRichard Henderson 
139b9e60257SRichard Henderson uint32_t cpu_ldub_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
140b9e60257SRichard Henderson int cpu_ldsb_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
141b9e60257SRichard Henderson uint32_t cpu_lduw_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
142b9e60257SRichard Henderson int cpu_ldsw_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
143b9e60257SRichard Henderson uint32_t cpu_ldl_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
144b9e60257SRichard Henderson uint64_t cpu_ldq_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
145b9e60257SRichard Henderson uint32_t cpu_lduw_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
146b9e60257SRichard Henderson int cpu_ldsw_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
147b9e60257SRichard Henderson uint32_t cpu_ldl_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
148b9e60257SRichard Henderson uint64_t cpu_ldq_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
149c773828aSPaolo Bonzini 
150ed4cfbcdSRichard Henderson void cpu_stb_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
151b9e60257SRichard Henderson void cpu_stw_be_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
152b9e60257SRichard Henderson void cpu_stl_be_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
153b9e60257SRichard Henderson void cpu_stq_be_data(CPUArchState *env, abi_ptr ptr, uint64_t val);
154b9e60257SRichard Henderson void cpu_stw_le_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
155b9e60257SRichard Henderson void cpu_stl_le_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
156b9e60257SRichard Henderson void cpu_stq_le_data(CPUArchState *env, abi_ptr ptr, uint64_t val);
157c773828aSPaolo Bonzini 
158ed4cfbcdSRichard Henderson void cpu_stb_data_ra(CPUArchState *env, abi_ptr ptr,
159b9e60257SRichard Henderson                      uint32_t val, uintptr_t ra);
160b9e60257SRichard Henderson void cpu_stw_be_data_ra(CPUArchState *env, abi_ptr ptr,
161b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
162b9e60257SRichard Henderson void cpu_stl_be_data_ra(CPUArchState *env, abi_ptr ptr,
163b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
164b9e60257SRichard Henderson void cpu_stq_be_data_ra(CPUArchState *env, abi_ptr ptr,
165b9e60257SRichard Henderson                         uint64_t val, uintptr_t ra);
166b9e60257SRichard Henderson void cpu_stw_le_data_ra(CPUArchState *env, abi_ptr ptr,
167b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
168b9e60257SRichard Henderson void cpu_stl_le_data_ra(CPUArchState *env, abi_ptr ptr,
169b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
170b9e60257SRichard Henderson void cpu_stq_le_data_ra(CPUArchState *env, abi_ptr ptr,
171b9e60257SRichard Henderson                         uint64_t val, uintptr_t ra);
172c773828aSPaolo Bonzini 
173f83bcecbSRichard Henderson uint32_t cpu_ldub_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
174f83bcecbSRichard Henderson                             int mmu_idx, uintptr_t ra);
175f83bcecbSRichard Henderson int cpu_ldsb_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
176f83bcecbSRichard Henderson                        int mmu_idx, uintptr_t ra);
177f83bcecbSRichard Henderson uint32_t cpu_lduw_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
178f83bcecbSRichard Henderson                                int mmu_idx, uintptr_t ra);
179f83bcecbSRichard Henderson int cpu_ldsw_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
180f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
181f83bcecbSRichard Henderson uint32_t cpu_ldl_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
182f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
183f83bcecbSRichard Henderson uint64_t cpu_ldq_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
184f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
185f83bcecbSRichard Henderson uint32_t cpu_lduw_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
186f83bcecbSRichard Henderson                                int mmu_idx, uintptr_t ra);
187f83bcecbSRichard Henderson int cpu_ldsw_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
188f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
189f83bcecbSRichard Henderson uint32_t cpu_ldl_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
190f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
191f83bcecbSRichard Henderson uint64_t cpu_ldq_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
192f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
193f83bcecbSRichard Henderson 
194f83bcecbSRichard Henderson void cpu_stb_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
195f83bcecbSRichard Henderson                        int mmu_idx, uintptr_t ra);
196f83bcecbSRichard Henderson void cpu_stw_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
197f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
198f83bcecbSRichard Henderson void cpu_stl_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
199f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
200f83bcecbSRichard Henderson void cpu_stq_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint64_t val,
201f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
202f83bcecbSRichard Henderson void cpu_stw_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
203f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
204f83bcecbSRichard Henderson void cpu_stl_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
205f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
206f83bcecbSRichard Henderson void cpu_stq_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint64_t val,
207f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
208f83bcecbSRichard Henderson 
209f83bcecbSRichard Henderson uint8_t cpu_ldb_mmu(CPUArchState *env, abi_ptr ptr, MemOpIdx oi, uintptr_t ra);
210f83bcecbSRichard Henderson uint16_t cpu_ldw_be_mmu(CPUArchState *env, abi_ptr ptr,
211f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra);
212f83bcecbSRichard Henderson uint32_t cpu_ldl_be_mmu(CPUArchState *env, abi_ptr ptr,
213f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra);
214f83bcecbSRichard Henderson uint64_t cpu_ldq_be_mmu(CPUArchState *env, abi_ptr ptr,
215f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra);
216f83bcecbSRichard Henderson uint16_t cpu_ldw_le_mmu(CPUArchState *env, abi_ptr ptr,
217f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra);
218f83bcecbSRichard Henderson uint32_t cpu_ldl_le_mmu(CPUArchState *env, abi_ptr ptr,
219f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra);
220f83bcecbSRichard Henderson uint64_t cpu_ldq_le_mmu(CPUArchState *env, abi_ptr ptr,
221f83bcecbSRichard Henderson                         MemOpIdx oi, uintptr_t ra);
222f83bcecbSRichard Henderson 
223cb48f365SRichard Henderson Int128 cpu_ld16_be_mmu(CPUArchState *env, abi_ptr addr,
224cb48f365SRichard Henderson                        MemOpIdx oi, uintptr_t ra);
225cb48f365SRichard Henderson Int128 cpu_ld16_le_mmu(CPUArchState *env, abi_ptr addr,
226cb48f365SRichard Henderson                        MemOpIdx oi, uintptr_t ra);
227cb48f365SRichard Henderson 
228f83bcecbSRichard Henderson void cpu_stb_mmu(CPUArchState *env, abi_ptr ptr, uint8_t val,
229f83bcecbSRichard Henderson                  MemOpIdx oi, uintptr_t ra);
230f83bcecbSRichard Henderson void cpu_stw_be_mmu(CPUArchState *env, abi_ptr ptr, uint16_t val,
231f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra);
232f83bcecbSRichard Henderson void cpu_stl_be_mmu(CPUArchState *env, abi_ptr ptr, uint32_t val,
233f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra);
234f83bcecbSRichard Henderson void cpu_stq_be_mmu(CPUArchState *env, abi_ptr ptr, uint64_t val,
235f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra);
236f83bcecbSRichard Henderson void cpu_stw_le_mmu(CPUArchState *env, abi_ptr ptr, uint16_t val,
237f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra);
238f83bcecbSRichard Henderson void cpu_stl_le_mmu(CPUArchState *env, abi_ptr ptr, uint32_t val,
239f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra);
240f83bcecbSRichard Henderson void cpu_stq_le_mmu(CPUArchState *env, abi_ptr ptr, uint64_t val,
241f83bcecbSRichard Henderson                     MemOpIdx oi, uintptr_t ra);
242f83bcecbSRichard Henderson 
243cb48f365SRichard Henderson void cpu_st16_be_mmu(CPUArchState *env, abi_ptr addr, Int128 val,
244cb48f365SRichard Henderson                      MemOpIdx oi, uintptr_t ra);
245cb48f365SRichard Henderson void cpu_st16_le_mmu(CPUArchState *env, abi_ptr addr, Int128 val,
246cb48f365SRichard Henderson                      MemOpIdx oi, uintptr_t ra);
247cb48f365SRichard Henderson 
248b4c8f3d4SRichard Henderson uint32_t cpu_atomic_cmpxchgb_mmu(CPUArchState *env, target_ulong addr,
249b4c8f3d4SRichard Henderson                                  uint32_t cmpv, uint32_t newv,
250b4c8f3d4SRichard Henderson                                  MemOpIdx oi, uintptr_t retaddr);
251b4c8f3d4SRichard Henderson uint32_t cpu_atomic_cmpxchgw_le_mmu(CPUArchState *env, target_ulong addr,
252b4c8f3d4SRichard Henderson                                     uint32_t cmpv, uint32_t newv,
253b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
254b4c8f3d4SRichard Henderson uint32_t cpu_atomic_cmpxchgl_le_mmu(CPUArchState *env, target_ulong addr,
255b4c8f3d4SRichard Henderson                                     uint32_t cmpv, uint32_t newv,
256b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
257b4c8f3d4SRichard Henderson uint64_t cpu_atomic_cmpxchgq_le_mmu(CPUArchState *env, target_ulong addr,
258b4c8f3d4SRichard Henderson                                     uint64_t cmpv, uint64_t newv,
259b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
260b4c8f3d4SRichard Henderson uint32_t cpu_atomic_cmpxchgw_be_mmu(CPUArchState *env, target_ulong addr,
261b4c8f3d4SRichard Henderson                                     uint32_t cmpv, uint32_t newv,
262b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
263b4c8f3d4SRichard Henderson uint32_t cpu_atomic_cmpxchgl_be_mmu(CPUArchState *env, target_ulong addr,
264b4c8f3d4SRichard Henderson                                     uint32_t cmpv, uint32_t newv,
265b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
266b4c8f3d4SRichard Henderson uint64_t cpu_atomic_cmpxchgq_be_mmu(CPUArchState *env, target_ulong addr,
267b4c8f3d4SRichard Henderson                                     uint64_t cmpv, uint64_t newv,
268b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
269b4c8f3d4SRichard Henderson 
270b4c8f3d4SRichard Henderson #define GEN_ATOMIC_HELPER(NAME, TYPE, SUFFIX)         \
271b4c8f3d4SRichard Henderson TYPE cpu_atomic_ ## NAME ## SUFFIX ## _mmu            \
272b4c8f3d4SRichard Henderson     (CPUArchState *env, target_ulong addr, TYPE val,  \
273b4c8f3d4SRichard Henderson      MemOpIdx oi, uintptr_t retaddr);
274b4c8f3d4SRichard Henderson 
275b4c8f3d4SRichard Henderson #ifdef CONFIG_ATOMIC64
276b4c8f3d4SRichard Henderson #define GEN_ATOMIC_HELPER_ALL(NAME)          \
277b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, b)     \
278b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, w_le)  \
279b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, w_be)  \
280b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, l_le)  \
281b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, l_be)  \
282b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint64_t, q_le)  \
283b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint64_t, q_be)
284b4c8f3d4SRichard Henderson #else
285b4c8f3d4SRichard Henderson #define GEN_ATOMIC_HELPER_ALL(NAME)          \
286b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, b)     \
287b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, w_le)  \
288b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, w_be)  \
289b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, l_le)  \
290b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, l_be)
291b4c8f3d4SRichard Henderson #endif
292b4c8f3d4SRichard Henderson 
293b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_add)
294b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_sub)
295b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_and)
296b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_or)
297b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_xor)
298b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_smin)
299b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_umin)
300b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_smax)
301b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_umax)
302b4c8f3d4SRichard Henderson 
303b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(add_fetch)
304b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(sub_fetch)
305b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(and_fetch)
306b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(or_fetch)
307b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(xor_fetch)
308b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(smin_fetch)
309b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(umin_fetch)
310b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(smax_fetch)
311b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(umax_fetch)
312b4c8f3d4SRichard Henderson 
313b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(xchg)
314b4c8f3d4SRichard Henderson 
315b4c8f3d4SRichard Henderson #undef GEN_ATOMIC_HELPER_ALL
316b4c8f3d4SRichard Henderson #undef GEN_ATOMIC_HELPER
317b4c8f3d4SRichard Henderson 
318b4c8f3d4SRichard Henderson Int128 cpu_atomic_cmpxchgo_le_mmu(CPUArchState *env, target_ulong addr,
319b4c8f3d4SRichard Henderson                                   Int128 cmpv, Int128 newv,
320b4c8f3d4SRichard Henderson                                   MemOpIdx oi, uintptr_t retaddr);
321b4c8f3d4SRichard Henderson Int128 cpu_atomic_cmpxchgo_be_mmu(CPUArchState *env, target_ulong addr,
322b4c8f3d4SRichard Henderson                                   Int128 cmpv, Int128 newv,
323b4c8f3d4SRichard Henderson                                   MemOpIdx oi, uintptr_t retaddr);
324b4c8f3d4SRichard Henderson 
325b4c8f3d4SRichard Henderson Int128 cpu_atomic_ldo_le_mmu(CPUArchState *env, target_ulong addr,
326b4c8f3d4SRichard Henderson                              MemOpIdx oi, uintptr_t retaddr);
327b4c8f3d4SRichard Henderson Int128 cpu_atomic_ldo_be_mmu(CPUArchState *env, target_ulong addr,
328b4c8f3d4SRichard Henderson                              MemOpIdx oi, uintptr_t retaddr);
329b4c8f3d4SRichard Henderson void cpu_atomic_sto_le_mmu(CPUArchState *env, target_ulong addr, Int128 val,
330b4c8f3d4SRichard Henderson                            MemOpIdx oi, uintptr_t retaddr);
331b4c8f3d4SRichard Henderson void cpu_atomic_sto_be_mmu(CPUArchState *env, target_ulong addr, Int128 val,
332b4c8f3d4SRichard Henderson                            MemOpIdx oi, uintptr_t retaddr);
333b4c8f3d4SRichard Henderson 
334cfe04a4bSRichard Henderson #if defined(CONFIG_USER_ONLY)
335cfe04a4bSRichard Henderson 
336cfe04a4bSRichard Henderson extern __thread uintptr_t helper_retaddr;
337cfe04a4bSRichard Henderson 
338cfe04a4bSRichard Henderson static inline void set_helper_retaddr(uintptr_t ra)
339cfe04a4bSRichard Henderson {
340cfe04a4bSRichard Henderson     helper_retaddr = ra;
341cfe04a4bSRichard Henderson     /*
342cfe04a4bSRichard Henderson      * Ensure that this write is visible to the SIGSEGV handler that
343cfe04a4bSRichard Henderson      * may be invoked due to a subsequent invalid memory operation.
344cfe04a4bSRichard Henderson      */
345cfe04a4bSRichard Henderson     signal_barrier();
346cfe04a4bSRichard Henderson }
347cfe04a4bSRichard Henderson 
348cfe04a4bSRichard Henderson static inline void clear_helper_retaddr(void)
349cfe04a4bSRichard Henderson {
350cfe04a4bSRichard Henderson     /*
351cfe04a4bSRichard Henderson      * Ensure that previous memory operations have succeeded before
352cfe04a4bSRichard Henderson      * removing the data visible to the signal handler.
353cfe04a4bSRichard Henderson      */
354cfe04a4bSRichard Henderson     signal_barrier();
355cfe04a4bSRichard Henderson     helper_retaddr = 0;
356cfe04a4bSRichard Henderson }
357cfe04a4bSRichard Henderson 
358c773828aSPaolo Bonzini #else
359c773828aSPaolo Bonzini 
360d03f1408SRichard Henderson /* Needed for TCG_OVERSIZED_GUEST */
361dcb32f1dSPhilippe Mathieu-Daudé #include "tcg/tcg.h"
362c773828aSPaolo Bonzini 
3630b3c75adSRichard Henderson static inline target_ulong tlb_read_idx(const CPUTLBEntry *entry,
3640b3c75adSRichard Henderson                                         MMUAccessType access_type)
3650b3c75adSRichard Henderson {
3660b3c75adSRichard Henderson     /* Do not rearrange the CPUTLBEntry structure members. */
3670b3c75adSRichard Henderson     QEMU_BUILD_BUG_ON(offsetof(CPUTLBEntry, addr_read) !=
3680b3c75adSRichard Henderson                       MMU_DATA_LOAD * TARGET_LONG_SIZE);
3690b3c75adSRichard Henderson     QEMU_BUILD_BUG_ON(offsetof(CPUTLBEntry, addr_write) !=
3700b3c75adSRichard Henderson                       MMU_DATA_STORE * TARGET_LONG_SIZE);
3710b3c75adSRichard Henderson     QEMU_BUILD_BUG_ON(offsetof(CPUTLBEntry, addr_code) !=
3720b3c75adSRichard Henderson                       MMU_INST_FETCH * TARGET_LONG_SIZE);
3730b3c75adSRichard Henderson 
3740b3c75adSRichard Henderson     const target_ulong *ptr = &entry->addr_idx[access_type];
3750b3c75adSRichard Henderson #if TCG_OVERSIZED_GUEST
3760b3c75adSRichard Henderson     return *ptr;
3770b3c75adSRichard Henderson #else
3780b3c75adSRichard Henderson     /* ofs might correspond to .addr_write, so use qatomic_read */
3790b3c75adSRichard Henderson     return qatomic_read(ptr);
3800b3c75adSRichard Henderson #endif
3810b3c75adSRichard Henderson }
3820b3c75adSRichard Henderson 
383403f290cSEmilio G. Cota static inline target_ulong tlb_addr_write(const CPUTLBEntry *entry)
384403f290cSEmilio G. Cota {
3850b3c75adSRichard Henderson     return tlb_read_idx(entry, MMU_DATA_STORE);
386403f290cSEmilio G. Cota }
387403f290cSEmilio G. Cota 
38886e1eff8SEmilio G. Cota /* Find the TLB index corresponding to the mmu_idx + address pair.  */
38986e1eff8SEmilio G. Cota static inline uintptr_t tlb_index(CPUArchState *env, uintptr_t mmu_idx,
39086e1eff8SEmilio G. Cota                                   target_ulong addr)
39186e1eff8SEmilio G. Cota {
392a40ec84eSRichard Henderson     uintptr_t size_mask = env_tlb(env)->f[mmu_idx].mask >> CPU_TLB_ENTRY_BITS;
39386e1eff8SEmilio G. Cota 
39486e1eff8SEmilio G. Cota     return (addr >> TARGET_PAGE_BITS) & size_mask;
39586e1eff8SEmilio G. Cota }
39686e1eff8SEmilio G. Cota 
397383beda9SRichard Henderson /* Find the TLB entry corresponding to the mmu_idx + address pair.  */
398383beda9SRichard Henderson static inline CPUTLBEntry *tlb_entry(CPUArchState *env, uintptr_t mmu_idx,
399383beda9SRichard Henderson                                      target_ulong addr)
400383beda9SRichard Henderson {
401a40ec84eSRichard Henderson     return &env_tlb(env)->f[mmu_idx].table[tlb_index(env, mmu_idx, addr)];
402383beda9SRichard Henderson }
403383beda9SRichard Henderson 
404ed4cfbcdSRichard Henderson #endif /* defined(CONFIG_USER_ONLY) */
405ed4cfbcdSRichard Henderson 
406ee3eb3a7SMarc-André Lureau #if TARGET_BIG_ENDIAN
407b9e60257SRichard Henderson # define cpu_lduw_data        cpu_lduw_be_data
408b9e60257SRichard Henderson # define cpu_ldsw_data        cpu_ldsw_be_data
409b9e60257SRichard Henderson # define cpu_ldl_data         cpu_ldl_be_data
410b9e60257SRichard Henderson # define cpu_ldq_data         cpu_ldq_be_data
411b9e60257SRichard Henderson # define cpu_lduw_data_ra     cpu_lduw_be_data_ra
412b9e60257SRichard Henderson # define cpu_ldsw_data_ra     cpu_ldsw_be_data_ra
413b9e60257SRichard Henderson # define cpu_ldl_data_ra      cpu_ldl_be_data_ra
414b9e60257SRichard Henderson # define cpu_ldq_data_ra      cpu_ldq_be_data_ra
415b9e60257SRichard Henderson # define cpu_lduw_mmuidx_ra   cpu_lduw_be_mmuidx_ra
416b9e60257SRichard Henderson # define cpu_ldsw_mmuidx_ra   cpu_ldsw_be_mmuidx_ra
417b9e60257SRichard Henderson # define cpu_ldl_mmuidx_ra    cpu_ldl_be_mmuidx_ra
418b9e60257SRichard Henderson # define cpu_ldq_mmuidx_ra    cpu_ldq_be_mmuidx_ra
419f83bcecbSRichard Henderson # define cpu_ldw_mmu          cpu_ldw_be_mmu
420f83bcecbSRichard Henderson # define cpu_ldl_mmu          cpu_ldl_be_mmu
421f83bcecbSRichard Henderson # define cpu_ldq_mmu          cpu_ldq_be_mmu
422b9e60257SRichard Henderson # define cpu_stw_data         cpu_stw_be_data
423b9e60257SRichard Henderson # define cpu_stl_data         cpu_stl_be_data
424b9e60257SRichard Henderson # define cpu_stq_data         cpu_stq_be_data
425b9e60257SRichard Henderson # define cpu_stw_data_ra      cpu_stw_be_data_ra
426b9e60257SRichard Henderson # define cpu_stl_data_ra      cpu_stl_be_data_ra
427b9e60257SRichard Henderson # define cpu_stq_data_ra      cpu_stq_be_data_ra
428b9e60257SRichard Henderson # define cpu_stw_mmuidx_ra    cpu_stw_be_mmuidx_ra
429b9e60257SRichard Henderson # define cpu_stl_mmuidx_ra    cpu_stl_be_mmuidx_ra
430b9e60257SRichard Henderson # define cpu_stq_mmuidx_ra    cpu_stq_be_mmuidx_ra
431f83bcecbSRichard Henderson # define cpu_stw_mmu          cpu_stw_be_mmu
432f83bcecbSRichard Henderson # define cpu_stl_mmu          cpu_stl_be_mmu
433f83bcecbSRichard Henderson # define cpu_stq_mmu          cpu_stq_be_mmu
434b9e60257SRichard Henderson #else
435b9e60257SRichard Henderson # define cpu_lduw_data        cpu_lduw_le_data
436b9e60257SRichard Henderson # define cpu_ldsw_data        cpu_ldsw_le_data
437b9e60257SRichard Henderson # define cpu_ldl_data         cpu_ldl_le_data
438b9e60257SRichard Henderson # define cpu_ldq_data         cpu_ldq_le_data
439b9e60257SRichard Henderson # define cpu_lduw_data_ra     cpu_lduw_le_data_ra
440b9e60257SRichard Henderson # define cpu_ldsw_data_ra     cpu_ldsw_le_data_ra
441b9e60257SRichard Henderson # define cpu_ldl_data_ra      cpu_ldl_le_data_ra
442b9e60257SRichard Henderson # define cpu_ldq_data_ra      cpu_ldq_le_data_ra
443b9e60257SRichard Henderson # define cpu_lduw_mmuidx_ra   cpu_lduw_le_mmuidx_ra
444b9e60257SRichard Henderson # define cpu_ldsw_mmuidx_ra   cpu_ldsw_le_mmuidx_ra
445b9e60257SRichard Henderson # define cpu_ldl_mmuidx_ra    cpu_ldl_le_mmuidx_ra
446b9e60257SRichard Henderson # define cpu_ldq_mmuidx_ra    cpu_ldq_le_mmuidx_ra
447f83bcecbSRichard Henderson # define cpu_ldw_mmu          cpu_ldw_le_mmu
448f83bcecbSRichard Henderson # define cpu_ldl_mmu          cpu_ldl_le_mmu
449f83bcecbSRichard Henderson # define cpu_ldq_mmu          cpu_ldq_le_mmu
450b9e60257SRichard Henderson # define cpu_stw_data         cpu_stw_le_data
451b9e60257SRichard Henderson # define cpu_stl_data         cpu_stl_le_data
452b9e60257SRichard Henderson # define cpu_stq_data         cpu_stq_le_data
453b9e60257SRichard Henderson # define cpu_stw_data_ra      cpu_stw_le_data_ra
454b9e60257SRichard Henderson # define cpu_stl_data_ra      cpu_stl_le_data_ra
455b9e60257SRichard Henderson # define cpu_stq_data_ra      cpu_stq_le_data_ra
456b9e60257SRichard Henderson # define cpu_stw_mmuidx_ra    cpu_stw_le_mmuidx_ra
457b9e60257SRichard Henderson # define cpu_stl_mmuidx_ra    cpu_stl_le_mmuidx_ra
458b9e60257SRichard Henderson # define cpu_stq_mmuidx_ra    cpu_stq_le_mmuidx_ra
459f83bcecbSRichard Henderson # define cpu_stw_mmu          cpu_stw_le_mmu
460f83bcecbSRichard Henderson # define cpu_stl_mmu          cpu_stl_le_mmu
461f83bcecbSRichard Henderson # define cpu_stq_mmu          cpu_stq_le_mmu
462b9e60257SRichard Henderson #endif
463b9e60257SRichard Henderson 
46428990626SRichard Henderson uint8_t cpu_ldb_code_mmu(CPUArchState *env, abi_ptr addr,
46528990626SRichard Henderson                          MemOpIdx oi, uintptr_t ra);
46628990626SRichard Henderson uint16_t cpu_ldw_code_mmu(CPUArchState *env, abi_ptr addr,
46728990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra);
46828990626SRichard Henderson uint32_t cpu_ldl_code_mmu(CPUArchState *env, abi_ptr addr,
46928990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra);
47028990626SRichard Henderson uint64_t cpu_ldq_code_mmu(CPUArchState *env, abi_ptr addr,
47128990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra);
47228990626SRichard Henderson 
473fc4120a3SRichard Henderson uint32_t cpu_ldub_code(CPUArchState *env, abi_ptr addr);
474fc4120a3SRichard Henderson uint32_t cpu_lduw_code(CPUArchState *env, abi_ptr addr);
475fc4120a3SRichard Henderson uint32_t cpu_ldl_code(CPUArchState *env, abi_ptr addr);
476fc4120a3SRichard Henderson uint64_t cpu_ldq_code(CPUArchState *env, abi_ptr addr);
477c773828aSPaolo Bonzini 
478fc4120a3SRichard Henderson static inline int cpu_ldsb_code(CPUArchState *env, abi_ptr addr)
479fc4120a3SRichard Henderson {
480fc4120a3SRichard Henderson     return (int8_t)cpu_ldub_code(env, addr);
481fc4120a3SRichard Henderson }
482c773828aSPaolo Bonzini 
483fc4120a3SRichard Henderson static inline int cpu_ldsw_code(CPUArchState *env, abi_ptr addr)
484fc4120a3SRichard Henderson {
485fc4120a3SRichard Henderson     return (int16_t)cpu_lduw_code(env, addr);
486fc4120a3SRichard Henderson }
487c773828aSPaolo Bonzini 
488c773828aSPaolo Bonzini /**
489c773828aSPaolo Bonzini  * tlb_vaddr_to_host:
490c773828aSPaolo Bonzini  * @env: CPUArchState
491c773828aSPaolo Bonzini  * @addr: guest virtual address to look up
492c773828aSPaolo Bonzini  * @access_type: 0 for read, 1 for write, 2 for execute
493c773828aSPaolo Bonzini  * @mmu_idx: MMU index to use for lookup
494c773828aSPaolo Bonzini  *
495c773828aSPaolo Bonzini  * Look up the specified guest virtual index in the TCG softmmu TLB.
4964811e909SRichard Henderson  * If we can translate a host virtual address suitable for direct RAM
4974811e909SRichard Henderson  * access, without causing a guest exception, then return it.
4984811e909SRichard Henderson  * Otherwise (TLB entry is for an I/O access, guest software
4994811e909SRichard Henderson  * TLB fill required, etc) return NULL.
500c773828aSPaolo Bonzini  */
5014811e909SRichard Henderson #ifdef CONFIG_USER_ONLY
5023e23de15SLaurent Vivier static inline void *tlb_vaddr_to_host(CPUArchState *env, abi_ptr addr,
5034811e909SRichard Henderson                                       MMUAccessType access_type, int mmu_idx)
504c773828aSPaolo Bonzini {
5053e8f1628SRichard Henderson     return g2h(env_cpu(env), addr);
5064811e909SRichard Henderson }
5072e83c496SAurelien Jarno #else
5084811e909SRichard Henderson void *tlb_vaddr_to_host(CPUArchState *env, abi_ptr addr,
5094811e909SRichard Henderson                         MMUAccessType access_type, int mmu_idx);
5104811e909SRichard Henderson #endif
511c773828aSPaolo Bonzini 
512f08b6170SPaolo Bonzini #endif /* CPU_LDST_H */
513