From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 59450299A8C for ; Thu, 13 Nov 2025 23:34:36 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=170.10.133.124 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1763076888; cv=none; b=GSVQoTFW1CyC/4uhnyOXb60lPlYApDqJ1zmpRqYl6vOQOpc43yRvlF6zxD85JpVNYbmm16HEv//hwgMD6SP5vvhLt2Fx511CQNlhZ8WyK0CDpJYNPIZwtL5C7Qlc5nsXxVw9j4jsySDjFXGjFT1XUO8KK8Do9jPifuBfY1s4M3o= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1763076888; c=relaxed/simple; bh=nSAmUj2PPzVCr9D694ZC4Y9wkmKds7/+ncIasA87VeY=; h=Message-ID:Date:MIME-Version:Subject:To:Cc:References:From: In-Reply-To:Content-Type; b=S27aUXe+4b5VxnI+RaJc8XjQcvBDZk6gY9NAw9miAzgtV0VAKPhq/jG66MEANmo60NUouiDx/eruXo4ACRUMp55hYt7OJhqDobnDiQnB8xgtd24ijFIxjBS4qhqfrO6uWUVHYu97zHKGwk6MJr2INZQ3fE1enZdcgno6cl0T1wo= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com; spf=pass smtp.mailfrom=redhat.com; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b=AgfU3s//; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b=uDMnFk/6; arc=none smtp.client-ip=170.10.133.124 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=redhat.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="AgfU3s//"; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b="uDMnFk/6" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1763076875; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:autocrypt:autocrypt; bh=5Fca0SgoNeBQ3o6rFvitBJywOwYUQeyoWjMRAFT/08A=; b=AgfU3s//WBfDTTskmZyWSv/f6xeZSLfLMHQYQFjDZYABqMHbIAntR09x036w9O6N3YCnHI Y/m0/tnMtSlFzbMNHDCWIgdihGYupwgo5Tfx16Tf5YXQKQMIFTyVURaeYyA1OTckIVFDxl k9E6qftkH8hDzZR1l/3Ek0hQuSqTr3w= Received: from mail-wm1-f72.google.com (mail-wm1-f72.google.com [209.85.128.72]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-132-S6h5DS0oP469ZIuxHLaccg-1; Thu, 13 Nov 2025 18:34:33 -0500 X-MC-Unique: S6h5DS0oP469ZIuxHLaccg-1 X-Mimecast-MFC-AGG-ID: S6h5DS0oP469ZIuxHLaccg_1763076873 Received: by mail-wm1-f72.google.com with SMTP id 5b1f17b1804b1-4775e00b16fso9997985e9.2 for ; Thu, 13 Nov 2025 15:34:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=google; t=1763076871; x=1763681671; darn=vger.kernel.org; h=content-transfer-encoding:in-reply-to:autocrypt:content-language :from:references:cc:to:subject:user-agent:mime-version:date :message-id:from:to:cc:subject:date:message-id:reply-to; bh=5Fca0SgoNeBQ3o6rFvitBJywOwYUQeyoWjMRAFT/08A=; b=uDMnFk/6kdWMoxRE1MP6Sx45QO/LAc+LYdJ3skPj2n6gRD2XgQnGxS1CPV6bN3t5Gy H+G1JP+IWUE7HxezwbHM+sl4F8cazQt/fFRoSt8oNqIQb/ss0OUC9yl0/dqpOgxQoHWd tNycHpbu8GF4cOIb4eGSRLBfD3KN/bHb7y/qit6Jid/vctJVLkztHkhG44avyPGnoZLR ZtFQuLGLshr7JTL9N/18W7RVDy+GCqxhOuCcJJ/HYeOzqmFPDuUT7mdc8UPIZAxy5FQD ZojMLbEVWs9E72dClMP9ZyKBKhsHOln0uVztJXeXs1ajbWDrerrwTeOnw8EydsMlXfs1 iNOA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1763076871; x=1763681671; h=content-transfer-encoding:in-reply-to:autocrypt:content-language :from:references:cc:to:subject:user-agent:mime-version:date :message-id:x-gm-gg:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=5Fca0SgoNeBQ3o6rFvitBJywOwYUQeyoWjMRAFT/08A=; b=EywxuAtkRpQkfj1gUmCZ98dBJBynM44PR4DYHv7wWyJx7hODFa3W9l2JDjXpqKKaKD AAorAtkEHlVZC6i0sFKXLuCR6pc6AlDmPNGLRQiFeFWpYv7ujkLXzGgLrnJnxeobxVrj ED3ZIUP4C2gY9slHGR1Nl53KV43KFcMvOiKby3hQtMMSrWFIeBc0b9I4cE4e+9R+/CVS 3Ma7lFz7MP4bqiuztJjpZ7NpTEULfOZqUKezRdbfC7gPiOLSBqD9tTLaewF3wbveq7jL 0ndmqSaYCNmPgr6u1h+nQD1++b32ls2ZEDQB15Cn+BcfnBlTuOEkzgv++53SAYIyRKTX bmcQ== X-Forwarded-Encrypted: i=1; AJvYcCUdnJR1EVFvcPlhzNMJQDSCShw/qYnoV6DM5u4s2KZaz67LTr9XbPBiiUShZAy+ROdZqseBC4WCtoOkmcA=@vger.kernel.org X-Gm-Message-State: AOJu0YwlDCfvrMk4nWItEYwHYK2Q8LyPS+m1Rn1B/UReN4OfYPbwKGYR LzVaJNpyGQMtnyG0hStE8+vqTUHKEGEpdfmWG1YHAlQu9vhd98RJpe/APXDI2GKxb6OMr/ThhFP ZQ6SQkHRvgTYW0Plz6QQ//dp48zMbjuoHwwcAYnAH/z6XLheDzZ4wCtSJ6rHl7vwIEyYT5oXiQQ == X-Gm-Gg: ASbGnctIf2CS9CrUHLHa2BmgjMXqOI71EFoL65xxcyJtV6UIf+ETN3RzaO3Jqaa9yC6 eGl6TUzgtNpMTYoN5Q3xCufbz9IbQYPNO4ZYgOy33qBT2snjCYxVQciMnY37P2sSfVZTehw6s1n /tQotcwggAn1CddJG4qzvJCPXrsAYCrUipb73rOag1ngPkX06XL+k7wrGdqmmJY2g59pe/E2jap +qoIVis80IA+9koHMDgS0X3puCldZ2atZfYKrH36smQkPSgJt1jHQmk4+SGzMUjlfXIBsFALrE5 XkCrc7jgac1Egf+vDrfOLD776HBKuKP5aPnNSLZTqZvb4f5CONxLydhMyJhwn57fN+5oiWAsAGg FOYVHQqF+uLn6TQyVmQrt/BeMziLroVQdpRPeH1iK7+HnKlpmSTUm02jUOqrmZQHbNb2dPSkBuL P+TOJd X-Received: by 2002:a05:600c:4594:b0:477:73e9:dc17 with SMTP id 5b1f17b1804b1-4778feba6c6mr10084585e9.35.1763076871332; Thu, 13 Nov 2025 15:34:31 -0800 (PST) X-Google-Smtp-Source: AGHT+IGQOYOlxdhURLMzvoi/8fJYt0kspxD6hs1g4npvnC2GTeZN24SCGJgDIZvczjJpV6clo0xsGw== X-Received: by 2002:a05:600c:4594:b0:477:73e9:dc17 with SMTP id 5b1f17b1804b1-4778feba6c6mr10084395e9.35.1763076870930; Thu, 13 Nov 2025 15:34:30 -0800 (PST) Received: from [192.168.10.48] ([176.206.119.13]) by smtp.googlemail.com with ESMTPSA id 5b1f17b1804b1-4778c897b1dsm57706675e9.13.2025.11.13.15.34.29 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 13 Nov 2025 15:34:30 -0800 (PST) Message-ID: Date: Fri, 14 Nov 2025 00:34:28 +0100 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH RFC v1 16/20] KVM: x86: Decode REX2 prefix in the emulator To: "Chang S. Bae" , kvm@vger.kernel.org, linux-kernel@vger.kernel.org Cc: seanjc@google.com, chao.gao@intel.com, zhao1.liu@intel.com References: <20251110180131.28264-1-chang.seok.bae@intel.com> <20251110180131.28264-17-chang.seok.bae@intel.com> <6a093929-5e35-485a-934c-e0913d14ac14@redhat.com> <25c8c533-73a3-4cc1-9fbf-4301b2155f11@intel.com> From: Paolo Bonzini Content-Language: en-US Autocrypt: addr=pbonzini@redhat.com; keydata= xsEhBFRCcBIBDqDGsz4K0zZun3jh+U6Z9wNGLKQ0kSFyjN38gMqU1SfP+TUNQepFHb/Gc0E2 CxXPkIBTvYY+ZPkoTh5xF9oS1jqI8iRLzouzF8yXs3QjQIZ2SfuCxSVwlV65jotcjD2FTN04 hVopm9llFijNZpVIOGUTqzM4U55sdsCcZUluWM6x4HSOdw5F5Utxfp1wOjD/v92Lrax0hjiX DResHSt48q+8FrZzY+AUbkUS+Jm34qjswdrgsC5uxeVcLkBgWLmov2kMaMROT0YmFY6A3m1S P/kXmHDXxhe23gKb3dgwxUTpENDBGcfEzrzilWueOeUWiOcWuFOed/C3SyijBx3Av/lbCsHU Vx6pMycNTdzU1BuAroB+Y3mNEuW56Yd44jlInzG2UOwt9XjjdKkJZ1g0P9dwptwLEgTEd3Fo UdhAQyRXGYO8oROiuh+RZ1lXp6AQ4ZjoyH8WLfTLf5g1EKCTc4C1sy1vQSdzIRu3rBIjAvnC tGZADei1IExLqB3uzXKzZ1BZ+Z8hnt2og9hb7H0y8diYfEk2w3R7wEr+Ehk5NQsT2MPI2QBd wEv1/Aj1DgUHZAHzG1QN9S8wNWQ6K9DqHZTBnI1hUlkp22zCSHK/6FwUCuYp1zcAEQEAAc0j UGFvbG8gQm9uemluaSA8cGJvbnppbmlAcmVkaGF0LmNvbT7CwU0EEwECACMFAlRCcBICGwMH CwkIBwMCAQYVCAIJCgsEFgIDAQIeAQIXgAAKCRB+FRAMzTZpsbceDp9IIN6BIA0Ol7MoB15E 11kRz/ewzryFY54tQlMnd4xxfH8MTQ/mm9I482YoSwPMdcWFAKnUX6Yo30tbLiNB8hzaHeRj jx12K+ptqYbg+cevgOtbLAlL9kNgLLcsGqC2829jBCUTVeMSZDrzS97ole/YEez2qFpPnTV0 VrRWClWVfYh+JfzpXmgyhbkuwUxNFk421s4Ajp3d8nPPFUGgBG5HOxzkAm7xb1cjAuJ+oi/K CHfkuN+fLZl/u3E/fw7vvOESApLU5o0icVXeakfSz0LsygEnekDbxPnE5af/9FEkXJD5EoYG SEahaEtgNrR4qsyxyAGYgZlS70vkSSYJ+iT2rrwEiDlo31MzRo6Ba2FfHBSJ7lcYdPT7bbk9 AO3hlNMhNdUhoQv7M5HsnqZ6unvSHOKmReNaS9egAGdRN0/GPDWr9wroyJ65ZNQsHl9nXBqE AukZNr5oJO5vxrYiAuuTSd6UI/xFkjtkzltG3mw5ao2bBpk/V/YuePrJsnPFHG7NhizrxttB nTuOSCMo45pfHQ+XYd5K1+Cv/NzZFNWscm5htJ0HznY+oOsZvHTyGz3v91pn51dkRYN0otqr bQ4tlFFuVjArBZcapSIe6NV8C4cEiSTOwE0EVEJx7gEIAMeHcVzuv2bp9HlWDp6+RkZe+vtl KwAHplb/WH59j2wyG8V6i33+6MlSSJMOFnYUCCL77bucx9uImI5nX24PIlqT+zasVEEVGSRF m8dgkcJDB7Tps0IkNrUi4yof3B3shR+vMY3i3Ip0e41zKx0CvlAhMOo6otaHmcxr35sWq1Jk tLkbn3wG+fPQCVudJJECvVQ//UAthSSEklA50QtD2sBkmQ14ZryEyTHQ+E42K3j2IUmOLriF dNr9NvE1QGmGyIcbw2NIVEBOK/GWxkS5+dmxM2iD4Jdaf2nSn3jlHjEXoPwpMs0KZsgdU0pP JQzMUMwmB1wM8JxovFlPYrhNT9MAEQEAAcLBMwQYAQIACQUCVEJx7gIbDAAKCRB+FRAMzTZp sadRDqCctLmYICZu4GSnie4lKXl+HqlLanpVMOoFNnWs9oRP47MbE2wv8OaYh5pNR9VVgyhD OG0AU7oidG36OeUlrFDTfnPYYSF/mPCxHttosyt8O5kabxnIPv2URuAxDByz+iVbL+RjKaGM GDph56ZTswlx75nZVtIukqzLAQ5fa8OALSGum0cFi4ptZUOhDNz1onz61klD6z3MODi0sBZN Aj6guB2L/+2ZwElZEeRBERRd/uommlYuToAXfNRdUwrwl9gRMiA0WSyTb190zneRRDfpSK5d usXnM/O+kr3Dm+Ui+UioPf6wgbn3T0o6I5BhVhs4h4hWmIW7iNhPjX1iybXfmb1gAFfjtHfL xRUr64svXpyfJMScIQtBAm0ihWPltXkyITA92ngCmPdHa6M1hMh4RDX+Jf1fiWubzp1voAg0 JBrdmNZSQDz0iKmSrx8xkoXYfA3bgtFN8WJH2xgFL28XnqY4M6dLhJwV3z08tPSRqYFm4NMP dRsn0/7oymhneL8RthIvjDDQ5ktUjMe8LtHr70OZE/TT88qvEdhiIVUogHdo4qBrk41+gGQh b906Dudw5YhTJFU3nC6bbF2nrLlB4C/XSiH76ZvqzV0Z/cAMBo5NF/w= In-Reply-To: <25c8c533-73a3-4cc1-9fbf-4301b2155f11@intel.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit On 11/14/25 00:30, Chang S. Bae wrote: > On 11/11/2025 9:55 AM, Paolo Bonzini wrote: >> On 11/10/25 19:01, Chang S. Bae wrote: >>> >>>           case 0x40 ... 0x4f: /* REX */ >>>               if (mode != X86EMUL_MODE_PROT64) >>>                   goto done_prefixes; >>> +            if (ctxt->rex_prefix == REX2_PREFIX) >>> +                break; >>>               ctxt->rex_prefix = REX_PREFIX; >>>               ctxt->rex.raw    = 0x0f & ctxt->b; >>>               continue; >>> +        case 0xd5: /* REX2 */ >>> +            if (mode != X86EMUL_MODE_PROT64) >>> +                goto done_prefixes; >> Here you should also check >> >>      if (ctxt->rex_prefix == REX_PREFIX) { >>          ctxt->rex_prefix = REX2_INVALID; >>          goto done_prefixes; >>      } > > You're right. Section 3.1.2.1 states: > | A REX prefix (0x4*) immediately preceding the REX2 prefix is not > | allowed and triggers #UD. > > Now I think REX2_INVALID would just add another condition to handle > later. Instead, for such invalid case, it might be simpler to mark the > opcode as undefined and jump all the way after the lookup. See the diff > -- please let me know if you dislike it. Yes, I also thought it was unnecessary but waited until we merged the respective patches. Paolo