Index: src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_utils.h |
diff --git a/src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_utils.h b/src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_utils.h |
deleted file mode 100644 |
index 465a1bd961cdb493dfaf987126789bd51133d39f..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_utils.h |
+++ /dev/null |
@@ -1,123 +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. |
- */ |
- |
-/* Some useful utilities for validator patterns. */ |
- |
-#ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_UTILS_H__ |
-#define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_UTILS_H__ |
- |
-#include "native_client/src/trusted/validator/x86/decoder/ncopcode_desc.h" |
- |
-struct NaClInstState; |
-struct NaClExpVector; |
-struct NaClDecodeTables; |
-struct NaClValidatorState; |
- |
-/* Special flag set to find set/use of an operand. */ |
-extern const NaClOpFlags NaClOpSetOrUse; |
- |
-/* Returns true if the instruction is a binary operation with |
- * the given mnemonic name, and whose arguments are the given registers. |
- * |
- * Parameters: |
- * inst - The opcode corresponding to the instruction to check. |
- * name - The mnemonic name of the instruction. |
- * vector - The expression vector corresponding to the instruction to check. |
- * reg_1 - The register expected as the first argument |
- * reg_2 - The register expected as the second argument. |
- */ |
-Bool NaClIsBinaryUsingRegisters(const NaClInst* inst, |
- NaClMnemonic name, |
- struct NaClExpVector* vector, |
- NaClOpKind reg_1, |
- NaClOpKind reg_2); |
- |
-/* Returns true if the instruction corresponds to a binary operation whose |
- * result is put into REG_SET, and the resulst is computed using the values in |
- * REG_SET and REG_USE. |
- * |
- * Parameters: |
- * inst - The opcode corresponding to the instruction to check. |
- * name - The mnemonic name of the binary operation. |
- * vector - The expression vector corresponding to the instruction to check. |
- * reg_set - The register set by the binary operation. |
- * reg_use - The register whose value is used (along with reg_set) to generate |
- * the or value. |
- */ |
-Bool NaClIsBinarySetUsingRegisters(const struct NaClDecodeTables* tables, |
- const NaClInst* opcode, |
- NaClMnemonic name, |
- struct NaClExpVector* vector, |
- NaClOpKind reg_1, |
- NaClOpKind reg_2); |
- |
-/* Returns true if the instruction corresponds to a move from |
- * REG_USE to REG_SET. |
- * |
- * Parameters: |
- * inst - The opcode corresponding to the instruction to check. |
- * vector - The expression vector corresponding to the instruction to check. |
- * reg_set - The register set by the move. |
- * reg_use - The register whose value is used to define the set. |
- */ |
-Bool NaClIsMovUsingRegisters(const struct NaClDecodeTables* tables, |
- const NaClInst* inst, |
- struct NaClExpVector* vector, |
- NaClOpKind reg_set, |
- NaClOpKind reg_use); |
- |
-/* Returns true if the given instruction's first operand corresponds to |
- * a set of the register with the given name. |
- * |
- * Parameters: |
- * state - The instruction state to check. |
- * reg_name - The name of the register to check if set. |
- */ |
-Bool NaClOperandOneIsRegisterSet(struct NaClInstState* state, |
- NaClOpKind reg_name); |
- |
-/* Returns true if the given instruction's first operand corresponds to |
- * a 32-bit value that is zero extended. |
- * |
- * Parameters: |
- * state - The instruction state to check. |
- */ |
-Bool NaClOperandOneZeroExtends(struct NaClInstState* state); |
- |
-/* Applies the precondition "ZeroExtends(reg32)" to the specified instruction. |
- * That is, returns true if the "distance" previous instruction |
- * is binary where the first operand is a register set on the given register, |
- * and the second operand corresponds to a 32-bit value that is zero extended. |
- */ |
-Bool NaClAssignsRegisterWithZeroExtends32( |
- struct NaClValidatorState* state, /* Validator state associated with |
- * the current instruction. |
- */ |
- size_t distance, /* Number of instruction to look back for |
- * zero-extending instruction. |
- */ |
- NaClOpKind reg32); /* 32-bit register that gets extended |
- * by the specified instruction. |
- */ |
- |
-/* Applies the precondition "ZeroExtends(reg32)" to the specified instruction. |
- * That is, returns true if the "distance" previous instruction |
- * is binary where the first operand is the corresponding 32-bit register |
- * of the given 64-bit register, and the second operand corresponds to a |
- * 32-bit value that is zero extended. |
- */ |
-Bool NaClAssignsRegisterWithZeroExtends64( |
- struct NaClValidatorState* state, /* Validator state associated with |
- * the current instruction. |
- */ |
- size_t distance, /* Number of instruction to look back for |
- * zero-extending instruction. |
- */ |
- NaClOpKind reg64); /* 64-bit register that gets extended |
- * by the specified instruction. |
- */ |
- |
-#endif /* NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_UTILS_H__ */ |