From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:60603) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1grPNz-0004Wy-Mm for qemu-devel@nongnu.org; Wed, 06 Feb 2019 10:45:16 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1grPNy-0003eP-1P for qemu-devel@nongnu.org; Wed, 06 Feb 2019 10:45:15 -0500 Received: from zero.eik.bme.hu ([2001:738:2001:2001::2001]:41678) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1grPNw-0003Oi-5S for qemu-devel@nongnu.org; Wed, 06 Feb 2019 10:45:13 -0500 Date: Wed, 6 Feb 2019 16:44:19 +0100 (CET) From: BALATON Zoltan In-Reply-To: Message-ID: References: <20190104223116.14037-1-richard.henderson@linaro.org> <362de5ba-a678-aeed-6a5d-3a02844c2560@linaro.org> <6314c25b-a8c9-a8e2-2e1d-a8eeb3b88f2c@ilande.co.uk> <935af9ba-3fd8-ebd8-4f70-5050351d89d5@linaro.org> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Subject: Re: [Qemu-devel] [PATCH v2 00/10] tcg vector improvements List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Mark Cave-Ayland Cc: Richard Henderson , qemu-devel@nongnu.org, Howard Spoelstra On Wed, 6 Feb 2019, Mark Cave-Ayland wrote: > Howard has also pointed out that he's still spotted some corruption in his tests, so > I will do a bit more investigation and report back. I wonder if instead of "visually testing" shouldn't it be verified by some more exact tests? Could any of these be useful: https://gcc.gnu.org/ml/gcc-patches/2002-11/msg01391.html https://gcc.gnu.org/git/?p=gcc.git;a=tree;f=gcc/testsuite/gcc.dg/vmx;h=4765c35dabb4e3891c98084af077c2549fb45dfc;hb=HEAD https://github.com/llvm-mirror/test-suite/tree/master/SingleSource/UnitTests/Vector/Altivec or there could be other similar ones around that already have test cases for these instructions that could provide some more confidence in the correctness of the implementation. Regards, BALATON Zoltan