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() || !isUnpredicatedTerminator(--I))
 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) || !isUnpredicatedTerminator(I)) {
 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) && isUnpredicatedTerminator(I))
 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   // If the block ends with two B's or tB's, handle it.  The second one is not
 349   // executed, so remove it.
 350   if ((SecondLastOpc == ARM::B || SecondLastOpc==ARM::tB) &&
 351       (LastOpc == ARM::B || LastOpc == ARM::tB)) {
 352     TBB = SecondLastInst->getOperand(0).getMachineBasicBlock();
 353     I = LastInst;
 354     I->eraseFromParent();
 355     return false;
 356   }
 357
 358   // Otherwise, can't handle this.
 359   return true;
 360 }
 361
 362
 363 unsigned ARMInstrInfo::RemoveBranch(MachineBasicBlock &MBB) const {
 364   MachineFunction &MF = *MBB.getParent();
 365   ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
 366   int BOpc   = AFI->isThumbFunction() ? ARM::tB : ARM::B;
 367   int BccOpc = AFI->isThumbFunction() ? ARM::tBcc : ARM::Bcc;
 368
 369   MachineBasicBlock::iterator I = MBB.end();
 370   if (I == MBB.begin()) return 0;
 371   --I;
 372   if (I->getOpcode() != BOpc && I->getOpcode() != BccOpc)
 373     return 0;
 374
 375   // Remove the branch.
 376   I->eraseFromParent();
 377
 378   I = MBB.end();
 379
 380   if (I == MBB.begin()) return 1;
 381   --I;
 382   if (I->getOpcode() != BccOpc)
 383     return 1;
 384
 385   // Remove the branch.
 386   I->eraseFromParent();
 387   return 2;
 388 }
 389
 390 unsigned ARMInstrInfo::InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
 391                                 MachineBasicBlock *FBB,
 392                                 const std::vector<MachineOperand> &Cond) const {
 393   MachineFunction &MF = *MBB.getParent();
 394   ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
 395   int BOpc   = AFI->isThumbFunction() ? ARM::tB : ARM::B;
 396   int BccOpc = AFI->isThumbFunction() ? ARM::tBcc : ARM::Bcc;
 397
 398   // Shouldn't be a fall through.
 399   assert(TBB && "InsertBranch must not be told to insert a fallthrough");
 400   assert((Cond.size() == 1 || Cond.size() == 0) &&
 401          "ARM branch conditions have two components!");
 402
 403   if (FBB == 0) {
 404     if (Cond.empty()) // Unconditional branch?
 405       BuildMI(&MBB, get(BOpc)).addMBB(TBB);
 406     else
 407       BuildMI(&MBB, get(BccOpc)).addMBB(TBB).addImm(Cond[0].getImm());
 408     return 1;
 409   }
 410
 411   // Two-way conditional branch.
 412   BuildMI(&MBB, get(BccOpc)).addMBB(TBB).addImm(Cond[0].getImm());
 413   BuildMI(&MBB, get(BOpc)).addMBB(FBB);
 414   return 2;
 415 }
 416
 417 bool ARMInstrInfo::BlockHasNoFallThrough(MachineBasicBlock &MBB) const {
 418   if (MBB.empty()) return false;
 419
 420   switch (MBB.back().getOpcode()) {
 421   case ARM::BX_RET:   // Return.
 422   case ARM::LDM_RET:
 423   case ARM::tBX_RET:
 424   case ARM::tBX_RET_vararg:
 425   case ARM::tPOP_RET:
 426   case ARM::B:
 427   case ARM::tB:       // Uncond branch.
 428   case ARM::tBR_JTr:
 429   case ARM::BR_JTr:   // Jumptable branch.
 430   case ARM::BR_JTm:   // Jumptable branch through mem.
 431   case ARM::BR_JTadd: // Jumptable branch add to pc.
 432     return true;
 433   default: return false;
 434   }
 435 }
 436
 437 bool ARMInstrInfo::
 438 ReverseBranchCondition(std::vector<MachineOperand> &Cond) const {
 439   ARMCC::CondCodes CC = (ARMCC::CondCodes)(int)Cond[0].getImm();
 440   Cond[0].setImm(ARMCC::getOppositeCondition(CC));
 441   return false;
 442 }
 443
 444 bool ARMInstrInfo::isPredicated(const MachineInstr *MI) const {
 445   int PIdx = MI->findFirstPredOperandIdx();
 446   return PIdx != -1 && MI->getOperand(PIdx).getImmedValue() != ARMCC::AL;
 447 }
 448
 449 bool ARMInstrInfo::CanBeDuplicated(const MachineInstr *MI) const {
 450   switch (MI->getOpcode()) {
 451   default: return true;
 452   // These have unique labels.
 453   case ARM::PICADD:
 454   case ARM::PICLD:
 455   case ARM::PICLDZH:
 456   case ARM::PICLDZB:
 457   case ARM::PICLDH:
 458   case ARM::PICLDB:
 459   case ARM::PICLDSH:
 460   case ARM::PICLDSB:
 461   case ARM::PICSTR:
 462   case ARM::PICSTRH:
 463   case ARM::PICSTRB:
 464   case ARM::LEApcrel:
 465   case ARM::LEApcrelJT:
 466   case ARM::tPICADD:
 467   case ARM::tLEApcrel:
 468   case ARM::tLEApcrelJT:
 469   case ARM::CONSTPOOL_ENTRY:
 470   // These embed jumptables.
 471   case ARM::BR_JTr:
 472   case ARM::BR_JTm:
 473   case ARM::BR_JTadd:
 474     return false;
 475   }
 476 }
 477
 478 bool ARMInstrInfo::PredicateInstruction(MachineInstr *MI,
 479                                 const std::vector<MachineOperand> &Pred) const {
 480   unsigned Opc = MI->getOpcode();
 481   if (Opc == ARM::B || Opc == ARM::tB) {
 482     MI->setInstrDescriptor(get(Opc == ARM::B ? ARM::Bcc : ARM::tBcc));
 483     MI->addImmOperand(Pred[0].getImmedValue());
 484     return true;
 485   }
 486
 487   int PIdx = MI->findFirstPredOperandIdx();
 488   if (PIdx != -1) {
 489     MachineOperand &PMO = MI->getOperand(PIdx);
 490     PMO.setImm(Pred[0].getImmedValue());
 491     return true;
 492   }
 493   return false;
 494 }
 495
 496 bool
 497 ARMInstrInfo::SubsumesPredicate(const std::vector<MachineOperand> &Pred1,
 498                                 const std::vector<MachineOperand> &Pred2) const{
 499   if (Pred1.size() > 1 || Pred2.size() > 1)
 500     return false;
 501
 502   ARMCC::CondCodes CC1 = (ARMCC::CondCodes)Pred1[0].getImmedValue();
 503   ARMCC::CondCodes CC2 = (ARMCC::CondCodes)Pred2[0].getImmedValue();
 504   if (CC1 == CC2)
 505     return true;
 506
 507   switch (CC1) {
 508   default:
 509     return false;
 510   case ARMCC::AL:
 511     return true;
 512   case ARMCC::HS:
 513     return CC2 == ARMCC::HI;
 514   case ARMCC::LS:
 515     return CC2 == ARMCC::LO || CC2 == ARMCC::EQ;
 516   case ARMCC::GE:
 517     return CC2 == ARMCC::GT;
 518   case ARMCC::LE:
 519     return CC2 == ARMCC::LT;
 520   }
 521 }
 522
 523 /// FIXME: Works around a gcc miscompilation with -fstrict-aliasing
 524 static unsigned getNumJTEntries(const std::vector<MachineJumpTableEntry> &JT,
 525                                 unsigned JTI) DISABLE_INLINE;
 526 static unsigned getNumJTEntries(const std::vector<MachineJumpTableEntry> &JT,
 527                                 unsigned JTI) {
 528   return JT[JTI].MBBs.size();
 529 }
 530
 531 /// GetInstSize - Return the size of the specified MachineInstr.
 532 ///
 533 unsigned ARM::GetInstSize(MachineInstr *MI) {
 534   MachineBasicBlock &MBB = *MI->getParent();
 535   const MachineFunction *MF = MBB.getParent();
 536   const TargetAsmInfo *TAI = MF->getTarget().getTargetAsmInfo();
 537
 538   // Basic size info comes from the TSFlags field.
 539   const TargetInstrDescriptor *TID = MI->getInstrDescriptor();
 540   unsigned TSFlags = TID->TSFlags;
 541
 542   switch ((TSFlags & ARMII::SizeMask) >> ARMII::SizeShift) {
 543   default:
 544     // If this machine instr is an inline asm, measure it.
 545     if (MI->getOpcode() == ARM::INLINEASM)
 546       return TAI->getInlineAsmLength(MI->getOperand(0).getSymbolName());
 547     if (MI->getOpcode() == ARM::LABEL)
 548       return 0;
 549     assert(0 && "Unknown or unset size field for instr!");
 550     break;
 551   case ARMII::Size8Bytes: return 8;          // Arm instruction x 2.
 552   case ARMII::Size4Bytes: return 4;          // Arm instruction.
 553   case ARMII::Size2Bytes: return 2;          // Thumb instruction.
 554   case ARMII::SizeSpecial: {
 555     switch (MI->getOpcode()) {
 556     case ARM::CONSTPOOL_ENTRY:
 557       // If this machine instr is a constant pool entry, its size is recorded as
 558       // operand #2.
 559       return MI->getOperand(2).getImm();
 560     case ARM::BR_JTr:
 561     case ARM::BR_JTm:
 562     case ARM::BR_JTadd:
 563     case ARM::tBR_JTr: {
 564       // These are jumptable branches, i.e. a branch followed by an inlined
 565       // jumptable. The size is 4 + 4 * number of entries.
 566       unsigned NumOps = TID->numOperands;
 567       MachineOperand JTOP =
 568         MI->getOperand(NumOps - ((TID->Flags & M_PREDICABLE) ? 3 : 2));
 569       unsigned JTI = JTOP.getJumpTableIndex();
 570       MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
 571       const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
 572       assert(JTI < JT.size());
 573       // Thumb instructions are 2 byte aligned, but JT entries are 4 byte
 574       // 4 aligned. The assembler / linker may add 2 byte padding just before
 575       // the JT entries.  The size does not include this padding; the
 576       // constant islands pass does separate bookkeeping for it.
 577       // FIXME: If we know the size of the function is less than (1 << 16) *2
 578       // bytes, we can use 16-bit entries instead. Then there won't be an
 579       // alignment issue.
 580       return getNumJTEntries(JT, JTI) * 4 +
 581              (MI->getOpcode()==ARM::tBR_JTr ? 2 : 4);
 582     }
 583     default:
 584       // Otherwise, pseudo-instruction sizes are zero.
 585       return 0;
 586     }
 587   }
 588   }
 589 }
 590
 591 /// GetFunctionSize - Returns the size of the specified MachineFunction.
 592 ///
 593 unsigned ARM::GetFunctionSize(MachineFunction &MF) {
 594   unsigned FnSize = 0;
 595   for (MachineFunction::iterator MBBI = MF.begin(), E = MF.end();
 596        MBBI != E; ++MBBI) {
 597     MachineBasicBlock &MBB = *MBBI;
 598     for (MachineBasicBlock::iterator I = MBB.begin(),E = MBB.end(); I != E; ++I)
 599       FnSize += ARM::GetInstSize(I);
 600   }
 601   return FnSize;
 602 }