PPCInstrInfo.cpp revision 3f2c047f32c9b488d9c49bb2dc87b979530dab3f
131d157ae1ac2cd9c787dc3c1d28e64c682803844Jia Liu//===-- PPCInstrInfo.cpp - PowerPC Instruction Information ----------------===//
2b5f662fa0314f7e7e690aae8ebff7136cc3a5ab0Misha Brukman//
3f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//                     The LLVM Compiler Infrastructure
4f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//
54ee451de366474b9c228b4e5fa573795a715216dChris Lattner// This file is distributed under the University of Illinois Open Source
64ee451de366474b9c228b4e5fa573795a715216dChris Lattner// License. See LICENSE.TXT for details.
7b5f662fa0314f7e7e690aae8ebff7136cc3a5ab0Misha Brukman//
8f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//===----------------------------------------------------------------------===//
9f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//
10f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman// This file contains the PowerPC implementation of the TargetInstrInfo class.
11f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//
12f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//===----------------------------------------------------------------------===//
13f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman
1416e71f2f70811c69c56052dd146324fe20e31db5Chris Lattner#include "PPCInstrInfo.h"
15d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "MCTargetDesc/PPCPredicates.h"
1659ee62d2418df8db499eca1ae17f5900dc2dcbbaEvan Cheng#include "PPC.h"
17d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "PPCHazardRecognizers.h"
18f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson#include "PPCInstrBuilder.h"
197194aaf738a1b89441635340403f1c5b06ae18efBill Wendling#include "PPCMachineFunctionInfo.h"
20b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner#include "PPCTargetMachine.h"
21d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/STLExtras.h"
227a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen#include "llvm/CodeGen/MachineFrameInfo.h"
23f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman#include "llvm/CodeGen/MachineInstrBuilder.h"
247a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen#include "llvm/CodeGen/MachineMemOperand.h"
25243296690ec78fc918762bd73896b09e26537f47Jakob Stoklund Olesen#include "llvm/CodeGen/MachineRegisterInfo.h"
264d989ac93ce608057fb6b13a4068264ab037ecd5Hal Finkel#include "llvm/CodeGen/PseudoSourceValue.h"
2759ee62d2418df8db499eca1ae17f5900dc2dcbbaEvan Cheng#include "llvm/MC/MCAsmInfo.h"
28880d0f6018b6928bdcad291be60c801238619955Bill Wendling#include "llvm/Support/CommandLine.h"
29dac237e18209b697a8ba122d0ddd9cad4dfba1f8Torok Edwin#include "llvm/Support/ErrorHandling.h"
303e74d6fdd248e20a280f1dff3da9a6c689c2c4c3Evan Cheng#include "llvm/Support/TargetRegistry.h"
31dac237e18209b697a8ba122d0ddd9cad4dfba1f8Torok Edwin#include "llvm/Support/raw_ostream.h"
32f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman
334db3cffe94a5285239cc0056f939c6b74a5ca0b6Evan Cheng#define GET_INSTRINFO_CTOR
3422fee2dff4c43b551aefa44a96ca74fcade6bfacEvan Cheng#include "PPCGenInstrInfo.inc"
3522fee2dff4c43b551aefa44a96ca74fcade6bfacEvan Cheng
3682bcd236937b378e56e46bdde9c17a3ea3377068Dan Gohmanusing namespace llvm;
37880d0f6018b6928bdcad291be60c801238619955Bill Wendling
3809fdc7baae1b6905fe18df48e2278e74d4e39ccdHal Finkelstatic cl::
397255d2a8084cb6aa96ea0e5f30acfff76df04ee8Hal Finkelopt<bool> DisableCTRLoopAnal("disable-ppc-ctrloop-analysis", cl::Hidden,
407255d2a8084cb6aa96ea0e5f30acfff76df04ee8Hal Finkel            cl::desc("Disable analysis for CTR loops"));
4109fdc7baae1b6905fe18df48e2278e74d4e39ccdHal Finkel
42b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris LattnerPPCInstrInfo::PPCInstrInfo(PPCTargetMachine &tm)
434db3cffe94a5285239cc0056f939c6b74a5ca0b6Evan Cheng  : PPCGenInstrInfo(PPC::ADJCALLSTACKDOWN, PPC::ADJCALLSTACKUP),
44d5b03f252c0db6b49a242abab63d7c5a260fceaeEvan Cheng    TM(tm), RI(*TM.getSubtargetImpl(), *this) {}
45b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner
462da8bc8a5f7705ac131184cd247f48500da0d74eAndrew Trick/// CreateTargetHazardRecognizer - Return the hazard recognizer to use for
472da8bc8a5f7705ac131184cd247f48500da0d74eAndrew Trick/// this target when scheduling the DAG.
482da8bc8a5f7705ac131184cd247f48500da0d74eAndrew TrickScheduleHazardRecognizer *PPCInstrInfo::CreateTargetHazardRecognizer(
492da8bc8a5f7705ac131184cd247f48500da0d74eAndrew Trick  const TargetMachine *TM,
502da8bc8a5f7705ac131184cd247f48500da0d74eAndrew Trick  const ScheduleDAG *DAG) const {
51c6d08f10bf797cc78068ef30bd0e8812a5bdc9a2Hal Finkel  unsigned Directive = TM->getSubtarget<PPCSubtarget>().getDarwinDirective();
52621b77ade2ff46d1d8594bddee6931b2f4a14706Hal Finkel  if (Directive == PPC::DIR_440 || Directive == PPC::DIR_A2 ||
53621b77ade2ff46d1d8594bddee6931b2f4a14706Hal Finkel      Directive == PPC::DIR_E500mc || Directive == PPC::DIR_E5500) {
54768c65f677af3f05c2e94982043f90a1bfaceda5Hal Finkel    const InstrItineraryData *II = TM->getInstrItineraryData();
555b00ceaeeabff8c25abb09926343c3fcb06053d8Hal Finkel    return new PPCScoreboardHazardRecognizer(II, DAG);
56c6d08f10bf797cc78068ef30bd0e8812a5bdc9a2Hal Finkel  }
5764c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel
58a9fa4fd9736f7d1066223f32fa54efbe86c0fcebJakob Stoklund Olesen  return TargetInstrInfo::CreateTargetHazardRecognizer(TM, DAG);
592da8bc8a5f7705ac131184cd247f48500da0d74eAndrew Trick}
602da8bc8a5f7705ac131184cd247f48500da0d74eAndrew Trick
6164c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel/// CreateTargetPostRAHazardRecognizer - Return the postRA hazard recognizer
6264c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel/// to use for this target when scheduling the DAG.
6364c34e253563a8ba6b41fbce2bb020632cf65961Hal FinkelScheduleHazardRecognizer *PPCInstrInfo::CreateTargetPostRAHazardRecognizer(
6464c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel  const InstrItineraryData *II,
6564c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel  const ScheduleDAG *DAG) const {
6664c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel  unsigned Directive = TM.getSubtarget<PPCSubtarget>().getDarwinDirective();
6764c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel
6864c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel  // Most subtargets use a PPC970 recognizer.
69621b77ade2ff46d1d8594bddee6931b2f4a14706Hal Finkel  if (Directive != PPC::DIR_440 && Directive != PPC::DIR_A2 &&
70621b77ade2ff46d1d8594bddee6931b2f4a14706Hal Finkel      Directive != PPC::DIR_E500mc && Directive != PPC::DIR_E5500) {
7164c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel    const TargetInstrInfo *TII = TM.getInstrInfo();
7264c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel    assert(TII && "No InstrInfo?");
7364c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel
7464c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel    return new PPCHazardRecognizer970(*TII);
7564c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel  }
7664c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel
774d989ac93ce608057fb6b13a4068264ab037ecd5Hal Finkel  return new PPCScoreboardHazardRecognizer(II, DAG);
7864c34e253563a8ba6b41fbce2bb020632cf65961Hal Finkel}
797164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen
807164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen// Detect 32 -> 64-bit extensions where we may reuse the low sub-register.
817164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesenbool PPCInstrInfo::isCoalescableExtInstr(const MachineInstr &MI,
827164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen                                         unsigned &SrcReg, unsigned &DstReg,
837164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen                                         unsigned &SubIdx) const {
847164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen  switch (MI.getOpcode()) {
857164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen  default: return false;
867164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen  case PPC::EXTSW:
877164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen  case PPC::EXTSW_32_64:
887164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen    SrcReg = MI.getOperand(1).getReg();
897164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen    DstReg = MI.getOperand(0).getReg();
907164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen    SubIdx = PPC::sub_32;
917164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen    return true;
927164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen  }
937164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen}
947164288c3eb52e20454fc757440f867f04eb13a4Jakob Stoklund Olesen
956e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trickunsigned PPCInstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
969c09c9ec9dab61450800b42cbf746164aa076b88Chris Lattner                                           int &FrameIndex) const {
97408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  switch (MI->getOpcode()) {
98408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  default: break;
99408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LD:
100408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LWZ:
101408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LFS:
102408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LFD:
103d735b8019b0f297d7c14b55adcd887af24d8e602Dan Gohman    if (MI->getOperand(1).isImm() && !MI->getOperand(1).getImm() &&
104d735b8019b0f297d7c14b55adcd887af24d8e602Dan Gohman        MI->getOperand(2).isFI()) {
1058aa797aa51cd4ea1ec6f46f4891a6897944b75b2Chris Lattner      FrameIndex = MI->getOperand(2).getIndex();
106408396014742a05cad1c91949d2226169e3f9d80Chris Lattner      return MI->getOperand(0).getReg();
107408396014742a05cad1c91949d2226169e3f9d80Chris Lattner    }
108408396014742a05cad1c91949d2226169e3f9d80Chris Lattner    break;
109408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  }
110408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  return 0;
1116524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner}
112408396014742a05cad1c91949d2226169e3f9d80Chris Lattner
1136e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trickunsigned PPCInstrInfo::isStoreToStackSlot(const MachineInstr *MI,
1146524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner                                          int &FrameIndex) const {
1156524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  switch (MI->getOpcode()) {
1166524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  default: break;
1173b478b31e297208ef2c9f74750a8a603eb3726fbNate Begeman  case PPC::STD:
1186524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  case PPC::STW:
1196524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  case PPC::STFS:
1206524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  case PPC::STFD:
121d735b8019b0f297d7c14b55adcd887af24d8e602Dan Gohman    if (MI->getOperand(1).isImm() && !MI->getOperand(1).getImm() &&
122d735b8019b0f297d7c14b55adcd887af24d8e602Dan Gohman        MI->getOperand(2).isFI()) {
1238aa797aa51cd4ea1ec6f46f4891a6897944b75b2Chris Lattner      FrameIndex = MI->getOperand(2).getIndex();
1246524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner      return MI->getOperand(0).getReg();
1256524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner    }
1266524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner    break;
1276524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  }
1286524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  return 0;
1296524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner}
130408396014742a05cad1c91949d2226169e3f9d80Chris Lattner
131043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner// commuteInstruction - We can commute rlwimi instructions, but only if the
132043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner// rotate amt is zero.  We also have to munge the immediates a bit.
13358dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan ChengMachineInstr *
13458dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan ChengPPCInstrInfo::commuteInstruction(MachineInstr *MI, bool NewMI) const {
1358e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman  MachineFunction &MF = *MI->getParent()->getParent();
1368e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman
137043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Normal instructions can be commuted the obvious way.
138043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  if (MI->getOpcode() != PPC::RLWIMI)
139a9fa4fd9736f7d1066223f32fa54efbe86c0fcebJakob Stoklund Olesen    return TargetInstrInfo::commuteInstruction(MI, NewMI);
1406e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
141043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Cannot commute if it has a non-zero rotate count.
1429a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner  if (MI->getOperand(3).getImm() != 0)
143043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner    return 0;
1446e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
145043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // If we have a zero rotate count, we have:
146043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   M = mask(MB,ME)
147043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   Op0 = (Op1 & ~M) | (Op2 & M)
148043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Change this to:
149043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   M = mask((ME+1)&31, (MB-1)&31)
150043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   Op0 = (Op2 & ~M) | (Op1 & M)
151043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
152043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Swap op1/op2
153a4d16a1f0dcdd1ab2862737105f900e2c577532dEvan Cheng  unsigned Reg0 = MI->getOperand(0).getReg();
154043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  unsigned Reg1 = MI->getOperand(1).getReg();
155043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  unsigned Reg2 = MI->getOperand(2).getReg();
1566ce7dc2a97260eea5fba414332796464912b9359Evan Cheng  bool Reg1IsKill = MI->getOperand(1).isKill();
1576ce7dc2a97260eea5fba414332796464912b9359Evan Cheng  bool Reg2IsKill = MI->getOperand(2).isKill();
15858dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng  bool ChangeReg0 = false;
159a4d16a1f0dcdd1ab2862737105f900e2c577532dEvan Cheng  // If machine instrs are no longer in two-address forms, update
160a4d16a1f0dcdd1ab2862737105f900e2c577532dEvan Cheng  // destination register as well.
161a4d16a1f0dcdd1ab2862737105f900e2c577532dEvan Cheng  if (Reg0 == Reg1) {
162a4d16a1f0dcdd1ab2862737105f900e2c577532dEvan Cheng    // Must be two address instruction!
163e837dead3c8dc3445ef6a0e2322179c57e264a13Evan Cheng    assert(MI->getDesc().getOperandConstraint(0, MCOI::TIED_TO) &&
164a4d16a1f0dcdd1ab2862737105f900e2c577532dEvan Cheng           "Expecting a two-address instruction!");
165a4d16a1f0dcdd1ab2862737105f900e2c577532dEvan Cheng    Reg2IsKill = false;
16658dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng    ChangeReg0 = true;
16758dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng  }
16858dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng
16958dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng  // Masks.
17058dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng  unsigned MB = MI->getOperand(4).getImm();
17158dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng  unsigned ME = MI->getOperand(5).getImm();
17258dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng
17358dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng  if (NewMI) {
17458dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng    // Create a new instruction.
17558dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng    unsigned Reg0 = ChangeReg0 ? Reg2 : MI->getOperand(0).getReg();
17658dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng    bool Reg0IsDead = MI->getOperand(0).isDead();
177d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling    return BuildMI(MF, MI->getDebugLoc(), MI->getDesc())
178587daedce2d6c2b2d380b6a5843a6f8b6cfc79e4Bill Wendling      .addReg(Reg0, RegState::Define | getDeadRegState(Reg0IsDead))
179587daedce2d6c2b2d380b6a5843a6f8b6cfc79e4Bill Wendling      .addReg(Reg2, getKillRegState(Reg2IsKill))
180587daedce2d6c2b2d380b6a5843a6f8b6cfc79e4Bill Wendling      .addReg(Reg1, getKillRegState(Reg1IsKill))
18158dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng      .addImm((ME+1) & 31)
18258dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng      .addImm((MB-1) & 31);
183a4d16a1f0dcdd1ab2862737105f900e2c577532dEvan Cheng  }
18458dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng
18558dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng  if (ChangeReg0)
18658dcb0e0cd3fa973b5fd005aecab1df6aeea5cd6Evan Cheng    MI->getOperand(0).setReg(Reg2);
187e53f4a055f74bded20d6129b4724ddd17fd199f6Chris Lattner  MI->getOperand(2).setReg(Reg1);
188e53f4a055f74bded20d6129b4724ddd17fd199f6Chris Lattner  MI->getOperand(1).setReg(Reg2);
189f73823000e2d5d6e1cf65bdf5a107297e18d35fbChris Lattner  MI->getOperand(2).setIsKill(Reg1IsKill);
190f73823000e2d5d6e1cf65bdf5a107297e18d35fbChris Lattner  MI->getOperand(1).setIsKill(Reg2IsKill);
1916e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
192043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Swap the mask around.
1939a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner  MI->getOperand(4).setImm((ME+1) & 31);
1949a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner  MI->getOperand(5).setImm((MB-1) & 31);
195043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  return MI;
196043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner}
197bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattner
1986e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trickvoid PPCInstrInfo::insertNoop(MachineBasicBlock &MBB,
199bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattner                              MachineBasicBlock::iterator MI) const {
200c7f3ace20c325521c68335a1689645b43b06ddf0Chris Lattner  DebugLoc DL;
201d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling  BuildMI(MBB, MI, DL, get(PPC::NOP));
202bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattner}
203c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
204c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
205c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner// Branch analysis.
20699f823f94374917174f96a7689955b8463db6816Hal Finkel// Note: If the condition register is set to CTR or CTR8 then this is a
20799f823f94374917174f96a7689955b8463db6816Hal Finkel// BDNZ (imm == 1) or BDZ (imm == 0) branch.
208c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattnerbool PPCInstrInfo::AnalyzeBranch(MachineBasicBlock &MBB,MachineBasicBlock *&TBB,
209c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner                                 MachineBasicBlock *&FBB,
210dc54d317e7a381ef8e4aca80d54ad1466bb85ddaEvan Cheng                                 SmallVectorImpl<MachineOperand> &Cond,
211dc54d317e7a381ef8e4aca80d54ad1466bb85ddaEvan Cheng                                 bool AllowModify) const {
21299f823f94374917174f96a7689955b8463db6816Hal Finkel  bool isPPC64 = TM.getSubtargetImpl()->isPPC64();
21399f823f94374917174f96a7689955b8463db6816Hal Finkel
214c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // If the block has no terminators, it just falls into the block after it.
215c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  MachineBasicBlock::iterator I = MBB.end();
21693d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen  if (I == MBB.begin())
21793d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen    return false;
21893d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen  --I;
21993d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen  while (I->isDebugValue()) {
22093d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen    if (I == MBB.begin())
22193d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen      return false;
22293d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen    --I;
22393d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen  }
22493d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen  if (!isUnpredicatedTerminator(I))
225c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    return false;
226c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
227c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // Get the last instruction in the block.
228c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  MachineInstr *LastInst = I;
2296e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
230c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // If there is only one terminator instruction, process it.
231bfd2ec4a8ef51ebe982363a7e8d7156fdb3827d8Evan Cheng  if (I == MBB.begin() || !isUnpredicatedTerminator(--I)) {
232c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    if (LastInst->getOpcode() == PPC::B) {
23382ae933e55839713ea039e7c6353483b14dc5724Evan Cheng      if (!LastInst->getOperand(0).isMBB())
23482ae933e55839713ea039e7c6353483b14dc5724Evan Cheng        return true;
2358aa797aa51cd4ea1ec6f46f4891a6897944b75b2Chris Lattner      TBB = LastInst->getOperand(0).getMBB();
236c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      return false;
237289c2d5f4566d8d7722e3934f4763d3df92886f3Chris Lattner    } else if (LastInst->getOpcode() == PPC::BCC) {
23882ae933e55839713ea039e7c6353483b14dc5724Evan Cheng      if (!LastInst->getOperand(2).isMBB())
23982ae933e55839713ea039e7c6353483b14dc5724Evan Cheng        return true;
240c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      // Block ends with fall-through condbranch.
2418aa797aa51cd4ea1ec6f46f4891a6897944b75b2Chris Lattner      TBB = LastInst->getOperand(2).getMBB();
242c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      Cond.push_back(LastInst->getOperand(0));
243c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      Cond.push_back(LastInst->getOperand(1));
2447c4fe259f8bfeae542cfef25c1f1e9b1ff25a39bChris Lattner      return false;
24599f823f94374917174f96a7689955b8463db6816Hal Finkel    } else if (LastInst->getOpcode() == PPC::BDNZ8 ||
24699f823f94374917174f96a7689955b8463db6816Hal Finkel               LastInst->getOpcode() == PPC::BDNZ) {
24799f823f94374917174f96a7689955b8463db6816Hal Finkel      if (!LastInst->getOperand(0).isMBB())
24899f823f94374917174f96a7689955b8463db6816Hal Finkel        return true;
2497255d2a8084cb6aa96ea0e5f30acfff76df04ee8Hal Finkel      if (DisableCTRLoopAnal)
25009fdc7baae1b6905fe18df48e2278e74d4e39ccdHal Finkel        return true;
25199f823f94374917174f96a7689955b8463db6816Hal Finkel      TBB = LastInst->getOperand(0).getMBB();
25299f823f94374917174f96a7689955b8463db6816Hal Finkel      Cond.push_back(MachineOperand::CreateImm(1));
25399f823f94374917174f96a7689955b8463db6816Hal Finkel      Cond.push_back(MachineOperand::CreateReg(isPPC64 ? PPC::CTR8 : PPC::CTR,
25499f823f94374917174f96a7689955b8463db6816Hal Finkel                                               true));
25599f823f94374917174f96a7689955b8463db6816Hal Finkel      return false;
25699f823f94374917174f96a7689955b8463db6816Hal Finkel    } else if (LastInst->getOpcode() == PPC::BDZ8 ||
25799f823f94374917174f96a7689955b8463db6816Hal Finkel               LastInst->getOpcode() == PPC::BDZ) {
25899f823f94374917174f96a7689955b8463db6816Hal Finkel      if (!LastInst->getOperand(0).isMBB())
25999f823f94374917174f96a7689955b8463db6816Hal Finkel        return true;
2607255d2a8084cb6aa96ea0e5f30acfff76df04ee8Hal Finkel      if (DisableCTRLoopAnal)
26109fdc7baae1b6905fe18df48e2278e74d4e39ccdHal Finkel        return true;
26299f823f94374917174f96a7689955b8463db6816Hal Finkel      TBB = LastInst->getOperand(0).getMBB();
26399f823f94374917174f96a7689955b8463db6816Hal Finkel      Cond.push_back(MachineOperand::CreateImm(0));
26499f823f94374917174f96a7689955b8463db6816Hal Finkel      Cond.push_back(MachineOperand::CreateReg(isPPC64 ? PPC::CTR8 : PPC::CTR,
26599f823f94374917174f96a7689955b8463db6816Hal Finkel                                               true));
26699f823f94374917174f96a7689955b8463db6816Hal Finkel      return false;
267c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    }
26899f823f94374917174f96a7689955b8463db6816Hal Finkel
269c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    // Otherwise, don't know what this is.
270c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    return true;
271c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  }
2726e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
273c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // Get the instruction before it if it's a terminator.
274c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  MachineInstr *SecondLastInst = I;
275c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
276c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // If there are three terminators, we don't know what sort of block this is.
277c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  if (SecondLastInst && I != MBB.begin() &&
278bfd2ec4a8ef51ebe982363a7e8d7156fdb3827d8Evan Cheng      isUnpredicatedTerminator(--I))
279c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    return true;
2806e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
281289c2d5f4566d8d7722e3934f4763d3df92886f3Chris Lattner  // If the block ends with PPC::B and PPC:BCC, handle it.
2826e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick  if (SecondLastInst->getOpcode() == PPC::BCC &&
283c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      LastInst->getOpcode() == PPC::B) {
28482ae933e55839713ea039e7c6353483b14dc5724Evan Cheng    if (!SecondLastInst->getOperand(2).isMBB() ||
28582ae933e55839713ea039e7c6353483b14dc5724Evan Cheng        !LastInst->getOperand(0).isMBB())
28682ae933e55839713ea039e7c6353483b14dc5724Evan Cheng      return true;
2878aa797aa51cd4ea1ec6f46f4891a6897944b75b2Chris Lattner    TBB =  SecondLastInst->getOperand(2).getMBB();
288c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    Cond.push_back(SecondLastInst->getOperand(0));
289c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    Cond.push_back(SecondLastInst->getOperand(1));
2908aa797aa51cd4ea1ec6f46f4891a6897944b75b2Chris Lattner    FBB = LastInst->getOperand(0).getMBB();
291c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    return false;
29299f823f94374917174f96a7689955b8463db6816Hal Finkel  } else if ((SecondLastInst->getOpcode() == PPC::BDNZ8 ||
29399f823f94374917174f96a7689955b8463db6816Hal Finkel              SecondLastInst->getOpcode() == PPC::BDNZ) &&
29499f823f94374917174f96a7689955b8463db6816Hal Finkel      LastInst->getOpcode() == PPC::B) {
29599f823f94374917174f96a7689955b8463db6816Hal Finkel    if (!SecondLastInst->getOperand(0).isMBB() ||
29699f823f94374917174f96a7689955b8463db6816Hal Finkel        !LastInst->getOperand(0).isMBB())
29799f823f94374917174f96a7689955b8463db6816Hal Finkel      return true;
2987255d2a8084cb6aa96ea0e5f30acfff76df04ee8Hal Finkel    if (DisableCTRLoopAnal)
29909fdc7baae1b6905fe18df48e2278e74d4e39ccdHal Finkel      return true;
30099f823f94374917174f96a7689955b8463db6816Hal Finkel    TBB = SecondLastInst->getOperand(0).getMBB();
30199f823f94374917174f96a7689955b8463db6816Hal Finkel    Cond.push_back(MachineOperand::CreateImm(1));
30299f823f94374917174f96a7689955b8463db6816Hal Finkel    Cond.push_back(MachineOperand::CreateReg(isPPC64 ? PPC::CTR8 : PPC::CTR,
30399f823f94374917174f96a7689955b8463db6816Hal Finkel                                             true));
30499f823f94374917174f96a7689955b8463db6816Hal Finkel    FBB = LastInst->getOperand(0).getMBB();
30599f823f94374917174f96a7689955b8463db6816Hal Finkel    return false;
30699f823f94374917174f96a7689955b8463db6816Hal Finkel  } else if ((SecondLastInst->getOpcode() == PPC::BDZ8 ||
30799f823f94374917174f96a7689955b8463db6816Hal Finkel              SecondLastInst->getOpcode() == PPC::BDZ) &&
30899f823f94374917174f96a7689955b8463db6816Hal Finkel      LastInst->getOpcode() == PPC::B) {
30999f823f94374917174f96a7689955b8463db6816Hal Finkel    if (!SecondLastInst->getOperand(0).isMBB() ||
31099f823f94374917174f96a7689955b8463db6816Hal Finkel        !LastInst->getOperand(0).isMBB())
31199f823f94374917174f96a7689955b8463db6816Hal Finkel      return true;
3127255d2a8084cb6aa96ea0e5f30acfff76df04ee8Hal Finkel    if (DisableCTRLoopAnal)
31309fdc7baae1b6905fe18df48e2278e74d4e39ccdHal Finkel      return true;
31499f823f94374917174f96a7689955b8463db6816Hal Finkel    TBB = SecondLastInst->getOperand(0).getMBB();
31599f823f94374917174f96a7689955b8463db6816Hal Finkel    Cond.push_back(MachineOperand::CreateImm(0));
31699f823f94374917174f96a7689955b8463db6816Hal Finkel    Cond.push_back(MachineOperand::CreateReg(isPPC64 ? PPC::CTR8 : PPC::CTR,
31799f823f94374917174f96a7689955b8463db6816Hal Finkel                                             true));
31899f823f94374917174f96a7689955b8463db6816Hal Finkel    FBB = LastInst->getOperand(0).getMBB();
31999f823f94374917174f96a7689955b8463db6816Hal Finkel    return false;
320c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  }
3216e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
32213e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen  // If the block ends with two PPC:Bs, handle it.  The second one is not
32313e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen  // executed, so remove it.
3246e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick  if (SecondLastInst->getOpcode() == PPC::B &&
32513e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen      LastInst->getOpcode() == PPC::B) {
32682ae933e55839713ea039e7c6353483b14dc5724Evan Cheng    if (!SecondLastInst->getOperand(0).isMBB())
32782ae933e55839713ea039e7c6353483b14dc5724Evan Cheng      return true;
3288aa797aa51cd4ea1ec6f46f4891a6897944b75b2Chris Lattner    TBB = SecondLastInst->getOperand(0).getMBB();
32913e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen    I = LastInst;
330dc54d317e7a381ef8e4aca80d54ad1466bb85ddaEvan Cheng    if (AllowModify)
331dc54d317e7a381ef8e4aca80d54ad1466bb85ddaEvan Cheng      I->eraseFromParent();
33213e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen    return false;
33313e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen  }
33413e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen
335c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // Otherwise, can't handle this.
336c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  return true;
337c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner}
338c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
339b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Chengunsigned PPCInstrInfo::RemoveBranch(MachineBasicBlock &MBB) const {
340c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  MachineBasicBlock::iterator I = MBB.end();
341b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng  if (I == MBB.begin()) return 0;
342c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  --I;
34393d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen  while (I->isDebugValue()) {
34493d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen    if (I == MBB.begin())
34593d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen      return 0;
34693d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen    --I;
34793d6a7e9c21204c52d6efec6c672163e7de79660Dale Johannesen  }
34899f823f94374917174f96a7689955b8463db6816Hal Finkel  if (I->getOpcode() != PPC::B && I->getOpcode() != PPC::BCC &&
34999f823f94374917174f96a7689955b8463db6816Hal Finkel      I->getOpcode() != PPC::BDNZ8 && I->getOpcode() != PPC::BDNZ &&
35099f823f94374917174f96a7689955b8463db6816Hal Finkel      I->getOpcode() != PPC::BDZ8  && I->getOpcode() != PPC::BDZ)
351b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng    return 0;
3526e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
353c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // Remove the branch.
354c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  I->eraseFromParent();
3556e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
356c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  I = MBB.end();
357c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
358b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng  if (I == MBB.begin()) return 1;
359c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  --I;
36099f823f94374917174f96a7689955b8463db6816Hal Finkel  if (I->getOpcode() != PPC::BCC &&
36199f823f94374917174f96a7689955b8463db6816Hal Finkel      I->getOpcode() != PPC::BDNZ8 && I->getOpcode() != PPC::BDNZ &&
36299f823f94374917174f96a7689955b8463db6816Hal Finkel      I->getOpcode() != PPC::BDZ8  && I->getOpcode() != PPC::BDZ)
363b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng    return 1;
3646e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
365c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // Remove the branch.
366c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  I->eraseFromParent();
367b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng  return 2;
368c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner}
369c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
370b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Chengunsigned
371b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan ChengPPCInstrInfo::InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
372b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng                           MachineBasicBlock *FBB,
3733bf912593301152b65accb9d9c37a95172f1df5aStuart Hastings                           const SmallVectorImpl<MachineOperand> &Cond,
3743bf912593301152b65accb9d9c37a95172f1df5aStuart Hastings                           DebugLoc DL) const {
3752dc7723474c54efcbcac6265dad0a7271902f1a5Chris Lattner  // Shouldn't be a fall through.
3762dc7723474c54efcbcac6265dad0a7271902f1a5Chris Lattner  assert(TBB && "InsertBranch must not be told to insert a fallthrough");
3776e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick  assert((Cond.size() == 2 || Cond.size() == 0) &&
37854108068b71a7dbc48f4ebf1b2d7d87ca541070aChris Lattner         "PPC branch conditions have two components!");
3796e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
38099f823f94374917174f96a7689955b8463db6816Hal Finkel  bool isPPC64 = TM.getSubtargetImpl()->isPPC64();
38199f823f94374917174f96a7689955b8463db6816Hal Finkel
38254108068b71a7dbc48f4ebf1b2d7d87ca541070aChris Lattner  // One-way branch.
3832dc7723474c54efcbcac6265dad0a7271902f1a5Chris Lattner  if (FBB == 0) {
38454108068b71a7dbc48f4ebf1b2d7d87ca541070aChris Lattner    if (Cond.empty())   // Unconditional branch
3853bf912593301152b65accb9d9c37a95172f1df5aStuart Hastings      BuildMI(&MBB, DL, get(PPC::B)).addMBB(TBB);
38699f823f94374917174f96a7689955b8463db6816Hal Finkel    else if (Cond[1].getReg() == PPC::CTR || Cond[1].getReg() == PPC::CTR8)
38799f823f94374917174f96a7689955b8463db6816Hal Finkel      BuildMI(&MBB, DL, get(Cond[0].getImm() ?
38899f823f94374917174f96a7689955b8463db6816Hal Finkel                              (isPPC64 ? PPC::BDNZ8 : PPC::BDNZ) :
38999f823f94374917174f96a7689955b8463db6816Hal Finkel                              (isPPC64 ? PPC::BDZ8  : PPC::BDZ))).addMBB(TBB);
39054108068b71a7dbc48f4ebf1b2d7d87ca541070aChris Lattner    else                // Conditional branch
3913bf912593301152b65accb9d9c37a95172f1df5aStuart Hastings      BuildMI(&MBB, DL, get(PPC::BCC))
39218258c640466274c26e89016e361ec411ff78520Chris Lattner        .addImm(Cond[0].getImm()).addReg(Cond[1].getReg()).addMBB(TBB);
393b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng    return 1;
3942dc7723474c54efcbcac6265dad0a7271902f1a5Chris Lattner  }
3956e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
396879d09cf130f3760a08865913c04d9ff328fad5fChris Lattner  // Two-way Conditional Branch.
39799f823f94374917174f96a7689955b8463db6816Hal Finkel  if (Cond[1].getReg() == PPC::CTR || Cond[1].getReg() == PPC::CTR8)
39899f823f94374917174f96a7689955b8463db6816Hal Finkel    BuildMI(&MBB, DL, get(Cond[0].getImm() ?
39999f823f94374917174f96a7689955b8463db6816Hal Finkel                            (isPPC64 ? PPC::BDNZ8 : PPC::BDNZ) :
40099f823f94374917174f96a7689955b8463db6816Hal Finkel                            (isPPC64 ? PPC::BDZ8  : PPC::BDZ))).addMBB(TBB);
40199f823f94374917174f96a7689955b8463db6816Hal Finkel  else
40299f823f94374917174f96a7689955b8463db6816Hal Finkel    BuildMI(&MBB, DL, get(PPC::BCC))
40399f823f94374917174f96a7689955b8463db6816Hal Finkel      .addImm(Cond[0].getImm()).addReg(Cond[1].getReg()).addMBB(TBB);
4043bf912593301152b65accb9d9c37a95172f1df5aStuart Hastings  BuildMI(&MBB, DL, get(PPC::B)).addMBB(FBB);
405b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng  return 2;
406c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner}
407c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
40827689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesenvoid PPCInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
40927689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen                               MachineBasicBlock::iterator I, DebugLoc DL,
41027689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen                               unsigned DestReg, unsigned SrcReg,
41127689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen                               bool KillSrc) const {
41227689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen  unsigned Opc;
41327689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen  if (PPC::GPRCRegClass.contains(DestReg, SrcReg))
41427689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen    Opc = PPC::OR;
41527689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen  else if (PPC::G8RCRegClass.contains(DestReg, SrcReg))
41627689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen    Opc = PPC::OR8;
41727689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen  else if (PPC::F4RCRegClass.contains(DestReg, SrcReg))
41827689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen    Opc = PPC::FMR;
41927689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen  else if (PPC::CRRCRegClass.contains(DestReg, SrcReg))
42027689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen    Opc = PPC::MCRF;
42127689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen  else if (PPC::VRRCRegClass.contains(DestReg, SrcReg))
42227689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen    Opc = PPC::VOR;
42327689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen  else if (PPC::CRBITRCRegClass.contains(DestReg, SrcReg))
42427689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen    Opc = PPC::CROR;
42527689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen  else
42627689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen    llvm_unreachable("Impossible reg-to-reg copy");
427d10fd9791c20fd8368fa0ce94b626b769c6c8ba0Owen Anderson
428e837dead3c8dc3445ef6a0e2322179c57e264a13Evan Cheng  const MCInstrDesc &MCID = get(Opc);
429e837dead3c8dc3445ef6a0e2322179c57e264a13Evan Cheng  if (MCID.getNumOperands() == 3)
430e837dead3c8dc3445ef6a0e2322179c57e264a13Evan Cheng    BuildMI(MBB, I, DL, MCID, DestReg)
43127689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen      .addReg(SrcReg).addReg(SrcReg, getKillRegState(KillSrc));
43227689b0affee8fb1bfbef11dcc84287b7757cfe8Jakob Stoklund Olesen  else
433e837dead3c8dc3445ef6a0e2322179c57e264a13Evan Cheng    BuildMI(MBB, I, DL, MCID, DestReg).addReg(SrcReg, getKillRegState(KillSrc));
434d10fd9791c20fd8368fa0ce94b626b769c6c8ba0Owen Anderson}
435d10fd9791c20fd8368fa0ce94b626b769c6c8ba0Owen Anderson
4363fd0018af1b692cabfa5a002bf41f1e756aa9ddeHal Finkel// This function returns true if a CR spill is necessary and false otherwise.
4374a66e9a57e679b4f3243bf2061daf53c70102030Bill Wendlingbool
4388e5f2c6f65841542e2a7092553fe42a00048e4c7Dan GohmanPPCInstrInfo::StoreRegToStackSlot(MachineFunction &MF,
4398e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman                                  unsigned SrcReg, bool isKill,
4404a66e9a57e679b4f3243bf2061daf53c70102030Bill Wendling                                  int FrameIdx,
4414a66e9a57e679b4f3243bf2061daf53c70102030Bill Wendling                                  const TargetRegisterClass *RC,
442324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel                                  SmallVectorImpl<MachineInstr*> &NewMIs,
4433f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel                                  bool &NonRI, bool &SpillsVRS) const{
444c7f3ace20c325521c68335a1689645b43b06ddf0Chris Lattner  DebugLoc DL;
445c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  if (PPC::GPRCRegClass.hasSubClassEq(RC)) {
4467257fda1b3b047f6fd46df8a9999580fcfafbfaeHal Finkel    NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::STW))
4477257fda1b3b047f6fd46df8a9999580fcfafbfaeHal Finkel                                       .addReg(SrcReg,
4487257fda1b3b047f6fd46df8a9999580fcfafbfaeHal Finkel                                               getKillRegState(isKill)),
4497257fda1b3b047f6fd46df8a9999580fcfafbfaeHal Finkel                                       FrameIdx));
450c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::G8RCRegClass.hasSubClassEq(RC)) {
4517257fda1b3b047f6fd46df8a9999580fcfafbfaeHal Finkel    NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::STD))
4527257fda1b3b047f6fd46df8a9999580fcfafbfaeHal Finkel                                       .addReg(SrcReg,
4537257fda1b3b047f6fd46df8a9999580fcfafbfaeHal Finkel                                               getKillRegState(isKill)),
4547257fda1b3b047f6fd46df8a9999580fcfafbfaeHal Finkel                                       FrameIdx));
455c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::F8RCRegClass.hasSubClassEq(RC)) {
45621b5541814d57d0a31f353948e4e933dbb1af6a4Dale Johannesen    NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::STFD))
457587daedce2d6c2b2d380b6a5843a6f8b6cfc79e4Bill Wendling                                       .addReg(SrcReg,
458587daedce2d6c2b2d380b6a5843a6f8b6cfc79e4Bill Wendling                                               getKillRegState(isKill)),
459587daedce2d6c2b2d380b6a5843a6f8b6cfc79e4Bill Wendling                                       FrameIdx));
460c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::F4RCRegClass.hasSubClassEq(RC)) {
46121b5541814d57d0a31f353948e4e933dbb1af6a4Dale Johannesen    NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::STFS))
462587daedce2d6c2b2d380b6a5843a6f8b6cfc79e4Bill Wendling                                       .addReg(SrcReg,
463587daedce2d6c2b2d380b6a5843a6f8b6cfc79e4Bill Wendling                                               getKillRegState(isKill)),
464587daedce2d6c2b2d380b6a5843a6f8b6cfc79e4Bill Wendling                                       FrameIdx));
465c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::CRRCRegClass.hasSubClassEq(RC)) {
4667285e8d98c9a44b7efe792462188cfe713dd9641Hal Finkel    NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::SPILL_CR))
4677285e8d98c9a44b7efe792462188cfe713dd9641Hal Finkel                                       .addReg(SrcReg,
4687285e8d98c9a44b7efe792462188cfe713dd9641Hal Finkel                                               getKillRegState(isKill)),
4697285e8d98c9a44b7efe792462188cfe713dd9641Hal Finkel                                       FrameIdx));
4707285e8d98c9a44b7efe792462188cfe713dd9641Hal Finkel    return true;
471c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::CRBITRCRegClass.hasSubClassEq(RC)) {
4720404cd97e4f6ebfe4f8057d4e21119d77654dff2Nicolas Geoffray    // FIXME: We use CRi here because there is no mtcrf on a bit. Since the
4730404cd97e4f6ebfe4f8057d4e21119d77654dff2Nicolas Geoffray    // backend currently only uses CR1EQ as an individual bit, this should
4740404cd97e4f6ebfe4f8057d4e21119d77654dff2Nicolas Geoffray    // not cause any bug. If we need other uses of CR bits, the following
4750404cd97e4f6ebfe4f8057d4e21119d77654dff2Nicolas Geoffray    // code may be invalid.
4769348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray    unsigned Reg = 0;
4776a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    if (SrcReg == PPC::CR0LT || SrcReg == PPC::CR0GT ||
4786a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller        SrcReg == PPC::CR0EQ || SrcReg == PPC::CR0UN)
4799348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR0;
4806a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (SrcReg == PPC::CR1LT || SrcReg == PPC::CR1GT ||
4816a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             SrcReg == PPC::CR1EQ || SrcReg == PPC::CR1UN)
4829348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR1;
4836a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (SrcReg == PPC::CR2LT || SrcReg == PPC::CR2GT ||
4846a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             SrcReg == PPC::CR2EQ || SrcReg == PPC::CR2UN)
4859348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR2;
4866a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (SrcReg == PPC::CR3LT || SrcReg == PPC::CR3GT ||
4876a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             SrcReg == PPC::CR3EQ || SrcReg == PPC::CR3UN)
4889348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR3;
4896a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (SrcReg == PPC::CR4LT || SrcReg == PPC::CR4GT ||
4906a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             SrcReg == PPC::CR4EQ || SrcReg == PPC::CR4UN)
4919348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR4;
4926a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (SrcReg == PPC::CR5LT || SrcReg == PPC::CR5GT ||
4936a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             SrcReg == PPC::CR5EQ || SrcReg == PPC::CR5UN)
4949348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR5;
4956a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (SrcReg == PPC::CR6LT || SrcReg == PPC::CR6GT ||
4966a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             SrcReg == PPC::CR6EQ || SrcReg == PPC::CR6UN)
4979348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR6;
4986a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (SrcReg == PPC::CR7LT || SrcReg == PPC::CR7GT ||
4996a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             SrcReg == PPC::CR7EQ || SrcReg == PPC::CR7UN)
5009348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR7;
5019348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray
5026e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick    return StoreRegToStackSlot(MF, Reg, isKill, FrameIdx,
5033f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel                               &PPC::CRRCRegClass, NewMIs, NonRI, SpillsVRS);
5049348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray
505c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::VRRCRegClass.hasSubClassEq(RC)) {
506324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel    NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::STVX))
507324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel                                       .addReg(SrcReg,
508324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel                                               getKillRegState(isKill)),
509324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel                                       FrameIdx));
510324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel    NonRI = true;
51110f7f2a222d0e83dc0c33ad506a7686190c2f7a2Hal Finkel  } else if (PPC::VRSAVERCRegClass.hasSubClassEq(RC)) {
51210f7f2a222d0e83dc0c33ad506a7686190c2f7a2Hal Finkel    NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::SPILL_VRSAVE))
51310f7f2a222d0e83dc0c33ad506a7686190c2f7a2Hal Finkel                                       .addReg(SrcReg,
51410f7f2a222d0e83dc0c33ad506a7686190c2f7a2Hal Finkel                                               getKillRegState(isKill)),
51510f7f2a222d0e83dc0c33ad506a7686190c2f7a2Hal Finkel                                       FrameIdx));
5163f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel    SpillsVRS = true;
517f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson  } else {
518c23197a26f34f559ea9797de51e187087c039c42Torok Edwin    llvm_unreachable("Unknown regclass!");
519f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson  }
5207194aaf738a1b89441635340403f1c5b06ae18efBill Wendling
5217194aaf738a1b89441635340403f1c5b06ae18efBill Wendling  return false;
522f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson}
523f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson
524f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Andersonvoid
525f6372aa1cc568df19da7c5023e83c75aa9404a07Owen AndersonPPCInstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
5267194aaf738a1b89441635340403f1c5b06ae18efBill Wendling                                  MachineBasicBlock::iterator MI,
5277194aaf738a1b89441635340403f1c5b06ae18efBill Wendling                                  unsigned SrcReg, bool isKill, int FrameIdx,
528746ad69e088176819981b4b2c5ac8dcd49f5e60eEvan Cheng                                  const TargetRegisterClass *RC,
529746ad69e088176819981b4b2c5ac8dcd49f5e60eEvan Cheng                                  const TargetRegisterInfo *TRI) const {
5308e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman  MachineFunction &MF = *MBB.getParent();
531f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson  SmallVector<MachineInstr*, 4> NewMIs;
5327194aaf738a1b89441635340403f1c5b06ae18efBill Wendling
5330cfb42adb5072fb19a01dba3ea58a33fd5927947Hal Finkel  PPCFunctionInfo *FuncInfo = MF.getInfo<PPCFunctionInfo>();
5340cfb42adb5072fb19a01dba3ea58a33fd5927947Hal Finkel  FuncInfo->setHasSpills();
5350cfb42adb5072fb19a01dba3ea58a33fd5927947Hal Finkel
5363f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel  bool NonRI = false, SpillsVRS = false;
5373f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel  if (StoreRegToStackSlot(MF, SrcReg, isKill, FrameIdx, RC, NewMIs,
5383f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel                          NonRI, SpillsVRS))
5397194aaf738a1b89441635340403f1c5b06ae18efBill Wendling    FuncInfo->setSpillsCR();
5407194aaf738a1b89441635340403f1c5b06ae18efBill Wendling
5413f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel  if (SpillsVRS)
5423f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel    FuncInfo->setSpillsVRSAVE();
5433f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel
544324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel  if (NonRI)
545324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel    FuncInfo->setHasNonRISpills();
546324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel
547f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson  for (unsigned i = 0, e = NewMIs.size(); i != e; ++i)
548f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson    MBB.insert(MI, NewMIs[i]);
5497a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen
5507a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen  const MachineFrameInfo &MFI = *MF.getFrameInfo();
5517a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen  MachineMemOperand *MMO =
552978e0dfe46e481bfb1281e683aa308329e879e95Jay Foad    MF.getMachineMemOperand(MachinePointerInfo::getFixedStack(FrameIdx),
55359db5496f4fc2ef6111569e542f8b65480ef14c1Chris Lattner                            MachineMemOperand::MOStore,
5547a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen                            MFI.getObjectSize(FrameIdx),
5557a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen                            MFI.getObjectAlignment(FrameIdx));
5567a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen  NewMIs.back()->addMemOperand(MF, MMO);
557f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson}
558f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson
559d21e930eac3d99dd77ee33ea5826700b4bc97ae8Hal Finkelbool
560d1c321a89ab999b9bb602b0f398ecd4c2022262cBill WendlingPPCInstrInfo::LoadRegFromStackSlot(MachineFunction &MF, DebugLoc DL,
5618e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman                                   unsigned DestReg, int FrameIdx,
5624a66e9a57e679b4f3243bf2061daf53c70102030Bill Wendling                                   const TargetRegisterClass *RC,
563324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel                                   SmallVectorImpl<MachineInstr*> &NewMIs,
5643f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel                                   bool &NonRI, bool &SpillsVRS) const{
565c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  if (PPC::GPRCRegClass.hasSubClassEq(RC)) {
566f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson    if (DestReg != PPC::LR) {
567d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling      NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::LWZ),
568d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling                                                 DestReg), FrameIdx));
569f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson    } else {
570d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling      NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::LWZ),
571d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling                                                 PPC::R11), FrameIdx));
572d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling      NewMIs.push_back(BuildMI(MF, DL, get(PPC::MTLR)).addReg(PPC::R11));
573f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson    }
574c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::G8RCRegClass.hasSubClassEq(RC)) {
575f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson    if (DestReg != PPC::LR8) {
576d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling      NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::LD), DestReg),
577f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson                                         FrameIdx));
578f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson    } else {
579d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling      NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::LD),
5807ad6b7d35978e1bb89de90aa732cf2f57377d69dHal Finkel                                                 PPC::X11), FrameIdx));
5817ad6b7d35978e1bb89de90aa732cf2f57377d69dHal Finkel      NewMIs.push_back(BuildMI(MF, DL, get(PPC::MTLR8)).addReg(PPC::X11));
582f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson    }
583c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::F8RCRegClass.hasSubClassEq(RC)) {
584d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling    NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::LFD), DestReg),
585f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson                                       FrameIdx));
586c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::F4RCRegClass.hasSubClassEq(RC)) {
587d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling    NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::LFS), DestReg),
588f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson                                       FrameIdx));
589c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::CRRCRegClass.hasSubClassEq(RC)) {
5907285e8d98c9a44b7efe792462188cfe713dd9641Hal Finkel    NewMIs.push_back(addFrameReference(BuildMI(MF, DL,
5917285e8d98c9a44b7efe792462188cfe713dd9641Hal Finkel                                               get(PPC::RESTORE_CR), DestReg),
5927285e8d98c9a44b7efe792462188cfe713dd9641Hal Finkel                                       FrameIdx));
5937285e8d98c9a44b7efe792462188cfe713dd9641Hal Finkel    return true;
594c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::CRBITRCRegClass.hasSubClassEq(RC)) {
5956e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick
5969348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray    unsigned Reg = 0;
5976a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    if (DestReg == PPC::CR0LT || DestReg == PPC::CR0GT ||
5986a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller        DestReg == PPC::CR0EQ || DestReg == PPC::CR0UN)
5999348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR0;
6006a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (DestReg == PPC::CR1LT || DestReg == PPC::CR1GT ||
6016a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             DestReg == PPC::CR1EQ || DestReg == PPC::CR1UN)
6029348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR1;
6036a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (DestReg == PPC::CR2LT || DestReg == PPC::CR2GT ||
6046a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             DestReg == PPC::CR2EQ || DestReg == PPC::CR2UN)
6059348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR2;
6066a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (DestReg == PPC::CR3LT || DestReg == PPC::CR3GT ||
6076a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             DestReg == PPC::CR3EQ || DestReg == PPC::CR3UN)
6089348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR3;
6096a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (DestReg == PPC::CR4LT || DestReg == PPC::CR4GT ||
6106a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             DestReg == PPC::CR4EQ || DestReg == PPC::CR4UN)
6119348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR4;
6126a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (DestReg == PPC::CR5LT || DestReg == PPC::CR5GT ||
6136a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             DestReg == PPC::CR5EQ || DestReg == PPC::CR5UN)
6149348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR5;
6156a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (DestReg == PPC::CR6LT || DestReg == PPC::CR6GT ||
6166a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             DestReg == PPC::CR6EQ || DestReg == PPC::CR6UN)
6179348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR6;
6186a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller    else if (DestReg == PPC::CR7LT || DestReg == PPC::CR7GT ||
6196a3a1ba97e996bfdc061f9a51bd4cf4915962913Tilmann Scheller             DestReg == PPC::CR7EQ || DestReg == PPC::CR7UN)
6209348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray      Reg = PPC::CR7;
6219348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray
6226e8f4c404825b79f9b9176483653f1aa927dfbdeAndrew Trick    return LoadRegFromStackSlot(MF, DL, Reg, FrameIdx,
6233f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel                                &PPC::CRRCRegClass, NewMIs, NonRI, SpillsVRS);
6249348c69dcfe1aa1e7f92752a18222dcfbcd96214Nicolas Geoffray
625c909950c384e8234a7b3c5a76b7f79e3f7012cebCraig Topper  } else if (PPC::VRRCRegClass.hasSubClassEq(RC)) {
626324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel    NewMIs.push_back(addFrameReference(BuildMI(MF, DL, get(PPC::LVX), DestReg),
627324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel                                       FrameIdx));
628324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel    NonRI = true;
62910f7f2a222d0e83dc0c33ad506a7686190c2f7a2Hal Finkel  } else if (PPC::VRSAVERCRegClass.hasSubClassEq(RC)) {
63010f7f2a222d0e83dc0c33ad506a7686190c2f7a2Hal Finkel    NewMIs.push_back(addFrameReference(BuildMI(MF, DL,
63110f7f2a222d0e83dc0c33ad506a7686190c2f7a2Hal Finkel                                               get(PPC::RESTORE_VRSAVE),
63210f7f2a222d0e83dc0c33ad506a7686190c2f7a2Hal Finkel                                               DestReg),
63310f7f2a222d0e83dc0c33ad506a7686190c2f7a2Hal Finkel                                       FrameIdx));
6343f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel    SpillsVRS = true;
635f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson  } else {
636c23197a26f34f559ea9797de51e187087c039c42Torok Edwin    llvm_unreachable("Unknown regclass!");
637f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson  }
638d21e930eac3d99dd77ee33ea5826700b4bc97ae8Hal Finkel
639d21e930eac3d99dd77ee33ea5826700b4bc97ae8Hal Finkel  return false;
640f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson}
641f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson
642f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Andersonvoid
643f6372aa1cc568df19da7c5023e83c75aa9404a07Owen AndersonPPCInstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
6447194aaf738a1b89441635340403f1c5b06ae18efBill Wendling                                   MachineBasicBlock::iterator MI,
6457194aaf738a1b89441635340403f1c5b06ae18efBill Wendling                                   unsigned DestReg, int FrameIdx,
646746ad69e088176819981b4b2c5ac8dcd49f5e60eEvan Cheng                                   const TargetRegisterClass *RC,
647746ad69e088176819981b4b2c5ac8dcd49f5e60eEvan Cheng                                   const TargetRegisterInfo *TRI) const {
6488e5f2c6f65841542e2a7092553fe42a00048e4c7Dan Gohman  MachineFunction &MF = *MBB.getParent();
649f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson  SmallVector<MachineInstr*, 4> NewMIs;
650c7f3ace20c325521c68335a1689645b43b06ddf0Chris Lattner  DebugLoc DL;
651d1c321a89ab999b9bb602b0f398ecd4c2022262cBill Wendling  if (MI != MBB.end()) DL = MI->getDebugLoc();
652324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel
653324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel  PPCFunctionInfo *FuncInfo = MF.getInfo<PPCFunctionInfo>();
654324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel  FuncInfo->setHasSpills();
655324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel
6563f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel  bool NonRI = false, SpillsVRS = false;
6573f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel  if (LoadRegFromStackSlot(MF, DL, DestReg, FrameIdx, RC, NewMIs,
6583f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel                           NonRI, SpillsVRS))
659d21e930eac3d99dd77ee33ea5826700b4bc97ae8Hal Finkel    FuncInfo->setSpillsCR();
660324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel
6613f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel  if (SpillsVRS)
6623f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel    FuncInfo->setSpillsVRSAVE();
6633f2c047f32c9b488d9c49bb2dc87b979530dab3fHal Finkel
664324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel  if (NonRI)
665324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel    FuncInfo->setHasNonRISpills();
666324972904353594ad4a0cdfc79370f85e9fb9c8fHal Finkel
667f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson  for (unsigned i = 0, e = NewMIs.size(); i != e; ++i)
668f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson    MBB.insert(MI, NewMIs[i]);
6697a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen
6707a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen  const MachineFrameInfo &MFI = *MF.getFrameInfo();
6717a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen  MachineMemOperand *MMO =
672978e0dfe46e481bfb1281e683aa308329e879e95Jay Foad    MF.getMachineMemOperand(MachinePointerInfo::getFixedStack(FrameIdx),
67359db5496f4fc2ef6111569e542f8b65480ef14c1Chris Lattner                            MachineMemOperand::MOLoad,
6747a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen                            MFI.getObjectSize(FrameIdx),
6757a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen                            MFI.getObjectAlignment(FrameIdx));
6767a79fcb55b83b8b98b9853c390cc5bf8ce382dd3Jakob Stoklund Olesen  NewMIs.back()->addMemOperand(MF, MMO);
677f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson}
678f6372aa1cc568df19da7c5023e83c75aa9404a07Owen Anderson
6790965217e74fe07f1451350a80114ab566ced5de0Evan ChengMachineInstr*
6800965217e74fe07f1451350a80114ab566ced5de0Evan ChengPPCInstrInfo::emitFrameIndexDebugValue(MachineFunction &MF,
6818601a3d4decff0a380e059b037dabf71075497d3Evan Cheng                                       int FrameIx, uint64_t Offset,
6820965217e74fe07f1451350a80114ab566ced5de0Evan Cheng                                       const MDNode *MDPtr,
6830965217e74fe07f1451350a80114ab566ced5de0Evan Cheng                                       DebugLoc DL) const {
6840965217e74fe07f1451350a80114ab566ced5de0Evan Cheng  MachineInstrBuilder MIB = BuildMI(MF, DL, get(PPC::DBG_VALUE));
6850965217e74fe07f1451350a80114ab566ced5de0Evan Cheng  addFrameReference(MIB, FrameIx, 0, false).addImm(Offset).addMetadata(MDPtr);
6860965217e74fe07f1451350a80114ab566ced5de0Evan Cheng  return &*MIB;
6870965217e74fe07f1451350a80114ab566ced5de0Evan Cheng}
6880965217e74fe07f1451350a80114ab566ced5de0Evan Cheng
689c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattnerbool PPCInstrInfo::
69044eb65cf58e3ab9b5621ce72256d1621a18aeed7Owen AndersonReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const {
6917c4fe259f8bfeae542cfef25c1f1e9b1ff25a39bChris Lattner  assert(Cond.size() == 2 && "Invalid PPC branch opcode!");
69299f823f94374917174f96a7689955b8463db6816Hal Finkel  if (Cond[1].getReg() == PPC::CTR8 || Cond[1].getReg() == PPC::CTR)
69399f823f94374917174f96a7689955b8463db6816Hal Finkel    Cond[0].setImm(Cond[0].getImm() == 0 ? 1 : 0);
69499f823f94374917174f96a7689955b8463db6816Hal Finkel  else
69599f823f94374917174f96a7689955b8463db6816Hal Finkel    // Leave the CR# the same, but invert the condition.
69699f823f94374917174f96a7689955b8463db6816Hal Finkel    Cond[0].setImm(PPC::InvertPredicate((PPC::Predicate)Cond[0].getImm()));
6977c4fe259f8bfeae542cfef25c1f1e9b1ff25a39bChris Lattner  return false;
698c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner}
69952e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray
70052e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray/// GetInstSize - Return the number of bytes of code the specified
70152e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray/// instruction may be.  This returns the maximum number of bytes.
70252e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray///
70352e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffrayunsigned PPCInstrInfo::GetInstSizeInBytes(const MachineInstr *MI) const {
70452e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray  switch (MI->getOpcode()) {
70552e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray  case PPC::INLINEASM: {       // Inline Asm: Variable size.
70652e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray    const MachineFunction *MF = MI->getParent()->getParent();
70752e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray    const char *AsmStr = MI->getOperand(0).getSymbolName();
708af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner    return getInlineAsmLength(AsmStr, *MF->getTarget().getMCAsmInfo());
70952e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray  }
7107431beaba2a01c3fe299c861b2ec85cbf1dc81c4Bill Wendling  case PPC::PROLOG_LABEL:
7114406604047423576e36657c7ede266ca42e79642Dan Gohman  case PPC::EH_LABEL:
7124406604047423576e36657c7ede266ca42e79642Dan Gohman  case PPC::GC_LABEL:
713375be7730a6f3dee7a6dc319ee6c355a11ac99adDale Johannesen  case PPC::DBG_VALUE:
71452e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray    return 0;
71586765fbe170198e7bb40fd8499d1354f4c786f60Ulrich Weigand  case PPC::BL8_NOP:
71686765fbe170198e7bb40fd8499d1354f4c786f60Ulrich Weigand  case PPC::BLA8_NOP:
7175b00ceaeeabff8c25abb09926343c3fcb06053d8Hal Finkel    return 8;
71852e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray  default:
71952e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray    return 4; // PowerPC instructions are all 4 bytes
72052e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray  }
72152e724ad7e679ee590f4bd763d55280586a8f1bcNicolas Geoffray}
722