xref: /qemu/include/accel/tcg/cpu-ldst.h (revision cb48f3654e290ee5d7cbf1fb31888463fa2a180c)
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 
363403f290cSEmilio G. Cota static inline target_ulong tlb_addr_write(const CPUTLBEntry *entry)
364403f290cSEmilio G. Cota {
365403f290cSEmilio G. Cota #if TCG_OVERSIZED_GUEST
366403f290cSEmilio G. Cota     return entry->addr_write;
367403f290cSEmilio G. Cota #else
368d73415a3SStefan Hajnoczi     return qatomic_read(&entry->addr_write);
369403f290cSEmilio G. Cota #endif
370403f290cSEmilio G. Cota }
371403f290cSEmilio G. Cota 
37286e1eff8SEmilio G. Cota /* Find the TLB index corresponding to the mmu_idx + address pair.  */
37386e1eff8SEmilio G. Cota static inline uintptr_t tlb_index(CPUArchState *env, uintptr_t mmu_idx,
37486e1eff8SEmilio G. Cota                                   target_ulong addr)
37586e1eff8SEmilio G. Cota {
376a40ec84eSRichard Henderson     uintptr_t size_mask = env_tlb(env)->f[mmu_idx].mask >> CPU_TLB_ENTRY_BITS;
37786e1eff8SEmilio G. Cota 
37886e1eff8SEmilio G. Cota     return (addr >> TARGET_PAGE_BITS) & size_mask;
37986e1eff8SEmilio G. Cota }
38086e1eff8SEmilio G. Cota 
381383beda9SRichard Henderson /* Find the TLB entry corresponding to the mmu_idx + address pair.  */
382383beda9SRichard Henderson static inline CPUTLBEntry *tlb_entry(CPUArchState *env, uintptr_t mmu_idx,
383383beda9SRichard Henderson                                      target_ulong addr)
384383beda9SRichard Henderson {
385a40ec84eSRichard Henderson     return &env_tlb(env)->f[mmu_idx].table[tlb_index(env, mmu_idx, addr)];
386383beda9SRichard Henderson }
387383beda9SRichard Henderson 
388ed4cfbcdSRichard Henderson #endif /* defined(CONFIG_USER_ONLY) */
389ed4cfbcdSRichard Henderson 
390ee3eb3a7SMarc-André Lureau #if TARGET_BIG_ENDIAN
391b9e60257SRichard Henderson # define cpu_lduw_data        cpu_lduw_be_data
392b9e60257SRichard Henderson # define cpu_ldsw_data        cpu_ldsw_be_data
393b9e60257SRichard Henderson # define cpu_ldl_data         cpu_ldl_be_data
394b9e60257SRichard Henderson # define cpu_ldq_data         cpu_ldq_be_data
395b9e60257SRichard Henderson # define cpu_lduw_data_ra     cpu_lduw_be_data_ra
396b9e60257SRichard Henderson # define cpu_ldsw_data_ra     cpu_ldsw_be_data_ra
397b9e60257SRichard Henderson # define cpu_ldl_data_ra      cpu_ldl_be_data_ra
398b9e60257SRichard Henderson # define cpu_ldq_data_ra      cpu_ldq_be_data_ra
399b9e60257SRichard Henderson # define cpu_lduw_mmuidx_ra   cpu_lduw_be_mmuidx_ra
400b9e60257SRichard Henderson # define cpu_ldsw_mmuidx_ra   cpu_ldsw_be_mmuidx_ra
401b9e60257SRichard Henderson # define cpu_ldl_mmuidx_ra    cpu_ldl_be_mmuidx_ra
402b9e60257SRichard Henderson # define cpu_ldq_mmuidx_ra    cpu_ldq_be_mmuidx_ra
403f83bcecbSRichard Henderson # define cpu_ldw_mmu          cpu_ldw_be_mmu
404f83bcecbSRichard Henderson # define cpu_ldl_mmu          cpu_ldl_be_mmu
405f83bcecbSRichard Henderson # define cpu_ldq_mmu          cpu_ldq_be_mmu
406b9e60257SRichard Henderson # define cpu_stw_data         cpu_stw_be_data
407b9e60257SRichard Henderson # define cpu_stl_data         cpu_stl_be_data
408b9e60257SRichard Henderson # define cpu_stq_data         cpu_stq_be_data
409b9e60257SRichard Henderson # define cpu_stw_data_ra      cpu_stw_be_data_ra
410b9e60257SRichard Henderson # define cpu_stl_data_ra      cpu_stl_be_data_ra
411b9e60257SRichard Henderson # define cpu_stq_data_ra      cpu_stq_be_data_ra
412b9e60257SRichard Henderson # define cpu_stw_mmuidx_ra    cpu_stw_be_mmuidx_ra
413b9e60257SRichard Henderson # define cpu_stl_mmuidx_ra    cpu_stl_be_mmuidx_ra
414b9e60257SRichard Henderson # define cpu_stq_mmuidx_ra    cpu_stq_be_mmuidx_ra
415f83bcecbSRichard Henderson # define cpu_stw_mmu          cpu_stw_be_mmu
416f83bcecbSRichard Henderson # define cpu_stl_mmu          cpu_stl_be_mmu
417f83bcecbSRichard Henderson # define cpu_stq_mmu          cpu_stq_be_mmu
418b9e60257SRichard Henderson #else
419b9e60257SRichard Henderson # define cpu_lduw_data        cpu_lduw_le_data
420b9e60257SRichard Henderson # define cpu_ldsw_data        cpu_ldsw_le_data
421b9e60257SRichard Henderson # define cpu_ldl_data         cpu_ldl_le_data
422b9e60257SRichard Henderson # define cpu_ldq_data         cpu_ldq_le_data
423b9e60257SRichard Henderson # define cpu_lduw_data_ra     cpu_lduw_le_data_ra
424b9e60257SRichard Henderson # define cpu_ldsw_data_ra     cpu_ldsw_le_data_ra
425b9e60257SRichard Henderson # define cpu_ldl_data_ra      cpu_ldl_le_data_ra
426b9e60257SRichard Henderson # define cpu_ldq_data_ra      cpu_ldq_le_data_ra
427b9e60257SRichard Henderson # define cpu_lduw_mmuidx_ra   cpu_lduw_le_mmuidx_ra
428b9e60257SRichard Henderson # define cpu_ldsw_mmuidx_ra   cpu_ldsw_le_mmuidx_ra
429b9e60257SRichard Henderson # define cpu_ldl_mmuidx_ra    cpu_ldl_le_mmuidx_ra
430b9e60257SRichard Henderson # define cpu_ldq_mmuidx_ra    cpu_ldq_le_mmuidx_ra
431f83bcecbSRichard Henderson # define cpu_ldw_mmu          cpu_ldw_le_mmu
432f83bcecbSRichard Henderson # define cpu_ldl_mmu          cpu_ldl_le_mmu
433f83bcecbSRichard Henderson # define cpu_ldq_mmu          cpu_ldq_le_mmu
434b9e60257SRichard Henderson # define cpu_stw_data         cpu_stw_le_data
435b9e60257SRichard Henderson # define cpu_stl_data         cpu_stl_le_data
436b9e60257SRichard Henderson # define cpu_stq_data         cpu_stq_le_data
437b9e60257SRichard Henderson # define cpu_stw_data_ra      cpu_stw_le_data_ra
438b9e60257SRichard Henderson # define cpu_stl_data_ra      cpu_stl_le_data_ra
439b9e60257SRichard Henderson # define cpu_stq_data_ra      cpu_stq_le_data_ra
440b9e60257SRichard Henderson # define cpu_stw_mmuidx_ra    cpu_stw_le_mmuidx_ra
441b9e60257SRichard Henderson # define cpu_stl_mmuidx_ra    cpu_stl_le_mmuidx_ra
442b9e60257SRichard Henderson # define cpu_stq_mmuidx_ra    cpu_stq_le_mmuidx_ra
443f83bcecbSRichard Henderson # define cpu_stw_mmu          cpu_stw_le_mmu
444f83bcecbSRichard Henderson # define cpu_stl_mmu          cpu_stl_le_mmu
445f83bcecbSRichard Henderson # define cpu_stq_mmu          cpu_stq_le_mmu
446b9e60257SRichard Henderson #endif
447b9e60257SRichard Henderson 
448fc4120a3SRichard Henderson uint32_t cpu_ldub_code(CPUArchState *env, abi_ptr addr);
449fc4120a3SRichard Henderson uint32_t cpu_lduw_code(CPUArchState *env, abi_ptr addr);
450fc4120a3SRichard Henderson uint32_t cpu_ldl_code(CPUArchState *env, abi_ptr addr);
451fc4120a3SRichard Henderson uint64_t cpu_ldq_code(CPUArchState *env, abi_ptr addr);
452c773828aSPaolo Bonzini 
453fc4120a3SRichard Henderson static inline int cpu_ldsb_code(CPUArchState *env, abi_ptr addr)
454fc4120a3SRichard Henderson {
455fc4120a3SRichard Henderson     return (int8_t)cpu_ldub_code(env, addr);
456fc4120a3SRichard Henderson }
457c773828aSPaolo Bonzini 
458fc4120a3SRichard Henderson static inline int cpu_ldsw_code(CPUArchState *env, abi_ptr addr)
459fc4120a3SRichard Henderson {
460fc4120a3SRichard Henderson     return (int16_t)cpu_lduw_code(env, addr);
461fc4120a3SRichard Henderson }
462c773828aSPaolo Bonzini 
463c773828aSPaolo Bonzini /**
464c773828aSPaolo Bonzini  * tlb_vaddr_to_host:
465c773828aSPaolo Bonzini  * @env: CPUArchState
466c773828aSPaolo Bonzini  * @addr: guest virtual address to look up
467c773828aSPaolo Bonzini  * @access_type: 0 for read, 1 for write, 2 for execute
468c773828aSPaolo Bonzini  * @mmu_idx: MMU index to use for lookup
469c773828aSPaolo Bonzini  *
470c773828aSPaolo Bonzini  * Look up the specified guest virtual index in the TCG softmmu TLB.
4714811e909SRichard Henderson  * If we can translate a host virtual address suitable for direct RAM
4724811e909SRichard Henderson  * access, without causing a guest exception, then return it.
4734811e909SRichard Henderson  * Otherwise (TLB entry is for an I/O access, guest software
4744811e909SRichard Henderson  * TLB fill required, etc) return NULL.
475c773828aSPaolo Bonzini  */
4764811e909SRichard Henderson #ifdef CONFIG_USER_ONLY
4773e23de15SLaurent Vivier static inline void *tlb_vaddr_to_host(CPUArchState *env, abi_ptr addr,
4784811e909SRichard Henderson                                       MMUAccessType access_type, int mmu_idx)
479c773828aSPaolo Bonzini {
4803e8f1628SRichard Henderson     return g2h(env_cpu(env), addr);
4814811e909SRichard Henderson }
4822e83c496SAurelien Jarno #else
4834811e909SRichard Henderson void *tlb_vaddr_to_host(CPUArchState *env, abi_ptr addr,
4844811e909SRichard Henderson                         MMUAccessType access_type, int mmu_idx);
4854811e909SRichard Henderson #endif
486c773828aSPaolo Bonzini 
487f08b6170SPaolo Bonzini #endif /* CPU_LDST_H */
488