lib/Target/ARM/ARMInstrInfo.cpp

   1 //===- ARMInstrInfo.cpp - ARM Instruction Information -----------*- C++ -*-===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file was developed by the "Instituto Nokia de Tecnologia" and
   6 // is distributed under the University of Illinois Open Source
   7 // License. See LICENSE.TXT for details.
   8 //
   9 //===----------------------------------------------------------------------===//
  10 //
  11 // This file contains the ARM implementation of the TargetInstrInfo class.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #include "ARMInstrInfo.h"
  16 #include "ARM.h"
  17 #include "ARMAddressingModes.h"
  18 #include "ARMGenInstrInfo.inc"
  19 #include "ARMMachineFunctionInfo.h"
  20 #include "llvm/CodeGen/LiveVariables.h"
  21 #include "llvm/CodeGen/MachineInstrBuilder.h"
  22 #include "llvm/CodeGen/MachineJumpTableInfo.h"
  23 #include "llvm/Target/TargetAsmInfo.h"
  24 #include "llvm/Support/CommandLine.h"
  25 using namespace llvm;
  26
  27 static cl::opt<bool> EnableARM3Addr("enable-arm-3-addr-conv", cl::Hidden,
  28                                   cl::desc("Enable ARM 2-addr to 3-addr conv"));
  29
  30 ARMInstrInfo::ARMInstrInfo(const ARMSubtarget &STI)
  31   : TargetInstrInfo(ARMInsts, sizeof(ARMInsts)/sizeof(ARMInsts[0])),
  32     RI(*this, STI) {
  33 }
  34
  35 const TargetRegisterClass *ARMInstrInfo::getPointerRegClass() const {
  36   return &ARM::GPRRegClass;
  37 }
  38
  39 /// Return true if the instruction is a register to register move and
  40 /// leave the source and dest operands in the passed parameters.
  41 ///
  42 bool ARMInstrInfo::isMoveInstr(const MachineInstr &MI,
  43                                unsigned &SrcReg, unsigned &DstReg) const {
  44   MachineOpCode oc = MI.getOpcode();
  45   switch (oc) {
  46   default:
  47     return false;
  48   case ARM::FCPYS:
  49   case ARM::FCPYD:
  50     SrcReg = MI.getOperand(1).getReg();
  51     DstReg = MI.getOperand(0).getReg();
  52     return true;
  53   case ARM::MOVr:
  54   case ARM::tMOVr:
  55     assert(MI.getInstrDescriptor()->numOperands >= 2 &&
  56            MI.getOperand(0).isRegister() &&
  57            MI.getOperand(1).isRegister() &&
  58            "Invalid ARM MOV instruction");
  59     SrcReg = MI.getOperand(1).getReg();
  60     DstReg = MI.getOperand(0).getReg();
  61     return true;
  62   }
  63 }
  64
  65 unsigned ARMInstrInfo::isLoadFromStackSlot(MachineInstr *MI, int &FrameIndex) const{
  66   switch (MI->getOpcode()) {
  67   default: break;
  68   case ARM::LDR:
  69     if (MI->getOperand(1).isFrameIndex() &&
  70         MI->getOperand(2).isReg() &&
  71         MI->getOperand(3).isImmediate() &&
  72         MI->getOperand(2).getReg() == 0 &&
  73         MI->getOperand(3).getImmedValue() == 0) {
  74       FrameIndex = MI->getOperand(1).getFrameIndex();
  75       return MI->getOperand(0).getReg();
  76     }
  77     break;
  78   case ARM::FLDD:
  79   case ARM::FLDS:
  80     if (MI->getOperand(1).isFrameIndex() &&
  81         MI->getOperand(2).isImmediate() &&
  82         MI->getOperand(2).getImmedValue() == 0) {
  83       FrameIndex = MI->getOperand(1).getFrameIndex();
  84       return MI->getOperand(0).getReg();
  85     }
  86     break;
  87   case ARM::tRestore:
  88     if (MI->getOperand(1).isFrameIndex() &&
  89         MI->getOperand(2).isImmediate() &&
  90         MI->getOperand(2).getImmedValue() == 0) {
  91       FrameIndex = MI->getOperand(1).getFrameIndex();
  92       return MI->getOperand(0).getReg();
  93     }
  94     break;
  95   }
  96   return 0;
  97 }
  98
  99 unsigned ARMInstrInfo::isStoreToStackSlot(MachineInstr *MI, int &FrameIndex) const {
 100   switch (MI->getOpcode()) {
 101   default: break;
 102   case ARM::STR:
 103     if (MI->getOperand(1).isFrameIndex() &&
 104         MI->getOperand(2).isReg() &&
 105         MI->getOperand(3).isImmediate() &&
 106         MI->getOperand(2).getReg() == 0 &&
 107         MI->getOperand(3).getImmedValue() == 0) {
 108       FrameIndex = MI->getOperand(1).getFrameIndex();
 109       return MI->getOperand(0).getReg();
 110     }
 111     break;
 112   case ARM::FSTD:
 113   case ARM::FSTS:
 114     if (MI->getOperand(1).isFrameIndex() &&
 115         MI->getOperand(2).isImmediate() &&
 116         MI->getOperand(2).getImmedValue() == 0) {
 117       FrameIndex = MI->getOperand(1).getFrameIndex();
 118       return MI->getOperand(0).getReg();
 119     }
 120     break;
 121   case ARM::tSpill:
 122     if (MI->getOperand(1).isFrameIndex() &&
 123         MI->getOperand(2).isImmediate() &&
 124         MI->getOperand(2).getImmedValue() == 0) {
 125       FrameIndex = MI->getOperand(1).getFrameIndex();
 126       return MI->getOperand(0).getReg();
 127     }
 128     break;
 129   }
 130   return 0;
 131 }
 132
 133 static unsigned getUnindexedOpcode(unsigned Opc) {
 134   switch (Opc) {
 135   default: break;
 136   case ARM::LDR_PRE:
 137   case ARM::LDR_POST:
 138     return ARM::LDR;
 139   case ARM::LDRH_PRE:
 140   case ARM::LDRH_POST:
 141     return ARM::LDRH;
 142   case ARM::LDRB_PRE:
 143   case ARM::LDRB_POST:
 144     return ARM::LDRB;
 145   case ARM::LDRSH_PRE:
 146   case ARM::LDRSH_POST:
 147     return ARM::LDRSH;
 148   case ARM::LDRSB_PRE:
 149   case ARM::LDRSB_POST:
 150     return ARM::LDRSB;
 151   case ARM::STR_PRE:
 152   case ARM::STR_POST:
 153     return ARM::STR;
 154   case ARM::STRH_PRE:
 155   case ARM::STRH_POST:
 156     return ARM::STRH;
 157   case ARM::STRB_PRE:
 158   case ARM::STRB_POST:
 159     return ARM::STRB;
 160   }
 161   return 0;
 162 }
 163
 164 MachineInstr *
 165 ARMInstrInfo::convertToThreeAddress(MachineFunction::iterator &MFI,
 166                                     MachineBasicBlock::iterator &MBBI,
 167                                     LiveVariables &LV) const {
 168   if (!EnableARM3Addr)
 169     return NULL;
 170
 171   MachineInstr *MI = MBBI;
 172   unsigned TSFlags = MI->getInstrDescriptor()->TSFlags;
 173   bool isPre = false;
 174   switch ((TSFlags & ARMII::IndexModeMask) >> ARMII::IndexModeShift) {
 175   default: return NULL;
 176   case ARMII::IndexModePre:
 177     isPre = true;
 178     break;
 179   case ARMII::IndexModePost:
 180     break;
 181   }
 182
 183   // Try spliting an indexed load / store to a un-indexed one plus an add/sub
 184   // operation.
 185   unsigned MemOpc = getUnindexedOpcode(MI->getOpcode());
 186   if (MemOpc == 0)
 187     return NULL;
 188
 189   MachineInstr *UpdateMI = NULL;
 190   MachineInstr *MemMI = NULL;
 191   unsigned AddrMode = (TSFlags & ARMII::AddrModeMask);
 192   const TargetInstrDescriptor *TID = MI->getInstrDescriptor();
 193   unsigned NumOps = TID->numOperands;
 194   bool isLoad = (TID->Flags & M_LOAD_FLAG) != 0;
 195   const MachineOperand &WB = isLoad ? MI->getOperand(1) : MI->getOperand(0);
 196   const MachineOperand &Base = MI->getOperand(2);
 197   const MachineOperand &Offset = MI->getOperand(NumOps-3);
 198   unsigned WBReg = WB.getReg();
 199   unsigned BaseReg = Base.getReg();
 200   unsigned OffReg = Offset.getReg();
 201   unsigned OffImm = MI->getOperand(NumOps-2).getImm();
 202   ARMCC::CondCodes Pred = (ARMCC::CondCodes)MI->getOperand(NumOps-1).getImm();
 203   switch (AddrMode) {
 204   default:
 205     assert(false && "Unknown indexed op!");
 206     return NULL;
 207   case ARMII::AddrMode2: {
 208     bool isSub = ARM_AM::getAM2Op(OffImm) == ARM_AM::sub;
 209     unsigned Amt = ARM_AM::getAM2Offset(OffImm);
 210     if (OffReg == 0) {
 211       int SOImmVal = ARM_AM::getSOImmVal(Amt);
 212       if (SOImmVal == -1)
 213         // Can't encode it in a so_imm operand. This transformation will
 214         // add more than 1 instruction. Abandon!
 215         return NULL;
 216       UpdateMI = BuildMI(get(isSub ? ARM::SUBri : ARM::ADDri), WBReg)
 217         .addReg(BaseReg).addImm(SOImmVal).addImm(Pred);
 218     } else if (Amt != 0) {
 219       ARM_AM::ShiftOpc ShOpc = ARM_AM::getAM2ShiftOpc(OffImm);
 220       unsigned SOOpc = ARM_AM::getSORegOpc(ShOpc, Amt);
 221       UpdateMI = BuildMI(get(isSub ? ARM::SUBrs : ARM::ADDrs), WBReg)
 222         .addReg(BaseReg).addReg(OffReg).addReg(0).addImm(SOOpc).addImm(Pred);
 223     } else
 224       UpdateMI = BuildMI(get(isSub ? ARM::SUBrr : ARM::ADDrr), WBReg)
 225         .addReg(BaseReg).addReg(OffReg).addImm(Pred);
 226     break;
 227   }
 228   case ARMII::AddrMode3 : {
 229     bool isSub = ARM_AM::getAM3Op(OffImm) == ARM_AM::sub;
 230     unsigned Amt = ARM_AM::getAM3Offset(OffImm);
 231     if (OffReg == 0)
 232       // Immediate is 8-bits. It's guaranteed to fit in a so_imm operand.
 233       UpdateMI = BuildMI(get(isSub ? ARM::SUBri : ARM::ADDri), WBReg)
 234         .addReg(BaseReg).addImm(Amt).addImm(Pred);
 235     else
 236       UpdateMI = BuildMI(get(isSub ? ARM::SUBrr : ARM::ADDrr), WBReg)
 237         .addReg(BaseReg).addReg(OffReg).addImm(Pred);
 238     break;
 239   }
 240   }
 241
 242   std::vector<MachineInstr*> NewMIs;
 243   if (isPre) {
 244     if (isLoad)
 245       MemMI = BuildMI(get(MemOpc), MI->getOperand(0).getReg())
 246         .addReg(WBReg).addReg(0).addImm(0).addImm(Pred);
 247     else
 248       MemMI = BuildMI(get(MemOpc)).addReg(MI->getOperand(1).getReg())
 249         .addReg(WBReg).addReg(0).addImm(0).addImm(Pred);
 250     NewMIs.push_back(MemMI);
 251     NewMIs.push_back(UpdateMI);
 252   } else {
 253     if (isLoad)
 254       MemMI = BuildMI(get(MemOpc), MI->getOperand(0).getReg())
 255         .addReg(BaseReg).addReg(0).addImm(0).addImm(Pred);
 256     else
 257       MemMI = BuildMI(get(MemOpc)).addReg(MI->getOperand(1).getReg())
 258         .addReg(BaseReg).addReg(0).addImm(0).addImm(Pred);
 259     if (WB.isDead())
 260       UpdateMI->getOperand(0).setIsDead();
 261     NewMIs.push_back(UpdateMI);
 262     NewMIs.push_back(MemMI);
 263   }
 264
 265   // Transfer LiveVariables states, kill / dead info.
 266   for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
 267     MachineOperand &MO = MI->getOperand(i);
 268     if (MO.isRegister() && MO.getReg() &&
 269         MRegisterInfo::isVirtualRegister(MO.getReg())) {
 270       unsigned Reg = MO.getReg();
 271       LiveVariables::VarInfo &VI = LV.getVarInfo(Reg);
 272       if (MO.isDef()) {
 273         MachineInstr *NewMI = (Reg == WBReg) ? UpdateMI : MemMI;
 274         if (MO.isDead())
 275           LV.addVirtualRegisterDead(Reg, NewMI);
 276         // Update the defining instruction.
 277         if (VI.DefInst == MI)
 278           VI.DefInst = NewMI;
 279       }
 280       if (MO.isUse() && MO.isKill()) {
 281         for (unsigned j = 0; j < 2; ++j) {
 282           // Look at the two new MI's in reverse order.
 283           MachineInstr *NewMI = NewMIs[j];
 284           int NIdx = NewMI->findRegisterUseOperandIdx(Reg);
 285           if (NIdx == -1)
 286             continue;
 287           LV.addVirtualRegisterKilled(Reg, NewMI);
 288           if (VI.removeKill(MI))
 289             VI.Kills.push_back(NewMI);
 290           break;
 291         }
 292       }
 293     }
 294   }
 295
 296   MFI->insert(MBBI, NewMIs[1]);
 297   MFI->insert(MBBI, NewMIs[0]);
 298   return NewMIs[0];
 299 }
 300
 301 // Branch analysis.
 302 bool ARMInstrInfo::AnalyzeBranch(MachineBasicBlock &MBB,MachineBasicBlock *&TBB,
 303                                  MachineBasicBlock *&FBB,
 304                                  std::vector<MachineOperand> &Cond) const {
 305   // If the block has no terminators, it just falls into the block after it.
 306   MachineBasicBlock::iterator I = MBB.end();
 307   if (I == MBB.begin() || !isTerminatorInstr((--I)->getOpcode()))
 308     return false;
 309
 310   // Get the last instruction in the block.
 311   MachineInstr *LastInst = I;
 312
 313   // If there is only one terminator instruction, process it.
 314   unsigned LastOpc = LastInst->getOpcode();
 315   if (I == MBB.begin() ||
 316       isPredicated(--I) || !isTerminatorInstr(I->getOpcode())) {
 317     if (LastOpc == ARM::B || LastOpc == ARM::tB) {
 318       TBB = LastInst->getOperand(0).getMachineBasicBlock();
 319       return false;
 320     }
 321     if (LastOpc == ARM::Bcc || LastOpc == ARM::tBcc) {
 322       // Block ends with fall-through condbranch.
 323       TBB = LastInst->getOperand(0).getMachineBasicBlock();
 324       Cond.push_back(LastInst->getOperand(1));
 325       return false;
 326     }
 327     return true;  // Can't handle indirect branch.
 328   }
 329
 330   // Get the instruction before it if it is a terminator.
 331   MachineInstr *SecondLastInst = I;
 332
 333   // If there are three terminators, we don't know what sort of block this is.
 334   if (SecondLastInst && I != MBB.begin() &&
 335       !isPredicated(--I) && isTerminatorInstr(I->getOpcode()))
 336     return true;
 337
 338   // If the block ends with ARM::B/ARM::tB and a ARM::Bcc/ARM::tBcc, handle it.
 339   unsigned SecondLastOpc = SecondLastInst->getOpcode();
 340   if ((SecondLastOpc == ARM::Bcc && LastOpc == ARM::B) ||
 341       (SecondLastOpc == ARM::tBcc && LastOpc == ARM::tB)) {
 342     TBB =  SecondLastInst->getOperand(0).getMachineBasicBlock();
 343     Cond.push_back(SecondLastInst->getOperand(1));
 344     FBB = LastInst->getOperand(0).getMachineBasicBlock();
 345     return false;
 346   }
 347
 348   // Otherwise, can't handle this.
 349   return true;
 350 }
 351
 352
 353 unsigned ARMInstrInfo::RemoveBranch(MachineBasicBlock &MBB) const {
 354   MachineFunction &MF = *MBB.getParent();
 355   ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
 356   int BOpc   = AFI->isThumbFunction() ? ARM::tB : ARM::B;
 357   int BccOpc = AFI->isThumbFunction() ? ARM::tBcc : ARM::Bcc;
 358
 359   MachineBasicBlock::iterator I = MBB.end();
 360   if (I == MBB.begin()) return 0;
 361   --I;
 362   if (I->getOpcode() != BOpc && I->getOpcode() != BccOpc)
 363     return 0;
 364
 365   // Remove the branch.
 366   I->eraseFromParent();
 367
 368   I = MBB.end();
 369
 370   if (I == MBB.begin()) return 1;
 371   --I;
 372   if (I->getOpcode() != BccOpc)
 373     return 1;
 374
 375   // Remove the branch.
 376   I->eraseFromParent();
 377   return 2;
 378 }
 379
 380 unsigned ARMInstrInfo::InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
 381                                 MachineBasicBlock *FBB,
 382                                 const std::vector<MachineOperand> &Cond) const {
 383   MachineFunction &MF = *MBB.getParent();
 384   ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
 385   int BOpc   = AFI->isThumbFunction() ? ARM::tB : ARM::B;
 386   int BccOpc = AFI->isThumbFunction() ? ARM::tBcc : ARM::Bcc;
 387
 388   // Shouldn't be a fall through.
 389   assert(TBB && "InsertBranch must not be told to insert a fallthrough");
 390   assert((Cond.size() == 1 || Cond.size() == 0) &&
 391          "ARM branch conditions have two components!");
 392
 393   if (FBB == 0) {
 394     if (Cond.empty()) // Unconditional branch?
 395       BuildMI(&MBB, get(BOpc)).addMBB(TBB);
 396     else
 397       BuildMI(&MBB, get(BccOpc)).addMBB(TBB).addImm(Cond[0].getImm());
 398     return 1;
 399   }
 400
 401   // Two-way conditional branch.
 402   BuildMI(&MBB, get(BccOpc)).addMBB(TBB).addImm(Cond[0].getImm());
 403   BuildMI(&MBB, get(BOpc)).addMBB(FBB);
 404   return 2;
 405 }
 406
 407 bool ARMInstrInfo::BlockHasNoFallThrough(MachineBasicBlock &MBB) const {
 408   if (MBB.empty()) return false;
 409
 410   switch (MBB.back().getOpcode()) {
 411   case ARM::BX_RET:   // Return.
 412   case ARM::LDM_RET:
 413   case ARM::tBX_RET:
 414   case ARM::tBX_RET_vararg:
 415   case ARM::tPOP_RET:
 416   case ARM::B:
 417   case ARM::tB:       // Uncond branch.
 418   case ARM::tBR_JTr:
 419   case ARM::BR_JTr:   // Jumptable branch.
 420   case ARM::BR_JTm:   // Jumptable branch through mem.
 421   case ARM::BR_JTadd: // Jumptable branch add to pc.
 422     return true;
 423   default: return false;
 424   }
 425 }
 426
 427 bool ARMInstrInfo::
 428 ReverseBranchCondition(std::vector<MachineOperand> &Cond) const {
 429   ARMCC::CondCodes CC = (ARMCC::CondCodes)(int)Cond[0].getImm();
 430   Cond[0].setImm(ARMCC::getOppositeCondition(CC));
 431   return false;
 432 }
 433
 434 bool ARMInstrInfo::isPredicated(const MachineInstr *MI) const {
 435   int PIdx = MI->findFirstPredOperandIdx();
 436   return PIdx != -1 && MI->getOperand(PIdx).getImmedValue() != ARMCC::AL;
 437 }
 438
 439 bool ARMInstrInfo::PredicateInstruction(MachineInstr *MI,
 440                                 const std::vector<MachineOperand> &Pred) const {
 441   unsigned Opc = MI->getOpcode();
 442   if (Opc == ARM::B || Opc == ARM::tB) {
 443     MI->setInstrDescriptor(get(Opc == ARM::B ? ARM::Bcc : ARM::tBcc));
 444     MI->addImmOperand(Pred[0].getImmedValue());
 445     return true;
 446   }
 447
 448   int PIdx = MI->findFirstPredOperandIdx();
 449   if (PIdx != -1) {
 450     MachineOperand &PMO = MI->getOperand(PIdx);
 451     PMO.setImm(Pred[0].getImmedValue());
 452     return true;
 453   }
 454   return false;
 455 }
 456
 457 bool
 458 ARMInstrInfo::SubsumesPredicate(const std::vector<MachineOperand> &Pred1,
 459                                 const std::vector<MachineOperand> &Pred2) const{
 460   if (Pred1.size() > 1 || Pred2.size() > 1)
 461     return false;
 462
 463   ARMCC::CondCodes CC1 = (ARMCC::CondCodes)Pred1[0].getImmedValue();
 464   ARMCC::CondCodes CC2 = (ARMCC::CondCodes)Pred2[0].getImmedValue();
 465   if (CC1 == CC2)
 466     return true;
 467
 468   switch (CC1) {
 469   default:
 470     return false;
 471   case ARMCC::AL:
 472     return true;
 473   case ARMCC::HS:
 474     return CC2 == ARMCC::HI || CC2 == ARMCC::EQ;
 475   case ARMCC::LS:
 476     return CC2 == ARMCC::LO || CC2 == ARMCC::EQ;
 477   case ARMCC::GE:
 478     return CC2 == ARMCC::GT || CC2 == ARMCC::EQ;
 479   case ARMCC::LE:
 480     return CC2 == ARMCC::LT || CC2 == ARMCC::EQ;
 481   }
 482 }
 483
 484 /// FIXME: Works around a gcc miscompilation with -fstrict-aliasing
 485 static unsigned getNumJTEntries(const std::vector<MachineJumpTableEntry> &JT,
 486                                 unsigned JTI) DISABLE_INLINE;
 487 static unsigned getNumJTEntries(const std::vector<MachineJumpTableEntry> &JT,
 488                                 unsigned JTI) {
 489   return JT[JTI].MBBs.size();
 490 }
 491
 492 /// GetInstSize - Return the size of the specified MachineInstr.
 493 ///
 494 unsigned ARM::GetInstSize(MachineInstr *MI) {
 495   MachineBasicBlock &MBB = *MI->getParent();
 496   const MachineFunction *MF = MBB.getParent();
 497   const TargetAsmInfo *TAI = MF->getTarget().getTargetAsmInfo();
 498
 499   // Basic size info comes from the TSFlags field.
 500   const TargetInstrDescriptor *TID = MI->getInstrDescriptor();
 501   unsigned TSFlags = TID->TSFlags;
 502
 503   switch ((TSFlags & ARMII::SizeMask) >> ARMII::SizeShift) {
 504   default:
 505     // If this machine instr is an inline asm, measure it.
 506     if (MI->getOpcode() == ARM::INLINEASM)
 507       return TAI->getInlineAsmLength(MI->getOperand(0).getSymbolName());
 508     if (MI->getOpcode() == ARM::LABEL)
 509       return 0;
 510     assert(0 && "Unknown or unset size field for instr!");
 511     break;
 512   case ARMII::Size8Bytes: return 8;          // Arm instruction x 2.
 513   case ARMII::Size4Bytes: return 4;          // Arm instruction.
 514   case ARMII::Size2Bytes: return 2;          // Thumb instruction.
 515   case ARMII::SizeSpecial: {
 516     switch (MI->getOpcode()) {
 517     case ARM::CONSTPOOL_ENTRY:
 518       // If this machine instr is a constant pool entry, its size is recorded as
 519       // operand #2.
 520       return MI->getOperand(2).getImm();
 521     case ARM::BR_JTr:
 522     case ARM::BR_JTm:
 523     case ARM::BR_JTadd:
 524     case ARM::tBR_JTr: {
 525       // These are jumptable branches, i.e. a branch followed by an inlined
 526       // jumptable. The size is 4 + 4 * number of entries.
 527       unsigned NumOps = TID->numOperands;
 528       MachineOperand JTOP =
 529         MI->getOperand(NumOps - ((TID->Flags & M_PREDICABLE) ? 3 : 2));
 530       unsigned JTI = JTOP.getJumpTableIndex();
 531       MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
 532       const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
 533       assert(JTI < JT.size());
 534       // Thumb instructions are 2 byte aligned, but JT entries are 4 byte
 535       // 4 aligned. The assembler / linker may add 2 byte padding just before
 536       // the JT entries.  The size does not include this padding; the
 537       // constant islands pass does separate bookkeeping for it.
 538       // FIXME: If we know the size of the function is less than (1 << 16) *2
 539       // bytes, we can use 16-bit entries instead. Then there won't be an
 540       // alignment issue.
 541       return getNumJTEntries(JT, JTI) * 4 +
 542              (MI->getOpcode()==ARM::tBR_JTr ? 2 : 4);
 543     }
 544     default:
 545       // Otherwise, pseudo-instruction sizes are zero.
 546       return 0;
 547     }
 548   }
 549   }
 550 }
 551
 552 /// GetFunctionSize - Returns the size of the specified MachineFunction.
 553 ///
 554 unsigned ARM::GetFunctionSize(MachineFunction &MF) {
 555   unsigned FnSize = 0;
 556   for (MachineFunction::iterator MBBI = MF.begin(), E = MF.end();
 557        MBBI != E; ++MBBI) {
 558     MachineBasicBlock &MBB = *MBBI;
 559     for (MachineBasicBlock::iterator I = MBB.begin(),E = MBB.end(); I != E; ++I)
 560       FnSize += ARM::GetInstSize(I);
 561   }
 562   return FnSize;
 563 }