1 /*
2 * Constants for memory operations
3 *
4 * Authors:
5 * Richard Henderson <rth@twiddle.net>
6 *
7 * This work is licensed under the terms of the GNU GPL, version 2 or later.
8 * See the COPYING file in the top-level directory.
9 *
10 */
11
12 #ifndef MEMOP_H
13 #define MEMOP_H
14
15 #include "qemu/host-utils.h"
16
17 typedef enum MemOp {
18 MO_8 = 0,
19 MO_16 = 1,
20 MO_32 = 2,
21 MO_64 = 3,
22 MO_128 = 4,
23 MO_256 = 5,
24 MO_512 = 6,
25 MO_1024 = 7,
26 MO_SIZE = 0x07, /* Mask for the above. */
27
28 MO_SIGN = 0x08, /* Sign-extended, otherwise zero-extended. */
29
30 MO_BSWAP = 0x10, /* Host reverse endian. */
31 #if HOST_BIG_ENDIAN
32 MO_LE = MO_BSWAP,
33 MO_BE = 0,
34 #else
35 MO_LE = 0,
36 MO_BE = MO_BSWAP,
37 #endif
38 #ifdef COMPILING_PER_TARGET
39 #if TARGET_BIG_ENDIAN
40 MO_TE = MO_BE,
41 #else
42 MO_TE = MO_LE,
43 #endif
44 #endif
45
46 /*
47 * MO_UNALN accesses are never checked for alignment.
48 * MO_ALIGN accesses will result in a call to the CPU's
49 * do_unaligned_access hook if the guest address is not aligned.
50 *
51 * Some architectures (e.g. ARMv8) need the address which is aligned
52 * to a size more than the size of the memory access.
53 * Some architectures (e.g. SPARCv9) need an address which is aligned,
54 * but less strictly than the natural alignment.
55 *
56 * MO_ALIGN supposes the alignment size is the size of a memory access.
57 *
58 * There are three options:
59 * - unaligned access permitted (MO_UNALN).
60 * - an alignment to the size of an access (MO_ALIGN);
61 * - an alignment to a specified size, which may be more or less than
62 * the access size (MO_ALIGN_x where 'x' is a size in bytes);
63 */
64 MO_ASHIFT = 5,
65 MO_AMASK = 0x7 << MO_ASHIFT,
66 MO_UNALN = 0,
67 MO_ALIGN_2 = 1 << MO_ASHIFT,
68 MO_ALIGN_4 = 2 << MO_ASHIFT,
69 MO_ALIGN_8 = 3 << MO_ASHIFT,
70 MO_ALIGN_16 = 4 << MO_ASHIFT,
71 MO_ALIGN_32 = 5 << MO_ASHIFT,
72 MO_ALIGN_64 = 6 << MO_ASHIFT,
73 MO_ALIGN = MO_AMASK,
74
75 /*
76 * MO_ATOM_* describes the atomicity requirements of the operation:
77 * MO_ATOM_IFALIGN: the operation must be single-copy atomic if it
78 * is aligned; if unaligned there is no atomicity.
79 * MO_ATOM_IFALIGN_PAIR: the entire operation may be considered to
80 * be a pair of half-sized operations which are packed together
81 * for convenience, with single-copy atomicity on each half if
82 * the half is aligned.
83 * This is the atomicity e.g. of Arm pre-FEAT_LSE2 LDP.
84 * MO_ATOM_WITHIN16: the operation is single-copy atomic, even if it
85 * is unaligned, so long as it does not cross a 16-byte boundary;
86 * if it crosses a 16-byte boundary there is no atomicity.
87 * This is the atomicity e.g. of Arm FEAT_LSE2 LDR.
88 * MO_ATOM_WITHIN16_PAIR: the entire operation is single-copy atomic,
89 * if it happens to be within a 16-byte boundary, otherwise it
90 * devolves to a pair of half-sized MO_ATOM_WITHIN16 operations.
91 * Depending on alignment, one or both will be single-copy atomic.
92 * This is the atomicity e.g. of Arm FEAT_LSE2 LDP.
93 * MO_ATOM_SUBALIGN: the operation is single-copy atomic by parts
94 * by the alignment. E.g. if the address is 0 mod 4, then each
95 * 4-byte subobject is single-copy atomic.
96 * This is the atomicity e.g. of IBM Power.
97 * MO_ATOM_NONE: the operation has no atomicity requirements.
98 *
99 * Note the default (i.e. 0) value is single-copy atomic to the
100 * size of the operation, if aligned. This retains the behaviour
101 * from before this field was introduced.
102 */
103 MO_ATOM_SHIFT = 8,
104 MO_ATOM_IFALIGN = 0 << MO_ATOM_SHIFT,
105 MO_ATOM_IFALIGN_PAIR = 1 << MO_ATOM_SHIFT,
106 MO_ATOM_WITHIN16 = 2 << MO_ATOM_SHIFT,
107 MO_ATOM_WITHIN16_PAIR = 3 << MO_ATOM_SHIFT,
108 MO_ATOM_SUBALIGN = 4 << MO_ATOM_SHIFT,
109 MO_ATOM_NONE = 5 << MO_ATOM_SHIFT,
110 MO_ATOM_MASK = 7 << MO_ATOM_SHIFT,
111
112 /* Combinations of the above, for ease of use. */
113 MO_UB = MO_8,
114 MO_UW = MO_16,
115 MO_UL = MO_32,
116 MO_UQ = MO_64,
117 MO_UO = MO_128,
118 MO_SB = MO_SIGN | MO_8,
119 MO_SW = MO_SIGN | MO_16,
120 MO_SL = MO_SIGN | MO_32,
121 MO_SQ = MO_SIGN | MO_64,
122 MO_SO = MO_SIGN | MO_128,
123
124 MO_LEUW = MO_LE | MO_UW,
125 MO_LEUL = MO_LE | MO_UL,
126 MO_LEUQ = MO_LE | MO_UQ,
127 MO_LESW = MO_LE | MO_SW,
128 MO_LESL = MO_LE | MO_SL,
129 MO_LESQ = MO_LE | MO_SQ,
130
131 MO_BEUW = MO_BE | MO_UW,
132 MO_BEUL = MO_BE | MO_UL,
133 MO_BEUQ = MO_BE | MO_UQ,
134 MO_BESW = MO_BE | MO_SW,
135 MO_BESL = MO_BE | MO_SL,
136 MO_BESQ = MO_BE | MO_SQ,
137
138 #ifdef COMPILING_PER_TARGET
139 MO_TEUW = MO_TE | MO_UW,
140 MO_TEUL = MO_TE | MO_UL,
141 MO_TEUQ = MO_TE | MO_UQ,
142 MO_TEUO = MO_TE | MO_UO,
143 MO_TESW = MO_TE | MO_SW,
144 MO_TESL = MO_TE | MO_SL,
145 MO_TESQ = MO_TE | MO_SQ,
146 #endif
147
148 MO_SSIZE = MO_SIZE | MO_SIGN,
149 } MemOp;
150
151 /* MemOp to size in bytes. */
memop_size(MemOp op)152 static inline unsigned memop_size(MemOp op)
153 {
154 return 1 << (op & MO_SIZE);
155 }
156
157 /* Size in bytes to MemOp. */
size_memop(unsigned size)158 static inline MemOp size_memop(unsigned size)
159 {
160 #ifdef CONFIG_DEBUG_TCG
161 /* Power of 2 up to 8. */
162 assert((size & (size - 1)) == 0 && size >= 1 && size <= 8);
163 #endif
164 return (MemOp)ctz32(size);
165 }
166
167 /**
168 * memop_alignment_bits:
169 * @memop: MemOp value
170 *
171 * Extract the alignment size from the memop.
172 */
memop_alignment_bits(MemOp memop)173 static inline unsigned memop_alignment_bits(MemOp memop)
174 {
175 unsigned a = memop & MO_AMASK;
176
177 if (a == MO_UNALN) {
178 /* No alignment required. */
179 a = 0;
180 } else if (a == MO_ALIGN) {
181 /* A natural alignment requirement. */
182 a = memop & MO_SIZE;
183 } else {
184 /* A specific alignment requirement. */
185 a = a >> MO_ASHIFT;
186 }
187 return a;
188 }
189
190 /*
191 * memop_atomicity_bits:
192 * @memop: MemOp value
193 *
194 * Extract the atomicity size from the memop.
195 */
memop_atomicity_bits(MemOp memop)196 static inline unsigned memop_atomicity_bits(MemOp memop)
197 {
198 unsigned size = memop & MO_SIZE;
199
200 switch (memop & MO_ATOM_MASK) {
201 case MO_ATOM_NONE:
202 size = MO_8;
203 break;
204 case MO_ATOM_IFALIGN_PAIR:
205 case MO_ATOM_WITHIN16_PAIR:
206 size = size ? size - 1 : 0;
207 break;
208 default:
209 break;
210 }
211 return size;
212 }
213
214 #endif
215