src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_utils.h - Issue 625923004: Delete old x86 validator.

Side by Side Diff: src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_utils.h

Issue 625923004: Delete old x86 validator. (Closed) Base URL: svn://svn.chromium.org/native_client/trunk/src/native_client

Patch Set: Created 6 years, 2 months ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

View unified diff | Download patch | Annotate | Revision Log

« src/trusted/validator/nacl.scons ('K') | « src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_iter_verbose.c ('k') | src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_utils.c » ('j') | src/trusted/validator_x86/build.scons » ('J')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')

OLD	NEW
	(Empty)
1 /*

2 * Copyright (c) 2012 The Native Client Authors. All rights reserved.

3 * Use of this source code is governed by a BSD-style license that can be

4 * found in the LICENSE file.

5 */

6

7 /* Some useful utilities for validator patterns. */

8

9 #ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_UTILS_H __

10 #define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_UTILS_H __

11

12 #include "native_client/src/trusted/validator/x86/decoder/ncopcode_desc.h"

13

14 struct NaClInstState;

15 struct NaClExpVector;

16 struct NaClDecodeTables;

17 struct NaClValidatorState;

18

19 /* Special flag set to find set/use of an operand. */

20 extern const NaClOpFlags NaClOpSetOrUse;

21

22 /* Returns true if the instruction is a binary operation with

23 * the given mnemonic name, and whose arguments are the given registers.

24 *

25 * Parameters:

26 * inst - The opcode corresponding to the instruction to check.

27 * name - The mnemonic name of the instruction.

28 * vector - The expression vector corresponding to the instruction to check.

29 * reg_1 - The register expected as the first argument

30 * reg_2 - The register expected as the second argument.

31 */

32 Bool NaClIsBinaryUsingRegisters(const NaClInst* inst,

33 NaClMnemonic name,

34 struct NaClExpVector* vector,

35 NaClOpKind reg_1,

36 NaClOpKind reg_2);

37

38 /* Returns true if the instruction corresponds to a binary operation whose

39 * result is put into REG_SET, and the resulst is computed using the values in

40 * REG_SET and REG_USE.

41 *

42 * Parameters:

43 * inst - The opcode corresponding to the instruction to check.

44 * name - The mnemonic name of the binary operation.

45 * vector - The expression vector corresponding to the instruction to check.

46 * reg_set - The register set by the binary operation.

47 * reg_use - The register whose value is used (along with reg_set) to generate

48 * the or value.

49 */

50 Bool NaClIsBinarySetUsingRegisters(const struct NaClDecodeTables* tables,

51 const NaClInst* opcode,

52 NaClMnemonic name,

53 struct NaClExpVector* vector,

54 NaClOpKind reg_1,

55 NaClOpKind reg_2);

56

57 /* Returns true if the instruction corresponds to a move from

58 * REG_USE to REG_SET.

59 *

60 * Parameters:

61 * inst - The opcode corresponding to the instruction to check.

62 * vector - The expression vector corresponding to the instruction to check.

63 * reg_set - The register set by the move.

64 * reg_use - The register whose value is used to define the set.

65 */

66 Bool NaClIsMovUsingRegisters(const struct NaClDecodeTables* tables,

67 const NaClInst* inst,

68 struct NaClExpVector* vector,

69 NaClOpKind reg_set,

70 NaClOpKind reg_use);

71

72 /* Returns true if the given instruction's first operand corresponds to

73 * a set of the register with the given name.

74 *

75 * Parameters:

76 * state - The instruction state to check.

77 * reg_name - The name of the register to check if set.

78 */

79 Bool NaClOperandOneIsRegisterSet(struct NaClInstState* state,

80 NaClOpKind reg_name);

81

82 /* Returns true if the given instruction's first operand corresponds to

83 * a 32-bit value that is zero extended.

84 *

85 * Parameters:

86 * state - The instruction state to check.

87 */

88 Bool NaClOperandOneZeroExtends(struct NaClInstState* state);

89

90 /* Applies the precondition "ZeroExtends(reg32)" to the specified instruction.

91 * That is, returns true if the "distance" previous instruction

92 * is binary where the first operand is a register set on the given register,

93 * and the second operand corresponds to a 32-bit value that is zero extended.

94 */

95 Bool NaClAssignsRegisterWithZeroExtends32(

96 struct NaClValidatorState* state, /* Validator state associated with

97 * the current instruction.

98 */

99 size_t distance, /* Number of instruction to look back for

100 * zero-extending instruction.

101 */

102 NaClOpKind reg32); /* 32-bit register that gets extended

103 * by the specified instruction.

104 */

105

106 /* Applies the precondition "ZeroExtends(reg32)" to the specified instruction.

107 * That is, returns true if the "distance" previous instruction

108 * is binary where the first operand is the corresponding 32-bit register

109 * of the given 64-bit register, and the second operand corresponds to a

110 * 32-bit value that is zero extended.

111 */

112 Bool NaClAssignsRegisterWithZeroExtends64(

113 struct NaClValidatorState* state, /* Validator state associated with

114 * the current instruction.

115 */

116 size_t distance, /* Number of instruction to look back for

117 * zero-extending instruction.

118 */

119 NaClOpKind reg64); /* 64-bit register that gets extended

120 * by the specified instruction.

121 */

122

123 #endif /* NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_UTIL S_H__ */

OLD	NEW