From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-0.6 required=3.0 tests=DKIM_INVALID,DKIM_SIGNED, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 41200C34026 for ; Tue, 18 Feb 2020 11:11:03 +0000 (UTC) Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 0C8EF2173E for ; Tue, 18 Feb 2020 11:11:03 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (2048-bit key) header.d=linaro.org header.i=@linaro.org header.b="RUyZLh0q" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 0C8EF2173E Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=linaro.org Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org Received: from localhost ([::1]:32870 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j40mM-0005XC-8e for qemu-devel@archiver.kernel.org; Tue, 18 Feb 2020 06:11:02 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:56999) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j40la-0004wy-JX for qemu-devel@nongnu.org; Tue, 18 Feb 2020 06:10:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j40lZ-0000QN-DJ for qemu-devel@nongnu.org; Tue, 18 Feb 2020 06:10:14 -0500 Received: from mail-ot1-x343.google.com ([2607:f8b0:4864:20::343]:39717) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1j40lZ-0000Q0-6x for qemu-devel@nongnu.org; Tue, 18 Feb 2020 06:10:13 -0500 Received: by mail-ot1-x343.google.com with SMTP id 77so19114465oty.6 for ; Tue, 18 Feb 2020 03:10:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=cvdycf7eeOlOjrck3aMmk+I3QxrgA8fg09x+XPH+bPY=; b=RUyZLh0qeI7r6RadeFKtI2OZtkZDgW2RVKhbdb3tY0AnZ2QkB8tuWYnZaKGzSn4kxm Xe4bPDiUBfcW/EeX6xD8nRZITALx5lS6NhkuoazG4busVgxw+jJty9OofCFroQpZb8S1 8h8+UTFyt93FJ707imoSMfTTCK9owTdGsoF3CW/BfmUbJsWy9mod02MDPHiK1ihXIynm ARJ1AJQKaeWxitiPUD+eKU9QAZJrC4kadPPPtwHkUnIKS6RPor6e0vSr6ZCCrMUUxdH1 kiOcl1jLLw9i+JtryEWfgeGy2fiuStd4P/ZFuzlxlRMGP1Ouf19JlMO1zmdJ55JNv7lY Ga9g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=cvdycf7eeOlOjrck3aMmk+I3QxrgA8fg09x+XPH+bPY=; b=Fl3pzAls+02xjGl9VFDVtut8L05vSCOMFDPDPx0cZFIi6TYacJZ1g39j2HOkoAx6yi 794ddTe6hvpmsYmi/D1obU+2T/JJWQMGDOSLljQGJdT5Aao7ATHoAuiFozcaJrJ/t4tt jEhG9oAP5guDoavrX1L/7JNWxBcrixyeVoeYERC/NP1ese7uz0CopgxM6UiJIyppYzjO 6w3pSJ3duakN3TaopBn5gc+JEM/qzVMka0PMfOGNpe6XlYSWJD87Bs5t7AQoRug7F4fs exhKjJ/M9+wYgcSa69VQ0O9lcA2G1V/eDl4Cz9VEYS0p0AQm8wlaVfPSIVTWfbsPHLL6 gkIw== X-Gm-Message-State: APjAAAXBDWBh8WrFO1oMYIMA2SDBr8ZVeyO27xquSow/G49miDANPyLk QHQIr986tF6fxdtJAmL+ux6cj1Qiilwh4jfuwQQaaQ== X-Google-Smtp-Source: APXvYqyT+YiCS5QfnEkWUdEYlZO9TvESRCsKvCGeWtsHbAJERlzN9bHVhuUvwnKOh03p1rtkBLIg9YCfjZZYtNooHsA= X-Received: by 2002:a05:6830:4a4:: with SMTP id l4mr15546075otd.91.1582024212250; Tue, 18 Feb 2020 03:10:12 -0800 (PST) MIME-Version: 1.0 References: <20191011134744.2477-1-richard.henderson@linaro.org> <20191011134744.2477-16-richard.henderson@linaro.org> <3193d3bc-230a-8770-ffd8-d15d26c75ef9@linaro.org> In-Reply-To: <3193d3bc-230a-8770-ffd8-d15d26c75ef9@linaro.org> From: Peter Maydell Date: Tue, 18 Feb 2020 11:10:01 +0000 Message-ID: Subject: Re: [PATCH v5 15/22] target/arm: Clean address for DC ZVA To: Richard Henderson Content-Type: text/plain; charset="UTF-8" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::343 X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: qemu-arm , QEMU Developers Errors-To: qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org Sender: "Qemu-devel" On Tue, 18 Feb 2020 at 00:50, Richard Henderson wrote: > It isn't clear to me that DC ZVA does check tags. There's no pseudocode for > DC_ZVA, which is less helpful than it might be. > > I suppose one could infer it from "behaves as a set of stores to each byte > within the block", but considering that stores are both checking or > non-checking depending on addressing mode etc, I'd have preferred an explicit note. > > So far I'm treating DC_ZVA as unchecked. I think the spec is reasonably clear here. In D6.8 it says "Unless an access is explicitly defined as a Tag Unchecked access it is a Tag Checked access." and then in D6.8.1: "A cache maintenance by virtual address operation other than DC ZVA generates a Tag Unchecked access." So DC ZVA is Tag Checked, other DC ops that take a VA are Tag Unchecked. thanks -- PMM