xref: /openbmc/qemu/include/exec/cpu_ldst.h (revision 71bce0e1fb1a866dde4a4b6016fc18b09f317338)
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é 
69f83bcecbSRichard Henderson #include "exec/memopidx.h"
70471558cbSPhilippe Mathieu-Daudé #include "exec/abi_ptr.h"
719c1283ddSPhilippe Mathieu-Daudé #include "exec/mmu-access-type.h"
72b4c8f3d4SRichard Henderson #include "qemu/int128.h"
73f83bcecbSRichard Henderson 
74c773828aSPaolo Bonzini #if defined(CONFIG_USER_ONLY)
753e23de15SLaurent Vivier 
7616aa8eaaSPhilippe Mathieu-Daudé #include "user/guest-base.h"
7716aa8eaaSPhilippe Mathieu-Daudé 
78141a56d8SRichard Henderson #ifndef TARGET_TAGGED_ADDRESSES
cpu_untagged_addr(CPUState * cs,abi_ptr x)79141a56d8SRichard Henderson static inline abi_ptr cpu_untagged_addr(CPUState *cs, abi_ptr x)
80141a56d8SRichard Henderson {
81141a56d8SRichard Henderson     return x;
82141a56d8SRichard Henderson }
83141a56d8SRichard Henderson #endif
84141a56d8SRichard Henderson 
85c773828aSPaolo Bonzini /* All direct uses of g2h and h2g need to go away for usermode softmmu.  */
g2h_untagged(abi_ptr x)863e8f1628SRichard Henderson static inline void *g2h_untagged(abi_ptr x)
873e8f1628SRichard Henderson {
883e8f1628SRichard Henderson     return (void *)((uintptr_t)(x) + guest_base);
893e8f1628SRichard Henderson }
903e8f1628SRichard Henderson 
g2h(CPUState * cs,abi_ptr x)913e8f1628SRichard Henderson static inline void *g2h(CPUState *cs, abi_ptr x)
923e8f1628SRichard Henderson {
933e8f1628SRichard Henderson     return g2h_untagged(cpu_untagged_addr(cs, x));
943e8f1628SRichard Henderson }
95c773828aSPaolo Bonzini 
guest_addr_valid_untagged(abi_ulong x)9646b12f46SRichard Henderson static inline bool guest_addr_valid_untagged(abi_ulong x)
97a78a6363SRichard Henderson {
98a78a6363SRichard Henderson     return x <= GUEST_ADDR_MAX;
99a78a6363SRichard Henderson }
100ebf9a363SMax Filippov 
guest_range_valid_untagged(abi_ulong start,abi_ulong len)10146b12f46SRichard Henderson static inline bool guest_range_valid_untagged(abi_ulong start, abi_ulong len)
102ebf9a363SMax Filippov {
103ebf9a363SMax Filippov     return len - 1 <= GUEST_ADDR_MAX && start <= GUEST_ADDR_MAX - len + 1;
104ebf9a363SMax Filippov }
105f08b6170SPaolo Bonzini 
10657096f29SRichard Henderson #define h2g_valid(x) \
10757096f29SRichard Henderson     (HOST_LONG_BITS <= TARGET_VIRT_ADDR_SPACE_BITS || \
10857096f29SRichard Henderson      (uintptr_t)(x) - guest_base <= GUEST_ADDR_MAX)
10957096f29SRichard Henderson 
110c773828aSPaolo Bonzini #define h2g_nocheck(x) ({ \
1119abf09ffSRichard Henderson     uintptr_t __ret = (uintptr_t)(x) - guest_base; \
1123e23de15SLaurent Vivier     (abi_ptr)__ret; \
113c773828aSPaolo Bonzini })
114c773828aSPaolo Bonzini 
115c773828aSPaolo Bonzini #define h2g(x) ({ \
116c773828aSPaolo Bonzini     /* Check if given address fits target address space */ \
117c773828aSPaolo Bonzini     assert(h2g_valid(x)); \
118c773828aSPaolo Bonzini     h2g_nocheck(x); \
119c773828aSPaolo Bonzini })
120471558cbSPhilippe Mathieu-Daudé 
121471558cbSPhilippe Mathieu-Daudé #endif /* CONFIG_USER_ONLY */
122c773828aSPaolo Bonzini 
123ed4cfbcdSRichard Henderson uint32_t cpu_ldub_data(CPUArchState *env, abi_ptr ptr);
124ed4cfbcdSRichard Henderson int cpu_ldsb_data(CPUArchState *env, abi_ptr ptr);
125b9e60257SRichard Henderson uint32_t cpu_lduw_be_data(CPUArchState *env, abi_ptr ptr);
126b9e60257SRichard Henderson int cpu_ldsw_be_data(CPUArchState *env, abi_ptr ptr);
127b9e60257SRichard Henderson uint32_t cpu_ldl_be_data(CPUArchState *env, abi_ptr ptr);
128b9e60257SRichard Henderson uint64_t cpu_ldq_be_data(CPUArchState *env, abi_ptr ptr);
129b9e60257SRichard Henderson uint32_t cpu_lduw_le_data(CPUArchState *env, abi_ptr ptr);
130b9e60257SRichard Henderson int cpu_ldsw_le_data(CPUArchState *env, abi_ptr ptr);
131b9e60257SRichard Henderson uint32_t cpu_ldl_le_data(CPUArchState *env, abi_ptr ptr);
132b9e60257SRichard Henderson uint64_t cpu_ldq_le_data(CPUArchState *env, abi_ptr ptr);
133b9e60257SRichard Henderson 
134b9e60257SRichard Henderson uint32_t cpu_ldub_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
135b9e60257SRichard Henderson int cpu_ldsb_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
136b9e60257SRichard Henderson uint32_t cpu_lduw_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
137b9e60257SRichard Henderson int cpu_ldsw_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
138b9e60257SRichard Henderson uint32_t cpu_ldl_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
139b9e60257SRichard Henderson uint64_t cpu_ldq_be_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
140b9e60257SRichard Henderson uint32_t cpu_lduw_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
141b9e60257SRichard Henderson int cpu_ldsw_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
142b9e60257SRichard Henderson uint32_t cpu_ldl_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
143b9e60257SRichard Henderson uint64_t cpu_ldq_le_data_ra(CPUArchState *env, abi_ptr ptr, uintptr_t ra);
144c773828aSPaolo Bonzini 
145ed4cfbcdSRichard Henderson void cpu_stb_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
146b9e60257SRichard Henderson void cpu_stw_be_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
147b9e60257SRichard Henderson void cpu_stl_be_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
148b9e60257SRichard Henderson void cpu_stq_be_data(CPUArchState *env, abi_ptr ptr, uint64_t val);
149b9e60257SRichard Henderson void cpu_stw_le_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
150b9e60257SRichard Henderson void cpu_stl_le_data(CPUArchState *env, abi_ptr ptr, uint32_t val);
151b9e60257SRichard Henderson void cpu_stq_le_data(CPUArchState *env, abi_ptr ptr, uint64_t val);
152c773828aSPaolo Bonzini 
153ed4cfbcdSRichard Henderson void cpu_stb_data_ra(CPUArchState *env, abi_ptr ptr,
154b9e60257SRichard Henderson                      uint32_t val, uintptr_t ra);
155b9e60257SRichard Henderson void cpu_stw_be_data_ra(CPUArchState *env, abi_ptr ptr,
156b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
157b9e60257SRichard Henderson void cpu_stl_be_data_ra(CPUArchState *env, abi_ptr ptr,
158b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
159b9e60257SRichard Henderson void cpu_stq_be_data_ra(CPUArchState *env, abi_ptr ptr,
160b9e60257SRichard Henderson                         uint64_t val, uintptr_t ra);
161b9e60257SRichard Henderson void cpu_stw_le_data_ra(CPUArchState *env, abi_ptr ptr,
162b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
163b9e60257SRichard Henderson void cpu_stl_le_data_ra(CPUArchState *env, abi_ptr ptr,
164b9e60257SRichard Henderson                         uint32_t val, uintptr_t ra);
165b9e60257SRichard Henderson void cpu_stq_le_data_ra(CPUArchState *env, abi_ptr ptr,
166b9e60257SRichard Henderson                         uint64_t val, uintptr_t ra);
167c773828aSPaolo Bonzini 
168f83bcecbSRichard Henderson uint32_t cpu_ldub_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
169f83bcecbSRichard Henderson                             int mmu_idx, uintptr_t ra);
170f83bcecbSRichard Henderson int cpu_ldsb_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
171f83bcecbSRichard Henderson                        int mmu_idx, uintptr_t ra);
172f83bcecbSRichard Henderson uint32_t cpu_lduw_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
173f83bcecbSRichard Henderson                                int mmu_idx, uintptr_t ra);
174f83bcecbSRichard Henderson int cpu_ldsw_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
175f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
176f83bcecbSRichard Henderson uint32_t cpu_ldl_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
177f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
178f83bcecbSRichard Henderson uint64_t cpu_ldq_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
179f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
180f83bcecbSRichard Henderson uint32_t cpu_lduw_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
181f83bcecbSRichard Henderson                                int mmu_idx, uintptr_t ra);
182f83bcecbSRichard Henderson int cpu_ldsw_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
183f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
184f83bcecbSRichard Henderson uint32_t cpu_ldl_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
185f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
186f83bcecbSRichard Henderson uint64_t cpu_ldq_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr,
187f83bcecbSRichard Henderson                               int mmu_idx, uintptr_t ra);
188f83bcecbSRichard Henderson 
189f83bcecbSRichard Henderson void cpu_stb_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
190f83bcecbSRichard Henderson                        int mmu_idx, uintptr_t ra);
191f83bcecbSRichard Henderson void cpu_stw_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
192f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
193f83bcecbSRichard Henderson void cpu_stl_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
194f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
195f83bcecbSRichard Henderson void cpu_stq_be_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint64_t val,
196f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
197f83bcecbSRichard Henderson void cpu_stw_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
198f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
199f83bcecbSRichard Henderson void cpu_stl_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint32_t val,
200f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
201f83bcecbSRichard Henderson void cpu_stq_le_mmuidx_ra(CPUArchState *env, abi_ptr ptr, uint64_t val,
202f83bcecbSRichard Henderson                           int mmu_idx, uintptr_t ra);
203f83bcecbSRichard Henderson 
204f83bcecbSRichard Henderson uint8_t cpu_ldb_mmu(CPUArchState *env, abi_ptr ptr, MemOpIdx oi, uintptr_t ra);
205fbea7a40SRichard Henderson uint16_t cpu_ldw_mmu(CPUArchState *env, abi_ptr ptr, MemOpIdx oi, uintptr_t ra);
206fbea7a40SRichard Henderson uint32_t cpu_ldl_mmu(CPUArchState *env, abi_ptr ptr, MemOpIdx oi, uintptr_t ra);
207fbea7a40SRichard Henderson uint64_t cpu_ldq_mmu(CPUArchState *env, abi_ptr ptr, MemOpIdx oi, uintptr_t ra);
208fbea7a40SRichard Henderson Int128 cpu_ld16_mmu(CPUArchState *env, abi_ptr addr, MemOpIdx oi, uintptr_t ra);
209cb48f365SRichard Henderson 
210f83bcecbSRichard Henderson void cpu_stb_mmu(CPUArchState *env, abi_ptr ptr, uint8_t val,
211f83bcecbSRichard Henderson                  MemOpIdx oi, uintptr_t ra);
212fbea7a40SRichard Henderson void cpu_stw_mmu(CPUArchState *env, abi_ptr ptr, uint16_t val,
213f83bcecbSRichard Henderson                  MemOpIdx oi, uintptr_t ra);
214fbea7a40SRichard Henderson void cpu_stl_mmu(CPUArchState *env, abi_ptr ptr, uint32_t val,
215f83bcecbSRichard Henderson                  MemOpIdx oi, uintptr_t ra);
216fbea7a40SRichard Henderson void cpu_stq_mmu(CPUArchState *env, abi_ptr ptr, uint64_t val,
217f83bcecbSRichard Henderson                  MemOpIdx oi, uintptr_t ra);
218fbea7a40SRichard Henderson void cpu_st16_mmu(CPUArchState *env, abi_ptr addr, Int128 val,
219cb48f365SRichard Henderson                   MemOpIdx oi, uintptr_t ra);
220cb48f365SRichard Henderson 
221022b9bceSAnton Johansson uint32_t cpu_atomic_cmpxchgb_mmu(CPUArchState *env, abi_ptr addr,
222b4c8f3d4SRichard Henderson                                  uint32_t cmpv, uint32_t newv,
223b4c8f3d4SRichard Henderson                                  MemOpIdx oi, uintptr_t retaddr);
224022b9bceSAnton Johansson uint32_t cpu_atomic_cmpxchgw_le_mmu(CPUArchState *env, abi_ptr addr,
225b4c8f3d4SRichard Henderson                                     uint32_t cmpv, uint32_t newv,
226b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
227022b9bceSAnton Johansson uint32_t cpu_atomic_cmpxchgl_le_mmu(CPUArchState *env, abi_ptr addr,
228b4c8f3d4SRichard Henderson                                     uint32_t cmpv, uint32_t newv,
229b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
230022b9bceSAnton Johansson uint64_t cpu_atomic_cmpxchgq_le_mmu(CPUArchState *env, abi_ptr addr,
231b4c8f3d4SRichard Henderson                                     uint64_t cmpv, uint64_t newv,
232b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
233022b9bceSAnton Johansson uint32_t cpu_atomic_cmpxchgw_be_mmu(CPUArchState *env, abi_ptr addr,
234b4c8f3d4SRichard Henderson                                     uint32_t cmpv, uint32_t newv,
235b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
236022b9bceSAnton Johansson uint32_t cpu_atomic_cmpxchgl_be_mmu(CPUArchState *env, abi_ptr addr,
237b4c8f3d4SRichard Henderson                                     uint32_t cmpv, uint32_t newv,
238b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
239022b9bceSAnton Johansson uint64_t cpu_atomic_cmpxchgq_be_mmu(CPUArchState *env, abi_ptr addr,
240b4c8f3d4SRichard Henderson                                     uint64_t cmpv, uint64_t newv,
241b4c8f3d4SRichard Henderson                                     MemOpIdx oi, uintptr_t retaddr);
242b4c8f3d4SRichard Henderson 
243b4c8f3d4SRichard Henderson #define GEN_ATOMIC_HELPER(NAME, TYPE, SUFFIX)   \
244b4c8f3d4SRichard Henderson TYPE cpu_atomic_ ## NAME ## SUFFIX ## _mmu      \
245022b9bceSAnton Johansson     (CPUArchState *env, abi_ptr addr, TYPE val, \
246b4c8f3d4SRichard Henderson      MemOpIdx oi, uintptr_t retaddr);
247b4c8f3d4SRichard Henderson 
248b4c8f3d4SRichard Henderson #ifdef CONFIG_ATOMIC64
249b4c8f3d4SRichard Henderson #define GEN_ATOMIC_HELPER_ALL(NAME)          \
250b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, b)     \
251b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, w_le)  \
252b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, w_be)  \
253b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, l_le)  \
254b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, l_be)  \
255b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint64_t, q_le)  \
256b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint64_t, q_be)
257b4c8f3d4SRichard Henderson #else
258b4c8f3d4SRichard Henderson #define GEN_ATOMIC_HELPER_ALL(NAME)          \
259b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, b)     \
260b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, w_le)  \
261b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, w_be)  \
262b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, l_le)  \
263b4c8f3d4SRichard Henderson     GEN_ATOMIC_HELPER(NAME, uint32_t, l_be)
264b4c8f3d4SRichard Henderson #endif
265b4c8f3d4SRichard Henderson 
266b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_add)
267b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_sub)
268b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_and)
269b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_or)
270b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_xor)
271b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_smin)
272b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_umin)
273b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_smax)
274b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(fetch_umax)
275b4c8f3d4SRichard Henderson 
276b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(add_fetch)
277b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(sub_fetch)
278b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(and_fetch)
279b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(or_fetch)
280b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(xor_fetch)
281b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(smin_fetch)
282b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(umin_fetch)
283b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(smax_fetch)
284b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(umax_fetch)
285b4c8f3d4SRichard Henderson 
286b4c8f3d4SRichard Henderson GEN_ATOMIC_HELPER_ALL(xchg)
287b4c8f3d4SRichard Henderson 
288b4c8f3d4SRichard Henderson #undef GEN_ATOMIC_HELPER_ALL
289b4c8f3d4SRichard Henderson #undef GEN_ATOMIC_HELPER
290b4c8f3d4SRichard Henderson 
291022b9bceSAnton Johansson Int128 cpu_atomic_cmpxchgo_le_mmu(CPUArchState *env, abi_ptr addr,
292b4c8f3d4SRichard Henderson                                   Int128 cmpv, Int128 newv,
293b4c8f3d4SRichard Henderson                                   MemOpIdx oi, uintptr_t retaddr);
294022b9bceSAnton Johansson Int128 cpu_atomic_cmpxchgo_be_mmu(CPUArchState *env, abi_ptr addr,
295b4c8f3d4SRichard Henderson                                   Int128 cmpv, Int128 newv,
296b4c8f3d4SRichard Henderson                                   MemOpIdx oi, uintptr_t retaddr);
297b4c8f3d4SRichard Henderson 
298ee3eb3a7SMarc-André Lureau #if TARGET_BIG_ENDIAN
299b9e60257SRichard Henderson # define cpu_lduw_data        cpu_lduw_be_data
300b9e60257SRichard Henderson # define cpu_ldsw_data        cpu_ldsw_be_data
301b9e60257SRichard Henderson # define cpu_ldl_data         cpu_ldl_be_data
302b9e60257SRichard Henderson # define cpu_ldq_data         cpu_ldq_be_data
303b9e60257SRichard Henderson # define cpu_lduw_data_ra     cpu_lduw_be_data_ra
304b9e60257SRichard Henderson # define cpu_ldsw_data_ra     cpu_ldsw_be_data_ra
305b9e60257SRichard Henderson # define cpu_ldl_data_ra      cpu_ldl_be_data_ra
306b9e60257SRichard Henderson # define cpu_ldq_data_ra      cpu_ldq_be_data_ra
307b9e60257SRichard Henderson # define cpu_lduw_mmuidx_ra   cpu_lduw_be_mmuidx_ra
308b9e60257SRichard Henderson # define cpu_ldsw_mmuidx_ra   cpu_ldsw_be_mmuidx_ra
309b9e60257SRichard Henderson # define cpu_ldl_mmuidx_ra    cpu_ldl_be_mmuidx_ra
310b9e60257SRichard Henderson # define cpu_ldq_mmuidx_ra    cpu_ldq_be_mmuidx_ra
311b9e60257SRichard Henderson # define cpu_stw_data         cpu_stw_be_data
312b9e60257SRichard Henderson # define cpu_stl_data         cpu_stl_be_data
313b9e60257SRichard Henderson # define cpu_stq_data         cpu_stq_be_data
314b9e60257SRichard Henderson # define cpu_stw_data_ra      cpu_stw_be_data_ra
315b9e60257SRichard Henderson # define cpu_stl_data_ra      cpu_stl_be_data_ra
316b9e60257SRichard Henderson # define cpu_stq_data_ra      cpu_stq_be_data_ra
317b9e60257SRichard Henderson # define cpu_stw_mmuidx_ra    cpu_stw_be_mmuidx_ra
318b9e60257SRichard Henderson # define cpu_stl_mmuidx_ra    cpu_stl_be_mmuidx_ra
319b9e60257SRichard Henderson # define cpu_stq_mmuidx_ra    cpu_stq_be_mmuidx_ra
320b9e60257SRichard Henderson #else
321b9e60257SRichard Henderson # define cpu_lduw_data        cpu_lduw_le_data
322b9e60257SRichard Henderson # define cpu_ldsw_data        cpu_ldsw_le_data
323b9e60257SRichard Henderson # define cpu_ldl_data         cpu_ldl_le_data
324b9e60257SRichard Henderson # define cpu_ldq_data         cpu_ldq_le_data
325b9e60257SRichard Henderson # define cpu_lduw_data_ra     cpu_lduw_le_data_ra
326b9e60257SRichard Henderson # define cpu_ldsw_data_ra     cpu_ldsw_le_data_ra
327b9e60257SRichard Henderson # define cpu_ldl_data_ra      cpu_ldl_le_data_ra
328b9e60257SRichard Henderson # define cpu_ldq_data_ra      cpu_ldq_le_data_ra
329b9e60257SRichard Henderson # define cpu_lduw_mmuidx_ra   cpu_lduw_le_mmuidx_ra
330b9e60257SRichard Henderson # define cpu_ldsw_mmuidx_ra   cpu_ldsw_le_mmuidx_ra
331b9e60257SRichard Henderson # define cpu_ldl_mmuidx_ra    cpu_ldl_le_mmuidx_ra
332b9e60257SRichard Henderson # define cpu_ldq_mmuidx_ra    cpu_ldq_le_mmuidx_ra
333b9e60257SRichard Henderson # define cpu_stw_data         cpu_stw_le_data
334b9e60257SRichard Henderson # define cpu_stl_data         cpu_stl_le_data
335b9e60257SRichard Henderson # define cpu_stq_data         cpu_stq_le_data
336b9e60257SRichard Henderson # define cpu_stw_data_ra      cpu_stw_le_data_ra
337b9e60257SRichard Henderson # define cpu_stl_data_ra      cpu_stl_le_data_ra
338b9e60257SRichard Henderson # define cpu_stq_data_ra      cpu_stq_le_data_ra
339b9e60257SRichard Henderson # define cpu_stw_mmuidx_ra    cpu_stw_le_mmuidx_ra
340b9e60257SRichard Henderson # define cpu_stl_mmuidx_ra    cpu_stl_le_mmuidx_ra
341b9e60257SRichard Henderson # define cpu_stq_mmuidx_ra    cpu_stq_le_mmuidx_ra
342b9e60257SRichard Henderson #endif
343b9e60257SRichard Henderson 
34428990626SRichard Henderson uint8_t cpu_ldb_code_mmu(CPUArchState *env, abi_ptr addr,
34528990626SRichard Henderson                          MemOpIdx oi, uintptr_t ra);
34628990626SRichard Henderson uint16_t cpu_ldw_code_mmu(CPUArchState *env, abi_ptr addr,
34728990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra);
34828990626SRichard Henderson uint32_t cpu_ldl_code_mmu(CPUArchState *env, abi_ptr addr,
34928990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra);
35028990626SRichard Henderson uint64_t cpu_ldq_code_mmu(CPUArchState *env, abi_ptr addr,
35128990626SRichard Henderson                           MemOpIdx oi, uintptr_t ra);
35228990626SRichard Henderson 
353fc4120a3SRichard Henderson uint32_t cpu_ldub_code(CPUArchState *env, abi_ptr addr);
354fc4120a3SRichard Henderson uint32_t cpu_lduw_code(CPUArchState *env, abi_ptr addr);
355fc4120a3SRichard Henderson uint32_t cpu_ldl_code(CPUArchState *env, abi_ptr addr);
356fc4120a3SRichard Henderson uint64_t cpu_ldq_code(CPUArchState *env, abi_ptr addr);
357c773828aSPaolo Bonzini 
358c773828aSPaolo Bonzini /**
359c773828aSPaolo Bonzini  * tlb_vaddr_to_host:
360c773828aSPaolo Bonzini  * @env: CPUArchState
361c773828aSPaolo Bonzini  * @addr: guest virtual address to look up
362c773828aSPaolo Bonzini  * @access_type: 0 for read, 1 for write, 2 for execute
363c773828aSPaolo Bonzini  * @mmu_idx: MMU index to use for lookup
364c773828aSPaolo Bonzini  *
365c773828aSPaolo Bonzini  * Look up the specified guest virtual index in the TCG softmmu TLB.
3664811e909SRichard Henderson  * If we can translate a host virtual address suitable for direct RAM
3674811e909SRichard Henderson  * access, without causing a guest exception, then return it.
3684811e909SRichard Henderson  * Otherwise (TLB entry is for an I/O access, guest software
3694811e909SRichard Henderson  * TLB fill required, etc) return NULL.
370c773828aSPaolo Bonzini  */
3714811e909SRichard Henderson #ifdef CONFIG_USER_ONLY
tlb_vaddr_to_host(CPUArchState * env,abi_ptr addr,MMUAccessType access_type,int mmu_idx)3723e23de15SLaurent Vivier static inline void *tlb_vaddr_to_host(CPUArchState *env, abi_ptr addr,
3734811e909SRichard Henderson                                       MMUAccessType access_type, int mmu_idx)
374c773828aSPaolo Bonzini {
3753e8f1628SRichard Henderson     return g2h(env_cpu(env), addr);
3764811e909SRichard Henderson }
3772e83c496SAurelien Jarno #else
3784811e909SRichard Henderson void *tlb_vaddr_to_host(CPUArchState *env, abi_ptr addr,
3794811e909SRichard Henderson                         MMUAccessType access_type, int mmu_idx);
3804811e909SRichard Henderson #endif
381c773828aSPaolo Bonzini 
382*3d75856dSRichard Henderson /*
383*3d75856dSRichard Henderson  * For user-only, helpers that use guest to host address translation
384*3d75856dSRichard Henderson  * must protect the actual host memory access by recording 'retaddr'
385*3d75856dSRichard Henderson  * for the signal handler.  This is required for a race condition in
386*3d75856dSRichard Henderson  * which another thread unmaps the page between a probe and the
387*3d75856dSRichard Henderson  * actual access.
388*3d75856dSRichard Henderson  */
389*3d75856dSRichard Henderson #ifdef CONFIG_USER_ONLY
390*3d75856dSRichard Henderson extern __thread uintptr_t helper_retaddr;
391*3d75856dSRichard Henderson 
set_helper_retaddr(uintptr_t ra)392*3d75856dSRichard Henderson static inline void set_helper_retaddr(uintptr_t ra)
393*3d75856dSRichard Henderson {
394*3d75856dSRichard Henderson     helper_retaddr = ra;
395*3d75856dSRichard Henderson     /*
396*3d75856dSRichard Henderson      * Ensure that this write is visible to the SIGSEGV handler that
397*3d75856dSRichard Henderson      * may be invoked due to a subsequent invalid memory operation.
398*3d75856dSRichard Henderson      */
399*3d75856dSRichard Henderson     signal_barrier();
400*3d75856dSRichard Henderson }
401*3d75856dSRichard Henderson 
clear_helper_retaddr(void)402*3d75856dSRichard Henderson static inline void clear_helper_retaddr(void)
403*3d75856dSRichard Henderson {
404*3d75856dSRichard Henderson     /*
405*3d75856dSRichard Henderson      * Ensure that previous memory operations have succeeded before
406*3d75856dSRichard Henderson      * removing the data visible to the signal handler.
407*3d75856dSRichard Henderson      */
408*3d75856dSRichard Henderson     signal_barrier();
409*3d75856dSRichard Henderson     helper_retaddr = 0;
410*3d75856dSRichard Henderson }
411*3d75856dSRichard Henderson #else
412*3d75856dSRichard Henderson #define set_helper_retaddr(ra)   do { } while (0)
413*3d75856dSRichard Henderson #define clear_helper_retaddr()   do { } while (0)
414*3d75856dSRichard Henderson #endif
415*3d75856dSRichard Henderson 
416f08b6170SPaolo Bonzini #endif /* CPU_LDST_H */
417