Start unit testing for functions in nc_inst_state.c

src/trusted/validator_x86/nc_inst_state_internal.h

 /*
  * 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.
  */
 
 /*
  * Internal implementation of the state associated with matching instructions.
  */
 
 #ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NC_INST_STATE_INTERNAL_H_
 #define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NC_INST_STATE_INTERNAL_H_
 
 #include "native_client/src/shared/utils/types.h"
 #include "native_client/src/trusted/validator_x86/ncop_exps.h"
 
+EXTERN_C_BEGIN
+
 /* The meta model of an x86 opcode instruction. */
 struct NaClInst;
 
 /* Model of a code segment. */
 struct NaClSegment;
 
 /* Defines the type used to align OpExprNodes when memory allocating. */
 typedef uint64_t NaClOpExpElement;
 
 /* Model data needed to decode an x86 instruction. */
@@ skipping 73 matching lines @@
   NaClMemorySize inst_count;
   /* The following fields define a ring buffer, where buffer_index
    * is the index of the current instruction in the buffer, and
    * buffer_size is the number of iterator states in the buffer.
    */
   size_t buffer_size;
   size_t buffer_index;
   struct NaClInstState* buffer;
 };
 
+/* Structure holding the results of consuming the opcode bytes of the
+ * instruction.
+ */
+typedef struct {
+  /* The (last) byte of the matched opcode. */
+  uint8_t opcode_byte;
+  /* The most specific prefix that the opcode bytes can match
+   * (or OpcodePrefixEnumSize if no such patterns exist).
+   */
+  NaClInstPrefix matched_prefix;
+  /* The number of bytes to subtract from the instruction length,
+   * the next time GetNextNaClInstCandidates is called.
+   */
+  uint8_t next_length_adjustment;
+} NaClInstPrefixDescriptor;
+
 /* Given the current location of the (relative) pc of the given instruction
  * iterator, update the given state to hold the matched opcode
  * (instruction) pattern. If no matching pattern exists, set the state
  * to a matched undefined opcode (instruction) pattern. In all cases,
  * update the state to hold all information on the matched bytes of the
  * instruction.
  */
 void NaClDecodeInst(struct NaClInstIter* iter, struct NaClInstState* state);
 
+/* Returns the (undecoded) instruction state of the iterator. Should only
+ * be used for testing.
+ */
+
+struct NaClInstState* NaClInstIterGetUndecodedState(struct NaClInstIter* iter);
+
+EXTERN_C_END
+
 #endif  /* NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NC_INST_STATE_INTERNAL_H_ */