From patchwork Mon Aug 3 14:47:39 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jan Beulich X-Patchwork-Id: 11698277 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id 83F56138A for ; Mon, 3 Aug 2020 14:49:09 +0000 (UTC) Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (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 68FDA206D7 for ; Mon, 3 Aug 2020 14:49:09 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 68FDA206D7 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=suse.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=xen-devel-bounces@lists.xenproject.org Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1k2bkd-00044u-N5; Mon, 03 Aug 2020 14:47:43 +0000 Received: from us1-rack-iad1.inumbo.com ([172.99.69.81]) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1k2bkc-00044p-PM for xen-devel@lists.xenproject.org; Mon, 03 Aug 2020 14:47:42 +0000 X-Inumbo-ID: 485fd780-d598-11ea-9097-bc764e2007e4 Received: from mx2.suse.de (unknown [195.135.220.15]) by us1-rack-iad1.inumbo.com (Halon) with ESMTPS id 485fd780-d598-11ea-9097-bc764e2007e4; Mon, 03 Aug 2020 14:47:41 +0000 (UTC) X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.221.27]) by mx2.suse.de (Postfix) with ESMTP id 59A39ACC8; Mon, 3 Aug 2020 14:47:56 +0000 (UTC) To: "xen-devel@lists.xenproject.org" From: Jan Beulich Subject: [PATCH 00/10] x86emul: full coverage mem access / write testing Message-ID: <97ca3d9c-7540-c7b1-cf84-34c75c9127df@suse.com> Date: Mon, 3 Aug 2020 16:47:39 +0200 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.11.0 MIME-Version: 1.0 Content-Language: en-US X-BeenThere: xen-devel@lists.xenproject.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Cc: Andrew Cooper , Wei Liu , =?utf-8?q?Roger_Pau_Monn=C3=A9?= Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" ... and a few fixes resulting from this work. This completes what was started for legacy encoded GPR insns in a rush before 4.14. There's one thing I'm still planning on top of both this and the EVEX-disp8 checking: For all encodings we produce via general logic (and in particular without involvement of any assembler) I'd like to add a kind of logging mechanism, the output of which could be fed to gas and then some disassembler, to allow verification that the produced encodings are actually valid ones. See e.g. the first patch here or commit 5f55389d6960 - the problems addressed there could have been caught earlier if the generated encodings could be easily disassembled. What's not clear to me here is whether this is deemed generally useful, or whether I should make this a private addition of mine. 01: adjustments to mem access / write logic testing 02: extend decoding / mem access testing to FPU insns 03: extend decoding / mem access testing to MMX / SSE insns 04: extend decoding / mem access testing to VEX-encoded insns 05: extend decoding / mem access testing to XOP-encoded insns 06: AVX512{F,BW} down conversion moves are memory writes 07: AVX512F scatter insns are memory writes 08: AVX512PF insns aren't memory accesses 09: extend decoding / mem access testing to EVEX-encoded insns 10: correct AVX512_BF16 insn names in EVEX Disp8 test Jan Acked-by: Andrew Cooper