Move unreviewed files to unreviewed subdirectory

src/trusted/validator_ragel/x87-instructions.def

Index: src/trusted/validator_ragel/x87-instructions.def
===================================================================
--- src/trusted/validator_ragel/x87-instructions.def	(revision 7794)
+++ src/trusted/validator_ragel/x87-instructions.def	(working copy)
@@ -1,224 +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 2: x87 Floating-Point Instruction Reference
-################################################################################
-# File format: see general-purpose-instructions.def
-######## F2XM1 #################################################################
-nop, 0x90
-f2xm1, 0xd9 0xf0, Fn0000_0001_EDX_X87
-######## FABS ##################################################################
-fabs, 0xd9 0xe1, Fn0000_0001_EDX_X87
-######## FADD/FADDP/FIADD ######################################################
-fadd r7 t7, 0xd8 0xc0, Fn0000_0001_EDX_X87
-fadd t7 r7, 0xdc 0xc0, Fn0000_0001_EDX_X87
-fadd Mss, 0xd8 /0, Fn0000_0001_EDX_X87
-fadd Msd, 0xdc /0, Fn0000_0001_EDX_X87
-faddp t7 r7, 0xde 0xc0, Fn0000_0001_EDX_X87
-fiadd Msw, 0xde /0, Fn0000_0001_EDX_X87
-fiadd Msi, 0xda /0, Fn0000_0001_EDX_X87
-######## FBLD ##################################################################
-fbld Msb, 0xdf /4, Fn0000_0001_EDX_X87
-######## FBSTP #################################################################
-fbstp Msb, 0xdf /6, Fn0000_0001_EDX_X87
-######## FCHS ##################################################################
-fchs, 0xd9 0xe0, Fn0000_0001_EDX_X87
-######## FCLEX #################################################################
-fnclex, 0xdb 0xe2, Fn0000_0001_EDX_X87
-fclex, 0x9b 0xdb 0xe2, Fn0000_0001_EDX_X87
-######## FCMOVcc ###############################################################
-fcmovb r7 t7, 0xda 0xc0, Fn0000_0001_EDX_X87 Fn0000_0001_EDX_CMOV
-fcmovbe r7 t7, 0xda 0xD0, Fn0000_0001_EDX_X87 Fn0000_0001_EDX_CMOV
-fcmove r7 t7, 0xda 0xc8, Fn0000_0001_EDX_X87 Fn0000_0001_EDX_CMOV
-fcmovnb r7 t7, 0xdb 0xc0, Fn0000_0001_EDX_X87 Fn0000_0001_EDX_CMOV
-fcmovnbe r7 t7, 0xdb 0xd0, Fn0000_0001_EDX_X87 Fn0000_0001_EDX_CMOV
-fcmovne r7 t7, 0xdb 0xc8, Fn0000_0001_EDX_X87 Fn0000_0001_EDX_CMOV
-fcmovnu r7 t7, 0xdb 0xd8, Fn0000_0001_EDX_X87 Fn0000_0001_EDX_CMOV
-fcmovu r7 t7, 0xda 0xd8, Fn0000_0001_EDX_X87 Fn0000_0001_EDX_CMOV
-######## FCOM/FCOMP/FCOMPP #####################################################
-fcom r7, 0xd8 0xd0, Fn0000_0001_EDX_X87
-fcom Mss, 0xd8 /2, Fn0000_0001_EDX_X87
-fcom Msd, 0xdc /2, Fn0000_0001_EDX_X87
-fcomp r7, 0xd8 0xd8, Fn0000_0001_EDX_X87
-fcomp Mss, 0xd8 /3, Fn0000_0001_EDX_X87
-fcomp Msd, 0xdc /3, Fn0000_0001_EDX_X87
-fcompp, 0xde 0xd9, Fn0000_0001_EDX_X87
-######## FCOMI/FCOMIP ##########################################################
-fcomi r7 t7, 0xdb 0xf0, Fn0000_0001_EDX_X87
-fcomip r7 t7, 0xdf 0xf0, Fn0000_0001_EDX_X87
-######## FCOS ##################################################################
-fcos, 0xd9 0xff, Fn0000_0001_EDX_X87
-######## FDECSTP ###############################################################
-fdecstp, 0xd9 0xf6, Fn0000_0001_EDX_X87
-######## FDIV/FDIVP/FIDIV ######################################################
-# “fdiv” and “fdivr” are swapped for some operands in objdump.  This is known
-# issue, but it can not be fixed because of compatibility concerns.  Here we use
-# objdump-compatible names.
-fdiv r7 t7, 0xd8 0xf0, Fn0000_0001_EDX_X87
-fdivr t7 r7, 0xdc 0xf8, Fn0000_0001_EDX_X87
-fdiv Mss, 0xd8 /6, Fn0000_0001_EDX_X87
-fdiv Msd, 0xdc /6, Fn0000_0001_EDX_X87
-fdivrp t7 r7, 0xde 0xf8, Fn0000_0001_EDX_X87
-fidiv Msw, 0xde /6, Fn0000_0001_EDX_X87
-fidiv Msi, 0xda /6, Fn0000_0001_EDX_X87
-######## FDIVR/FDIVRP/FIDIVR ###################################################
-# “fdivr” and “fdiv” are swapped for some operands in objdump.  This is known
-# issue, but it can not be fixed because of compatibility concerns.  Here we use
-# objdump-compatible names.
-fdivr r7 t7, 0xd8 0xf8, Fn0000_0001_EDX_X87
-fdiv t7 r7, 0xdc 0xf0, Fn0000_0001_EDX_X87
-fdivr Mss, 0xd8 /7, Fn0000_0001_EDX_X87
-fdivr Msd, 0xdc /7, Fn0000_0001_EDX_X87
-fdivp t7 r7, 0xde 0xf0, Fn0000_0001_EDX_X87
-fidivr Msw, 0xde /7, Fn0000_0001_EDX_X87
-fidivr Msi, 0xda /7, Fn0000_0001_EDX_X87
-######## FFREE #################################################################
-ffree r7, 0xdd 0xc0, Fn0000_0001_EDX_X87
-######## FICOM/FICOMP ##########################################################
-ficom Msw, 0xde /2, Fn0000_0001_EDX_X87
-ficom Msi, 0xda /2, Fn0000_0001_EDX_X87
-ficomp Msw, 0xde /3, Fn0000_0001_EDX_X87
-ficomp Msi, 0xda /3, Fn0000_0001_EDX_X87
-######## FILD ##################################################################
-fild Msw, 0xdf /0, Fn0000_0001_EDX_X87
-fild Msd, 0xdb /0, Fn0000_0001_EDX_X87
-fild Msq, 0xdf /5, Fn0000_0001_EDX_X87
-######## FINCSTP ###############################################################
-fincstp, 0xd9 0xf7, Fn0000_0001_EDX_X87
-######## FINIT/FNINIT ##########################################################
-fninit, 0xdb 0xe3, Fn0000_0001_EDX_X87
-finit, 0x9b 0xdb 0xe3, Fn0000_0001_EDX_X87
-######## FIST/FISTP ############################################################
-fist Msw, 0xdf /2, Fn0000_0001_EDX_X87
-fist Msi, 0xdb /2, Fn0000_0001_EDX_X87
-fistp Msw, 0xdf /3, Fn0000_0001_EDX_X87
-fistp Msi, 0xdb /3, Fn0000_0001_EDX_X87
-fistp Msq, 0xdf /7, Fn0000_0001_EDX_X87
-######## FISTTP ################################################################
-fisttp Msw, 0xdf /1, Fn0000_0001_EDX_X87
-fisttp Msi, 0xdb /1, Fn0000_0001_EDX_X87
-fisttp Msq, 0xdd /1, Fn0000_0001_EDX_X87
-######## FLD ###################################################################
-fld r7, 0xd9 0xc0, Fn0000_0001_EDX_X87
-fld Mss, 0xd9 /0, Fn0000_0001_EDX_X87
-fld Msd, 0xdd /0, Fn0000_0001_EDX_X87
-fld Mst, 0xdb /5, Fn0000_0001_EDX_X87
-######## FLD1 ##################################################################
-fld1, 0xd9 0xe8, Fn0000_0001_EDX_X87
-######## FLDCW #################################################################
-fldcw Msw, 0xd9 /5, Fn0000_0001_EDX_X87
-######## FLDENV ################################################################
-fldenv Mse, 0xd9 /4, Fn0000_0001_EDX_X87
-######## FLDL2E ################################################################
-fldl2e, 0xd9 0xea, Fn0000_0001_EDX_X87
-######## FLDL2T ################################################################
-fldl2t, 0xd9 0xe9, Fn0000_0001_EDX_X87
-######## FLDLG2 ################################################################
-fldlg2, 0xd9 0xec, Fn0000_0001_EDX_X87
-######## FLDLN2 ################################################################
-fldln2, 0xd9 0xed, Fn0000_0001_EDX_X87
-######## FLDPI #################################################################
-fldpi, 0xd9 0xeb, Fn0000_0001_EDX_X87
-######## FLDZ ##################################################################
-fldz, 0xd9 0xee, Fn0000_0001_EDX_X87
-######## FMUL/FMULP/FIMUL ######################################################
-fmul r7 t7, 0xd8 0xc8, Fn0000_0001_EDX_X87
-fmul t7 r7, 0xdc 0xc8, Fn0000_0001_EDX_X87
-fmul Mss, 0xd8 /1, Fn0000_0001_EDX_X87
-fmul Msd, 0xdc /1, Fn0000_0001_EDX_X87
-fmulp t7 r7, 0xde 0xc8, Fn0000_0001_EDX_X87
-fimul Msw, 0xde /1, Fn0000_0001_EDX_X87
-fimul Msi, 0xda /1, Fn0000_0001_EDX_X87
-######## FNOP ##################################################################
-fnop, 0xd9 0xd0, Fn0000_0001_EDX_X87
-######## FPATAN ################################################################
-fpatan, 0xd9 0xf3, Fn0000_0001_EDX_X87
-######## FPREM #################################################################
-fprem, 0xd9 0xf8, Fn0000_0001_EDX_X87
-######## FPREM1 ################################################################
-fprem1, 0xd9 0xf5, Fn0000_0001_EDX_X87
-######## FPTAN #################################################################
-fptan, 0xd9 0xf2, Fn0000_0001_EDX_X87
-######## FRNDINT ###############################################################
-frndint, 0xd9 0xfc, Fn0000_0001_EDX_X87
-######## 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
-######## FSCALE ################################################################
-fscale, 0xd9 0xfd, Fn0000_0001_EDX_X87
-######## FSIN ##################################################################
-fsin, 0xd9 0xfe, Fn0000_0001_EDX_X87
-######## FSINCOS ###############################################################
-fsincos, 0xd9 0xfb, Fn0000_0001_EDX_X87
-######## FSQRT #################################################################
-fsqrt, 0xd9 0xfa, Fn0000_0001_EDX_X87
-######## FST/FSTP ##############################################################
-fst r7, 0xdd 0xd0, Fn0000_0001_EDX_X87
-fst Mss, 0xd9 /2, Fn0000_0001_EDX_X87
-fst Msd, 0xdd /2, Fn0000_0001_EDX_X87
-fstp r7, 0xdd 0xd8, Fn0000_0001_EDX_X87
-fstp Mss, 0xd9 /3, Fn0000_0001_EDX_X87
-fstp Msd, 0xdd /3, Fn0000_0001_EDX_X87
-fstp Mst, 0xdb /7, Fn0000_0001_EDX_X87
-######## FSTCW/FNSTCW ##########################################################
-fnstcw Msw, 0xd9 /7
-fstcw Msw, 0x9b 0xd9 /7
-######## FSTENV/FNSTENV ########################################################
-fnstenv Mse, 0xd9 /6
-fstenv Mse, 0x9b 0xd9 /6
-######## FSTSW/FNSTSW ##########################################################
-fnstsw aw, 0xdf 0xe0, Fn0000_0001_EDX_X87
-fnsts Mw, 0xdd /7, Fn0000_0001_EDX_X87
-fstsw aw, 0x9b 0xdf 0xe0, Fn0000_0001_EDX_X87
-fsts Mw, 0x9b 0xdd /7, Fn0000_0001_EDX_X87
-######## FSUB/FSUBP/FISUB ######################################################
-# “fsub” and “fsubr” are swapped for some operands in objdump.  This is known
-# issue, but it can not be fixed because of compatibility concerns.  Here we use
-# objdump-compatible names.
-fsub r7 t7, 0xd8 0xe0, Fn0000_0001_EDX_X87
-fsubr t7 r7, 0xdc 0xe8, Fn0000_0001_EDX_X87
-fsub Mss, 0xd8 /4, Fn0000_0001_EDX_X87
-fsub Msd, 0xdc /4, Fn0000_0001_EDX_X87
-fsubrp t7 r7, 0xde 0xe8, Fn0000_0001_EDX_X87
-fisub Msw, 0xde /4, Fn0000_0001_EDX_X87
-fisub Msi, 0xda /4, Fn0000_0001_EDX_X87
-######## FSUBR/FSUBRP/FISUBR ###################################################
-# “fsub” and “fsubr” are swapped for some operands in objdump.  This is known
-# issue, but it can not be fixed because of compatibility concerns.  Here we use
-# objdump-compatible names.
-fsubr r7 t7, 0xd8 0xe8, Fn0000_0001_EDX_X87
-fsub t7 r7, 0xdc 0xe0, Fn0000_0001_EDX_X87
-fsubr Mss, 0xd8 /5, Fn0000_0001_EDX_X87
-fsubr Msd, 0xdc /5, Fn0000_0001_EDX_X87
-fsubp t7 r7, 0xde 0xe0, Fn0000_0001_EDX_X87
-fisubr Msw, 0xde /5, Fn0000_0001_EDX_X87
-fisubr Msi, 0xda /5, Fn0000_0001_EDX_X87
-######## FTST ##################################################################
-ftst, 0xd9 0xe4, Fn0000_0001_EDX_X87
-######## FUCOM/FUCOMP/FUCOMPP ##################################################
-fucom r7, 0xdd 0xe0, Fn0000_0001_EDX_X87
-fucomp r7, 0xdd 0xe8, Fn0000_0001_EDX_X87
-fucompp, 0xda 0xe9, Fn0000_0001_EDX_X87
-######## FUCOMI/FUCOMIP ########################################################
-fucomi r7 t7, 0xdb 0xe8, Fn0000_0001_EDX_X87
-fucomip r7 t7, 0xdf 0xe8, Fn0000_0001_EDX_X87
-######## FWAIT #################################################################
-fwait, 0x9b, Fn0000_0001_EDX_X87
-######## FXCH ##################################################################
-fxch r7, 0xd9 0xc8, 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
-######## FXTRACT ###############################################################
-fxtract, 0xd9 0xf4, Fn0000_0001_EDX_X87
-######## FYL2X #################################################################
-fyl2x, 0xd9 0xf1, Fn0000_0001_EDX_X87
-######## FYL2XP1 ###############################################################
-fyl2xp1, 0xd9 0xf9, Fn0000_0001_EDX_X87
-################################################################################