2 * Copyright 2010 The Native Client Authors. All rights reserved.
3 * Use of this source code is governed by a BSD-style license that can
4 * be found in the LICENSE file.
7 #ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_DECODER_GENERATOR_ZERO_EXTENDS_H_
8 #define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_DECODER_GENERATOR_ZERO_EXTENDS_H_
10 #ifndef NACL_TRUSTED_BUT_NOT_TCB
11 #error("This file is not meant for use in the TCB")
14 /* Looks the current instruction up in a table of instructions that
15 * zero extends 32-bit registers to 64-bit registers, and adds corresponding
16 * instruction flag to OpDest operands, if applicable.
18 void NaClAddZeroExtend32FlagIfApplicable(void);
20 #endif /* NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_DECODER_GENERATOR_ZERO_EXTENDS_H_ */