| Index: src/trusted/validator_ragel/unreviewed/decoding.h
|
| ===================================================================
|
| --- src/trusted/validator_ragel/unreviewed/decoding.h (revision 10976)
|
| +++ src/trusted/validator_ragel/unreviewed/decoding.h (working copy)
|
| @@ -1,235 +0,0 @@
|
| -/*
|
| - * Copyright (c) 2012 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 contains common parts of x86-32 and x86-64 internals (inline
|
| - * functions and defines).
|
| - *
|
| - * We only include simple schematic diagrams here. For full description see
|
| - * AMD/Intel manuals.
|
| - */
|
| -
|
| -#ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_RAGEL_DECODING_H_
|
| -#define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_RAGEL_DECODING_H_
|
| -
|
| -#include "native_client/src/trusted/validator_ragel/decoder.h"
|
| -
|
| -#if NACL_WINDOWS
|
| -# define FORCEINLINE __forceinline
|
| -#else
|
| -# define FORCEINLINE __inline __attribute__ ((always_inline))
|
| -#endif
|
| -
|
| -
|
| -/*
|
| - * Opcode with register number embedded:
|
| - *
|
| - * 7 6 5 4 3 2 1 0
|
| - * ┌───────┬───────┬───────┬───────┬───────┬───────┬───────┬───────┒
|
| - * │ Opcode │ register number ┃
|
| - * ┕━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┛
|
| - */
|
| -static FORCEINLINE uint8_t RegFromOpcode(uint8_t modrm) {
|
| - return modrm & 0x07;
|
| -}
|
| -
|
| -/*
|
| - * ModRM byte format:
|
| - *
|
| - * 7 6 5 4 3 2 1 0
|
| - * ┌───────┬───────┬───────┬───────┬───────┬───────┬───────┬───────┒
|
| - * │ mod │ reg │ r/m ┃
|
| - * ┕━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┛
|
| - */
|
| -static FORCEINLINE uint8_t ModFromModRM(uint8_t modrm) {
|
| - return modrm >> 6;
|
| -}
|
| -
|
| -static FORCEINLINE uint8_t RegFromModRM(uint8_t modrm) {
|
| - return (modrm & 0x38) >> 3;
|
| -}
|
| -
|
| -static FORCEINLINE uint8_t RMFromModRM(uint8_t modrm) {
|
| - return modrm & 0x07;
|
| -}
|
| -
|
| -/*
|
| - * SIB byte format:
|
| - *
|
| - * 7 6 5 4 3 2 1 0
|
| - * ┌───────┬───────┬───────┬───────┬───────┬───────┬───────┬───────┒
|
| - * │ scale │ index │ base ┃
|
| - * ┕━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┛
|
| - */
|
| -static FORCEINLINE uint8_t ScaleFromSIB(uint8_t sib) {
|
| - return sib >> 6;
|
| -}
|
| -
|
| -static FORCEINLINE uint8_t IndexFromSIB(uint8_t sib) {
|
| - return (sib & 0x38) >> 3;
|
| -}
|
| -
|
| -static FORCEINLINE uint8_t BaseFromSIB(uint8_t sib) {
|
| - return sib & 0x07;
|
| -}
|
| -
|
| -/*
|
| - * REX byte format:
|
| - *
|
| - * 7 6 5 4 3 2 1 0
|
| - * ┌───────┬───────┬───────┬───────┬───────┬───────┬───────┬───────┒
|
| - * │ 0 │ 1 │ 0 │ 0 │ W │ R │ X │ B ┃
|
| - * ┕━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┛
|
| - */
|
| -
|
| -enum {
|
| - REX_B = 1,
|
| - REX_X = 2,
|
| - REX_R = 4,
|
| - REX_W = 8
|
| -};
|
| -
|
| -static FORCEINLINE uint8_t BaseExtentionFromREX(uint8_t rex) {
|
| - return (rex & REX_B) << 3;
|
| -}
|
| -
|
| -static FORCEINLINE uint8_t IndexExtentionFromREX(uint8_t rex) {
|
| - return (rex & REX_X) << 2;
|
| -}
|
| -
|
| -static FORCEINLINE uint8_t RegisterExtentionFromREX(uint8_t rex) {
|
| - return (rex & REX_R) << 1;
|
| -}
|
| -
|
| -/*
|
| - * VEX 2nd byte format:
|
| - *
|
| - * 7 6 5 4 3 2 1 0
|
| - * ┌───────┬───────┬───────┬───────┬───────┬───────┬───────┬───────┒
|
| - * │ ¬R │ ¬X │ ¬B │ opcode map selector ┃
|
| - * ┕━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┛
|
| - */
|
| -
|
| -enum {
|
| - VEX_MAP1 = 0x01,
|
| - VEX_MAP2 = 0x02,
|
| - VEX_MAP3 = 0x03,
|
| - VEX_MAP8 = 0x08,
|
| - VEX_MAP9 = 0x09,
|
| - VEX_MAPA = 0x0a,
|
| - VEX_B = 0x20,
|
| - VEX_X = 0x40,
|
| - VEX_R = 0x80,
|
| - VEX_W = 0x80
|
| -};
|
| -
|
| -static FORCEINLINE uint8_t BaseExtentionFromVEX(uint8_t vex2) {
|
| - return ((~vex2) & VEX_B) >> 2;
|
| -}
|
| -
|
| -static FORCEINLINE uint8_t IndexExtentionFromVEX(uint8_t vex2) {
|
| - return ((~vex2) & VEX_X) >> 3;
|
| -}
|
| -
|
| -static FORCEINLINE uint8_t RegisterExtentionFromVEX(uint8_t vex2) {
|
| - return ((~vex2) & VEX_R) >> 4;
|
| -}
|
| -
|
| -/*
|
| - * VEX 3rd byte format:
|
| - *
|
| - * 7 6 5 4 3 2 1 0
|
| - * ┌───────┬───────┬───────┬───────┬───────┬───────┬───────┬───────┒
|
| - * │ W │ ¬vvvv (register number) │ L │ pp ┃
|
| - * ┕━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┛
|
| - */
|
| -
|
| -static FORCEINLINE uint8_t GetOperandFromVexIA32(uint8_t vex3) {
|
| - return ((~vex3) & 0x38) >> 3;
|
| -}
|
| -
|
| -static FORCEINLINE uint8_t GetOperandFromVexAMD64(uint8_t vex3) {
|
| - return ((~vex3) & 0x78) >> 3;
|
| -}
|
| -
|
| -/*
|
| - * is4 byte format:
|
| - *
|
| - * 7 6 5 4 3 2 1 0
|
| - * ┌───────┬───────┬───────┬───────┬───────┬───────┬───────┬───────┒
|
| - * │ vvvv (register number) │ 0 │ 0 │ imm2 or zero ┃
|
| - * ┕━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┷━━━━━━━┛
|
| - */
|
| -static FORCEINLINE uint8_t RegisterFromIS4(uint8_t is4) {
|
| - return is4 >> 4;
|
| -}
|
| -
|
| -/*
|
| - * SignExtendXXBit is used to sign-extend XX-bit value to unsigned 64-bit value.
|
| - *
|
| - * To do that you need to pass unsigned value of smaller then 64-bit size
|
| - * to this function: it will be converted to signed value and then
|
| - * sign-extended to become 64-bit value.
|
| - *
|
| - * Smaller values can be obtained by restricting this value further (which is
|
| - * safe according to the C language specification: see 6.2.1.2 in C90 and
|
| - * 6.3.1.3.2 in C99 specification).
|
| - *
|
| - * Note that these operations are safe but slightly unusual: they come very
|
| - * close to the edge of what "well-behaved C program is not supposed to do",
|
| - * but they stay on the "safe" side of this boundary. Specifically: this
|
| - * behavior triggers "implementation-defined behavior" (see 6.2.1.2 in C90
|
| - * specification and 6.3.1.3.3 in C99 specification) which sounds suspiciously
|
| - * similar to the dreaded "undefined behavior", but in reality these two are
|
| - * quite different: any program which triggers "undefined behavior" is not a
|
| - * valid C program at all, but program which triggers "implementation-defined
|
| - * behavior" is quite valid C program. What this program actually *does*
|
| - * depends on the specification of a given C compiler: each particular
|
| - * implementation must decide for itself what it'll do in this particular case
|
| - * and *stick* *to* *it*. If the implementation uses two's-complement negative
|
| - * numbers (and all the implementation which can compile this code *must*
|
| - * support two's-complement arythmetic - see 7.18.1.1 in C99 specification) then
|
| - * the easiest thing to do is to do what we need here - this is what all known
|
| - * compilers for all known platforms are actually doing.
|
| - */
|
| -static FORCEINLINE uint64_t SignExtend8Bit(uint64_t value) {
|
| - return (int8_t)value;
|
| -}
|
| -
|
| -static FORCEINLINE uint64_t SignExtend16Bit(uint64_t value) {
|
| - return (int16_t)value;
|
| -}
|
| -
|
| -static FORCEINLINE uint64_t SignExtend32Bit(uint64_t value) {
|
| - return (int32_t)value;
|
| -}
|
| -
|
| -static FORCEINLINE uint64_t AnyFieldValue8bit(const uint8_t *start) {
|
| - return *start;
|
| -}
|
| -
|
| -static FORCEINLINE uint64_t AnyFieldValue16bit(const uint8_t *start) {
|
| - return (start[0] + 256U * start[1]);
|
| -}
|
| -
|
| -static FORCEINLINE uint64_t AnyFieldValue32bit(const uint8_t *start) {
|
| - return (start[0] + 256U * (start[1] + 256U * (start[2] + 256U * (start[3]))));
|
| -}
|
| -static FORCEINLINE uint64_t AnyFieldValue64bit(const uint8_t *start) {
|
| - return (*start + 256ULL * (start[1] + 256ULL * (start[2] + 256ULL *
|
| - (start[3] + 256ULL * (start[4] + 256ULL * (start[5] + 256ULL *
|
| - (start[6] + 256ULL * start[7])))))));
|
| -}
|
| -
|
| -static const uint8_t index_registers[] = {
|
| - /* Note how REG_RIZ falls out of the pattern. */
|
| - REG_RAX, REG_RCX, REG_RDX, REG_RBX,
|
| - REG_RIZ, REG_RBP, REG_RSI, REG_RDI,
|
| - REG_R8, REG_R9, REG_R10, REG_R11,
|
| - REG_R12, REG_R13, REG_R14, REG_R15
|
| -};
|
| -
|
| -#endif /* NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_RAGEL_DECODING_H_ */
|
|
|