diff options
Diffstat (limited to 'src/compiler/codegen/arm/ArchUtility.cc')
| -rw-r--r-- | src/compiler/codegen/arm/ArchUtility.cc | 495 |
1 files changed, 495 insertions, 0 deletions
diff --git a/src/compiler/codegen/arm/ArchUtility.cc b/src/compiler/codegen/arm/ArchUtility.cc new file mode 100644 index 0000000000..16a0200f71 --- /dev/null +++ b/src/compiler/codegen/arm/ArchUtility.cc @@ -0,0 +1,495 @@ +/* + * Copyright (C) 2011 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +#include "../../CompilerInternals.h" +#include "ArmLIR.h" + +static const char* coreRegNames[16] = { + "r0", + "r1", + "r2", + "r3", + "r4", + "r5", + "r6", + "r7", + "r8", + "rSELF", + "r10", + "r11", + "r12", + "sp", + "lr", + "pc", +}; + + +static const char* shiftNames[4] = { + "lsl", + "lsr", + "asr", + "ror"}; + +/* Decode and print a ARM register name */ +static char* decodeRegList(ArmOpcode opcode, int vector, char* buf) +{ + int i; + bool printed = false; + buf[0] = 0; + for (i = 0; i < 16; i++, vector >>= 1) { + if (vector & 0x1) { + int regId = i; + if (opcode == kThumbPush && i == 8) { + regId = r14lr; + } else if (opcode == kThumbPop && i == 8) { + regId = r15pc; + } + if (printed) { + sprintf(buf + strlen(buf), ", r%d", regId); + } else { + printed = true; + sprintf(buf, "r%d", regId); + } + } + } + return buf; +} + +static char* decodeFPCSRegList(int count, int base, char* buf) +{ + sprintf(buf, "s%d", base); + for (int i = 1; i < count; i++) { + sprintf(buf + strlen(buf), ", s%d",base + i); + } + return buf; +} + +static int expandImmediate(int value) +{ + int mode = (value & 0xf00) >> 8; + u4 bits = value & 0xff; + switch(mode) { + case 0: + return bits; + case 1: + return (bits << 16) | bits; + case 2: + return (bits << 24) | (bits << 8); + case 3: + return (bits << 24) | (bits << 16) | (bits << 8) | bits; + default: + break; + } + bits = (bits | 0x80) << 24; + return bits >> (((value & 0xf80) >> 7) - 8); +} + +const char* ccNames[] = {"eq","ne","cs","cc","mi","pl","vs","vc", + "hi","ls","ge","lt","gt","le","al","nv"}; +/* + * Interpret a format string and build a string no longer than size + * See format key in Assemble.c. + */ +static void buildInsnString(const char* fmt, ArmLIR* lir, char* buf, + unsigned char* baseAddr, int size) +{ + int i; + char* bufEnd = &buf[size-1]; + const char* fmtEnd = &fmt[strlen(fmt)]; + char tbuf[256]; + const char* name; + char nc; + while (fmt < fmtEnd) { + int operand; + if (*fmt == '!') { + fmt++; + assert(fmt < fmtEnd); + nc = *fmt++; + if (nc=='!') { + strcpy(tbuf, "!"); + } else { + assert(fmt < fmtEnd); + assert((unsigned)(nc-'0') < 4); + operand = lir->operands[nc-'0']; + switch(*fmt++) { + case 'H': + if (operand != 0) { + sprintf(tbuf, ", %s %d",shiftNames[operand & 0x3], + operand >> 2); + } else { + strcpy(tbuf,""); + } + break; + case 'B': + switch (operand) { + case kSY: + name = "sy"; + break; + case kST: + name = "st"; + break; + case kISH: + name = "ish"; + break; + case kISHST: + name = "ishst"; + break; + case kNSH: + name = "nsh"; + break; + case kNSHST: + name = "shst"; + break; + default: + name = "DecodeError2"; + break; + } + strcpy(tbuf, name); + break; + case 'b': + strcpy(tbuf,"0000"); + for (i=3; i>= 0; i--) { + tbuf[i] += operand & 1; + operand >>= 1; + } + break; + case 'n': + operand = ~expandImmediate(operand); + sprintf(tbuf,"%d [%#x]", operand, operand); + break; + case 'm': + operand = expandImmediate(operand); + sprintf(tbuf,"%d [%#x]", operand, operand); + break; + case 's': + sprintf(tbuf,"s%d",operand & FP_REG_MASK); + break; + case 'S': + sprintf(tbuf,"d%d",(operand & FP_REG_MASK) >> 1); + break; + case 'h': + sprintf(tbuf,"%04x", operand); + break; + case 'M': + case 'd': + sprintf(tbuf,"%d", operand); + break; + case 'C': + sprintf(tbuf,"%s",coreRegNames[operand]); + break; + case 'E': + sprintf(tbuf,"%d", operand*4); + break; + case 'F': + sprintf(tbuf,"%d", operand*2); + break; + case 'c': + strcpy(tbuf, ccNames[operand]); + break; + case 't': + sprintf(tbuf,"0x%08x (L%p)", + (int) baseAddr + lir->generic.offset + 4 + + (operand << 1), + lir->generic.target); + break; + case 'u': { + int offset_1 = lir->operands[0]; + int offset_2 = NEXT_LIR(lir)->operands[0]; + intptr_t target = + ((((intptr_t) baseAddr + lir->generic.offset + 4) & + ~3) + (offset_1 << 21 >> 9) + (offset_2 << 1)) & + 0xfffffffc; + sprintf(tbuf, "%p", (void *) target); + break; + } + + /* Nothing to print for BLX_2 */ + case 'v': + strcpy(tbuf, "see above"); + break; + case 'R': + decodeRegList(lir->opcode, operand, tbuf); + break; + case 'P': + decodeFPCSRegList(operand, 16, tbuf); + break; + case 'Q': + decodeFPCSRegList(operand, 0, tbuf); + break; + default: + strcpy(tbuf,"DecodeError1"); + break; + } + if (buf+strlen(tbuf) <= bufEnd) { + strcpy(buf, tbuf); + buf += strlen(tbuf); + } else { + break; + } + } + } else { + *buf++ = *fmt++; + } + if (buf == bufEnd) + break; + } + *buf = 0; +} + +void oatDumpResourceMask(LIR* lir, u8 mask, const char* prefix) +{ + char buf[256]; + buf[0] = 0; + ArmLIR* armLIR = (ArmLIR*) lir; + + if (mask == ENCODE_ALL) { + strcpy(buf, "all"); + } else { + char num[8]; + int i; + + for (i = 0; i < kRegEnd; i++) { + if (mask & (1ULL << i)) { + sprintf(num, "%d ", i); + strcat(buf, num); + } + } + + if (mask & ENCODE_CCODE) { + strcat(buf, "cc "); + } + if (mask & ENCODE_FP_STATUS) { + strcat(buf, "fpcc "); + } + + /* Memory bits */ + if (armLIR && (mask & ENCODE_DALVIK_REG)) { + sprintf(buf + strlen(buf), "dr%d%s", armLIR->aliasInfo & 0xffff, + (armLIR->aliasInfo & 0x80000000) ? "(+1)" : ""); + } + if (mask & ENCODE_LITERAL) { + strcat(buf, "lit "); + } + + if (mask & ENCODE_HEAP_REF) { + strcat(buf, "heap "); + } + if (mask & ENCODE_MUST_NOT_ALIAS) { + strcat(buf, "noalias "); + } + } + if (buf[0]) { + LOG(INFO) << prefix << ": " << buf; + } +} + +/* + * Debugging macros + */ +#define DUMP_RESOURCE_MASK(X) +#define DUMP_SSA_REP(X) + +/* Pretty-print a LIR instruction */ +void oatDumpLIRInsn(CompilationUnit* cUnit, LIR* arg, unsigned char* baseAddr) +{ + ArmLIR* lir = (ArmLIR*) arg; + if (lir->flags.isNop) + return; + char buf[256]; + char opName[256]; + int offset = lir->generic.offset; + int dest = lir->operands[0]; + const bool dumpNop = false; + + /* Handle pseudo-ops individually, and all regular insns as a group */ + switch(lir->opcode) { + case kArmPseudoMethodEntry: + LOG(INFO) << "-------- method entry " << + cUnit->method->clazz->descriptor << ":" << + cUnit->method->name; + break; + case kArmPseudoMethodExit: + LOG(INFO) << "-------- Method_Exit"; + break; + case kArmPseudoBarrier: + LOG(INFO) << "-------- BARRIER"; + break; + case kArmPseudoExtended: + LOG(INFO) << "-------- " << (char* ) dest; + break; + case kArmPseudoSSARep: + DUMP_SSA_REP(LOG(INFO) << "-------- kMirOpPhi: " << (char* ) dest); + break; + case kArmPseudoEntryBlock: + LOG(INFO) << "-------- entry offset: 0x" << std::hex << dest; + break; + case kArmPseudoDalvikByteCodeBoundary: + LOG(INFO) << "-------- dalvik offset: 0x" << std::hex << + lir->generic.dalvikOffset << " @ " << (char* )lir->operands[0]; + break; + case kArmPseudoExitBlock: + LOG(INFO) << "-------- exit offset: 0x" << std::hex << dest; + break; + case kArmPseudoPseudoAlign4: + LOG(INFO) << (intptr_t)baseAddr + offset << " (0x" << std::hex << + offset << "): .align4"; + break; + case kArmPseudoEHBlockLabel: + LOG(INFO) << "Exception_Handling:"; + break; + case kArmPseudoTargetLabel: + case kArmPseudoNormalBlockLabel: + LOG(INFO) << "L" << (intptr_t)lir << ":"; + break; + case kArmPseudoCaseLabel: + LOG(INFO) << "LC" << (intptr_t)lir << ": Case target 0x" << + std::hex << lir->operands[0] << "|" << std::dec << + lir->operands[0]; + break; + default: + if (lir->flags.isNop && !dumpNop) { + break; + } + buildInsnString(EncodingMap[lir->opcode].name, lir, opName, + baseAddr, 256); + buildInsnString(EncodingMap[lir->opcode].fmt, lir, buf, baseAddr, + 256); + char buf[100]; + snprintf(buf, 100, "%p (%04x): %-8s%s%s", + baseAddr + offset, offset, opName, buf, + lir->flags.isNop ? "(nop)" : ""); + LOG(INFO) << buf; + break; + } + + if (lir->useMask && (!lir->flags.isNop || dumpNop)) { + DUMP_RESOURCE_MASK(oatDumpResourceMask((LIR* ) lir, + lir->useMask, "use")); + } + if (lir->defMask && (!lir->flags.isNop || dumpNop)) { + DUMP_RESOURCE_MASK(oatDumpResourceMask((LIR* ) lir, + lir->defMask, "def")); + } +} + +/* Dump instructions and constant pool contents */ +void oatCodegenDump(CompilationUnit* cUnit) +{ + const Method *method = cUnit->method; + LOG(INFO) << "/*"; + LOG(INFO) << "Dumping LIR insns for " << method->clazz->descriptor << + ":" << method->name; + LIR* lirInsn; + ArmLIR* armLIR; + int insnsSize = cUnit->insnsSize; + + LOG(INFO) << "Regs (excluding ins) : " << cUnit->numRegs; + LOG(INFO) << "Ins : " << cUnit->numIns; + LOG(INFO) << "Outs : " << cUnit->numOuts; + LOG(INFO) << "Spills : " << cUnit->numSpills; + LOG(INFO) << "Padding : " << cUnit->numPadding; + LOG(INFO) << "Frame size : " << cUnit->frameSize; + LOG(INFO) << "Start of ins : " << cUnit->insOffset; + LOG(INFO) << "Start of regs : " << cUnit->regsOffset; + LOG(INFO) << "code size is " << cUnit->totalSize << + " bytes, Dalvik size is " << insnsSize * 2; + LOG(INFO) << "expansion factor: " << + (float)cUnit->totalSize / (float)(insnsSize * 2); + for (int i = 0; i < method->registersSize; i++) { + RegLocation loc = cUnit->regLocation[i]; + char buf[100]; + if (loc.fpLocation == kLocPhysReg) { + snprintf(buf, 100, " : s%d", loc.fpLowReg & FP_REG_MASK); + } else { + buf[0] = 0; + } + char buf2[100]; + snprintf(buf2, 100, "V[%02d] -> %s%d%s", i, + loc.location == kLocPhysReg ? + "r" : "SP+", loc.location == kLocPhysReg ? + loc.lowReg : loc.spOffset, buf); + LOG(INFO) << buf2; + + } + for (lirInsn = cUnit->firstLIRInsn; lirInsn; lirInsn = lirInsn->next) { + oatDumpLIRInsn(cUnit, lirInsn, (unsigned char*) cUnit->baseAddr); + } + for (lirInsn = cUnit->classPointerList; lirInsn; lirInsn = lirInsn->next) { + armLIR = (ArmLIR*) lirInsn; + char buf[100]; + snprintf(buf, 100, "%p (%04x): .class (%s)", + (char*)cUnit->baseAddr + armLIR->generic.offset, + armLIR->generic.offset, + ((CallsiteInfo *) armLIR->operands[0])->classDescriptor); + LOG(INFO) << buf; + } + for (lirInsn = cUnit->literalList; lirInsn; lirInsn = lirInsn->next) { + armLIR = (ArmLIR*) lirInsn; + char buf[100]; + snprintf(buf, 100, "%p (%04x): .word (%#x)", + (char*)cUnit->baseAddr + armLIR->generic.offset, + armLIR->generic.offset, + armLIR->operands[0]); + LOG(INFO) << buf; + + } + + int linebreak = 0; + char buf[100]; + LOG(INFO) << "*/"; + sprintf(buf,"\n u1 %s%s_%s_code[] = {", + cUnit->method->clazz->descriptor, cUnit->method->name, + cUnit->method->shorty); + for (unsigned int i = 0; i < strlen(buf); i++) + if (buf[i] == ';') buf[i] = '_'; + LOG(INFO) << buf; + strcpy(buf," "); + for (int i = 0; i < cUnit->totalSize; i++) { + sprintf(buf+strlen(buf),"0x%02x,", + ((u1*)cUnit->baseAddr)[i]); + if (++linebreak == 8) { + linebreak = 0; + LOG(INFO) << buf; + strcpy(buf," "); + } + } + if (strlen(buf) > 8) { + LOG(INFO) << buf; + } + LOG(INFO) << " };\n\n"; + + // Dump mapping table + if (cUnit->mappingTableSize > 0) { + MappingTable *table = cUnit->mappingTable; + if (!table) { + LOG(FATAL) << "Null table"; + } + sprintf(buf,"\n MappingTable %s%s_%s_mappingTable[%d] = {", + cUnit->method->clazz->descriptor, cUnit->method->name, + cUnit->method->shorty, cUnit->mappingTableSize); + for (unsigned int i = 0; i < strlen(buf); i++) + if (buf[i] == ';') buf[i] = '_'; + LOG(INFO) << buf; + strcpy(buf," "); + for (int i = 0; i < cUnit->mappingTableSize; i++) { + sprintf(buf+strlen(buf)," {0x%08x, 0x%04x},", + table[i].targetOffset, table[i].dalvikOffset); + LOG(INFO) << buf; + strcpy(buf," "); + } + LOG(INFO) <<" };\n\n"; + } +} |