From nobody Sun Nov 9 21:40:50 2025 Delivered-To: importer@patchew.org Received-SPF: pass (zoho.com: domain of gnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org; helo=lists.gnu.org; Authentication-Results: mx.zohomail.com; spf=pass (zoho.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=fail(p=none dis=none) header.from=linux.intel.com Return-Path: Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mx.zohomail.com with SMTPS id 1552283063191862.4959150487838; Sun, 10 Mar 2019 22:44:23 -0700 (PDT) Received: from localhost ([127.0.0.1]:55735 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h3DjY-0006qo-8T for importer@patchew.org; Mon, 11 Mar 2019 01:44:20 -0400 Received: from eggs.gnu.org ([209.51.188.92]:32793) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h3Die-0006Xr-LS for qemu-devel@nongnu.org; Mon, 11 Mar 2019 01:43:25 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1h3Dib-0004hy-J1 for qemu-devel@nongnu.org; Mon, 11 Mar 2019 01:43:24 -0400 Received: from mga07.intel.com ([134.134.136.100]:33679) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1h3Dib-0004gU-7T for qemu-devel@nongnu.org; Mon, 11 Mar 2019 01:43:21 -0400 Received: from fmsmga001.fm.intel.com ([10.253.24.23]) by orsmga105.jf.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Mar 2019 22:43:20 -0700 Received: from richard.sh.intel.com (HELO localhost) ([10.239.159.54]) by fmsmga001.fm.intel.com with ESMTP; 10 Mar 2019 22:43:18 -0700 X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.58,467,1544515200"; d="scan'208";a="153843615" From: Wei Yang To: qemu-devel@nongnu.org Date: Mon, 11 Mar 2019 13:42:52 +0800 Message-Id: <20190311054252.6094-1-richardw.yang@linux.intel.com> X-Mailer: git-send-email 2.19.1 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 134.134.136.100 Subject: [Qemu-devel] [PATCH v3] exec.c: refactor function flatview_add_to_dispatch() X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: pbonzini@redhat.com, Wei Yang , rth@twiddle.net Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: "Qemu-devel" Content-Type: text/plain; charset="utf-8" flatview_add_to_dispatch() registers page based on the condition of *section*, which may looks like this: |s|PPPPPPP|s| where s stands for subpage and P for page. The procedure of this function could be described as: - register first subpage - register page - register last subpage This means the procedure could be simplified into these three steps instead of a loop iteration. This patch refactors the function into three corresponding steps and adds some comment to clarify it. Signed-off-by: Wei Yang --- v3: * pass int128_make64() instead of 0 to int128_gt() v2: * removes the loop iteration as suggested by Paolo --- exec.c | 50 +++++++++++++++++++++++++++++++++----------------- 1 file changed, 33 insertions(+), 17 deletions(-) diff --git a/exec.c b/exec.c index 0959b00c06..79cd561b3b 100644 --- a/exec.c +++ b/exec.c @@ -1598,34 +1598,50 @@ static void register_multipage(FlatView *fv, phys_page_set(d, start_addr >> TARGET_PAGE_BITS, num_pages, section_in= dex); } =20 +/* + * The range in *section* may look like this: + * + * |s|PPPPPPP|s| + * + * where s stands for subpage and P for page. + * + * The procedure in following function could be described as: + * + * - register first subpage + * - register page + * - register last subpage + */ void flatview_add_to_dispatch(FlatView *fv, MemoryRegionSection *section) { - MemoryRegionSection now =3D *section, remain =3D *section; + MemoryRegionSection now, remain =3D *section; Int128 page_size =3D int128_make64(TARGET_PAGE_SIZE); =20 - if (now.offset_within_address_space & ~TARGET_PAGE_MASK) { - uint64_t left =3D TARGET_PAGE_ALIGN(now.offset_within_address_spac= e) - - now.offset_within_address_space; + /* register first subpage */ + if (remain.offset_within_address_space & ~TARGET_PAGE_MASK) { + uint64_t left =3D TARGET_PAGE_ALIGN(remain.offset_within_address_s= pace) + - remain.offset_within_address_space; =20 + now =3D remain; now.size =3D int128_min(int128_make64(left), now.size); + remain.size =3D int128_sub(remain.size, now.size); + remain.offset_within_address_space +=3D int128_get64(now.size); + remain.offset_within_region +=3D int128_get64(now.size); register_subpage(fv, &now); - } else { - now.size =3D int128_zero(); } - while (int128_ne(remain.size, now.size)) { + + /* register page */ + if (int128_ge(remain.size, page_size)) { + now =3D remain; + now.size =3D int128_and(now.size, int128_neg(page_size)); remain.size =3D int128_sub(remain.size, now.size); remain.offset_within_address_space +=3D int128_get64(now.size); remain.offset_within_region +=3D int128_get64(now.size); - now =3D remain; - if (int128_lt(remain.size, page_size)) { - register_subpage(fv, &now); - } else if (remain.offset_within_address_space & ~TARGET_PAGE_MASK)= { - now.size =3D page_size; - register_subpage(fv, &now); - } else { - now.size =3D int128_and(now.size, int128_neg(page_size)); - register_multipage(fv, &now); - } + register_multipage(fv, &now); + } + + /* register last subpage */ + if (int128_gt(remain.size, int128_make64(0))) { + register_subpage(fv, &remain); } } =20 --=20 2.19.1