From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:58796) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hBeW1-000363-Uh for qemu-devel@nongnu.org; Wed, 03 Apr 2019 07:57:14 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hBeVz-0000eB-Dl for qemu-devel@nongnu.org; Wed, 03 Apr 2019 07:57:13 -0400 Received: from mail-ot1-x343.google.com ([2607:f8b0:4864:20::343]:36843) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hBeVw-0000XB-Fa for qemu-devel@nongnu.org; Wed, 03 Apr 2019 07:57:09 -0400 Received: by mail-ot1-x343.google.com with SMTP id o74so15196984ota.3 for ; Wed, 03 Apr 2019 04:57:06 -0700 (PDT) MIME-Version: 1.0 References: <20190307144126.31847-1-richard.henderson@linaro.org> <20190307144126.31847-3-richard.henderson@linaro.org> In-Reply-To: From: Peter Maydell Date: Wed, 3 Apr 2019 18:56:55 +0700 Message-ID: Content-Type: text/plain; charset="UTF-8" Subject: Re: [Qemu-devel] [PATCH 2/9] tcg: Add INDEX_op_extract2_{i32,i64} List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Richard Henderson Cc: QEMU Developers , David Hildenbrand On Wed, 3 Apr 2019 at 18:37, Richard Henderson wrote: > > On 3/26/19 8:35 PM, Peter Maydell wrote: > > On Thu, 7 Mar 2019 at 14:47, Richard Henderson > > wrote: > >> > >> This will let backends implement the double-word shift operation. > >> > >> Signed-off-by: Richard Henderson > >> diff --git a/tcg/README b/tcg/README > >> index 603f4df659..ddabf33017 100644 > >> --- a/tcg/README > >> +++ b/tcg/README > >> @@ -343,6 +343,11 @@ at bit 8. This operation would be equivalent to > >> > >> (using an arithmetic right shift). > >> > >> +* extract2_i64 dest, t1, t2, pos > >> + > >> +Extract a 64-bit quantity from the concatenation of t2:t1, > >> +beginning at pos. > >> + > > > > I think we should document the valid values of 'pos'. > > My guess is "0 <= pos <= 63". > > How about > > ---- > * extract2_i32/i64 dest, t1, t2, pos > > For N = {32,64}, extract an N-bit quantity from the concatenation > of t2:t1, beginning at pos. The tcg_gen_extract2_* expander allows > values 0 <= pos <= N, but will expand 0 and N with mov, so only > 1 <= pos <= N-1 will be seen by the host tcg_out_op. If I'm reading that correctly, it seems to be combining in one sentence the behaviour of the TCG API exposed to the front-end (pos can be between 0 and N inclusive) with a detail of the API that a backend needs to care about (that it can assume it never sees 0 or N). I think we should be more careful to keep those separate, because a reader of this document is almost always going to care only about one or the other, never both at the same time. Perhaps things that apply only to the backend end of the interface should go in section 4 of tcg/README? At any rate I think they should at least be in different sentences :-) thanks -- PMM