2006-04-22 00:54:32 +02:00
|
|
|
/*++
|
|
|
|
|
|
|
|
|
|
Copyright (c) 2006, Intel Corporation
|
|
|
|
|
All rights reserved. This program and the accompanying materials
|
|
|
|
|
are licensed and made available under the terms and conditions of the BSD License
|
|
|
|
|
which accompanies this distribution. The full text of the license may be found at
|
|
|
|
|
http://opensource.org/licenses/bsd-license.php
|
|
|
|
|
|
|
|
|
|
THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
|
|
|
|
|
WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
|
|
|
|
|
|
|
|
|
|
Module Name:
|
|
|
|
|
|
|
|
|
|
EbcExecute.h
|
|
|
|
|
|
|
|
|
|
Abstract:
|
|
|
|
|
|
|
|
|
|
Header file for Virtual Machine support. Contains EBC defines that can
|
|
|
|
|
be of use to a disassembler for the most part. Also provides function
|
|
|
|
|
prototypes for VM functions.
|
|
|
|
|
|
|
|
|
|
--*/
|
|
|
|
|
|
|
|
|
|
#ifndef _EBC_EXECUTE_H_
|
|
|
|
|
#define _EBC_EXECUTE_H_
|
|
|
|
|
|
2007-03-30 10:44:55 +02:00
|
|
|
//
|
|
|
|
|
// VM major/minor version
|
|
|
|
|
//
|
|
|
|
|
#define VM_MAJOR_VERSION 1
|
|
|
|
|
#define VM_MINOR_VERSION 0
|
|
|
|
|
|
2006-04-22 00:54:32 +02:00
|
|
|
//
|
|
|
|
|
// Macros to check and set alignment
|
|
|
|
|
//
|
|
|
|
|
#define ASSERT_ALIGNED(addr, size) ASSERT (!((UINT32) (addr) & (size - 1)))
|
|
|
|
|
#define IS_ALIGNED(addr, size) !((UINT32) (addr) & (size - 1))
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Define a macro to get the operand. Then we can change it to be either a
|
|
|
|
|
// direct read or have it call a function to read memory.
|
|
|
|
|
//
|
|
|
|
|
#define GETOPERANDS(pVM) (UINT8) (*(UINT8 *) (pVM->Ip + 1))
|
|
|
|
|
#define GETOPCODE(pVM) (UINT8) (*(UINT8 *) pVM->Ip)
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Bit masks for opcode encodings
|
|
|
|
|
//
|
|
|
|
|
#define OPCODE_M_OPCODE 0x3F // bits of interest for first level decode
|
|
|
|
|
#define OPCODE_M_IMMDATA 0x80
|
|
|
|
|
#define OPCODE_M_IMMDATA64 0x40
|
|
|
|
|
#define OPCODE_M_64BIT 0x40 // for CMP
|
|
|
|
|
#define OPCODE_M_RELADDR 0x10 // for CALL instruction
|
|
|
|
|
#define OPCODE_M_CMPI32_DATA 0x80 // for CMPI
|
|
|
|
|
#define OPCODE_M_CMPI64 0x40 // for CMPI 32 or 64 bit comparison
|
|
|
|
|
#define OPERAND_M_MOVIN_N 0x80
|
|
|
|
|
#define OPERAND_M_CMPI_INDEX 0x10
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Masks for instructions that encode presence of indexes for operand1 and/or
|
|
|
|
|
// operand2.
|
|
|
|
|
//
|
|
|
|
|
#define OPCODE_M_IMMED_OP1 0x80
|
|
|
|
|
#define OPCODE_M_IMMED_OP2 0x40
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Bit masks for operand encodings
|
|
|
|
|
//
|
|
|
|
|
#define OPERAND_M_INDIRECT1 0x08
|
|
|
|
|
#define OPERAND_M_INDIRECT2 0x80
|
|
|
|
|
#define OPERAND_M_OP1 0x07
|
|
|
|
|
#define OPERAND_M_OP2 0x70
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Masks for data manipulation instructions
|
|
|
|
|
//
|
|
|
|
|
#define DATAMANIP_M_64 0x40 // 64-bit width operation
|
|
|
|
|
#define DATAMANIP_M_IMMDATA 0x80
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// For MOV instructions, need a mask for the opcode when immediate
|
|
|
|
|
// data applies to R2.
|
|
|
|
|
//
|
|
|
|
|
#define OPCODE_M_IMMED_OP2 0x40
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// The MOVI/MOVIn instructions use bit 6 of operands byte to indicate
|
|
|
|
|
// if an index is present. Then bits 4 and 5 are used to indicate the width
|
|
|
|
|
// of the move.
|
|
|
|
|
//
|
|
|
|
|
#define MOVI_M_IMMDATA 0x40
|
|
|
|
|
#define MOVI_M_DATAWIDTH 0xC0
|
|
|
|
|
#define MOVI_DATAWIDTH16 0x40
|
|
|
|
|
#define MOVI_DATAWIDTH32 0x80
|
|
|
|
|
#define MOVI_DATAWIDTH64 0xC0
|
|
|
|
|
#define MOVI_M_MOVEWIDTH 0x30
|
|
|
|
|
#define MOVI_MOVEWIDTH8 0x00
|
|
|
|
|
#define MOVI_MOVEWIDTH16 0x10
|
|
|
|
|
#define MOVI_MOVEWIDTH32 0x20
|
|
|
|
|
#define MOVI_MOVEWIDTH64 0x30
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Masks for CALL instruction encodings
|
|
|
|
|
//
|
|
|
|
|
#define OPERAND_M_RELATIVE_ADDR 0x10
|
|
|
|
|
#define OPERAND_M_NATIVE_CALL 0x20
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Masks for decoding push/pop instructions
|
|
|
|
|
//
|
|
|
|
|
#define PUSHPOP_M_IMMDATA 0x80 // opcode bit indicating immediate data
|
|
|
|
|
#define PUSHPOP_M_64 0x40 // opcode bit indicating 64-bit operation
|
|
|
|
|
//
|
|
|
|
|
// Mask for operand of JMP instruction
|
|
|
|
|
//
|
|
|
|
|
#define JMP_M_RELATIVE 0x10
|
|
|
|
|
#define JMP_M_CONDITIONAL 0x80
|
|
|
|
|
#define JMP_M_CS 0x40
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Macros to determine if a given operand is indirect
|
|
|
|
|
//
|
|
|
|
|
#define OPERAND1_INDIRECT(op) ((op) & OPERAND_M_INDIRECT1)
|
|
|
|
|
#define OPERAND2_INDIRECT(op) ((op) & OPERAND_M_INDIRECT2)
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Macros to extract the operands from second byte of instructions
|
|
|
|
|
//
|
|
|
|
|
#define OPERAND1_REGNUM(op) ((op) & OPERAND_M_OP1)
|
|
|
|
|
#define OPERAND2_REGNUM(op) (((op) & OPERAND_M_OP2) >> 4)
|
|
|
|
|
|
|
|
|
|
#define OPERAND1_CHAR(op) ('0' + OPERAND1_REGNUM (op))
|
|
|
|
|
#define OPERAND2_CHAR(op) ('0' + OPERAND2_REGNUM (op))
|
|
|
|
|
|
|
|
|
|
#define OPERAND1_REGDATA(pvm, op) pvm->R[OPERAND1_REGNUM (op)]
|
|
|
|
|
#define OPERAND2_REGDATA(pvm, op) pvm->R[OPERAND2_REGNUM (op)]
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Condition masks usually for byte 1 encodings of code
|
|
|
|
|
//
|
|
|
|
|
#define CONDITION_M_CONDITIONAL 0x80
|
|
|
|
|
#define CONDITION_M_CS 0x40
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Bits in the VM->StopFlags field
|
|
|
|
|
//
|
|
|
|
|
#define STOPFLAG_APP_DONE 0x0001
|
|
|
|
|
#define STOPFLAG_BREAKPOINT 0x0002
|
|
|
|
|
#define STOPFLAG_INVALID_BREAK 0x0004
|
|
|
|
|
#define STOPFLAG_BREAK_ON_CALLEX 0x0008
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Masks for working with the VM flags register
|
|
|
|
|
//
|
|
|
|
|
#define VMFLAGS_CC 0x0001 // condition flag
|
|
|
|
|
#define VMFLAGS_STEP 0x0002 // step instruction mode
|
|
|
|
|
#define VMFLAGS_ALL_VALID (VMFLAGS_CC | VMFLAGS_STEP)
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Macros for operating on the VM flags register
|
|
|
|
|
//
|
|
|
|
|
#define VMFLAG_SET(pVM, Flag) (pVM->Flags |= (Flag))
|
|
|
|
|
#define VMFLAG_ISSET(pVM, Flag) ((pVM->Flags & (Flag)) ? 1 : 0)
|
|
|
|
|
#define VMFLAG_CLEAR(pVM, Flag) (pVM->Flags &= ~(Flag))
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Debug macro
|
|
|
|
|
//
|
|
|
|
|
#define EBCMSG(s) gST->ConOut->OutputString (gST->ConOut, s)
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Define OPCODES
|
|
|
|
|
//
|
|
|
|
|
#define OPCODE_BREAK 0x00
|
|
|
|
|
#define OPCODE_JMP 0x01
|
|
|
|
|
#define OPCODE_JMP8 0x02
|
|
|
|
|
#define OPCODE_CALL 0x03
|
|
|
|
|
#define OPCODE_RET 0x04
|
|
|
|
|
#define OPCODE_CMPEQ 0x05
|
|
|
|
|
#define OPCODE_CMPLTE 0x06
|
|
|
|
|
#define OPCODE_CMPGTE 0x07
|
|
|
|
|
#define OPCODE_CMPULTE 0x08
|
|
|
|
|
#define OPCODE_CMPUGTE 0x09
|
|
|
|
|
#define OPCODE_NOT 0x0A
|
|
|
|
|
#define OPCODE_NEG 0x0B
|
|
|
|
|
#define OPCODE_ADD 0x0C
|
|
|
|
|
#define OPCODE_SUB 0x0D
|
|
|
|
|
#define OPCODE_MUL 0x0E
|
|
|
|
|
#define OPCODE_MULU 0x0F
|
|
|
|
|
#define OPCODE_DIV 0x10
|
|
|
|
|
#define OPCODE_DIVU 0x11
|
|
|
|
|
#define OPCODE_MOD 0x12
|
|
|
|
|
#define OPCODE_MODU 0x13
|
|
|
|
|
#define OPCODE_AND 0x14
|
|
|
|
|
#define OPCODE_OR 0x15
|
|
|
|
|
#define OPCODE_XOR 0x16
|
|
|
|
|
#define OPCODE_SHL 0x17
|
|
|
|
|
#define OPCODE_SHR 0x18
|
|
|
|
|
#define OPCODE_ASHR 0x19
|
|
|
|
|
#define OPCODE_EXTNDB 0x1A
|
|
|
|
|
#define OPCODE_EXTNDW 0x1B
|
|
|
|
|
#define OPCODE_EXTNDD 0x1C
|
|
|
|
|
#define OPCODE_MOVBW 0x1D
|
|
|
|
|
#define OPCODE_MOVWW 0x1E
|
|
|
|
|
#define OPCODE_MOVDW 0x1F
|
|
|
|
|
#define OPCODE_MOVQW 0x20
|
|
|
|
|
#define OPCODE_MOVBD 0x21
|
|
|
|
|
#define OPCODE_MOVWD 0x22
|
|
|
|
|
#define OPCODE_MOVDD 0x23
|
|
|
|
|
#define OPCODE_MOVQD 0x24
|
|
|
|
|
#define OPCODE_MOVSNW 0x25 // Move signed natural with word index
|
|
|
|
|
#define OPCODE_MOVSND 0x26 // Move signed natural with dword index
|
|
|
|
|
//
|
|
|
|
|
// #define OPCODE_27 0x27
|
|
|
|
|
//
|
|
|
|
|
#define OPCODE_MOVQQ 0x28 // Does this go away?
|
|
|
|
|
#define OPCODE_LOADSP 0x29
|
|
|
|
|
#define OPCODE_STORESP 0x2A
|
|
|
|
|
#define OPCODE_PUSH 0x2B
|
|
|
|
|
#define OPCODE_POP 0x2C
|
|
|
|
|
#define OPCODE_CMPIEQ 0x2D
|
|
|
|
|
#define OPCODE_CMPILTE 0x2E
|
|
|
|
|
#define OPCODE_CMPIGTE 0x2F
|
|
|
|
|
#define OPCODE_CMPIULTE 0x30
|
|
|
|
|
#define OPCODE_CMPIUGTE 0x31
|
|
|
|
|
#define OPCODE_MOVNW 0x32
|
|
|
|
|
#define OPCODE_MOVND 0x33
|
|
|
|
|
//
|
|
|
|
|
// #define OPCODE_34 0x34
|
|
|
|
|
//
|
|
|
|
|
#define OPCODE_PUSHN 0x35
|
|
|
|
|
#define OPCODE_POPN 0x36
|
|
|
|
|
#define OPCODE_MOVI 0x37
|
|
|
|
|
#define OPCODE_MOVIN 0x38
|
|
|
|
|
#define OPCODE_MOVREL 0x39
|
|
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
|
EbcExecute (
|
|
|
|
|
IN VM_CONTEXT *VmPtr
|
|
|
|
|
)
|
|
|
|
|
;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
UINT64
|
|
|
|
|
GetVmVersion (
|
|
|
|
|
VOID
|
|
|
|
|
)
|
|
|
|
|
;
|
|
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
|
VmWriteMemN (
|
|
|
|
|
IN VM_CONTEXT *VmPtr,
|
|
|
|
|
IN UINTN Addr,
|
|
|
|
|
IN UINTN Data
|
|
|
|
|
)
|
|
|
|
|
;
|
|
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
|
VmWriteMem64 (
|
|
|
|
|
IN VM_CONTEXT *VmPtr,
|
|
|
|
|
UINTN Addr,
|
|
|
|
|
IN UINT64 Data
|
|
|
|
|
)
|
|
|
|
|
;
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Define a protocol for an EBC VM test interface.
|
|
|
|
|
//
|
|
|
|
|
#define EFI_EBC_VM_TEST_PROTOCOL_GUID \
|
|
|
|
|
{ \
|
|
|
|
|
0xAAEACCFDL, 0xF27B, 0x4C17, { 0xB6, 0x10, 0x75, 0xCA, 0x1F, 0x2D, 0xFB, 0x52 } \
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Define for forward reference.
|
|
|
|
|
//
|
|
|
|
|
typedef struct _EFI_EBC_VM_TEST_PROTOCOL EFI_EBC_VM_TEST_PROTOCOL;
|
|
|
|
|
|
|
|
|
|
typedef
|
|
|
|
|
EFI_STATUS
|
|
|
|
|
(*EBC_VM_TEST_EXECUTE) (
|
|
|
|
|
IN EFI_EBC_VM_TEST_PROTOCOL * This,
|
|
|
|
|
IN VM_CONTEXT * VmPtr,
|
|
|
|
|
IN OUT UINTN *InstructionCount
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
typedef
|
|
|
|
|
EFI_STATUS
|
|
|
|
|
(*EBC_VM_TEST_ASM) (
|
|
|
|
|
IN EFI_EBC_VM_TEST_PROTOCOL * This,
|
|
|
|
|
IN CHAR16 *AsmText,
|
|
|
|
|
IN OUT INT8 *Buffer,
|
|
|
|
|
IN OUT UINTN *BufferLen
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
typedef
|
|
|
|
|
EFI_STATUS
|
|
|
|
|
(*EBC_VM_TEST_DASM) (
|
|
|
|
|
IN EFI_EBC_VM_TEST_PROTOCOL * This,
|
|
|
|
|
IN OUT CHAR16 *AsmText,
|
|
|
|
|
IN OUT INT8 *Buffer,
|
|
|
|
|
IN OUT UINTN *Len
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
//
|
|
|
|
|
// Prototype for the actual EBC test protocol interface
|
|
|
|
|
//
|
|
|
|
|
struct _EFI_EBC_VM_TEST_PROTOCOL {
|
|
|
|
|
EBC_VM_TEST_EXECUTE Execute;
|
|
|
|
|
EBC_VM_TEST_ASM Assemble;
|
|
|
|
|
EBC_VM_TEST_DASM Disassemble;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
|
EbcExecuteInstructions (
|
|
|
|
|
IN EFI_EBC_VM_TEST_PROTOCOL *This,
|
|
|
|
|
IN VM_CONTEXT *VmPtr,
|
|
|
|
|
IN OUT UINTN *InstructionCount
|
|
|
|
|
)
|
|
|
|
|
;
|
|
|
|
|
|
|
|
|
|
#endif // ifndef _EBC_EXECUTE_H_
|
