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