xref: /qemu/target/arm/tcg/mte_helper.c (revision cd6174843b0896c9e57176159b38ecba45bade0e)
1da54941fSRichard Henderson /*
2da54941fSRichard Henderson  * ARM v8.5-MemTag Operations
3da54941fSRichard Henderson  *
4da54941fSRichard Henderson  * Copyright (c) 2020 Linaro, Ltd.
5da54941fSRichard Henderson  *
6da54941fSRichard Henderson  * This library is free software; you can redistribute it and/or
7da54941fSRichard Henderson  * modify it under the terms of the GNU Lesser General Public
8da54941fSRichard Henderson  * License as published by the Free Software Foundation; either
9da54941fSRichard Henderson  * version 2.1 of the License, or (at your option) any later version.
10da54941fSRichard Henderson  *
11da54941fSRichard Henderson  * This library is distributed in the hope that it will be useful,
12da54941fSRichard Henderson  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13da54941fSRichard Henderson  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14da54941fSRichard Henderson  * Lesser General Public License for more details.
15da54941fSRichard Henderson  *
16da54941fSRichard Henderson  * You should have received a copy of the GNU Lesser General Public
17da54941fSRichard Henderson  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18da54941fSRichard Henderson  */
19da54941fSRichard Henderson 
20da54941fSRichard Henderson #include "qemu/osdep.h"
21*cd617484SPhilippe Mathieu-Daudé #include "qemu/log.h"
22da54941fSRichard Henderson #include "cpu.h"
23da54941fSRichard Henderson #include "internals.h"
24da54941fSRichard Henderson #include "exec/exec-all.h"
25e4d5bf4fSRichard Henderson #include "exec/ram_addr.h"
26da54941fSRichard Henderson #include "exec/cpu_ldst.h"
27da54941fSRichard Henderson #include "exec/helper-proto.h"
28d4f6dda1SRichard Henderson #include "qapi/error.h"
29d4f6dda1SRichard Henderson #include "qemu/guest-random.h"
30da54941fSRichard Henderson 
31da54941fSRichard Henderson 
32da54941fSRichard Henderson static int choose_nonexcluded_tag(int tag, int offset, uint16_t exclude)
33da54941fSRichard Henderson {
34da54941fSRichard Henderson     if (exclude == 0xffff) {
35da54941fSRichard Henderson         return 0;
36da54941fSRichard Henderson     }
37da54941fSRichard Henderson     if (offset == 0) {
38da54941fSRichard Henderson         while (exclude & (1 << tag)) {
39da54941fSRichard Henderson             tag = (tag + 1) & 15;
40da54941fSRichard Henderson         }
41da54941fSRichard Henderson     } else {
42da54941fSRichard Henderson         do {
43da54941fSRichard Henderson             do {
44da54941fSRichard Henderson                 tag = (tag + 1) & 15;
45da54941fSRichard Henderson             } while (exclude & (1 << tag));
46da54941fSRichard Henderson         } while (--offset > 0);
47da54941fSRichard Henderson     }
48da54941fSRichard Henderson     return tag;
49da54941fSRichard Henderson }
50da54941fSRichard Henderson 
51c15294c1SRichard Henderson /**
52c15294c1SRichard Henderson  * allocation_tag_mem:
53c15294c1SRichard Henderson  * @env: the cpu environment
54c15294c1SRichard Henderson  * @ptr_mmu_idx: the addressing regime to use for the virtual address
55c15294c1SRichard Henderson  * @ptr: the virtual address for which to look up tag memory
56c15294c1SRichard Henderson  * @ptr_access: the access to use for the virtual address
57c15294c1SRichard Henderson  * @ptr_size: the number of bytes in the normal memory access
58c15294c1SRichard Henderson  * @tag_access: the access to use for the tag memory
59c15294c1SRichard Henderson  * @tag_size: the number of bytes in the tag memory access
60c15294c1SRichard Henderson  * @ra: the return address for exception handling
61c15294c1SRichard Henderson  *
62c15294c1SRichard Henderson  * Our tag memory is formatted as a sequence of little-endian nibbles.
63c15294c1SRichard Henderson  * That is, the byte at (addr >> (LOG2_TAG_GRANULE + 1)) contains two
64c15294c1SRichard Henderson  * tags, with the tag at [3:0] for the lower addr and the tag at [7:4]
65c15294c1SRichard Henderson  * for the higher addr.
66c15294c1SRichard Henderson  *
67c15294c1SRichard Henderson  * Here, resolve the physical address from the virtual address, and return
68c15294c1SRichard Henderson  * a pointer to the corresponding tag byte.  Exit with exception if the
69c15294c1SRichard Henderson  * virtual address is not accessible for @ptr_access.
70c15294c1SRichard Henderson  *
71c15294c1SRichard Henderson  * The @ptr_size and @tag_size values may not have an obvious relation
72c15294c1SRichard Henderson  * due to the alignment of @ptr, and the number of tag checks required.
73c15294c1SRichard Henderson  *
74c15294c1SRichard Henderson  * If there is no tag storage corresponding to @ptr, return NULL.
75c15294c1SRichard Henderson  */
76c15294c1SRichard Henderson static uint8_t *allocation_tag_mem(CPUARMState *env, int ptr_mmu_idx,
77c15294c1SRichard Henderson                                    uint64_t ptr, MMUAccessType ptr_access,
78c15294c1SRichard Henderson                                    int ptr_size, MMUAccessType tag_access,
79c15294c1SRichard Henderson                                    int tag_size, uintptr_t ra)
80c15294c1SRichard Henderson {
81e4d5bf4fSRichard Henderson #ifdef CONFIG_USER_ONLY
82a11d3830SRichard Henderson     uint64_t clean_ptr = useronly_clean_ptr(ptr);
83a11d3830SRichard Henderson     int flags = page_get_flags(clean_ptr);
84a11d3830SRichard Henderson     uint8_t *tags;
85a11d3830SRichard Henderson     uintptr_t index;
86a11d3830SRichard Henderson 
87ff38bca7SRichard Henderson     if (!(flags & (ptr_access == MMU_DATA_STORE ? PAGE_WRITE_ORG : PAGE_READ))) {
885e98763cSRichard Henderson         cpu_loop_exit_sigsegv(env_cpu(env), ptr, ptr_access,
895e98763cSRichard Henderson                               !(flags & PAGE_VALID), ra);
90a11d3830SRichard Henderson     }
91a11d3830SRichard Henderson 
92a11d3830SRichard Henderson     /* Require both MAP_ANON and PROT_MTE for the page. */
93a11d3830SRichard Henderson     if (!(flags & PAGE_ANON) || !(flags & PAGE_MTE)) {
94c15294c1SRichard Henderson         return NULL;
95a11d3830SRichard Henderson     }
96a11d3830SRichard Henderson 
97a11d3830SRichard Henderson     tags = page_get_target_data(clean_ptr);
98a11d3830SRichard Henderson     if (tags == NULL) {
99a11d3830SRichard Henderson         size_t alloc_size = TARGET_PAGE_SIZE >> (LOG2_TAG_GRANULE + 1);
100a11d3830SRichard Henderson         tags = page_alloc_target_data(clean_ptr, alloc_size);
101a11d3830SRichard Henderson         assert(tags != NULL);
102a11d3830SRichard Henderson     }
103a11d3830SRichard Henderson 
104a11d3830SRichard Henderson     index = extract32(ptr, LOG2_TAG_GRANULE + 1,
105a11d3830SRichard Henderson                       TARGET_PAGE_BITS - LOG2_TAG_GRANULE - 1);
106a11d3830SRichard Henderson     return tags + index;
107e4d5bf4fSRichard Henderson #else
108e4d5bf4fSRichard Henderson     uintptr_t index;
109e4d5bf4fSRichard Henderson     CPUIOTLBEntry *iotlbentry;
110e4d5bf4fSRichard Henderson     int in_page, flags;
111e4d5bf4fSRichard Henderson     ram_addr_t ptr_ra;
112e4d5bf4fSRichard Henderson     hwaddr ptr_paddr, tag_paddr, xlat;
113e4d5bf4fSRichard Henderson     MemoryRegion *mr;
114e4d5bf4fSRichard Henderson     ARMASIdx tag_asi;
115e4d5bf4fSRichard Henderson     AddressSpace *tag_as;
116e4d5bf4fSRichard Henderson     void *host;
117e4d5bf4fSRichard Henderson 
118e4d5bf4fSRichard Henderson     /*
119e4d5bf4fSRichard Henderson      * Probe the first byte of the virtual address.  This raises an
120e4d5bf4fSRichard Henderson      * exception for inaccessible pages, and resolves the virtual address
121e4d5bf4fSRichard Henderson      * into the softmmu tlb.
122e4d5bf4fSRichard Henderson      *
123d304d280SRichard Henderson      * When RA == 0, this is for mte_probe.  The page is expected to be
124e4d5bf4fSRichard Henderson      * valid.  Indicate to probe_access_flags no-fault, then assert that
125e4d5bf4fSRichard Henderson      * we received a valid page.
126e4d5bf4fSRichard Henderson      */
127e4d5bf4fSRichard Henderson     flags = probe_access_flags(env, ptr, ptr_access, ptr_mmu_idx,
128e4d5bf4fSRichard Henderson                                ra == 0, &host, ra);
129e4d5bf4fSRichard Henderson     assert(!(flags & TLB_INVALID_MASK));
130e4d5bf4fSRichard Henderson 
131e4d5bf4fSRichard Henderson     /*
132e4d5bf4fSRichard Henderson      * Find the iotlbentry for ptr.  This *must* be present in the TLB
133e4d5bf4fSRichard Henderson      * because we just found the mapping.
134e4d5bf4fSRichard Henderson      * TODO: Perhaps there should be a cputlb helper that returns a
135e4d5bf4fSRichard Henderson      * matching tlb entry + iotlb entry.
136e4d5bf4fSRichard Henderson      */
137e4d5bf4fSRichard Henderson     index = tlb_index(env, ptr_mmu_idx, ptr);
138e4d5bf4fSRichard Henderson # ifdef CONFIG_DEBUG_TCG
139e4d5bf4fSRichard Henderson     {
140e4d5bf4fSRichard Henderson         CPUTLBEntry *entry = tlb_entry(env, ptr_mmu_idx, ptr);
141e4d5bf4fSRichard Henderson         target_ulong comparator = (ptr_access == MMU_DATA_LOAD
142e4d5bf4fSRichard Henderson                                    ? entry->addr_read
143e4d5bf4fSRichard Henderson                                    : tlb_addr_write(entry));
144e4d5bf4fSRichard Henderson         g_assert(tlb_hit(comparator, ptr));
145e4d5bf4fSRichard Henderson     }
146e4d5bf4fSRichard Henderson # endif
147e4d5bf4fSRichard Henderson     iotlbentry = &env_tlb(env)->d[ptr_mmu_idx].iotlb[index];
148e4d5bf4fSRichard Henderson 
149e4d5bf4fSRichard Henderson     /* If the virtual page MemAttr != Tagged, access unchecked. */
150e4d5bf4fSRichard Henderson     if (!arm_tlb_mte_tagged(&iotlbentry->attrs)) {
151e4d5bf4fSRichard Henderson         return NULL;
152e4d5bf4fSRichard Henderson     }
153e4d5bf4fSRichard Henderson 
154e4d5bf4fSRichard Henderson     /*
155e4d5bf4fSRichard Henderson      * If not backed by host ram, there is no tag storage: access unchecked.
156e4d5bf4fSRichard Henderson      * This is probably a guest os bug though, so log it.
157e4d5bf4fSRichard Henderson      */
158e4d5bf4fSRichard Henderson     if (unlikely(flags & TLB_MMIO)) {
159e4d5bf4fSRichard Henderson         qemu_log_mask(LOG_GUEST_ERROR,
160e4d5bf4fSRichard Henderson                       "Page @ 0x%" PRIx64 " indicates Tagged Normal memory "
161e4d5bf4fSRichard Henderson                       "but is not backed by host ram\n", ptr);
162e4d5bf4fSRichard Henderson         return NULL;
163e4d5bf4fSRichard Henderson     }
164e4d5bf4fSRichard Henderson 
165e4d5bf4fSRichard Henderson     /*
166e4d5bf4fSRichard Henderson      * The Normal memory access can extend to the next page.  E.g. a single
167e4d5bf4fSRichard Henderson      * 8-byte access to the last byte of a page will check only the last
168e4d5bf4fSRichard Henderson      * tag on the first page.
169e4d5bf4fSRichard Henderson      * Any page access exception has priority over tag check exception.
170e4d5bf4fSRichard Henderson      */
171e4d5bf4fSRichard Henderson     in_page = -(ptr | TARGET_PAGE_MASK);
172e4d5bf4fSRichard Henderson     if (unlikely(ptr_size > in_page)) {
173e4d5bf4fSRichard Henderson         void *ignore;
174e4d5bf4fSRichard Henderson         flags |= probe_access_flags(env, ptr + in_page, ptr_access,
175e4d5bf4fSRichard Henderson                                     ptr_mmu_idx, ra == 0, &ignore, ra);
176e4d5bf4fSRichard Henderson         assert(!(flags & TLB_INVALID_MASK));
177e4d5bf4fSRichard Henderson     }
178e4d5bf4fSRichard Henderson 
179e4d5bf4fSRichard Henderson     /* Any debug exception has priority over a tag check exception. */
180e4d5bf4fSRichard Henderson     if (unlikely(flags & TLB_WATCHPOINT)) {
181e4d5bf4fSRichard Henderson         int wp = ptr_access == MMU_DATA_LOAD ? BP_MEM_READ : BP_MEM_WRITE;
182e4d5bf4fSRichard Henderson         assert(ra != 0);
183e4d5bf4fSRichard Henderson         cpu_check_watchpoint(env_cpu(env), ptr, ptr_size,
184e4d5bf4fSRichard Henderson                              iotlbentry->attrs, wp, ra);
185e4d5bf4fSRichard Henderson     }
186e4d5bf4fSRichard Henderson 
187e4d5bf4fSRichard Henderson     /*
188e4d5bf4fSRichard Henderson      * Find the physical address within the normal mem space.
189e4d5bf4fSRichard Henderson      * The memory region lookup must succeed because TLB_MMIO was
190e4d5bf4fSRichard Henderson      * not set in the cputlb lookup above.
191e4d5bf4fSRichard Henderson      */
192e4d5bf4fSRichard Henderson     mr = memory_region_from_host(host, &ptr_ra);
193e4d5bf4fSRichard Henderson     tcg_debug_assert(mr != NULL);
194e4d5bf4fSRichard Henderson     tcg_debug_assert(memory_region_is_ram(mr));
195e4d5bf4fSRichard Henderson     ptr_paddr = ptr_ra;
196e4d5bf4fSRichard Henderson     do {
197e4d5bf4fSRichard Henderson         ptr_paddr += mr->addr;
198e4d5bf4fSRichard Henderson         mr = mr->container;
199e4d5bf4fSRichard Henderson     } while (mr);
200e4d5bf4fSRichard Henderson 
201e4d5bf4fSRichard Henderson     /* Convert to the physical address in tag space.  */
202e4d5bf4fSRichard Henderson     tag_paddr = ptr_paddr >> (LOG2_TAG_GRANULE + 1);
203e4d5bf4fSRichard Henderson 
204e4d5bf4fSRichard Henderson     /* Look up the address in tag space. */
205e4d5bf4fSRichard Henderson     tag_asi = iotlbentry->attrs.secure ? ARMASIdx_TagS : ARMASIdx_TagNS;
206e4d5bf4fSRichard Henderson     tag_as = cpu_get_address_space(env_cpu(env), tag_asi);
207e4d5bf4fSRichard Henderson     mr = address_space_translate(tag_as, tag_paddr, &xlat, NULL,
208e4d5bf4fSRichard Henderson                                  tag_access == MMU_DATA_STORE,
209e4d5bf4fSRichard Henderson                                  iotlbentry->attrs);
210e4d5bf4fSRichard Henderson 
211e4d5bf4fSRichard Henderson     /*
212e4d5bf4fSRichard Henderson      * Note that @mr will never be NULL.  If there is nothing in the address
213e4d5bf4fSRichard Henderson      * space at @tag_paddr, the translation will return the unallocated memory
214e4d5bf4fSRichard Henderson      * region.  For our purposes, the result must be ram.
215e4d5bf4fSRichard Henderson      */
216e4d5bf4fSRichard Henderson     if (unlikely(!memory_region_is_ram(mr))) {
217e4d5bf4fSRichard Henderson         /* ??? Failure is a board configuration error. */
218e4d5bf4fSRichard Henderson         qemu_log_mask(LOG_UNIMP,
219e4d5bf4fSRichard Henderson                       "Tag Memory @ 0x%" HWADDR_PRIx " not found for "
220e4d5bf4fSRichard Henderson                       "Normal Memory @ 0x%" HWADDR_PRIx "\n",
221e4d5bf4fSRichard Henderson                       tag_paddr, ptr_paddr);
222e4d5bf4fSRichard Henderson         return NULL;
223e4d5bf4fSRichard Henderson     }
224e4d5bf4fSRichard Henderson 
225e4d5bf4fSRichard Henderson     /*
226e4d5bf4fSRichard Henderson      * Ensure the tag memory is dirty on write, for migration.
227e4d5bf4fSRichard Henderson      * Tag memory can never contain code or display memory (vga).
228e4d5bf4fSRichard Henderson      */
229e4d5bf4fSRichard Henderson     if (tag_access == MMU_DATA_STORE) {
230e4d5bf4fSRichard Henderson         ram_addr_t tag_ra = memory_region_get_ram_addr(mr) + xlat;
231e4d5bf4fSRichard Henderson         cpu_physical_memory_set_dirty_flag(tag_ra, DIRTY_MEMORY_MIGRATION);
232e4d5bf4fSRichard Henderson     }
233e4d5bf4fSRichard Henderson 
234e4d5bf4fSRichard Henderson     return memory_region_get_ram_ptr(mr) + xlat;
235e4d5bf4fSRichard Henderson #endif
236c15294c1SRichard Henderson }
237c15294c1SRichard Henderson 
238da54941fSRichard Henderson uint64_t HELPER(irg)(CPUARMState *env, uint64_t rn, uint64_t rm)
239da54941fSRichard Henderson {
240da54941fSRichard Henderson     uint16_t exclude = extract32(rm | env->cp15.gcr_el1, 0, 16);
241d4f6dda1SRichard Henderson     int rrnd = extract32(env->cp15.gcr_el1, 16, 1);
242da54941fSRichard Henderson     int start = extract32(env->cp15.rgsr_el1, 0, 4);
243da54941fSRichard Henderson     int seed = extract32(env->cp15.rgsr_el1, 8, 16);
244d4f6dda1SRichard Henderson     int offset, i, rtag;
245d4f6dda1SRichard Henderson 
246d4f6dda1SRichard Henderson     /*
247d4f6dda1SRichard Henderson      * Our IMPDEF choice for GCR_EL1.RRND==1 is to continue to use the
248d4f6dda1SRichard Henderson      * deterministic algorithm.  Except that with RRND==1 the kernel is
249d4f6dda1SRichard Henderson      * not required to have set RGSR_EL1.SEED != 0, which is required for
250d4f6dda1SRichard Henderson      * the deterministic algorithm to function.  So we force a non-zero
251d4f6dda1SRichard Henderson      * SEED for that case.
252d4f6dda1SRichard Henderson      */
253d4f6dda1SRichard Henderson     if (unlikely(seed == 0) && rrnd) {
254d4f6dda1SRichard Henderson         do {
255d4f6dda1SRichard Henderson             Error *err = NULL;
256d4f6dda1SRichard Henderson             uint16_t two;
257d4f6dda1SRichard Henderson 
258d4f6dda1SRichard Henderson             if (qemu_guest_getrandom(&two, sizeof(two), &err) < 0) {
259d4f6dda1SRichard Henderson                 /*
260d4f6dda1SRichard Henderson                  * Failed, for unknown reasons in the crypto subsystem.
261d4f6dda1SRichard Henderson                  * Best we can do is log the reason and use a constant seed.
262d4f6dda1SRichard Henderson                  */
263d4f6dda1SRichard Henderson                 qemu_log_mask(LOG_UNIMP, "IRG: Crypto failure: %s\n",
264d4f6dda1SRichard Henderson                               error_get_pretty(err));
265d4f6dda1SRichard Henderson                 error_free(err);
266d4f6dda1SRichard Henderson                 two = 1;
267d4f6dda1SRichard Henderson             }
268d4f6dda1SRichard Henderson             seed = two;
269d4f6dda1SRichard Henderson         } while (seed == 0);
270d4f6dda1SRichard Henderson     }
271da54941fSRichard Henderson 
272da54941fSRichard Henderson     /* RandomTag */
273da54941fSRichard Henderson     for (i = offset = 0; i < 4; ++i) {
274da54941fSRichard Henderson         /* NextRandomTagBit */
275da54941fSRichard Henderson         int top = (extract32(seed, 5, 1) ^ extract32(seed, 3, 1) ^
276da54941fSRichard Henderson                    extract32(seed, 2, 1) ^ extract32(seed, 0, 1));
277da54941fSRichard Henderson         seed = (top << 15) | (seed >> 1);
278da54941fSRichard Henderson         offset |= top << i;
279da54941fSRichard Henderson     }
280da54941fSRichard Henderson     rtag = choose_nonexcluded_tag(start, offset, exclude);
281da54941fSRichard Henderson     env->cp15.rgsr_el1 = rtag | (seed << 8);
282da54941fSRichard Henderson 
283da54941fSRichard Henderson     return address_with_allocation_tag(rn, rtag);
284da54941fSRichard Henderson }
285efbc78adSRichard Henderson 
286efbc78adSRichard Henderson uint64_t HELPER(addsubg)(CPUARMState *env, uint64_t ptr,
287efbc78adSRichard Henderson                          int32_t offset, uint32_t tag_offset)
288efbc78adSRichard Henderson {
289efbc78adSRichard Henderson     int start_tag = allocation_tag_from_addr(ptr);
290efbc78adSRichard Henderson     uint16_t exclude = extract32(env->cp15.gcr_el1, 0, 16);
291efbc78adSRichard Henderson     int rtag = choose_nonexcluded_tag(start_tag, tag_offset, exclude);
292efbc78adSRichard Henderson 
293efbc78adSRichard Henderson     return address_with_allocation_tag(ptr + offset, rtag);
294efbc78adSRichard Henderson }
295c15294c1SRichard Henderson 
296c15294c1SRichard Henderson static int load_tag1(uint64_t ptr, uint8_t *mem)
297c15294c1SRichard Henderson {
298c15294c1SRichard Henderson     int ofs = extract32(ptr, LOG2_TAG_GRANULE, 1) * 4;
299c15294c1SRichard Henderson     return extract32(*mem, ofs, 4);
300c15294c1SRichard Henderson }
301c15294c1SRichard Henderson 
302c15294c1SRichard Henderson uint64_t HELPER(ldg)(CPUARMState *env, uint64_t ptr, uint64_t xt)
303c15294c1SRichard Henderson {
304c15294c1SRichard Henderson     int mmu_idx = cpu_mmu_index(env, false);
305c15294c1SRichard Henderson     uint8_t *mem;
306c15294c1SRichard Henderson     int rtag = 0;
307c15294c1SRichard Henderson 
308c15294c1SRichard Henderson     /* Trap if accessing an invalid page.  */
309c15294c1SRichard Henderson     mem = allocation_tag_mem(env, mmu_idx, ptr, MMU_DATA_LOAD, 1,
310c15294c1SRichard Henderson                              MMU_DATA_LOAD, 1, GETPC());
311c15294c1SRichard Henderson 
312c15294c1SRichard Henderson     /* Load if page supports tags. */
313c15294c1SRichard Henderson     if (mem) {
314c15294c1SRichard Henderson         rtag = load_tag1(ptr, mem);
315c15294c1SRichard Henderson     }
316c15294c1SRichard Henderson 
317c15294c1SRichard Henderson     return address_with_allocation_tag(xt, rtag);
318c15294c1SRichard Henderson }
319c15294c1SRichard Henderson 
320c15294c1SRichard Henderson static void check_tag_aligned(CPUARMState *env, uint64_t ptr, uintptr_t ra)
321c15294c1SRichard Henderson {
322c15294c1SRichard Henderson     if (unlikely(!QEMU_IS_ALIGNED(ptr, TAG_GRANULE))) {
323c15294c1SRichard Henderson         arm_cpu_do_unaligned_access(env_cpu(env), ptr, MMU_DATA_STORE,
324c15294c1SRichard Henderson                                     cpu_mmu_index(env, false), ra);
325c15294c1SRichard Henderson         g_assert_not_reached();
326c15294c1SRichard Henderson     }
327c15294c1SRichard Henderson }
328c15294c1SRichard Henderson 
329c15294c1SRichard Henderson /* For use in a non-parallel context, store to the given nibble.  */
330c15294c1SRichard Henderson static void store_tag1(uint64_t ptr, uint8_t *mem, int tag)
331c15294c1SRichard Henderson {
332c15294c1SRichard Henderson     int ofs = extract32(ptr, LOG2_TAG_GRANULE, 1) * 4;
333c15294c1SRichard Henderson     *mem = deposit32(*mem, ofs, 4, tag);
334c15294c1SRichard Henderson }
335c15294c1SRichard Henderson 
336c15294c1SRichard Henderson /* For use in a parallel context, atomically store to the given nibble.  */
337c15294c1SRichard Henderson static void store_tag1_parallel(uint64_t ptr, uint8_t *mem, int tag)
338c15294c1SRichard Henderson {
339c15294c1SRichard Henderson     int ofs = extract32(ptr, LOG2_TAG_GRANULE, 1) * 4;
340d73415a3SStefan Hajnoczi     uint8_t old = qatomic_read(mem);
341c15294c1SRichard Henderson 
342c15294c1SRichard Henderson     while (1) {
343c15294c1SRichard Henderson         uint8_t new = deposit32(old, ofs, 4, tag);
344d73415a3SStefan Hajnoczi         uint8_t cmp = qatomic_cmpxchg(mem, old, new);
345c15294c1SRichard Henderson         if (likely(cmp == old)) {
346c15294c1SRichard Henderson             return;
347c15294c1SRichard Henderson         }
348c15294c1SRichard Henderson         old = cmp;
349c15294c1SRichard Henderson     }
350c15294c1SRichard Henderson }
351c15294c1SRichard Henderson 
352c15294c1SRichard Henderson typedef void stg_store1(uint64_t, uint8_t *, int);
353c15294c1SRichard Henderson 
354c15294c1SRichard Henderson static inline void do_stg(CPUARMState *env, uint64_t ptr, uint64_t xt,
355c15294c1SRichard Henderson                           uintptr_t ra, stg_store1 store1)
356c15294c1SRichard Henderson {
357c15294c1SRichard Henderson     int mmu_idx = cpu_mmu_index(env, false);
358c15294c1SRichard Henderson     uint8_t *mem;
359c15294c1SRichard Henderson 
360c15294c1SRichard Henderson     check_tag_aligned(env, ptr, ra);
361c15294c1SRichard Henderson 
362c15294c1SRichard Henderson     /* Trap if accessing an invalid page.  */
363c15294c1SRichard Henderson     mem = allocation_tag_mem(env, mmu_idx, ptr, MMU_DATA_STORE, TAG_GRANULE,
364c15294c1SRichard Henderson                              MMU_DATA_STORE, 1, ra);
365c15294c1SRichard Henderson 
366c15294c1SRichard Henderson     /* Store if page supports tags. */
367c15294c1SRichard Henderson     if (mem) {
368c15294c1SRichard Henderson         store1(ptr, mem, allocation_tag_from_addr(xt));
369c15294c1SRichard Henderson     }
370c15294c1SRichard Henderson }
371c15294c1SRichard Henderson 
372c15294c1SRichard Henderson void HELPER(stg)(CPUARMState *env, uint64_t ptr, uint64_t xt)
373c15294c1SRichard Henderson {
374c15294c1SRichard Henderson     do_stg(env, ptr, xt, GETPC(), store_tag1);
375c15294c1SRichard Henderson }
376c15294c1SRichard Henderson 
377c15294c1SRichard Henderson void HELPER(stg_parallel)(CPUARMState *env, uint64_t ptr, uint64_t xt)
378c15294c1SRichard Henderson {
379c15294c1SRichard Henderson     do_stg(env, ptr, xt, GETPC(), store_tag1_parallel);
380c15294c1SRichard Henderson }
381c15294c1SRichard Henderson 
382c15294c1SRichard Henderson void HELPER(stg_stub)(CPUARMState *env, uint64_t ptr)
383c15294c1SRichard Henderson {
384c15294c1SRichard Henderson     int mmu_idx = cpu_mmu_index(env, false);
385c15294c1SRichard Henderson     uintptr_t ra = GETPC();
386c15294c1SRichard Henderson 
387c15294c1SRichard Henderson     check_tag_aligned(env, ptr, ra);
388c15294c1SRichard Henderson     probe_write(env, ptr, TAG_GRANULE, mmu_idx, ra);
389c15294c1SRichard Henderson }
390c15294c1SRichard Henderson 
391c15294c1SRichard Henderson static inline void do_st2g(CPUARMState *env, uint64_t ptr, uint64_t xt,
392c15294c1SRichard Henderson                            uintptr_t ra, stg_store1 store1)
393c15294c1SRichard Henderson {
394c15294c1SRichard Henderson     int mmu_idx = cpu_mmu_index(env, false);
395c15294c1SRichard Henderson     int tag = allocation_tag_from_addr(xt);
396c15294c1SRichard Henderson     uint8_t *mem1, *mem2;
397c15294c1SRichard Henderson 
398c15294c1SRichard Henderson     check_tag_aligned(env, ptr, ra);
399c15294c1SRichard Henderson 
400c15294c1SRichard Henderson     /*
401c15294c1SRichard Henderson      * Trap if accessing an invalid page(s).
402c15294c1SRichard Henderson      * This takes priority over !allocation_tag_access_enabled.
403c15294c1SRichard Henderson      */
404c15294c1SRichard Henderson     if (ptr & TAG_GRANULE) {
405c15294c1SRichard Henderson         /* Two stores unaligned mod TAG_GRANULE*2 -- modify two bytes. */
406c15294c1SRichard Henderson         mem1 = allocation_tag_mem(env, mmu_idx, ptr, MMU_DATA_STORE,
407c15294c1SRichard Henderson                                   TAG_GRANULE, MMU_DATA_STORE, 1, ra);
408c15294c1SRichard Henderson         mem2 = allocation_tag_mem(env, mmu_idx, ptr + TAG_GRANULE,
409c15294c1SRichard Henderson                                   MMU_DATA_STORE, TAG_GRANULE,
410c15294c1SRichard Henderson                                   MMU_DATA_STORE, 1, ra);
411c15294c1SRichard Henderson 
412c15294c1SRichard Henderson         /* Store if page(s) support tags. */
413c15294c1SRichard Henderson         if (mem1) {
414c15294c1SRichard Henderson             store1(TAG_GRANULE, mem1, tag);
415c15294c1SRichard Henderson         }
416c15294c1SRichard Henderson         if (mem2) {
417c15294c1SRichard Henderson             store1(0, mem2, tag);
418c15294c1SRichard Henderson         }
419c15294c1SRichard Henderson     } else {
420c15294c1SRichard Henderson         /* Two stores aligned mod TAG_GRANULE*2 -- modify one byte. */
421c15294c1SRichard Henderson         mem1 = allocation_tag_mem(env, mmu_idx, ptr, MMU_DATA_STORE,
422c15294c1SRichard Henderson                                   2 * TAG_GRANULE, MMU_DATA_STORE, 1, ra);
423c15294c1SRichard Henderson         if (mem1) {
424c15294c1SRichard Henderson             tag |= tag << 4;
425d73415a3SStefan Hajnoczi             qatomic_set(mem1, tag);
426c15294c1SRichard Henderson         }
427c15294c1SRichard Henderson     }
428c15294c1SRichard Henderson }
429c15294c1SRichard Henderson 
430c15294c1SRichard Henderson void HELPER(st2g)(CPUARMState *env, uint64_t ptr, uint64_t xt)
431c15294c1SRichard Henderson {
432c15294c1SRichard Henderson     do_st2g(env, ptr, xt, GETPC(), store_tag1);
433c15294c1SRichard Henderson }
434c15294c1SRichard Henderson 
435c15294c1SRichard Henderson void HELPER(st2g_parallel)(CPUARMState *env, uint64_t ptr, uint64_t xt)
436c15294c1SRichard Henderson {
437c15294c1SRichard Henderson     do_st2g(env, ptr, xt, GETPC(), store_tag1_parallel);
438c15294c1SRichard Henderson }
439c15294c1SRichard Henderson 
440c15294c1SRichard Henderson void HELPER(st2g_stub)(CPUARMState *env, uint64_t ptr)
441c15294c1SRichard Henderson {
442c15294c1SRichard Henderson     int mmu_idx = cpu_mmu_index(env, false);
443c15294c1SRichard Henderson     uintptr_t ra = GETPC();
444c15294c1SRichard Henderson     int in_page = -(ptr | TARGET_PAGE_MASK);
445c15294c1SRichard Henderson 
446c15294c1SRichard Henderson     check_tag_aligned(env, ptr, ra);
447c15294c1SRichard Henderson 
448c15294c1SRichard Henderson     if (likely(in_page >= 2 * TAG_GRANULE)) {
449c15294c1SRichard Henderson         probe_write(env, ptr, 2 * TAG_GRANULE, mmu_idx, ra);
450c15294c1SRichard Henderson     } else {
451c15294c1SRichard Henderson         probe_write(env, ptr, TAG_GRANULE, mmu_idx, ra);
452c15294c1SRichard Henderson         probe_write(env, ptr + TAG_GRANULE, TAG_GRANULE, mmu_idx, ra);
453c15294c1SRichard Henderson     }
454c15294c1SRichard Henderson }
4555f716a82SRichard Henderson 
4565f716a82SRichard Henderson #define LDGM_STGM_SIZE  (4 << GMID_EL1_BS)
4575f716a82SRichard Henderson 
4585f716a82SRichard Henderson uint64_t HELPER(ldgm)(CPUARMState *env, uint64_t ptr)
4595f716a82SRichard Henderson {
4605f716a82SRichard Henderson     int mmu_idx = cpu_mmu_index(env, false);
4615f716a82SRichard Henderson     uintptr_t ra = GETPC();
4625f716a82SRichard Henderson     void *tag_mem;
4635f716a82SRichard Henderson 
4645f716a82SRichard Henderson     ptr = QEMU_ALIGN_DOWN(ptr, LDGM_STGM_SIZE);
4655f716a82SRichard Henderson 
4665f716a82SRichard Henderson     /* Trap if accessing an invalid page.  */
4675f716a82SRichard Henderson     tag_mem = allocation_tag_mem(env, mmu_idx, ptr, MMU_DATA_LOAD,
4685f716a82SRichard Henderson                                  LDGM_STGM_SIZE, MMU_DATA_LOAD,
4695f716a82SRichard Henderson                                  LDGM_STGM_SIZE / (2 * TAG_GRANULE), ra);
4705f716a82SRichard Henderson 
4715f716a82SRichard Henderson     /* The tag is squashed to zero if the page does not support tags.  */
4725f716a82SRichard Henderson     if (!tag_mem) {
4735f716a82SRichard Henderson         return 0;
4745f716a82SRichard Henderson     }
4755f716a82SRichard Henderson 
4765f716a82SRichard Henderson     QEMU_BUILD_BUG_ON(GMID_EL1_BS != 6);
4775f716a82SRichard Henderson     /*
4785f716a82SRichard Henderson      * We are loading 64-bits worth of tags.  The ordering of elements
4795f716a82SRichard Henderson      * within the word corresponds to a 64-bit little-endian operation.
4805f716a82SRichard Henderson      */
4815f716a82SRichard Henderson     return ldq_le_p(tag_mem);
4825f716a82SRichard Henderson }
4835f716a82SRichard Henderson 
4845f716a82SRichard Henderson void HELPER(stgm)(CPUARMState *env, uint64_t ptr, uint64_t val)
4855f716a82SRichard Henderson {
4865f716a82SRichard Henderson     int mmu_idx = cpu_mmu_index(env, false);
4875f716a82SRichard Henderson     uintptr_t ra = GETPC();
4885f716a82SRichard Henderson     void *tag_mem;
4895f716a82SRichard Henderson 
4905f716a82SRichard Henderson     ptr = QEMU_ALIGN_DOWN(ptr, LDGM_STGM_SIZE);
4915f716a82SRichard Henderson 
4925f716a82SRichard Henderson     /* Trap if accessing an invalid page.  */
4935f716a82SRichard Henderson     tag_mem = allocation_tag_mem(env, mmu_idx, ptr, MMU_DATA_STORE,
4945f716a82SRichard Henderson                                  LDGM_STGM_SIZE, MMU_DATA_LOAD,
4955f716a82SRichard Henderson                                  LDGM_STGM_SIZE / (2 * TAG_GRANULE), ra);
4965f716a82SRichard Henderson 
4975f716a82SRichard Henderson     /*
4985f716a82SRichard Henderson      * Tag store only happens if the page support tags,
4995f716a82SRichard Henderson      * and if the OS has enabled access to the tags.
5005f716a82SRichard Henderson      */
5015f716a82SRichard Henderson     if (!tag_mem) {
5025f716a82SRichard Henderson         return;
5035f716a82SRichard Henderson     }
5045f716a82SRichard Henderson 
5055f716a82SRichard Henderson     QEMU_BUILD_BUG_ON(GMID_EL1_BS != 6);
5065f716a82SRichard Henderson     /*
5075f716a82SRichard Henderson      * We are storing 64-bits worth of tags.  The ordering of elements
5085f716a82SRichard Henderson      * within the word corresponds to a 64-bit little-endian operation.
5095f716a82SRichard Henderson      */
5105f716a82SRichard Henderson     stq_le_p(tag_mem, val);
5115f716a82SRichard Henderson }
5125f716a82SRichard Henderson 
5135f716a82SRichard Henderson void HELPER(stzgm_tags)(CPUARMState *env, uint64_t ptr, uint64_t val)
5145f716a82SRichard Henderson {
5155f716a82SRichard Henderson     uintptr_t ra = GETPC();
5165f716a82SRichard Henderson     int mmu_idx = cpu_mmu_index(env, false);
5175f716a82SRichard Henderson     int log2_dcz_bytes, log2_tag_bytes;
5185f716a82SRichard Henderson     intptr_t dcz_bytes, tag_bytes;
5195f716a82SRichard Henderson     uint8_t *mem;
5205f716a82SRichard Henderson 
5215f716a82SRichard Henderson     /*
5225f716a82SRichard Henderson      * In arm_cpu_realizefn, we assert that dcz > LOG2_TAG_GRANULE+1,
5235f716a82SRichard Henderson      * i.e. 32 bytes, which is an unreasonably small dcz anyway,
5245f716a82SRichard Henderson      * to make sure that we can access one complete tag byte here.
5255f716a82SRichard Henderson      */
5265f716a82SRichard Henderson     log2_dcz_bytes = env_archcpu(env)->dcz_blocksize + 2;
5275f716a82SRichard Henderson     log2_tag_bytes = log2_dcz_bytes - (LOG2_TAG_GRANULE + 1);
5285f716a82SRichard Henderson     dcz_bytes = (intptr_t)1 << log2_dcz_bytes;
5295f716a82SRichard Henderson     tag_bytes = (intptr_t)1 << log2_tag_bytes;
5305f716a82SRichard Henderson     ptr &= -dcz_bytes;
5315f716a82SRichard Henderson 
5325f716a82SRichard Henderson     mem = allocation_tag_mem(env, mmu_idx, ptr, MMU_DATA_STORE, dcz_bytes,
5335f716a82SRichard Henderson                              MMU_DATA_STORE, tag_bytes, ra);
5345f716a82SRichard Henderson     if (mem) {
5355f716a82SRichard Henderson         int tag_pair = (val & 0xf) * 0x11;
5365f716a82SRichard Henderson         memset(mem, tag_pair, tag_bytes);
5375f716a82SRichard Henderson     }
5385f716a82SRichard Henderson }
5390a405be2SRichard Henderson 
54086f0d4c7SPeter Collingbourne static void mte_sync_check_fail(CPUARMState *env, uint32_t desc,
54186f0d4c7SPeter Collingbourne                                 uint64_t dirty_ptr, uintptr_t ra)
54286f0d4c7SPeter Collingbourne {
54386f0d4c7SPeter Collingbourne     int is_write, syn;
54486f0d4c7SPeter Collingbourne 
54586f0d4c7SPeter Collingbourne     env->exception.vaddress = dirty_ptr;
54686f0d4c7SPeter Collingbourne 
54786f0d4c7SPeter Collingbourne     is_write = FIELD_EX32(desc, MTEDESC, WRITE);
54886f0d4c7SPeter Collingbourne     syn = syn_data_abort_no_iss(arm_current_el(env) != 0, 0, 0, 0, 0, is_write,
54986f0d4c7SPeter Collingbourne                                 0x11);
55086f0d4c7SPeter Collingbourne     raise_exception_ra(env, EXCP_DATA_ABORT, syn, exception_target_el(env), ra);
55186f0d4c7SPeter Collingbourne     g_assert_not_reached();
55286f0d4c7SPeter Collingbourne }
55386f0d4c7SPeter Collingbourne 
55486f0d4c7SPeter Collingbourne static void mte_async_check_fail(CPUARMState *env, uint64_t dirty_ptr,
55586f0d4c7SPeter Collingbourne                                  uintptr_t ra, ARMMMUIdx arm_mmu_idx, int el)
55686f0d4c7SPeter Collingbourne {
55786f0d4c7SPeter Collingbourne     int select;
55886f0d4c7SPeter Collingbourne 
55986f0d4c7SPeter Collingbourne     if (regime_has_2_ranges(arm_mmu_idx)) {
56086f0d4c7SPeter Collingbourne         select = extract64(dirty_ptr, 55, 1);
56186f0d4c7SPeter Collingbourne     } else {
56286f0d4c7SPeter Collingbourne         select = 0;
56386f0d4c7SPeter Collingbourne     }
56486f0d4c7SPeter Collingbourne     env->cp15.tfsr_el[el] |= 1 << select;
56586f0d4c7SPeter Collingbourne #ifdef CONFIG_USER_ONLY
56686f0d4c7SPeter Collingbourne     /*
56786f0d4c7SPeter Collingbourne      * Stand in for a timer irq, setting _TIF_MTE_ASYNC_FAULT,
56886f0d4c7SPeter Collingbourne      * which then sends a SIGSEGV when the thread is next scheduled.
56986f0d4c7SPeter Collingbourne      * This cpu will return to the main loop at the end of the TB,
57086f0d4c7SPeter Collingbourne      * which is rather sooner than "normal".  But the alternative
57186f0d4c7SPeter Collingbourne      * is waiting until the next syscall.
57286f0d4c7SPeter Collingbourne      */
57386f0d4c7SPeter Collingbourne     qemu_cpu_kick(env_cpu(env));
57486f0d4c7SPeter Collingbourne #endif
57586f0d4c7SPeter Collingbourne }
57686f0d4c7SPeter Collingbourne 
5772e34ff45SRichard Henderson /* Record a tag check failure.  */
578dbf8c321SRichard Henderson static void mte_check_fail(CPUARMState *env, uint32_t desc,
5792e34ff45SRichard Henderson                            uint64_t dirty_ptr, uintptr_t ra)
5802e34ff45SRichard Henderson {
581dbf8c321SRichard Henderson     int mmu_idx = FIELD_EX32(desc, MTEDESC, MIDX);
5822e34ff45SRichard Henderson     ARMMMUIdx arm_mmu_idx = core_to_aa64_mmu_idx(mmu_idx);
58386f0d4c7SPeter Collingbourne     int el, reg_el, tcf;
5842e34ff45SRichard Henderson     uint64_t sctlr;
5852e34ff45SRichard Henderson 
5862e34ff45SRichard Henderson     reg_el = regime_el(env, arm_mmu_idx);
5872e34ff45SRichard Henderson     sctlr = env->cp15.sctlr_el[reg_el];
5882e34ff45SRichard Henderson 
5892d928adfSPeter Collingbourne     switch (arm_mmu_idx) {
5902d928adfSPeter Collingbourne     case ARMMMUIdx_E10_0:
5912d928adfSPeter Collingbourne     case ARMMMUIdx_E20_0:
5922d928adfSPeter Collingbourne         el = 0;
5932e34ff45SRichard Henderson         tcf = extract64(sctlr, 38, 2);
5942d928adfSPeter Collingbourne         break;
5952d928adfSPeter Collingbourne     default:
5962d928adfSPeter Collingbourne         el = reg_el;
5972e34ff45SRichard Henderson         tcf = extract64(sctlr, 40, 2);
5982e34ff45SRichard Henderson     }
5992e34ff45SRichard Henderson 
6002e34ff45SRichard Henderson     switch (tcf) {
6012e34ff45SRichard Henderson     case 1:
6025bf100c3SJamie Iles         /* Tag check fail causes a synchronous exception. */
60386f0d4c7SPeter Collingbourne         mte_sync_check_fail(env, desc, dirty_ptr, ra);
60486f0d4c7SPeter Collingbourne         break;
6052e34ff45SRichard Henderson 
6062e34ff45SRichard Henderson     case 0:
6072e34ff45SRichard Henderson         /*
6082e34ff45SRichard Henderson          * Tag check fail does not affect the PE.
6092e34ff45SRichard Henderson          * We eliminate this case by not setting MTE_ACTIVE
6102e34ff45SRichard Henderson          * in tb_flags, so that we never make this runtime call.
6112e34ff45SRichard Henderson          */
6122e34ff45SRichard Henderson         g_assert_not_reached();
6132e34ff45SRichard Henderson 
6142e34ff45SRichard Henderson     case 2:
6152e34ff45SRichard Henderson         /* Tag check fail causes asynchronous flag set.  */
61686f0d4c7SPeter Collingbourne         mte_async_check_fail(env, dirty_ptr, ra, arm_mmu_idx, el);
6172e34ff45SRichard Henderson         break;
6182e34ff45SRichard Henderson 
61986f0d4c7SPeter Collingbourne     case 3:
62086f0d4c7SPeter Collingbourne         /*
62186f0d4c7SPeter Collingbourne          * Tag check fail causes asynchronous flag set for stores, or
62286f0d4c7SPeter Collingbourne          * a synchronous exception for loads.
62386f0d4c7SPeter Collingbourne          */
62486f0d4c7SPeter Collingbourne         if (FIELD_EX32(desc, MTEDESC, WRITE)) {
62586f0d4c7SPeter Collingbourne             mte_async_check_fail(env, dirty_ptr, ra, arm_mmu_idx, el);
62686f0d4c7SPeter Collingbourne         } else {
62786f0d4c7SPeter Collingbourne             mte_sync_check_fail(env, desc, dirty_ptr, ra);
62886f0d4c7SPeter Collingbourne         }
6292e34ff45SRichard Henderson         break;
6302e34ff45SRichard Henderson     }
6312e34ff45SRichard Henderson }
6322e34ff45SRichard Henderson 
6335add8248SRichard Henderson /**
6345add8248SRichard Henderson  * checkN:
6355add8248SRichard Henderson  * @tag: tag memory to test
6365add8248SRichard Henderson  * @odd: true to begin testing at tags at odd nibble
6375add8248SRichard Henderson  * @cmp: the tag to compare against
6385add8248SRichard Henderson  * @count: number of tags to test
6395add8248SRichard Henderson  *
6405add8248SRichard Henderson  * Return the number of successful tests.
6415add8248SRichard Henderson  * Thus a return value < @count indicates a failure.
6425add8248SRichard Henderson  *
6435add8248SRichard Henderson  * A note about sizes: count is expected to be small.
6445add8248SRichard Henderson  *
6455add8248SRichard Henderson  * The most common use will be LDP/STP of two integer registers,
6465add8248SRichard Henderson  * which means 16 bytes of memory touching at most 2 tags, but
6475add8248SRichard Henderson  * often the access is aligned and thus just 1 tag.
6485add8248SRichard Henderson  *
6495add8248SRichard Henderson  * Using AdvSIMD LD/ST (multiple), one can access 64 bytes of memory,
6505add8248SRichard Henderson  * touching at most 5 tags.  SVE LDR/STR (vector) with the default
6515add8248SRichard Henderson  * vector length is also 64 bytes; the maximum architectural length
6525add8248SRichard Henderson  * is 256 bytes touching at most 9 tags.
6535add8248SRichard Henderson  *
6545add8248SRichard Henderson  * The loop below uses 7 logical operations and 1 memory operation
6555add8248SRichard Henderson  * per tag pair.  An implementation that loads an aligned word and
6565add8248SRichard Henderson  * uses masking to ignore adjacent tags requires 18 logical operations
6575add8248SRichard Henderson  * and thus does not begin to pay off until 6 tags.
6585add8248SRichard Henderson  * Which, according to the survey above, is unlikely to be common.
6595add8248SRichard Henderson  */
6605add8248SRichard Henderson static int checkN(uint8_t *mem, int odd, int cmp, int count)
6615add8248SRichard Henderson {
6625add8248SRichard Henderson     int n = 0, diff;
6635add8248SRichard Henderson 
6645add8248SRichard Henderson     /* Replicate the test tag and compare.  */
6655add8248SRichard Henderson     cmp *= 0x11;
6665add8248SRichard Henderson     diff = *mem++ ^ cmp;
6675add8248SRichard Henderson 
6685add8248SRichard Henderson     if (odd) {
6695add8248SRichard Henderson         goto start_odd;
6705add8248SRichard Henderson     }
6715add8248SRichard Henderson 
6725add8248SRichard Henderson     while (1) {
6735add8248SRichard Henderson         /* Test even tag. */
6745add8248SRichard Henderson         if (unlikely((diff) & 0x0f)) {
6755add8248SRichard Henderson             break;
6765add8248SRichard Henderson         }
6775add8248SRichard Henderson         if (++n == count) {
6785add8248SRichard Henderson             break;
6795add8248SRichard Henderson         }
6805add8248SRichard Henderson 
6815add8248SRichard Henderson     start_odd:
6825add8248SRichard Henderson         /* Test odd tag. */
6835add8248SRichard Henderson         if (unlikely((diff) & 0xf0)) {
6845add8248SRichard Henderson             break;
6855add8248SRichard Henderson         }
6865add8248SRichard Henderson         if (++n == count) {
6875add8248SRichard Henderson             break;
6885add8248SRichard Henderson         }
6895add8248SRichard Henderson 
6905add8248SRichard Henderson         diff = *mem++ ^ cmp;
6915add8248SRichard Henderson     }
6925add8248SRichard Henderson     return n;
6935add8248SRichard Henderson }
6945add8248SRichard Henderson 
695f8c8a860SRichard Henderson /**
696f8c8a860SRichard Henderson  * mte_probe_int() - helper for mte_probe and mte_check
697f8c8a860SRichard Henderson  * @env: CPU environment
698f8c8a860SRichard Henderson  * @desc: MTEDESC descriptor
699f8c8a860SRichard Henderson  * @ptr: virtual address of the base of the access
700f8c8a860SRichard Henderson  * @fault: return virtual address of the first check failure
701f8c8a860SRichard Henderson  *
702f8c8a860SRichard Henderson  * Internal routine for both mte_probe and mte_check.
703f8c8a860SRichard Henderson  * Return zero on failure, filling in *fault.
704f8c8a860SRichard Henderson  * Return negative on trivial success for tbi disabled.
705f8c8a860SRichard Henderson  * Return positive on success with tbi enabled.
706f8c8a860SRichard Henderson  */
707f8c8a860SRichard Henderson static int mte_probe_int(CPUARMState *env, uint32_t desc, uint64_t ptr,
70828f32503SRichard Henderson                          uintptr_t ra, uint64_t *fault)
7095add8248SRichard Henderson {
7105add8248SRichard Henderson     int mmu_idx, ptr_tag, bit55;
71198f96050SRichard Henderson     uint64_t ptr_last, prev_page, next_page;
71298f96050SRichard Henderson     uint64_t tag_first, tag_last;
71398f96050SRichard Henderson     uint64_t tag_byte_first, tag_byte_last;
71428f32503SRichard Henderson     uint32_t sizem1, tag_count, tag_size, n, c;
7155add8248SRichard Henderson     uint8_t *mem1, *mem2;
7165add8248SRichard Henderson     MMUAccessType type;
7175add8248SRichard Henderson 
7185add8248SRichard Henderson     bit55 = extract64(ptr, 55, 1);
719f8c8a860SRichard Henderson     *fault = ptr;
7205add8248SRichard Henderson 
7215add8248SRichard Henderson     /* If TBI is disabled, the access is unchecked, and ptr is not dirty. */
7225add8248SRichard Henderson     if (unlikely(!tbi_check(desc, bit55))) {
723f8c8a860SRichard Henderson         return -1;
7245add8248SRichard Henderson     }
7255add8248SRichard Henderson 
7265add8248SRichard Henderson     ptr_tag = allocation_tag_from_addr(ptr);
7275add8248SRichard Henderson 
7285add8248SRichard Henderson     if (tcma_check(desc, bit55, ptr_tag)) {
729f8c8a860SRichard Henderson         return 1;
7305add8248SRichard Henderson     }
7315add8248SRichard Henderson 
7325add8248SRichard Henderson     mmu_idx = FIELD_EX32(desc, MTEDESC, MIDX);
7335add8248SRichard Henderson     type = FIELD_EX32(desc, MTEDESC, WRITE) ? MMU_DATA_STORE : MMU_DATA_LOAD;
73428f32503SRichard Henderson     sizem1 = FIELD_EX32(desc, MTEDESC, SIZEM1);
7355add8248SRichard Henderson 
73698f96050SRichard Henderson     /* Find the addr of the end of the access */
73728f32503SRichard Henderson     ptr_last = ptr + sizem1;
7385add8248SRichard Henderson 
7395add8248SRichard Henderson     /* Round the bounds to the tag granule, and compute the number of tags. */
7405add8248SRichard Henderson     tag_first = QEMU_ALIGN_DOWN(ptr, TAG_GRANULE);
74198f96050SRichard Henderson     tag_last = QEMU_ALIGN_DOWN(ptr_last, TAG_GRANULE);
74298f96050SRichard Henderson     tag_count = ((tag_last - tag_first) / TAG_GRANULE) + 1;
7435add8248SRichard Henderson 
7445add8248SRichard Henderson     /* Round the bounds to twice the tag granule, and compute the bytes. */
7455add8248SRichard Henderson     tag_byte_first = QEMU_ALIGN_DOWN(ptr, 2 * TAG_GRANULE);
74698f96050SRichard Henderson     tag_byte_last = QEMU_ALIGN_DOWN(ptr_last, 2 * TAG_GRANULE);
7475add8248SRichard Henderson 
7485add8248SRichard Henderson     /* Locate the page boundaries. */
7495add8248SRichard Henderson     prev_page = ptr & TARGET_PAGE_MASK;
7505add8248SRichard Henderson     next_page = prev_page + TARGET_PAGE_SIZE;
7515add8248SRichard Henderson 
752d3327a38SRichard Henderson     if (likely(tag_last - prev_page < TARGET_PAGE_SIZE)) {
7535add8248SRichard Henderson         /* Memory access stays on one page. */
75498f96050SRichard Henderson         tag_size = ((tag_byte_last - tag_byte_first) / (2 * TAG_GRANULE)) + 1;
75528f32503SRichard Henderson         mem1 = allocation_tag_mem(env, mmu_idx, ptr, type, sizem1 + 1,
7565add8248SRichard Henderson                                   MMU_DATA_LOAD, tag_size, ra);
7575add8248SRichard Henderson         if (!mem1) {
758f8c8a860SRichard Henderson             return 1;
7595add8248SRichard Henderson         }
7605add8248SRichard Henderson         /* Perform all of the comparisons. */
7615add8248SRichard Henderson         n = checkN(mem1, ptr & TAG_GRANULE, ptr_tag, tag_count);
7625add8248SRichard Henderson     } else {
7635add8248SRichard Henderson         /* Memory access crosses to next page. */
7645add8248SRichard Henderson         tag_size = (next_page - tag_byte_first) / (2 * TAG_GRANULE);
7655add8248SRichard Henderson         mem1 = allocation_tag_mem(env, mmu_idx, ptr, type, next_page - ptr,
7665add8248SRichard Henderson                                   MMU_DATA_LOAD, tag_size, ra);
7675add8248SRichard Henderson 
76898f96050SRichard Henderson         tag_size = ((tag_byte_last - next_page) / (2 * TAG_GRANULE)) + 1;
7695add8248SRichard Henderson         mem2 = allocation_tag_mem(env, mmu_idx, next_page, type,
77098f96050SRichard Henderson                                   ptr_last - next_page + 1,
7715add8248SRichard Henderson                                   MMU_DATA_LOAD, tag_size, ra);
7725add8248SRichard Henderson 
7735add8248SRichard Henderson         /*
7745add8248SRichard Henderson          * Perform all of the comparisons.
7755add8248SRichard Henderson          * Note the possible but unlikely case of the operation spanning
7765add8248SRichard Henderson          * two pages that do not both have tagging enabled.
7775add8248SRichard Henderson          */
7785add8248SRichard Henderson         n = c = (next_page - tag_first) / TAG_GRANULE;
7795add8248SRichard Henderson         if (mem1) {
7805add8248SRichard Henderson             n = checkN(mem1, ptr & TAG_GRANULE, ptr_tag, c);
7815add8248SRichard Henderson         }
7825add8248SRichard Henderson         if (n == c) {
7835add8248SRichard Henderson             if (!mem2) {
784f8c8a860SRichard Henderson                 return 1;
7855add8248SRichard Henderson             }
7865add8248SRichard Henderson             n += checkN(mem2, 0, ptr_tag, tag_count - c);
7875add8248SRichard Henderson         }
7885add8248SRichard Henderson     }
7895add8248SRichard Henderson 
790f8c8a860SRichard Henderson     if (likely(n == tag_count)) {
791f8c8a860SRichard Henderson         return 1;
792f8c8a860SRichard Henderson     }
793f8c8a860SRichard Henderson 
7945add8248SRichard Henderson     /*
79598f96050SRichard Henderson      * If we failed, we know which granule.  For the first granule, the
79698f96050SRichard Henderson      * failure address is @ptr, the first byte accessed.  Otherwise the
79798f96050SRichard Henderson      * failure address is the first byte of the nth granule.
7985add8248SRichard Henderson      */
799f8c8a860SRichard Henderson     if (n > 0) {
800f8c8a860SRichard Henderson         *fault = tag_first + n * TAG_GRANULE;
801f8c8a860SRichard Henderson     }
802f8c8a860SRichard Henderson     return 0;
8035add8248SRichard Henderson }
8045add8248SRichard Henderson 
805bd47b61cSRichard Henderson uint64_t mte_check(CPUARMState *env, uint32_t desc, uint64_t ptr, uintptr_t ra)
806f8c8a860SRichard Henderson {
807f8c8a860SRichard Henderson     uint64_t fault;
80828f32503SRichard Henderson     int ret = mte_probe_int(env, desc, ptr, ra, &fault);
809f8c8a860SRichard Henderson 
810f8c8a860SRichard Henderson     if (unlikely(ret == 0)) {
811f8c8a860SRichard Henderson         mte_check_fail(env, desc, fault, ra);
812f8c8a860SRichard Henderson     } else if (ret < 0) {
813f8c8a860SRichard Henderson         return ptr;
814f8c8a860SRichard Henderson     }
8155add8248SRichard Henderson     return useronly_clean_ptr(ptr);
8165add8248SRichard Henderson }
8175add8248SRichard Henderson 
818bd47b61cSRichard Henderson uint64_t HELPER(mte_check)(CPUARMState *env, uint32_t desc, uint64_t ptr)
81973ceeb00SRichard Henderson {
820bd47b61cSRichard Henderson     return mte_check(env, desc, ptr, GETPC());
8214a09a213SRichard Henderson }
8224a09a213SRichard Henderson 
8234a09a213SRichard Henderson /*
824d304d280SRichard Henderson  * No-fault version of mte_check, to be used by SVE for MemSingleNF.
8254a09a213SRichard Henderson  * Returns false if the access is Checked and the check failed.  This
8264a09a213SRichard Henderson  * is only intended to probe the tag -- the validity of the page must
8274a09a213SRichard Henderson  * be checked beforehand.
8284a09a213SRichard Henderson  */
829d304d280SRichard Henderson bool mte_probe(CPUARMState *env, uint32_t desc, uint64_t ptr)
8304a09a213SRichard Henderson {
8314a09a213SRichard Henderson     uint64_t fault;
83228f32503SRichard Henderson     int ret = mte_probe_int(env, desc, ptr, 0, &fault);
8334a09a213SRichard Henderson 
8344a09a213SRichard Henderson     return ret != 0;
8354a09a213SRichard Henderson }
8364a09a213SRichard Henderson 
83746dc1bc0SRichard Henderson /*
83846dc1bc0SRichard Henderson  * Perform an MTE checked access for DC_ZVA.
83946dc1bc0SRichard Henderson  */
84046dc1bc0SRichard Henderson uint64_t HELPER(mte_check_zva)(CPUARMState *env, uint32_t desc, uint64_t ptr)
84146dc1bc0SRichard Henderson {
84246dc1bc0SRichard Henderson     uintptr_t ra = GETPC();
84346dc1bc0SRichard Henderson     int log2_dcz_bytes, log2_tag_bytes;
84446dc1bc0SRichard Henderson     int mmu_idx, bit55;
84546dc1bc0SRichard Henderson     intptr_t dcz_bytes, tag_bytes, i;
84646dc1bc0SRichard Henderson     void *mem;
84746dc1bc0SRichard Henderson     uint64_t ptr_tag, mem_tag, align_ptr;
84846dc1bc0SRichard Henderson 
84946dc1bc0SRichard Henderson     bit55 = extract64(ptr, 55, 1);
85046dc1bc0SRichard Henderson 
85146dc1bc0SRichard Henderson     /* If TBI is disabled, the access is unchecked, and ptr is not dirty. */
85246dc1bc0SRichard Henderson     if (unlikely(!tbi_check(desc, bit55))) {
85346dc1bc0SRichard Henderson         return ptr;
85446dc1bc0SRichard Henderson     }
85546dc1bc0SRichard Henderson 
85646dc1bc0SRichard Henderson     ptr_tag = allocation_tag_from_addr(ptr);
85746dc1bc0SRichard Henderson 
85846dc1bc0SRichard Henderson     if (tcma_check(desc, bit55, ptr_tag)) {
85946dc1bc0SRichard Henderson         goto done;
86046dc1bc0SRichard Henderson     }
86146dc1bc0SRichard Henderson 
86246dc1bc0SRichard Henderson     /*
86346dc1bc0SRichard Henderson      * In arm_cpu_realizefn, we asserted that dcz > LOG2_TAG_GRANULE+1,
86446dc1bc0SRichard Henderson      * i.e. 32 bytes, which is an unreasonably small dcz anyway, to make
86546dc1bc0SRichard Henderson      * sure that we can access one complete tag byte here.
86646dc1bc0SRichard Henderson      */
86746dc1bc0SRichard Henderson     log2_dcz_bytes = env_archcpu(env)->dcz_blocksize + 2;
86846dc1bc0SRichard Henderson     log2_tag_bytes = log2_dcz_bytes - (LOG2_TAG_GRANULE + 1);
86946dc1bc0SRichard Henderson     dcz_bytes = (intptr_t)1 << log2_dcz_bytes;
87046dc1bc0SRichard Henderson     tag_bytes = (intptr_t)1 << log2_tag_bytes;
87146dc1bc0SRichard Henderson     align_ptr = ptr & -dcz_bytes;
87246dc1bc0SRichard Henderson 
87346dc1bc0SRichard Henderson     /*
87446dc1bc0SRichard Henderson      * Trap if accessing an invalid page.  DC_ZVA requires that we supply
87546dc1bc0SRichard Henderson      * the original pointer for an invalid page.  But watchpoints require
87646dc1bc0SRichard Henderson      * that we probe the actual space.  So do both.
87746dc1bc0SRichard Henderson      */
87846dc1bc0SRichard Henderson     mmu_idx = FIELD_EX32(desc, MTEDESC, MIDX);
87946dc1bc0SRichard Henderson     (void) probe_write(env, ptr, 1, mmu_idx, ra);
88046dc1bc0SRichard Henderson     mem = allocation_tag_mem(env, mmu_idx, align_ptr, MMU_DATA_STORE,
88146dc1bc0SRichard Henderson                              dcz_bytes, MMU_DATA_LOAD, tag_bytes, ra);
88246dc1bc0SRichard Henderson     if (!mem) {
88346dc1bc0SRichard Henderson         goto done;
88446dc1bc0SRichard Henderson     }
88546dc1bc0SRichard Henderson 
88646dc1bc0SRichard Henderson     /*
88746dc1bc0SRichard Henderson      * Unlike the reasoning for checkN, DC_ZVA is always aligned, and thus
88846dc1bc0SRichard Henderson      * it is quite easy to perform all of the comparisons at once without
88946dc1bc0SRichard Henderson      * any extra masking.
89046dc1bc0SRichard Henderson      *
89146dc1bc0SRichard Henderson      * The most common zva block size is 64; some of the thunderx cpus use
89246dc1bc0SRichard Henderson      * a block size of 128.  For user-only, aarch64_max_initfn will set the
89346dc1bc0SRichard Henderson      * block size to 512.  Fill out the other cases for future-proofing.
89446dc1bc0SRichard Henderson      *
89546dc1bc0SRichard Henderson      * In order to be able to find the first miscompare later, we want the
89646dc1bc0SRichard Henderson      * tag bytes to be in little-endian order.
89746dc1bc0SRichard Henderson      */
89846dc1bc0SRichard Henderson     switch (log2_tag_bytes) {
89946dc1bc0SRichard Henderson     case 0: /* zva_blocksize 32 */
90046dc1bc0SRichard Henderson         mem_tag = *(uint8_t *)mem;
90146dc1bc0SRichard Henderson         ptr_tag *= 0x11u;
90246dc1bc0SRichard Henderson         break;
90346dc1bc0SRichard Henderson     case 1: /* zva_blocksize 64 */
90446dc1bc0SRichard Henderson         mem_tag = cpu_to_le16(*(uint16_t *)mem);
90546dc1bc0SRichard Henderson         ptr_tag *= 0x1111u;
90646dc1bc0SRichard Henderson         break;
90746dc1bc0SRichard Henderson     case 2: /* zva_blocksize 128 */
90846dc1bc0SRichard Henderson         mem_tag = cpu_to_le32(*(uint32_t *)mem);
90946dc1bc0SRichard Henderson         ptr_tag *= 0x11111111u;
91046dc1bc0SRichard Henderson         break;
91146dc1bc0SRichard Henderson     case 3: /* zva_blocksize 256 */
91246dc1bc0SRichard Henderson         mem_tag = cpu_to_le64(*(uint64_t *)mem);
91346dc1bc0SRichard Henderson         ptr_tag *= 0x1111111111111111ull;
91446dc1bc0SRichard Henderson         break;
91546dc1bc0SRichard Henderson 
91646dc1bc0SRichard Henderson     default: /* zva_blocksize 512, 1024, 2048 */
91746dc1bc0SRichard Henderson         ptr_tag *= 0x1111111111111111ull;
91846dc1bc0SRichard Henderson         i = 0;
91946dc1bc0SRichard Henderson         do {
92046dc1bc0SRichard Henderson             mem_tag = cpu_to_le64(*(uint64_t *)(mem + i));
92146dc1bc0SRichard Henderson             if (unlikely(mem_tag != ptr_tag)) {
92246dc1bc0SRichard Henderson                 goto fail;
92346dc1bc0SRichard Henderson             }
92446dc1bc0SRichard Henderson             i += 8;
92546dc1bc0SRichard Henderson             align_ptr += 16 * TAG_GRANULE;
92646dc1bc0SRichard Henderson         } while (i < tag_bytes);
92746dc1bc0SRichard Henderson         goto done;
92846dc1bc0SRichard Henderson     }
92946dc1bc0SRichard Henderson 
93046dc1bc0SRichard Henderson     if (likely(mem_tag == ptr_tag)) {
93146dc1bc0SRichard Henderson         goto done;
93246dc1bc0SRichard Henderson     }
93346dc1bc0SRichard Henderson 
93446dc1bc0SRichard Henderson  fail:
93546dc1bc0SRichard Henderson     /* Locate the first nibble that differs. */
93646dc1bc0SRichard Henderson     i = ctz64(mem_tag ^ ptr_tag) >> 4;
937dbf8c321SRichard Henderson     mte_check_fail(env, desc, align_ptr + i * TAG_GRANULE, ra);
93846dc1bc0SRichard Henderson 
93946dc1bc0SRichard Henderson  done:
94046dc1bc0SRichard Henderson     return useronly_clean_ptr(ptr);
94146dc1bc0SRichard Henderson }
942