From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ej1-x633.google.com (mail-ej1-x633.google.com [IPv6:2a00:1450:4864:20::633]) by sourceware.org (Postfix) with ESMTPS id F02A83858D35 for ; Fri, 5 May 2023 22:01:14 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org F02A83858D35 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=rivosinc.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=rivosinc.com Received: by mail-ej1-x633.google.com with SMTP id a640c23a62f3a-965c3f9af2aso313850066b.0 for ; Fri, 05 May 2023 15:01:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rivosinc-com.20221208.gappssmtp.com; s=20221208; t=1683324073; x=1685916073; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=7FIGUM4vwpiGP6XrQRcDhNy0h/1JCnnTRYOMJJSu5Ro=; b=SvcJIpN8CMo8bPpUv0fKEJbSAxCx6h5BuxmvuNftXNQDRvWZVKnyDg4OY/MBgD8Ui3 LZoZcY0w/zlCqQalxVoMJRBX9v7uhfqsLpGUVV/ZWuCgLKAl2wH1eJW/EDnkSsoXRE3i 4UFhPUW/EWP5gGY4nwYR1Hz0j1dTcD9+x7aS79Ysvm+yodQBmb74uBn00iRsRU8PsI9g 4aBlvtLnNKDs8iAfa86ZP65cL+9ZHOkKrKg1iAQbUI01qoeuALTIsHKD/ny3KSVcVxzP xRY5L8Q7K11AXJcZuiqZ5JQWLct3SyuAI39L4vtNz7K8IW3yj82qkfWNkR2o8PaIjXFa sPCQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1683324073; x=1685916073; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=7FIGUM4vwpiGP6XrQRcDhNy0h/1JCnnTRYOMJJSu5Ro=; b=aEGugBX634b39YoquaHcE8VG/b3SMPxERuwE+NBVCNsjcP0WcVk6/HUh4bgSmANfp3 cFdkatBl/qbwPJmTYOgBJf9AEkhDhVvNwub4yyeombXp067aHLm+N2AEJQc+j7xHvJ0b uOIeMvsZ56TNKtnZc2opZoOPqim7FiSE7v7oi5sQaS9pyMwis0up8bff7YCZH4ZXtJ/N u+bupHPSvzhA1Tpkrj4uyp4zrQMGp0IcwnYBePqFb2vARcHfY1fliXpSMam13GVgjLT+ Y+gMnTppFjIXw3AEsEhVpwu60jmWnip1OO824jdpokMUxtt074G8ZT1N8NDWSYVa1dvJ NEvw== X-Gm-Message-State: AC+VfDwGWv63Ruk6kXGQkE7KWryDcfTTSKA5jnYuiswyT04dMT630+vH dhfg08sGTHhPAYtLGOtOQvmLwA== X-Google-Smtp-Source: ACHHUZ58VMiiEz4lwleu3GtHmPTGt1LlYfhebBNxycnaP+/CGm5ceR1+MO8fw7c4DFwZtCQD/Q9klg== X-Received: by 2002:a17:907:7293:b0:94e:d72b:d10c with SMTP id dt19-20020a170907729300b0094ed72bd10cmr2773404ejc.40.1683324073574; Fri, 05 May 2023 15:01:13 -0700 (PDT) Received: from andrea (host-87-1-71-229.retail.telecomitalia.it. [87.1.71.229]) by smtp.gmail.com with ESMTPSA id h1-20020a1709063b4100b00965af4c7f07sm1420678ejf.20.2023.05.05.15.01.12 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 05 May 2023 15:01:13 -0700 (PDT) Date: Sat, 6 May 2023 00:01:08 +0200 From: Andrea Parri To: Hans Boehm Cc: Palmer Dabbelt , Patrick O'Neill , gcc-patches@gcc.gnu.org, jeffreyalaw@gmail.com, Vineet Gupta , Andrew Waterman , kito.cheng@sifive.com, Daniel Lustig , cmuellner@gcc.gnu.org, gnu-toolchain@rivosinc.com Subject: Re: [RFC] RISC-V: Add proposed Ztso atomic mappings Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,RCVD_IN_BARRACUDACENTRAL,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Fri, May 05, 2023 at 02:42:38PM -0700, Hans Boehm wrote: > I think A.6-tso also needs to change the last line in the table from > lr.aqrl ... sc to lr.aq ... sc.rl, otherwise I think we have problems with > a subsequent A.7-tso generated l.aq . Otherwise I agree. Indeed! Thanks for the correction. Andrea