Backport the changes from the readability review.
Review URL: http://codereview.chromium.org/8939 git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@700 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
This commit is contained in:
parent
b4e7335c0c
commit
779af439ec
@ -33,62 +33,74 @@ namespace assembler { namespace arm {
|
||||
// Defines constants and accessor classes to assemble, disassemble and
|
||||
// simulate ARM instructions.
|
||||
//
|
||||
// Section references in the code refer to the "ARM Architecture Reference
|
||||
// Manual" from July 2005 (available at http://www.arm.com/miscPDFs/14128.pdf)
|
||||
//
|
||||
// Constants for specific fields are defined in their respective named enums.
|
||||
// General constants are in an anonymous enum in class Instr.
|
||||
|
||||
typedef unsigned char byte;
|
||||
|
||||
// Values for the condition field as defined in section A3.2
|
||||
enum Condition {
|
||||
no_condition = -1,
|
||||
EQ = 0,
|
||||
NE = 1,
|
||||
CS = 2,
|
||||
CC = 3,
|
||||
MI = 4,
|
||||
PL = 5,
|
||||
VS = 6,
|
||||
VC = 7,
|
||||
HI = 8,
|
||||
LS = 9,
|
||||
GE = 10,
|
||||
LT = 11,
|
||||
GT = 12,
|
||||
LE = 13,
|
||||
AL = 14,
|
||||
special_condition = 15
|
||||
EQ = 0, // equal
|
||||
NE = 1, // not equal
|
||||
CS = 2, // carry set/unsigned higher or same
|
||||
CC = 3, // carry clear/unsigned lower
|
||||
MI = 4, // minus/negative
|
||||
PL = 5, // plus/positive or zero
|
||||
VS = 6, // overflow
|
||||
VC = 7, // no overflow
|
||||
HI = 8, // unsigned higher
|
||||
LS = 9, // unsigned lower or same
|
||||
GE = 10, // signed greater than or equal
|
||||
LT = 11, // signed less than
|
||||
GT = 12, // signed greater than
|
||||
LE = 13, // signed less than or equal
|
||||
AL = 14, // always (unconditional)
|
||||
special_condition = 15, // special condition (refer to section A3.2.1)
|
||||
max_condition = 16
|
||||
};
|
||||
|
||||
|
||||
// Opcodes for Data-processing instructions (instructions with a type 0 and 1)
|
||||
// as defined in section A3.4
|
||||
enum Opcode {
|
||||
no_operand = -1,
|
||||
AND = 0,
|
||||
EOR = 1,
|
||||
SUB = 2,
|
||||
RSB = 3,
|
||||
ADD = 4,
|
||||
ADC = 5,
|
||||
SBC = 6,
|
||||
RSC = 7,
|
||||
TST = 8,
|
||||
TEQ = 9,
|
||||
CMP = 10,
|
||||
CMN = 11,
|
||||
ORR = 12,
|
||||
MOV = 13,
|
||||
BIC = 14,
|
||||
MVN = 15
|
||||
AND = 0, // Logical AND
|
||||
EOR = 1, // Logical Exclusive OR
|
||||
SUB = 2, // Subtract
|
||||
RSB = 3, // Reverse Subtract
|
||||
ADD = 4, // Add
|
||||
ADC = 5, // Add with Carry
|
||||
SBC = 6, // Subtract with Carry
|
||||
RSC = 7, // Reverse Subtract with Carry
|
||||
TST = 8, // Test
|
||||
TEQ = 9, // Test Equivalence
|
||||
CMP = 10, // Compare
|
||||
CMN = 11, // Compare Negated
|
||||
ORR = 12, // Logical (inclusive) OR
|
||||
MOV = 13, // Move
|
||||
BIC = 14, // Bit Clear
|
||||
MVN = 15, // Move Not
|
||||
max_operand = 16
|
||||
};
|
||||
|
||||
|
||||
// Shifter types for Data-processing operands as defined in section A5.1.2.
|
||||
enum Shift {
|
||||
no_shift = -1,
|
||||
LSL = 0,
|
||||
LSR = 1,
|
||||
ASR = 2,
|
||||
ROR = 3
|
||||
LSL = 0, // Logical shift left
|
||||
LSR = 1, // Logical shift right
|
||||
ASR = 2, // Arithmetic shift right
|
||||
ROR = 3, // Rotate right
|
||||
max_shift = 4
|
||||
};
|
||||
|
||||
|
||||
// Special Software Interrupt codes when used in the presence of the ARM
|
||||
// simulator.
|
||||
enum SoftwareInterruptCodes {
|
||||
// transition to C code
|
||||
call_rt_r5 = 0x10,
|
||||
@ -102,7 +114,17 @@ typedef int32_t instr_t;
|
||||
|
||||
|
||||
// The class Instr enables access to individual fields defined in the ARM
|
||||
// architecture.
|
||||
// architecture instruction set encoding as described in figure A3-1.
|
||||
//
|
||||
// Example: Test whether the instruction at ptr does set the condition code
|
||||
// bits.
|
||||
//
|
||||
// bool InstructionSetsConditionCodes(byte* ptr) {
|
||||
// Instr *instr = Instr::At(ptr);
|
||||
// int type = instr->TypeField();
|
||||
// return ((type == 0) || (type == 1)) && instr->HasS();
|
||||
// }
|
||||
//
|
||||
class Instr {
|
||||
public:
|
||||
enum {
|
||||
@ -110,25 +132,29 @@ class Instr {
|
||||
kPCReadOffset = 8
|
||||
};
|
||||
|
||||
// Get the raw instruction bits
|
||||
// Get the raw instruction bits.
|
||||
inline instr_t InstructionBits() const {
|
||||
return *reinterpret_cast<const instr_t*>(this);
|
||||
}
|
||||
|
||||
// Set the raw instruction bits to value.
|
||||
inline void SetInstructionBits(instr_t value) {
|
||||
*reinterpret_cast<instr_t*>(this) = value;
|
||||
}
|
||||
|
||||
// Read one particular bit out of the instruction bits.
|
||||
inline int Bit(int nr) const {
|
||||
return (InstructionBits() >> nr) & 1;
|
||||
}
|
||||
|
||||
// Read a bit field out of the instruction bits.
|
||||
inline int Bits(int hi, int lo) const {
|
||||
return (InstructionBits() >> lo) & ((2 << (hi - lo)) - 1);
|
||||
}
|
||||
|
||||
|
||||
// Accessors for the different named fields used in the ARM encoding.
|
||||
// The naming of these accessor corresponds to figure A3-1.
|
||||
// Generally applicable fields
|
||||
inline Condition ConditionField() const {
|
||||
return static_cast<Condition>(Bits(31, 28));
|
||||
|
@ -25,6 +25,28 @@
|
||||
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
||||
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
|
||||
// A Disassembler object is used to disassemble a block of code instruction by
|
||||
// instruction. The default implementation of the NameConverter object can be
|
||||
// overriden to modify register names or to do symbol lookup on addresses.
|
||||
//
|
||||
// The example below will disassemble a block of code and print it to stdout.
|
||||
//
|
||||
// NameConverter converter;
|
||||
// Disassembler d(converter);
|
||||
// for (byte* pc = begin; pc < end;) {
|
||||
// char buffer[128];
|
||||
// buffer[0] = '\0';
|
||||
// byte* prev_pc = pc;
|
||||
// pc += d.InstructionDecode(buffer, sizeof buffer, pc);
|
||||
// printf("%p %08x %s\n",
|
||||
// prev_pc, *reinterpret_cast<int32_t*>(prev_pc), buffer);
|
||||
// }
|
||||
//
|
||||
// The Disassembler class also has a convenience method to disassemble a block
|
||||
// of code into a FILE*, meaning that the above functionality could also be
|
||||
// achieved by just calling Disassembler::Disassemble(stdout, begin, end);
|
||||
|
||||
|
||||
#include <assert.h>
|
||||
#include <stdio.h>
|
||||
#include <stdarg.h>
|
||||
@ -39,6 +61,7 @@
|
||||
#include "macro-assembler.h"
|
||||
#include "platform.h"
|
||||
|
||||
|
||||
namespace assembler { namespace arm {
|
||||
|
||||
namespace v8i = v8::internal;
|
||||
@ -66,33 +89,49 @@ class Decoder {
|
||||
int InstructionDecode(byte* instruction);
|
||||
|
||||
private:
|
||||
const disasm::NameConverter& converter_;
|
||||
v8::internal::Vector<char> out_buffer_;
|
||||
int out_buffer_pos_;
|
||||
|
||||
// Bottleneck functions to print into the out_buffer.
|
||||
void PrintChar(const char ch);
|
||||
void Print(const char* str);
|
||||
|
||||
// Printing of common values.
|
||||
void PrintRegister(int reg);
|
||||
void PrintCondition(Instr* instr);
|
||||
void PrintShiftRm(Instr* instr);
|
||||
void PrintShiftImm(Instr* instr);
|
||||
void PrintPU(Instr* instr);
|
||||
void PrintSoftwareInterrupt(SoftwareInterruptCodes swi);
|
||||
|
||||
// Handle formatting of instructions and their options.
|
||||
int FormatRegister(Instr* instr, const char* option);
|
||||
int FormatOption(Instr* instr, const char* option);
|
||||
void Format(Instr* instr, const char* format);
|
||||
void Unknown(Instr* instr);
|
||||
|
||||
void DecodeType0(Instr* instr);
|
||||
void DecodeType1(Instr* instr);
|
||||
// Each of these functions decodes one particular instruction type, a 3-bit
|
||||
// field in the instruction encoding.
|
||||
// Types 0 and 1 are combined as they are largely the same except for the way
|
||||
// they interpret the shifter operand.
|
||||
void DecodeType01(Instr* instr);
|
||||
void DecodeType2(Instr* instr);
|
||||
void DecodeType3(Instr* instr);
|
||||
void DecodeType4(Instr* instr);
|
||||
void DecodeType5(Instr* instr);
|
||||
void DecodeType6(Instr* instr);
|
||||
void DecodeType7(Instr* instr);
|
||||
|
||||
const disasm::NameConverter& converter_;
|
||||
v8::internal::Vector<char> out_buffer_;
|
||||
int out_buffer_pos_;
|
||||
|
||||
DISALLOW_COPY_AND_ASSIGN(Decoder);
|
||||
};
|
||||
|
||||
|
||||
// Support for assertions in the Decoder formatting functions.
|
||||
#define STRING_STARTS_WITH(string, compare_string) \
|
||||
(strncmp(string, compare_string, strlen(compare_string)) == 0)
|
||||
|
||||
|
||||
// Append the ch to the output buffer.
|
||||
void Decoder::PrintChar(const char ch) {
|
||||
out_buffer_[out_buffer_pos_++] = ch;
|
||||
@ -102,7 +141,7 @@ void Decoder::PrintChar(const char ch) {
|
||||
// Append the str to the output buffer.
|
||||
void Decoder::Print(const char* str) {
|
||||
char cur = *str++;
|
||||
while (cur != 0 && (out_buffer_pos_ < (out_buffer_.length()-1))) {
|
||||
while (cur != '\0' && (out_buffer_pos_ < (out_buffer_.length() - 1))) {
|
||||
PrintChar(cur);
|
||||
cur = *str++;
|
||||
}
|
||||
@ -110,9 +149,11 @@ void Decoder::Print(const char* str) {
|
||||
}
|
||||
|
||||
|
||||
static const char* cond_names[16] = {
|
||||
"eq", "ne", "cs" , "cc" , "mi" , "pl" , "vs" , "vc" ,
|
||||
"hi", "ls", "ge", "lt", "gt", "le", "", "invalid",
|
||||
// These condition names are defined in a way to match the native disassembler
|
||||
// formatting. See for example the command "objdump -d <binary file>".
|
||||
static const char* cond_names[max_condition] = {
|
||||
"eq", "ne", "cs" , "cc" , "mi" , "pl" , "vs" , "vc" ,
|
||||
"hi", "ls", "ge", "lt", "gt", "le", "", "invalid",
|
||||
};
|
||||
|
||||
|
||||
@ -128,7 +169,9 @@ void Decoder::PrintRegister(int reg) {
|
||||
}
|
||||
|
||||
|
||||
static const char* shift_names[4] = {
|
||||
// These shift names are defined in a way to match the native disassembler
|
||||
// formatting. See for example the command "objdump -d <binary file>".
|
||||
static const char* shift_names[max_shift] = {
|
||||
"lsl", "lsr", "asr", "ror"
|
||||
};
|
||||
|
||||
@ -178,96 +221,8 @@ void Decoder::PrintShiftImm(Instr* instr) {
|
||||
}
|
||||
|
||||
|
||||
// FormatOption takes a formatting string and interprets it based on
|
||||
// the current instructions. The format string points to the first
|
||||
// character of the option string (the option escape has already been
|
||||
// consumed by the caller.) FormatOption returns the number of
|
||||
// characters that were consumed from the formatting string.
|
||||
int Decoder::FormatOption(Instr* instr, const char* format) {
|
||||
switch (format[0]) {
|
||||
case 'a': { // 'a: accumulate multiplies
|
||||
if (instr->Bit(21) == 0) {
|
||||
Print("ul");
|
||||
} else {
|
||||
Print("la");
|
||||
}
|
||||
return 1;
|
||||
break;
|
||||
}
|
||||
case 'b': { // 'b: byte loads or stores
|
||||
if (instr->HasB()) {
|
||||
Print("b");
|
||||
}
|
||||
return 1;
|
||||
break;
|
||||
}
|
||||
case 'c': { // 'cond: conditional execution
|
||||
ASSERT((format[1] == 'o') && (format[2] == 'n') && (format[3] =='d'));
|
||||
PrintCondition(instr);
|
||||
return 4;
|
||||
break;
|
||||
}
|
||||
case 'h': { // 'h: halfword operation for extra loads and stores
|
||||
if (instr->HasH()) {
|
||||
Print("h");
|
||||
} else {
|
||||
Print("b");
|
||||
}
|
||||
return 1;
|
||||
break;
|
||||
}
|
||||
case 'i': { // 'imm: immediate value for data processing instructions
|
||||
ASSERT((format[1] == 'm') && (format[2] == 'm'));
|
||||
PrintShiftImm(instr);
|
||||
return 3;
|
||||
break;
|
||||
}
|
||||
case 'l': { // 'l: branch and link
|
||||
if (instr->HasLink()) {
|
||||
Print("l");
|
||||
}
|
||||
return 1;
|
||||
break;
|
||||
}
|
||||
case 'm': { // 'msg: for simulator break instructions
|
||||
if (format[1] == 'e') {
|
||||
ASSERT((format[2] == 'm') && (format[3] == 'o') && (format[4] == 'p'));
|
||||
if (instr->HasL()) {
|
||||
Print("ldr");
|
||||
} else {
|
||||
Print("str");
|
||||
}
|
||||
return 5;
|
||||
} else {
|
||||
ASSERT(format[1] == 's' && format[2] == 'g');
|
||||
byte* str =
|
||||
reinterpret_cast<byte*>(instr->InstructionBits() & 0x0fffffff);
|
||||
out_buffer_pos_ += v8i::OS::SNPrintF(out_buffer_ + out_buffer_pos_,
|
||||
"%s", converter_.NameInCode(str));
|
||||
return 3;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case 'o': {
|
||||
ASSERT(format[1] == 'f' && format[2] == 'f');
|
||||
if (format[3] == '1') {
|
||||
// 'off12: 12-bit offset for load and store instructions
|
||||
ASSERT(format[4] == '2');
|
||||
out_buffer_pos_ += v8i::OS::SNPrintF(out_buffer_ + out_buffer_pos_,
|
||||
"%d", instr->Offset12Field());
|
||||
return 5;
|
||||
} else {
|
||||
// 'off8: 8-bit offset for extra load and store instructions
|
||||
ASSERT(format[3] == '8');
|
||||
int offs8 = (instr->ImmedHField() << 4) | instr->ImmedLField();
|
||||
out_buffer_pos_ += v8i::OS::SNPrintF(out_buffer_ + out_buffer_pos_,
|
||||
"%d", offs8);
|
||||
return 4;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case 'p': { // 'pu: P and U bits for load and store instructions
|
||||
ASSERT(format[1] == 'u');
|
||||
// Print PU formatting to reduce complexity of FormatOption.
|
||||
void Decoder::PrintPU(Instr* instr) {
|
||||
switch (instr->PUField()) {
|
||||
case 0: {
|
||||
Print("da");
|
||||
@ -290,10 +245,35 @@ int Decoder::FormatOption(Instr* instr, const char* format) {
|
||||
break;
|
||||
}
|
||||
}
|
||||
return 2;
|
||||
break;
|
||||
}
|
||||
|
||||
|
||||
// Print SoftwareInterrupt codes. Factoring this out reduces the complexity of
|
||||
// the FormatOption method.
|
||||
void Decoder::PrintSoftwareInterrupt(SoftwareInterruptCodes swi) {
|
||||
switch (swi) {
|
||||
case call_rt_r5:
|
||||
Print("call_rt_r5");
|
||||
return;
|
||||
case call_rt_r2:
|
||||
Print("call_rt_r2");
|
||||
return;
|
||||
case break_point:
|
||||
Print("break_point");
|
||||
return;
|
||||
default:
|
||||
out_buffer_pos_ += v8i::OS::SNPrintF(out_buffer_ + out_buffer_pos_,
|
||||
"%d",
|
||||
swi);
|
||||
return;
|
||||
}
|
||||
case 'r': {
|
||||
}
|
||||
|
||||
|
||||
// Handle all register based formatting in this function to reduce the
|
||||
// complexity of FormatOption.
|
||||
int Decoder::FormatRegister(Instr* instr, const char* format) {
|
||||
ASSERT(format[0] == 'r');
|
||||
if (format[1] == 'n') { // 'rn: Rn register
|
||||
int reg = instr->RnField();
|
||||
PrintRegister(reg);
|
||||
@ -312,10 +292,11 @@ int Decoder::FormatOption(Instr* instr, const char* format) {
|
||||
return 2;
|
||||
} else if (format[1] == 'l') {
|
||||
// 'rlist: register list for load and store multiple instructions
|
||||
ASSERT(format[2] == 'i' && format[3] == 's' && format[4] == 't');
|
||||
ASSERT(STRING_STARTS_WITH(format, "rlist"));
|
||||
int rlist = instr->RlistField();
|
||||
int reg = 0;
|
||||
Print("{");
|
||||
// Print register list in ascending order, by scanning the bit mask.
|
||||
while (rlist != 0) {
|
||||
if ((rlist & 1) != 0) {
|
||||
PrintRegister(reg);
|
||||
@ -328,58 +309,128 @@ int Decoder::FormatOption(Instr* instr, const char* format) {
|
||||
}
|
||||
Print("}");
|
||||
return 5;
|
||||
} else {
|
||||
UNREACHABLE();
|
||||
}
|
||||
UNREACHABLE();
|
||||
return -1;
|
||||
break;
|
||||
}
|
||||
|
||||
|
||||
// FormatOption takes a formatting string and interprets it based on
|
||||
// the current instructions. The format string points to the first
|
||||
// character of the option string (the option escape has already been
|
||||
// consumed by the caller.) FormatOption returns the number of
|
||||
// characters that were consumed from the formatting string.
|
||||
int Decoder::FormatOption(Instr* instr, const char* format) {
|
||||
switch (format[0]) {
|
||||
case 'a': { // 'a: accumulate multiplies
|
||||
if (instr->Bit(21) == 0) {
|
||||
Print("ul");
|
||||
} else {
|
||||
Print("la");
|
||||
}
|
||||
return 1;
|
||||
}
|
||||
case 'b': { // 'b: byte loads or stores
|
||||
if (instr->HasB()) {
|
||||
Print("b");
|
||||
}
|
||||
return 1;
|
||||
}
|
||||
case 'c': { // 'cond: conditional execution
|
||||
ASSERT(STRING_STARTS_WITH(format, "cond"));
|
||||
PrintCondition(instr);
|
||||
return 4;
|
||||
}
|
||||
case 'h': { // 'h: halfword operation for extra loads and stores
|
||||
if (instr->HasH()) {
|
||||
Print("h");
|
||||
} else {
|
||||
Print("b");
|
||||
}
|
||||
return 1;
|
||||
}
|
||||
case 'l': { // 'l: branch and link
|
||||
if (instr->HasLink()) {
|
||||
Print("l");
|
||||
}
|
||||
return 1;
|
||||
}
|
||||
case 'm': {
|
||||
if (format[1] == 'e') { // 'memop: load/store instructions
|
||||
ASSERT(STRING_STARTS_WITH(format, "memop"));
|
||||
if (instr->HasL()) {
|
||||
Print("ldr");
|
||||
} else {
|
||||
Print("str");
|
||||
}
|
||||
return 5;
|
||||
}
|
||||
// 'msg: for simulator break instructions
|
||||
ASSERT(STRING_STARTS_WITH(format, "msg"));
|
||||
byte* str =
|
||||
reinterpret_cast<byte*>(instr->InstructionBits() & 0x0fffffff);
|
||||
out_buffer_pos_ += v8i::OS::SNPrintF(out_buffer_ + out_buffer_pos_,
|
||||
"%s", converter_.NameInCode(str));
|
||||
return 3;
|
||||
}
|
||||
case 'o': {
|
||||
if (format[3] == '1') {
|
||||
// 'off12: 12-bit offset for load and store instructions
|
||||
ASSERT(STRING_STARTS_WITH(format, "off12"));
|
||||
out_buffer_pos_ += v8i::OS::SNPrintF(out_buffer_ + out_buffer_pos_,
|
||||
"%d", instr->Offset12Field());
|
||||
return 5;
|
||||
}
|
||||
// 'off8: 8-bit offset for extra load and store instructions
|
||||
ASSERT(STRING_STARTS_WITH(format, "off8"));
|
||||
int offs8 = (instr->ImmedHField() << 4) | instr->ImmedLField();
|
||||
out_buffer_pos_ += v8i::OS::SNPrintF(out_buffer_ + out_buffer_pos_,
|
||||
"%d", offs8);
|
||||
return 4;
|
||||
}
|
||||
case 'p': { // 'pu: P and U bits for load and store instructions
|
||||
ASSERT(STRING_STARTS_WITH(format, "pu"));
|
||||
PrintPU(instr);
|
||||
return 2;
|
||||
}
|
||||
case 'r': {
|
||||
return FormatRegister(instr, format);
|
||||
}
|
||||
case 's': {
|
||||
if (format[1] == 'h') { // 'shift_rm: register shift operands
|
||||
ASSERT(format[2] == 'i' && format[3] == 'f' && format[4] == 't'
|
||||
&& format[5] == '_' && format[6] == 'r' && format[7] == 'm');
|
||||
if (format[1] == 'h') { // 'shift_op or 'shift_rm
|
||||
if (format[6] == 'o') { // 'shift_op
|
||||
ASSERT(STRING_STARTS_WITH(format, "shift_op"));
|
||||
if (instr->TypeField() == 0) {
|
||||
PrintShiftRm(instr);
|
||||
} else {
|
||||
ASSERT(instr->TypeField() == 1);
|
||||
PrintShiftImm(instr);
|
||||
}
|
||||
return 8;
|
||||
} else { // 'shift_rm
|
||||
ASSERT(STRING_STARTS_WITH(format, "shift_rm"));
|
||||
PrintShiftRm(instr);
|
||||
return 8;
|
||||
} else if (format[1] == 'w') {
|
||||
ASSERT(format[2] == 'i');
|
||||
SoftwareInterruptCodes swi = instr->SwiField();
|
||||
switch (swi) {
|
||||
case call_rt_r5:
|
||||
Print("call_rt_r5");
|
||||
break;
|
||||
case call_rt_r2:
|
||||
Print("call_rt_r2");
|
||||
break;
|
||||
case break_point:
|
||||
Print("break_point");
|
||||
break;
|
||||
default:
|
||||
out_buffer_pos_ += v8i::OS::SNPrintF(
|
||||
out_buffer_ + out_buffer_pos_,
|
||||
"%d",
|
||||
swi);
|
||||
break;
|
||||
}
|
||||
} else if (format[1] == 'w') { // 'swi
|
||||
ASSERT(STRING_STARTS_WITH(format, "swi"));
|
||||
PrintSoftwareInterrupt(instr->SwiField());
|
||||
return 3;
|
||||
} else if (format[1] == 'i') { // 'sign: signed extra loads and stores
|
||||
ASSERT(format[2] == 'g' && format[3] == 'n');
|
||||
ASSERT(STRING_STARTS_WITH(format, "sign"));
|
||||
if (instr->HasSign()) {
|
||||
Print("s");
|
||||
}
|
||||
return 4;
|
||||
break;
|
||||
} else { // 's: S field of data processing instructions
|
||||
}
|
||||
// 's: S field of data processing instructions
|
||||
if (instr->HasS()) {
|
||||
Print("s");
|
||||
}
|
||||
return 1;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case 't': { // 'target: target of branch instructions
|
||||
ASSERT(format[1] == 'a' && format[2] == 'r' && format[3] == 'g'
|
||||
&& format[4] == 'e' && format[5] == 't');
|
||||
ASSERT(STRING_STARTS_WITH(format, "target"));
|
||||
int off = (instr->SImmed24Field() << 2) + 8;
|
||||
out_buffer_pos_ += v8i::OS::SNPrintF(
|
||||
out_buffer_ + out_buffer_pos_,
|
||||
@ -387,7 +438,6 @@ int Decoder::FormatOption(Instr* instr, const char* format) {
|
||||
off,
|
||||
converter_.NameOfAddress(reinterpret_cast<byte*>(instr) + off));
|
||||
return 6;
|
||||
break;
|
||||
}
|
||||
case 'u': { // 'u: signed or unsigned multiplies
|
||||
if (instr->Bit(22) == 0) {
|
||||
@ -396,14 +446,12 @@ int Decoder::FormatOption(Instr* instr, const char* format) {
|
||||
Print("s");
|
||||
}
|
||||
return 1;
|
||||
break;
|
||||
}
|
||||
case 'w': { // 'w: W field of load and store instructions
|
||||
if (instr->HasW()) {
|
||||
Print("!");
|
||||
}
|
||||
return 1;
|
||||
break;
|
||||
}
|
||||
default: {
|
||||
UNREACHABLE();
|
||||
@ -439,8 +487,9 @@ void Decoder::Unknown(Instr* instr) {
|
||||
}
|
||||
|
||||
|
||||
void Decoder::DecodeType0(Instr* instr) {
|
||||
if (instr->IsSpecialType0()) {
|
||||
void Decoder::DecodeType01(Instr* instr) {
|
||||
int type = instr->TypeField();
|
||||
if ((type == 0) && instr->IsSpecialType0()) {
|
||||
// multiply instruction or extra loads and stores
|
||||
if (instr->Bits(7, 4) == 9) {
|
||||
if (instr->Bit(24) == 0) {
|
||||
@ -503,87 +552,83 @@ void Decoder::DecodeType0(Instr* instr) {
|
||||
} else {
|
||||
switch (instr->OpcodeField()) {
|
||||
case AND: {
|
||||
Format(instr, "and'cond's 'rd, 'rn, 'shift_rm");
|
||||
Format(instr, "and'cond's 'rd, 'rn, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case EOR: {
|
||||
Format(instr, "eor'cond's 'rd, 'rn, 'shift_rm");
|
||||
Format(instr, "eor'cond's 'rd, 'rn, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case SUB: {
|
||||
Format(instr, "sub'cond's 'rd, 'rn, 'shift_rm");
|
||||
Format(instr, "sub'cond's 'rd, 'rn, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case RSB: {
|
||||
Format(instr, "rsb'cond's 'rd, 'rn, 'shift_rm");
|
||||
Format(instr, "rsb'cond's 'rd, 'rn, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case ADD: {
|
||||
Format(instr, "add'cond's 'rd, 'rn, 'shift_rm");
|
||||
Format(instr, "add'cond's 'rd, 'rn, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case ADC: {
|
||||
Format(instr, "adc'cond's 'rd, 'rn, 'shift_rm");
|
||||
Format(instr, "adc'cond's 'rd, 'rn, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case SBC: {
|
||||
Format(instr, "sbc'cond's 'rd, 'rn, 'shift_rm");
|
||||
Format(instr, "sbc'cond's 'rd, 'rn, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case RSC: {
|
||||
Format(instr, "rsc'cond's 'rd, 'rn, 'shift_rm");
|
||||
Format(instr, "rsc'cond's 'rd, 'rn, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case TST: {
|
||||
if (instr->HasS()) {
|
||||
Format(instr, "tst'cond 'rn, 'shift_rm");
|
||||
Format(instr, "tst'cond 'rn, 'shift_op");
|
||||
} else {
|
||||
Unknown(instr); // not used by V8
|
||||
return;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case TEQ: {
|
||||
if (instr->HasS()) {
|
||||
Format(instr, "teq'cond 'rn, 'shift_rm");
|
||||
Format(instr, "teq'cond 'rn, 'shift_op");
|
||||
} else {
|
||||
Unknown(instr); // not used by V8
|
||||
return;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case CMP: {
|
||||
if (instr->HasS()) {
|
||||
Format(instr, "cmp'cond 'rn, 'shift_rm");
|
||||
Format(instr, "cmp'cond 'rn, 'shift_op");
|
||||
} else {
|
||||
Unknown(instr); // not used by V8
|
||||
return;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case CMN: {
|
||||
if (instr->HasS()) {
|
||||
Format(instr, "cmn'cond 'rn, 'shift_rm");
|
||||
Format(instr, "cmn'cond 'rn, 'shift_op");
|
||||
} else {
|
||||
Unknown(instr); // not used by V8
|
||||
return;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case ORR: {
|
||||
Format(instr, "orr'cond's 'rd, 'rn, 'shift_rm");
|
||||
Format(instr, "orr'cond's 'rd, 'rn, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case MOV: {
|
||||
Format(instr, "mov'cond's 'rd, 'shift_rm");
|
||||
Format(instr, "mov'cond's 'rd, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case BIC: {
|
||||
Format(instr, "bic'cond's 'rd, 'rn, 'shift_rm");
|
||||
Format(instr, "bic'cond's 'rd, 'rn, 'shift_op");
|
||||
break;
|
||||
}
|
||||
case MVN: {
|
||||
Format(instr, "mvn'cond's 'rd, 'shift_rm");
|
||||
Format(instr, "mvn'cond's 'rd, 'shift_op");
|
||||
break;
|
||||
}
|
||||
default: {
|
||||
@ -596,107 +641,11 @@ void Decoder::DecodeType0(Instr* instr) {
|
||||
}
|
||||
|
||||
|
||||
void Decoder::DecodeType1(Instr* instr) {
|
||||
switch (instr->OpcodeField()) {
|
||||
case AND: {
|
||||
Format(instr, "and'cond's 'rd, 'rn, 'imm");
|
||||
break;
|
||||
}
|
||||
case EOR: {
|
||||
Format(instr, "eor'cond's 'rd, 'rn, 'imm");
|
||||
break;
|
||||
}
|
||||
case SUB: {
|
||||
Format(instr, "sub'cond's 'rd, 'rn, 'imm");
|
||||
break;
|
||||
}
|
||||
case RSB: {
|
||||
Format(instr, "rsb'cond's 'rd, 'rn, 'imm");
|
||||
break;
|
||||
}
|
||||
case ADD: {
|
||||
Format(instr, "add'cond's 'rd, 'rn, 'imm");
|
||||
break;
|
||||
}
|
||||
case ADC: {
|
||||
Format(instr, "adc'cond's 'rd, 'rn, 'imm");
|
||||
break;
|
||||
}
|
||||
case SBC: {
|
||||
Format(instr, "sbc'cond's 'rd, 'rn, 'imm");
|
||||
break;
|
||||
}
|
||||
case RSC: {
|
||||
Format(instr, "rsc'cond's 'rd, 'rn, 'imm");
|
||||
break;
|
||||
}
|
||||
case TST: {
|
||||
if (instr->HasS()) {
|
||||
Format(instr, "tst'cond 'rn, 'imm");
|
||||
} else {
|
||||
Unknown(instr); // not used by V8
|
||||
return;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case TEQ: {
|
||||
if (instr->HasS()) {
|
||||
Format(instr, "teq'cond 'rn, 'imm");
|
||||
} else {
|
||||
Unknown(instr); // not used by V8
|
||||
return;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case CMP: {
|
||||
if (instr->HasS()) {
|
||||
Format(instr, "cmp'cond 'rn, 'imm");
|
||||
} else {
|
||||
Unknown(instr); // not used by V8
|
||||
return;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case CMN: {
|
||||
if (instr->HasS()) {
|
||||
Format(instr, "cmn'cond 'rn, 'imm");
|
||||
} else {
|
||||
Unknown(instr); // not used by V8
|
||||
return;
|
||||
}
|
||||
break;
|
||||
}
|
||||
case ORR: {
|
||||
Format(instr, "orr'cond's 'rd, 'rn, 'imm");
|
||||
break;
|
||||
}
|
||||
case MOV: {
|
||||
Format(instr, "mov'cond's 'rd, 'imm");
|
||||
break;
|
||||
}
|
||||
case BIC: {
|
||||
Format(instr, "bic'cond's 'rd, 'rn, 'imm");
|
||||
break;
|
||||
}
|
||||
case MVN: {
|
||||
Format(instr, "mvn'cond's 'rd, 'imm");
|
||||
break;
|
||||
}
|
||||
default: {
|
||||
// The Opcode field is a 4-bit field.
|
||||
UNREACHABLE();
|
||||
break;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
void Decoder::DecodeType2(Instr* instr) {
|
||||
switch (instr->PUField()) {
|
||||
case 0: {
|
||||
if (instr->HasW()) {
|
||||
Unknown(instr); // not used in V8
|
||||
return;
|
||||
}
|
||||
Format(instr, "'memop'cond'b 'rd, ['rn], #-'off12");
|
||||
break;
|
||||
@ -704,7 +653,6 @@ void Decoder::DecodeType2(Instr* instr) {
|
||||
case 1: {
|
||||
if (instr->HasW()) {
|
||||
Unknown(instr); // not used in V8
|
||||
return;
|
||||
}
|
||||
Format(instr, "'memop'cond'b 'rd, ['rn], #+'off12");
|
||||
break;
|
||||
@ -798,12 +746,9 @@ int Decoder::InstructionDecode(byte* instr_ptr) {
|
||||
return Instr::kInstrSize;
|
||||
}
|
||||
switch (instr->TypeField()) {
|
||||
case 0: {
|
||||
DecodeType0(instr);
|
||||
break;
|
||||
}
|
||||
case 0:
|
||||
case 1: {
|
||||
DecodeType1(instr);
|
||||
DecodeType01(instr);
|
||||
break;
|
||||
}
|
||||
case 2: {
|
||||
@ -848,8 +793,15 @@ int Decoder::InstructionDecode(byte* instr_ptr) {
|
||||
|
||||
namespace disasm {
|
||||
|
||||
static const char* reg_names[16] = {
|
||||
"r0", "r1", "r2" , "r3" , "r4" , "r5" , "r6" , "r7" ,
|
||||
namespace v8i = v8::internal;
|
||||
|
||||
|
||||
static const int kMaxRegisters = 16;
|
||||
|
||||
// These register names are defined in a way to match the native disassembler
|
||||
// formatting. See for example the command "objdump -d <binary file>".
|
||||
static const char* reg_names[kMaxRegisters] = {
|
||||
"r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
|
||||
"r8", "r9", "sl", "fp", "ip", "sp", "lr", "pc",
|
||||
};
|
||||
|
||||
@ -868,7 +820,7 @@ const char* NameConverter::NameOfConstant(byte* addr) const {
|
||||
|
||||
const char* NameConverter::NameOfCPURegister(int reg) const {
|
||||
const char* result;
|
||||
if ((0 <= reg) && (reg < 16)) {
|
||||
if ((0 <= reg) && (reg < kMaxRegisters)) {
|
||||
result = reg_names[reg];
|
||||
} else {
|
||||
result = "noreg";
|
||||
@ -892,11 +844,6 @@ const char* NameConverter::NameInCode(byte* addr) const {
|
||||
|
||||
//------------------------------------------------------------------------------
|
||||
|
||||
static NameConverter defaultConverter;
|
||||
|
||||
Disassembler::Disassembler() : converter_(defaultConverter) {}
|
||||
|
||||
|
||||
Disassembler::Disassembler(const NameConverter& converter)
|
||||
: converter_(converter) {}
|
||||
|
||||
@ -922,7 +869,8 @@ int Disassembler::ConstantPoolSizeAt(byte* instruction) {
|
||||
|
||||
|
||||
void Disassembler::Disassemble(FILE* f, byte* begin, byte* end) {
|
||||
Disassembler d;
|
||||
NameConverter converter;
|
||||
Disassembler d(converter);
|
||||
for (byte* pc = begin; pc < end;) {
|
||||
v8::internal::EmbeddedVector<char, 128> buffer;
|
||||
buffer[0] = '\0';
|
||||
|
@ -1095,11 +1095,6 @@ const char* NameConverter::NameInCode(byte* addr) const {
|
||||
|
||||
//------------------------------------------------------------------------------
|
||||
|
||||
static NameConverter defaultConverter;
|
||||
|
||||
Disassembler::Disassembler() : converter_(defaultConverter) {}
|
||||
|
||||
|
||||
Disassembler::Disassembler(const NameConverter& converter)
|
||||
: converter_(converter) {}
|
||||
|
||||
@ -1119,7 +1114,8 @@ int Disassembler::ConstantPoolSizeAt(byte* instruction) { return -1; }
|
||||
|
||||
|
||||
/*static*/ void Disassembler::Disassemble(FILE* f, byte* begin, byte* end) {
|
||||
Disassembler d;
|
||||
NameConverter converter;
|
||||
Disassembler d(converter);
|
||||
for (byte* pc = begin; pc < end;) {
|
||||
v8::internal::EmbeddedVector<char, 128> buffer;
|
||||
buffer[0] = '\0';
|
||||
|
@ -49,9 +49,6 @@ class NameConverter {
|
||||
// A generic Disassembler interface
|
||||
class Disassembler {
|
||||
public:
|
||||
// Uses default NameConverter.
|
||||
Disassembler();
|
||||
|
||||
// Caller deallocates converter.
|
||||
explicit Disassembler(const NameConverter& converter);
|
||||
|
||||
@ -70,6 +67,8 @@ class Disassembler {
|
||||
static void Disassemble(FILE* f, byte* begin, byte* end);
|
||||
private:
|
||||
const NameConverter& converter_;
|
||||
|
||||
DISALLOW_IMPLICIT_CONSTRUCTORS(Disassembler);
|
||||
};
|
||||
|
||||
} // namespace disasm
|
||||
|
@ -25,6 +25,9 @@
|
||||
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
||||
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
|
||||
#ifndef V8_GLOBALS_H_
|
||||
#define V8_GLOBALS_H_
|
||||
|
||||
// -----------------------------------------------------------------------------
|
||||
// Types
|
||||
// Windows is missing the stdint.h header file. Instead we define standard
|
||||
@ -58,9 +61,6 @@ namespace v8 { namespace internal {
|
||||
// defined here because the platform code uses bool, and platform.h is
|
||||
// include very early in the main include file.
|
||||
|
||||
#ifndef V8_GLOBALS_H_
|
||||
#define V8_GLOBALS_H_
|
||||
|
||||
#ifdef USE_MYBOOL
|
||||
typedef unsigned int __my_bool__;
|
||||
#define bool __my_bool__ // use 'indirection' to avoid name clashes
|
||||
|
@ -210,7 +210,8 @@ void Debugger::Debug() {
|
||||
|
||||
while (!done) {
|
||||
if (last_pc != sim_->get_pc()) {
|
||||
disasm::Disassembler dasm;
|
||||
disasm::NameConverter converter;
|
||||
disasm::Disassembler dasm(converter);
|
||||
// use a reasonably large buffer
|
||||
v8::internal::EmbeddedVector<char, 256> buffer;
|
||||
dasm.InstructionDecode(buffer,
|
||||
@ -265,7 +266,8 @@ void Debugger::Debug() {
|
||||
PrintF("printobject value\n");
|
||||
}
|
||||
} else if (strcmp(cmd, "disasm") == 0) {
|
||||
disasm::Disassembler dasm;
|
||||
disasm::NameConverter converter;
|
||||
disasm::Disassembler dasm(converter);
|
||||
// use a reasonably large buffer
|
||||
v8::internal::EmbeddedVector<char, 256> buffer;
|
||||
|
||||
@ -1441,7 +1443,8 @@ void Simulator::InstructionDecode(Instr* instr) {
|
||||
return;
|
||||
}
|
||||
if (::v8::internal::FLAG_trace_sim) {
|
||||
disasm::Disassembler dasm;
|
||||
disasm::NameConverter converter;
|
||||
disasm::Disassembler dasm(converter);
|
||||
// use a reasonably large buffer
|
||||
v8::internal::EmbeddedVector<char, 256> buffer;
|
||||
dasm.InstructionDecode(buffer,
|
||||
|
4
src/v8.h
4
src/v8.h
@ -38,6 +38,10 @@
|
||||
// If both are defined in Google3, then we are building an optimized v8 with
|
||||
// assertions enabled.
|
||||
#undef NDEBUG
|
||||
#elif !defined(DEBUG) && !defined(NDEBUG)
|
||||
// If neither is defined in Google3, then we are building a debug v8. Mark it
|
||||
// as such.
|
||||
#define DEBUG
|
||||
#endif
|
||||
#endif // defined(GOOGLE3)
|
||||
|
||||
|
@ -50,7 +50,8 @@ static void InitializeVM() {
|
||||
|
||||
|
||||
bool DisassembleAndCompare(byte* pc, const char* compare_string) {
|
||||
disasm::Disassembler disasm;
|
||||
disasm::NameConverter converter;
|
||||
disasm::Disassembler disasm(converter);
|
||||
EmbeddedVector<char, 128> disasm_buffer;
|
||||
|
||||
disasm.InstructionDecode(disasm_buffer, pc);
|
||||
@ -68,6 +69,9 @@ bool DisassembleAndCompare(byte* pc, const char* compare_string) {
|
||||
}
|
||||
|
||||
|
||||
// Setup V8 to a state where we can at least run the assembler and
|
||||
// disassembler. Declare the variables and allocate the data structures used
|
||||
// in the rest of the macros.
|
||||
#define SETUP() \
|
||||
InitializeVM(); \
|
||||
Serializer::disable(); \
|
||||
@ -77,6 +81,10 @@ bool DisassembleAndCompare(byte* pc, const char* compare_string) {
|
||||
bool failure = false;
|
||||
|
||||
|
||||
// This macro assembles one instruction using the preallocated assembler and
|
||||
// disassembles the generated instruction, comparing the output to the expected
|
||||
// value. If the comparison fails an error message is printed, but the test
|
||||
// continues to run until the end.
|
||||
#define COMPARE(asm_, compare_string) \
|
||||
{ \
|
||||
int pc_offset = assm.pc_offset(); \
|
||||
@ -86,8 +94,10 @@ bool DisassembleAndCompare(byte* pc, const char* compare_string) {
|
||||
}
|
||||
|
||||
|
||||
#define OUTPUT() \
|
||||
if (failure) { \
|
||||
// Verify that all invocations of the COMPARE macro passed successfully.
|
||||
// Exit with a failure if at least one of the tests failed.
|
||||
#define VERIFY_RUN() \
|
||||
if (failure) { \
|
||||
V8_Fatal(__FILE__, __LINE__, "ARM Disassembler tests failed.\n"); \
|
||||
}
|
||||
|
||||
@ -239,7 +249,7 @@ TEST(Type0) {
|
||||
COMPARE(mvn(r5, Operand(r4), SetCC, cc),
|
||||
"31f05004 mvnccs r5, r4");
|
||||
|
||||
OUTPUT();
|
||||
VERIFY_RUN();
|
||||
}
|
||||
|
||||
|
||||
@ -268,5 +278,5 @@ TEST(Type1) {
|
||||
COMPARE(eor(r4, r1, Operand(0x10000000), SetCC, cc),
|
||||
"32314201 eorccs r4, r1, #268435456");
|
||||
|
||||
OUTPUT();
|
||||
VERIFY_RUN();
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user