Index: src/trusted/validator_ragel/mmx-instructions.def |
=================================================================== |
--- src/trusted/validator_ragel/mmx-instructions.def (revision 7794) |
+++ src/trusted/validator_ragel/mmx-instructions.def (working copy) |
@@ -1,226 +0,0 @@ |
-# Copyright (c) 2011 The Native Client Authors. All rights reserved. |
-# Use of this source code is governed by a BSD-style license that can be |
-# found in the LICENSE file. |
-################################################################################ |
-# This file describes instructions from AMD64 Architecture Programmer’s Manual |
-# Volume 5: 64-Bit Media and x87 Floating-Point Instructions |
-# Chapter 1: 64-Bit Media Instruction Reference |
-################################################################################ |
-# File format: see general-purpose-instructions.def |
-######## CVTPD2PI ############################################################## |
-cvtpd2pi Wpd Pq, 0x66 0x0f 0x2d, Fn0000_0001_EDX_SSE2 |
-######## CVTPI2PD ############################################################## |
-cvtpi2pd Qq Vpd, 0x66 0x0f 0x2a, Fn0000_0001_EDX_SSE2 |
-######## CVTPI2PS ############################################################## |
-cvtpi2ps Qq Vps, 0x0f 0x2a, Fn0000_0001_EDX_SSE2 |
-######## CVTPS2PI ############################################################## |
-cvtps2pi Wps Pq, 0x0f 0x2d, Fn0000_0001_EDX_SSE2 |
-######## CVTTPD2PI ############################################################# |
-cvttpd2pi Wpd Pq, 0x66 0x0f 0x2c, Fn0000_0001_EDX_SSE2 |
-######## CVTTPS2PI ############################################################# |
-cvttps2pi Wps Pq, 0x0f 0x2c, Fn0000_0001_EDX_SSE2 |
-######## EMMS ################################################################## |
-emms, 0x0f 0x77, Fn0000_0001_EDX_MMX |
-######## FEMMS ################################################################# |
-femms, 0xf 0x0e, Fn8000_0001_EDX_3DNow |
-######## FRSTOR ################################################################ |
-frstor Msr, 0xdd /4, Fn0000_0001_EDX_X87 |
-######## FSAVE/FNSAVE ########################################################## |
-fnsave Msr, 0xdd /6, Fn0000_0001_EDX_X87 |
-fsave Msr, 0x9b 0xdd /6, Fn0000_0001_EDX_X87 |
-######## FXRSTOR ############################################################### |
-fxrstor Msx, 0x0f 0xae /1, nacl-forbidden Fn0000_0001_ECX_XSAVE |
-######## FXSAVE ################################################################ |
-fxsave Msx, 0x0f 0xae /0, nacl-forbidden Fn0000_0001_ECX_XSAVE |
-######## MASKMOVQ ############################################################## |
-maskmovq Nq Pq, 0x0f 0xf7, Fn8000_0001_EDX_MmxExt |
-######## MOVD ################################################################## |
-# This is description according to AMD/Intel manual. |
-# movd Ey Py, 0x0f 0x6e, Fn0000_0001_EDX_MMX |
-# movd Py Ey, 0x0f 0x7e, Fn0000_0001_EDX_MMX |
-# Objdump names 64bit version not “movd” but movq”. We describe 32bit version |
-# and 64bit separately. |
-movd Ed Pq, 0x0f 0x6e, Fn0000_0001_EDX_MMX |
-movd Pq Ed, 0x0f 0x7e, Fn0000_0001_EDX_MMX |
-movq Eq Pq, rexw 0x0f 0x6e, amd64 Fn0000_0001_EDX_MMX |
-movq Pq Eq, rexw 0x0f 0x7e, amd64 Fn0000_0001_EDX_MMX |
-######## MOVDQ2Q ############################################################### |
-movdq2q Uq Pq, 0xf2 0x0f 0xd6, Fn0000_0001_EDX_SSE2 |
-######## MOVQ2DQ ############################################################### |
-movq2dq Nq Vdq, 0xf3 0x0f 0xd6, Fn0000_0001_EDX_SSE2 |
-######## PACKSSDW ############################################################## |
-packssdw Qq Pq, 0x0f 0x6b, Fn0000_0001_EDX_MMX |
-######## PASKSSWB ############################################################## |
-packsswb Qq Pq, 0x0f 0x63, Fn0000_0001_EDX_MMX |
-######## PACKUSWB ############################################################## |
-packuswb Qq Pq, 0x0f 0x67, Fn0000_0001_EDX_MMX |
-######## PADDB ################################################################# |
-paddb Qq Pq, 0x0f 0xfc, Fn0000_0001_EDX_MMX |
-######## PADDD ################################################################# |
-paddd Qq Pq, 0x0f 0xfe, Fn0000_0001_EDX_MMX |
-######## PADDQ ################################################################# |
-paddq Qq Pq, 0x0f 0xd4, Fn0000_0001_EDX_SSE2 |
-######## PADDSB ################################################################ |
-paddsb Qq Pq, 0x0f 0xec, Fn0000_0001_EDX_MMX |
-######## PADDSW ################################################################ |
-paddsw Qq Pq, 0x0f 0xed, Fn0000_0001_EDX_MMX |
-######## PADDUSB ############################################################### |
-paddusb Qq Pq, 0x0f 0xdc, Fn0000_0001_EDX_MMX |
-######## PADDUSW ############################################################### |
-paddusw Qq Pq, 0x0f 0xdd, Fn0000_0001_EDX_MMX |
-######## PADDW ################################################################# |
-paddw Qq Pq, 0x0f 0xfd, Fn0000_0001_EDX_MMX |
-######## PAND ################################################################## |
-pand Qq Pq, 0x0f 0xdb, Fn0000_0001_EDX_MMX |
-######## PANDN ################################################################# |
-pandn Qq Pq, 0x0f 0xdf, Fn0000_0001_EDX_MMX |
-######## PAVGB ################################################################# |
-pavgb Qq Pq, 0x0f 0xe0, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PAVGUSB ############################################################### |
-pavgusb Qq Pq, 0x0f 0x0f / 0xbf, Fn8000_0001_EDX_3DNow |
-######## PAVGW ################################################################# |
-pavgw Qq Pq, 0x0f 0xe3, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PCMPEQB ############################################################### |
-pcmpeqb Qq Pq, 0x0f 0x74, Fn0000_0001_EDX_MMX |
-######## PCMPEQD ############################################################### |
-pcmpeqd Qq Pq, 0x0f 0x76, Fn0000_0001_EDX_MMX |
-######## PCMPEQW ############################################################### |
-pcmpeqw Qq Pq, 0x0f 0x75, Fn0000_0001_EDX_MMX |
-######## PCMPGTB ############################################################### |
-pcmpgtb Qq Pq, 0x0f 0x64, Fn0000_0001_EDX_MMX |
-######## PCMPGTD ############################################################### |
-pcmpgtd Qq Pq, 0x0f 0x66, Fn0000_0001_EDX_MMX |
-######## PCMPGTW ############################################################### |
-pcmpgtw Qq Pq, 0x0f 0x65, Fn0000_0001_EDX_MMX |
-######## PEXTRW ################################################################ |
-pextrw Ib Nq Gd, 0x0f 0xc5, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PF2ID ################################################################# |
-pf2id Qq Pq, 0x0f 0x0f / 0x1d, Fn8000_0001_EDX_3DNow |
-######## PF2IW ################################################################# |
-pf2iw Qq Pq, 0x0f 0x0f / 0x1c, Fn8000_0001_EDX_3DNowExt |
-######## PFACC ################################################################# |
-pfacc Qq Pq, 0x0f 0x0f / 0xae, Fn8000_0001_EDX_3DNow |
-######## PFADD ################################################################# |
-pfadd Qq Pq, 0x0f 0x0f / 0x9e, Fn8000_0001_EDX_3DNow |
-######## PFCMPEQ ############################################################### |
-pfcmpeq Qq Pq, 0x0f 0x0f / 0xb0, Fn8000_0001_EDX_3DNow |
-######## PFCMPGE ############################################################### |
-pfcmpge Qq Pq, 0x0f 0x0f / 0x90, Fn8000_0001_EDX_3DNow |
-######## PFCMPGT ############################################################### |
-pfcmpgt Qq Pq, 0x0f 0x0f / 0xa0, Fn8000_0001_EDX_3DNow |
-######## PFMAX ################################################################# |
-pfmax Qq Pq, 0x0f 0x0f / 0xa4, Fn8000_0001_EDX_3DNow |
-######## PFMIN ################################################################# |
-pfmin Qq Pq, 0x0f 0x0f / 0x94, Fn8000_0001_EDX_3DNow |
-######## PFMUL ################################################################# |
-pfmul Qq Pq, 0x0f 0x0f / 0xb4, Fn8000_0001_EDX_3DNow |
-######## PFNACC ################################################################ |
-pfnacc Qq Pq, 0x0f 0x0f / 0x8a, Fn8000_0001_EDX_3DNowExt |
-######## PFPNACC ############################################################### |
-pfpnacc Qq Pq, 0x0f 0x0f / 0x8e, Fn8000_0001_EDX_3DNowExt |
-######## PFRCP ################################################################# |
-pfrcp Qq Pq, 0x0f 0x0f / 0x96, Fn8000_0001_EDX_3DNow |
-######## PFRCPIT1 ############################################################## |
-pfrcpit1 Qq Pq, 0x0f 0x0f / 0xa6, Fn8000_0001_EDX_3DNow |
-######## PFRCPIT2 ############################################################## |
-pfrcpit2 Qq Pq, 0x0f 0x0f / 0xb6, Fn8000_0001_EDX_3DNow |
-######## PFRSQIT1 ############################################################## |
-pfrsqit1 Qq Pq, 0x0f 0x0f / 0xa7, Fn8000_0001_EDX_3DNow |
-######## PFRSQRT ############################################################### |
-pfrsqrt Qq Pq, 0x0f 0x0f / 0x97, Fn8000_0001_EDX_3DNow |
-######## PFSUB ################################################################# |
-pfsub Qq Pq, 0x0f 0x0f / 0x9a, Fn8000_0001_EDX_3DNow |
-######## PFSUBR ################################################################ |
-pfsubr Qq Pq, 0x0f 0x0f / 0xaa, Fn8000_0001_EDX_3DNow |
-######## PI2FD ################################################################# |
-pi2fd Qq Pq, 0x0f 0x0f / 0x0d, Fn8000_0001_EDX_3DNow |
-######## PI2FW ################################################################# |
-pi2fw Qq Pq, 0x0f 0x0f / 0x0c, Fn8000_0001_EDX_3DNowExt |
-######## PINSTRW ############################################################### |
-pinsrw Ib Mw Pq, 0x0f 0xc4, Fn8000_0001_EDX_MmxExtOrSSE |
-pinsrw Ib Rd Pq, 0x0f 0xc4, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PMADDWD ############################################################### |
-pmaddwd Qq Pq, 0x0f 0xf5, Fn0000_0001_EDX_MMX |
-######## PMAXSW ################################################################ |
-pmaxsw Qq Pq, 0x0f 0xee, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PMAXUB ################################################################ |
-pmaxub Qq Pq, 0x0f 0xde, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PMINSW ################################################################ |
-pminsw Qq Pq, 0x0f 0xea, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PMINUB ################################################################ |
-pminub Qq Pq, 0x0f 0xda, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PMOVMSKB ############################################################## |
-pmovmskb Nq Gd, 0x0f 0xd7, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PMULHRW ############################################################### |
-pmulhrw Qq Pq, 0x0f 0x0f / 0xb7, Fn8000_0001_EDX_3DNow |
-######## PMULHUW ############################################################### |
-pmulhuw Qq Pq, 0x0f 0xe4, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PMULHW ################################################################ |
-pmulhw Qq Pq, 0x0f 0xe5, Fn0000_0001_EDX_MMX |
-######## PMULLW ################################################################ |
-pmullw Qq Pq, 0x0f 0xd5, Fn0000_0001_EDX_MMX |
-######## PMULUDQ ############################################################### |
-pmuludq Qq Pq, 0x0f 0xf4, Fn0000_0001_EDX_SSE2 |
-######## POR ################################################################### |
-por Qq Pq, 0x0f 0xeb, Fn0000_0001_EDX_MMX |
-######## PSADBW ################################################################ |
-psadbw Qq Pq, 0x0f 0xf6, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PSHUFW ################################################################ |
-pshufw Ib Qq Pq, 0x0f 0x70, Fn8000_0001_EDX_MmxExtOrSSE |
-######## PSLLD ################################################################# |
-pslld Qq Pq, 0x0f 0xf2, Fn0000_0001_EDX_MMX |
-pslld Ib Nq, 0x0f 0x72 /6, Fn0000_0001_EDX_MMX |
-######## PSLLQ ################################################################# |
-psllq Qq Pq, 0x0f 0xf3, Fn0000_0001_EDX_MMX |
-psllq Ib Nq, 0x0f 0x73 /6, Fn0000_0001_EDX_MMX |
-######## PSLLW ################################################################# |
-psllw Qq Pq, 0x0f 0xf1, Fn0000_0001_EDX_MMX |
-psllw Ib Nq, 0x0f 0x71 /6, Fn0000_0001_EDX_MMX |
-######## PSRAD ################################################################# |
-psrad Qq Pq, 0x0f 0xe2, Fn0000_0001_EDX_MMX |
-psrad Ib Nq, 0x0f 0x72 /4, Fn0000_0001_EDX_MMX |
-######## PSRAW ################################################################# |
-psraw Qq Pq, 0x0f 0xe1, Fn0000_0001_EDX_MMX |
-psraw Ib Nq, 0x0f 0x71 /4, Fn0000_0001_EDX_MMX |
-######## PSRLD ################################################################# |
-psrld Qq Pq, 0x0f 0xd2, Fn0000_0001_EDX_MMX |
-psrld Ib Nq, 0x0f 0x72 /2, Fn0000_0001_EDX_MMX |
-######## PSRLQ ################################################################# |
-psrlq Qq Pq, 0x0f 0xd3, Fn0000_0001_EDX_MMX |
-psrlq Ib Nq, 0x0f 0x73 /2, Fn0000_0001_EDX_MMX |
-######## PSRLW ################################################################# |
-psrlw Qq Pq, 0x0f 0xd1, Fn0000_0001_EDX_MMX |
-psrlw Ib Nq, 0x0f 0x71 /2, Fn0000_0001_EDX_MMX |
-######## PSUBB ################################################################# |
-psubb Qq Pq, 0x0f 0xf8, Fn0000_0001_EDX_MMX |
-######## PSUBD ################################################################# |
-psubd Qq Pq, 0x0f 0xfa, Fn0000_0001_EDX_MMX |
-######## PSUBQ ################################################################# |
-psubq Qq Pq, 0x0f 0xfb, Fn0000_0001_EDX_SSE2 |
-######## PSUBSB ################################################################ |
-psubsb Qq Pq, 0x0f 0xe8, Fn0000_0001_EDX_MMX |
-######## PSUBSW ################################################################ |
-psubsw Qq Pq, 0x0f 0xe9, Fn0000_0001_EDX_MMX |
-######## PSUBUSB ############################################################### |
-psubusb Qq Pq, 0x0f 0xd8, Fn0000_0001_EDX_MMX |
-######## PSUBUSW ############################################################### |
-psubusw Qq Pq, 0x0f 0xd9, Fn0000_0001_EDX_MMX |
-######## PSUBW ################################################################# |
-psubw Qq Pq, 0x0f 0xf9, Fn0000_0001_EDX_MMX |
-######## PSWAPD ################################################################ |
-pswapd Qq Pq, 0x0f 0x0f / 0xbb, Fn8000_0001_EDX_3DNowExt |
-######## PUNPCKHBW ############################################################# |
-punpckhbw Qq Pq, 0x0f 0x68, Fn0000_0001_EDX_MMX |
-######## PUNPCKHDQ ############################################################# |
-punpckhdq Qq Pq, 0x0f 0x6a, Fn0000_0001_EDX_MMX |
-######## PUNPCKHWD ############################################################# |
-punpckhwd Qq Pq, 0x0f 0x69, Fn0000_0001_EDX_MMX |
-######## PUNPCKLBW ############################################################# |
-punpcklbw Qq Pq, 0x0f 0x60, Fn0000_0001_EDX_MMX |
-######## PUNPCKLDQ ############################################################# |
-punpckldq Qq Pq, 0x0f 0x62, Fn0000_0001_EDX_MMX |
-######## PUNPCKLWD ############################################################# |
-punpcklwd Qq Pq, 0x0f 0x61, Fn0000_0001_EDX_MMX |
-######## PXOR ################################################################## |
-pxor Qq Pq, 0x0f 0xef, Fn0000_0001_EDX_MMX |
-################################################################################ |