From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1756520Ab3GDLGU (ORCPT ); Thu, 4 Jul 2013 07:06:20 -0400 Received: from mx1.redhat.com ([209.132.183.28]:59792 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753488Ab3GDLGT (ORCPT ); Thu, 4 Jul 2013 07:06:19 -0400 Message-ID: <51D55728.4060909@redhat.com> Date: Thu, 04 Jul 2013 13:06:16 +0200 From: Denys Vlasenko User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130514 Thunderbird/17.0.6 MIME-Version: 1.0 To: Gleb Natapov CC: linux-kernel@vger.kernel.org, Paolo Bonzini , Avi Kivity Subject: Re: [PATCH] x86/kvm/emulate.c: simplify NOP (opcode 0x90) check References: <1372928309-16488-1-git-send-email-dvlasenk@redhat.com> <20130704091345.GB5113@redhat.com> In-Reply-To: <20130704091345.GB5113@redhat.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 07/04/2013 11:13 AM, Gleb Natapov wrote: > On Thu, Jul 04, 2013 at 10:58:29AM +0200, Denys Vlasenko wrote: >> The check sits in switch() statement which itself can check >> for opcode 0x90 far more efficiently. >> >> On assembler level, this change simply eliminates the following >> bit of code: >> >> 4c 8b a3 d8 00 00 00 mov 0xd8(%rbx),%r12 >> 31 f6 xor %esi,%esi >> 48 89 df mov %rbx,%rdi >> e8 32 8c ff ff callq 490 >> 48 8d 83 78 01 00 00 lea 0x178(%rbx),%rax >> 83 8b 70 01 00 00 01 orl $0x1,0x170(%rbx) >> 83 8b 74 01 00 00 01 orl $0x1,0x174(%rbx) >> 49 39 c4 cmp %rax,%r12 >> 0f 84 88 fa ff ff je 7304 >> >> Signed-off-by: Denys Vlasenko >> CC: Paolo Bonzini >> CC: Avi Kivity >> --- >> arch/x86/kvm/emulate.c | 6 +++--- >> 1 file changed, 3 insertions(+), 3 deletions(-) >> >> diff --git a/arch/x86/kvm/emulate.c b/arch/x86/kvm/emulate.c >> index 2bc1e81..7e6e74a 100644 >> --- a/arch/x86/kvm/emulate.c >> +++ b/arch/x86/kvm/emulate.c >> @@ -4544,9 +4544,9 @@ special_insn: >> case 0x8d: /* lea r16/r32, m */ >> ctxt->dst.val = ctxt->src.addr.mem.ea; >> break; >> - case 0x90 ... 0x97: /* nop / xchg reg, rax */ >> - if (ctxt->dst.addr.reg == reg_rmw(ctxt, VCPU_REGS_RAX)) >> - break; >> + case 0x90: /* nop */ >> + break; > This does not work on 64bit and REX prefix. Can you elaborate? 0x90 is special-cased in CPU to be a NOP regardless of bit width. IOW, xchg %eax,%eax ordinarily would clear upper 32 bits of %rax, but 0x90 doesn't do that. Do you mean that with REX.R==1, 0x90 will refer to R8?