PPCInstrInfo.cpp revision f73823000e2d5d6e1cf65bdf5a107297e18d35fb
121e463b2bf864671a87ebe386cb100ef9349a540Nate Begeman//===- PPCInstrInfo.cpp - PowerPC32 Instruction Information -----*- C++ -*-===//
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"
15df4ed6350b2a51f71c0980e86c9078f4046ea706Chris Lattner#include "PPCPredicates.h"
164c7b43b43fdf943c7298718e15ab5d6dfe345be7Chris Lattner#include "PPCGenInstrInfo.inc"
17b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner#include "PPCTargetMachine.h"
18718cb665ca6ce2bc4d8e8479f46a45db91b49f86Owen Anderson#include "llvm/ADT/STLExtras.h"
19f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman#include "llvm/CodeGen/MachineInstrBuilder.h"
20f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukmanusing namespace llvm;
21f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman
22b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris LattnerPPCInstrInfo::PPCInstrInfo(PPCTargetMachine &tm)
23718cb665ca6ce2bc4d8e8479f46a45db91b49f86Owen Anderson  : TargetInstrInfo(PPCInsts, array_lengthof(PPCInsts)), TM(tm),
247ce45783531cfa81bfd7be561ea7e4738e8c6ca8Evan Cheng    RI(*TM.getSubtargetImpl(), *this) {}
25b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner
26b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner/// getPointerRegClass - Return the register class to use to hold pointers.
27b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner/// This is used for addressing modes.
28b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattnerconst TargetRegisterClass *PPCInstrInfo::getPointerRegClass() const {
29b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner  if (TM.getSubtargetImpl()->isPPC64())
30b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner    return &PPC::G8RCRegClass;
31b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner  else
32b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner    return &PPC::GPRCRegClass;
33b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner}
34b1d26f66658cff3ceb7d44a72fbc8c8e975532f9Chris Lattner
35f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman
3621e463b2bf864671a87ebe386cb100ef9349a540Nate Begemanbool PPCInstrInfo::isMoveInstr(const MachineInstr& MI,
3721e463b2bf864671a87ebe386cb100ef9349a540Nate Begeman                               unsigned& sourceReg,
3821e463b2bf864671a87ebe386cb100ef9349a540Nate Begeman                               unsigned& destReg) const {
39f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman  MachineOpCode oc = MI.getOpcode();
40b410dc99774d52b4491750dab10b91cca1d661d8Chris Lattner  if (oc == PPC::OR || oc == PPC::OR8 || oc == PPC::VOR ||
4114c09b81ead8fe8b754fca2d0a8237cb810b37d6Chris Lattner      oc == PPC::OR4To8 || oc == PPC::OR8To4) {                // or r1, r2, r2
421e341729dd003ca33ecea4abf13134f20062c5f8Evan Cheng    assert(MI.getNumOperands() >= 3 &&
43f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(0).isRegister() &&
44f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(1).isRegister() &&
45f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(2).isRegister() &&
46f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           "invalid PPC OR instruction!");
47f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    if (MI.getOperand(1).getReg() == MI.getOperand(2).getReg()) {
48f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      sourceReg = MI.getOperand(1).getReg();
49f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      destReg = MI.getOperand(0).getReg();
50f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      return true;
51f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    }
52f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman  } else if (oc == PPC::ADDI) {             // addi r1, r2, 0
531e341729dd003ca33ecea4abf13134f20062c5f8Evan Cheng    assert(MI.getNumOperands() >= 3 &&
54f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(0).isRegister() &&
55f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(2).isImmediate() &&
56f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           "invalid PPC ADDI instruction!");
579a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner    if (MI.getOperand(1).isRegister() && MI.getOperand(2).getImm() == 0) {
58f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      sourceReg = MI.getOperand(1).getReg();
59f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      destReg = MI.getOperand(0).getReg();
60f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      return true;
61f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    }
62cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman  } else if (oc == PPC::ORI) {             // ori r1, r2, 0
631e341729dd003ca33ecea4abf13134f20062c5f8Evan Cheng    assert(MI.getNumOperands() >= 3 &&
64cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman           MI.getOperand(0).isRegister() &&
65cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman           MI.getOperand(1).isRegister() &&
66cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman           MI.getOperand(2).isImmediate() &&
67cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman           "invalid PPC ORI instruction!");
689a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner    if (MI.getOperand(2).getImm() == 0) {
69cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman      sourceReg = MI.getOperand(1).getReg();
70cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman      destReg = MI.getOperand(0).getReg();
71cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman      return true;
72cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman    }
73eb5d47d99db0d9e4fc11f136fbacbd507c71a4c2Chris Lattner  } else if (oc == PPC::FMRS || oc == PPC::FMRD ||
74eb5d47d99db0d9e4fc11f136fbacbd507c71a4c2Chris Lattner             oc == PPC::FMRSD) {      // fmr r1, r2
751e341729dd003ca33ecea4abf13134f20062c5f8Evan Cheng    assert(MI.getNumOperands() >= 2 &&
76f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(0).isRegister() &&
77f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(1).isRegister() &&
78f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           "invalid PPC FMR instruction");
79f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    sourceReg = MI.getOperand(1).getReg();
80f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    destReg = MI.getOperand(0).getReg();
81f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    return true;
827af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman  } else if (oc == PPC::MCRF) {             // mcrf cr1, cr2
831e341729dd003ca33ecea4abf13134f20062c5f8Evan Cheng    assert(MI.getNumOperands() >= 2 &&
847af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman           MI.getOperand(0).isRegister() &&
857af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman           MI.getOperand(1).isRegister() &&
867af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman           "invalid PPC MCRF instruction");
877af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman    sourceReg = MI.getOperand(1).getReg();
887af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman    destReg = MI.getOperand(0).getReg();
897af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman    return true;
90f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman  }
91f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman  return false;
92f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman}
93043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
94408396014742a05cad1c91949d2226169e3f9d80Chris Lattnerunsigned PPCInstrInfo::isLoadFromStackSlot(MachineInstr *MI,
959c09c9ec9dab61450800b42cbf746164aa076b88Chris Lattner                                           int &FrameIndex) const {
96408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  switch (MI->getOpcode()) {
97408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  default: break;
98408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LD:
99408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LWZ:
100408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LFS:
101408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LFD:
1029a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner    if (MI->getOperand(1).isImmediate() && !MI->getOperand(1).getImm() &&
103408396014742a05cad1c91949d2226169e3f9d80Chris Lattner        MI->getOperand(2).isFrameIndex()) {
104408396014742a05cad1c91949d2226169e3f9d80Chris Lattner      FrameIndex = MI->getOperand(2).getFrameIndex();
105408396014742a05cad1c91949d2226169e3f9d80Chris Lattner      return MI->getOperand(0).getReg();
106408396014742a05cad1c91949d2226169e3f9d80Chris Lattner    }
107408396014742a05cad1c91949d2226169e3f9d80Chris Lattner    break;
108408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  }
109408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  return 0;
1106524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner}
111408396014742a05cad1c91949d2226169e3f9d80Chris Lattner
1126524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattnerunsigned PPCInstrInfo::isStoreToStackSlot(MachineInstr *MI,
1136524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner                                          int &FrameIndex) const {
1146524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  switch (MI->getOpcode()) {
1156524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  default: break;
1163b478b31e297208ef2c9f74750a8a603eb3726fbNate Begeman  case PPC::STD:
1176524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  case PPC::STW:
1186524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  case PPC::STFS:
1196524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  case PPC::STFD:
1209a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner    if (MI->getOperand(1).isImmediate() && !MI->getOperand(1).getImm() &&
1216524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner        MI->getOperand(2).isFrameIndex()) {
1226524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner      FrameIndex = MI->getOperand(2).getFrameIndex();
1236524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner      return MI->getOperand(0).getReg();
1246524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner    }
1256524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner    break;
1266524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  }
1276524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  return 0;
1286524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner}
129408396014742a05cad1c91949d2226169e3f9d80Chris Lattner
130043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner// commuteInstruction - We can commute rlwimi instructions, but only if the
131043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner// rotate amt is zero.  We also have to munge the immediates a bit.
13221e463b2bf864671a87ebe386cb100ef9349a540Nate BegemanMachineInstr *PPCInstrInfo::commuteInstruction(MachineInstr *MI) const {
133043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Normal instructions can be commuted the obvious way.
134043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  if (MI->getOpcode() != PPC::RLWIMI)
135043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner    return TargetInstrInfo::commuteInstruction(MI);
136043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
137043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Cannot commute if it has a non-zero rotate count.
1389a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner  if (MI->getOperand(3).getImm() != 0)
139043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner    return 0;
140043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
141043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // If we have a zero rotate count, we have:
142043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   M = mask(MB,ME)
143043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   Op0 = (Op1 & ~M) | (Op2 & M)
144043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Change this to:
145043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   M = mask((ME+1)&31, (MB-1)&31)
146043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   Op0 = (Op2 & ~M) | (Op1 & M)
147043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
148043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Swap op1/op2
149043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  unsigned Reg1 = MI->getOperand(1).getReg();
150043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  unsigned Reg2 = MI->getOperand(2).getReg();
1516ce7dc2a97260eea5fba414332796464912b9359Evan Cheng  bool Reg1IsKill = MI->getOperand(1).isKill();
1526ce7dc2a97260eea5fba414332796464912b9359Evan Cheng  bool Reg2IsKill = MI->getOperand(2).isKill();
153e53f4a055f74bded20d6129b4724ddd17fd199f6Chris Lattner  MI->getOperand(2).setReg(Reg1);
154e53f4a055f74bded20d6129b4724ddd17fd199f6Chris Lattner  MI->getOperand(1).setReg(Reg2);
155f73823000e2d5d6e1cf65bdf5a107297e18d35fbChris Lattner  MI->getOperand(2).setIsKill(Reg1IsKill);
156f73823000e2d5d6e1cf65bdf5a107297e18d35fbChris Lattner  MI->getOperand(1).setIsKill(Reg2IsKill);
157043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
158043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Swap the mask around.
1599a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner  unsigned MB = MI->getOperand(4).getImm();
1609a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner  unsigned ME = MI->getOperand(5).getImm();
1619a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner  MI->getOperand(4).setImm((ME+1) & 31);
1629a1ceaedc282f0cae31f2723f4d6c00c7b88fe90Chris Lattner  MI->getOperand(5).setImm((MB-1) & 31);
163043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  return MI;
164043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner}
165bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattner
166bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattnervoid PPCInstrInfo::insertNoop(MachineBasicBlock &MBB,
167bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattner                              MachineBasicBlock::iterator MI) const {
168c0f64ffab93d11fb27a3b8a0707b77400918a20eEvan Cheng  BuildMI(MBB, MI, get(PPC::NOP));
169bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattner}
170c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
171c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
172c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner// Branch analysis.
173c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattnerbool PPCInstrInfo::AnalyzeBranch(MachineBasicBlock &MBB,MachineBasicBlock *&TBB,
174c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner                                 MachineBasicBlock *&FBB,
175c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner                                 std::vector<MachineOperand> &Cond) const {
176c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // If the block has no terminators, it just falls into the block after it.
177c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  MachineBasicBlock::iterator I = MBB.end();
178bfd2ec4a8ef51ebe982363a7e8d7156fdb3827d8Evan Cheng  if (I == MBB.begin() || !isUnpredicatedTerminator(--I))
179c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    return false;
180c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
181c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // Get the last instruction in the block.
182c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  MachineInstr *LastInst = I;
183c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
184c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // If there is only one terminator instruction, process it.
185bfd2ec4a8ef51ebe982363a7e8d7156fdb3827d8Evan Cheng  if (I == MBB.begin() || !isUnpredicatedTerminator(--I)) {
186c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    if (LastInst->getOpcode() == PPC::B) {
187c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      TBB = LastInst->getOperand(0).getMachineBasicBlock();
188c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      return false;
189289c2d5f4566d8d7722e3934f4763d3df92886f3Chris Lattner    } else if (LastInst->getOpcode() == PPC::BCC) {
190c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      // Block ends with fall-through condbranch.
191c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      TBB = LastInst->getOperand(2).getMachineBasicBlock();
192c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      Cond.push_back(LastInst->getOperand(0));
193c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      Cond.push_back(LastInst->getOperand(1));
1947c4fe259f8bfeae542cfef25c1f1e9b1ff25a39bChris Lattner      return false;
195c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    }
196c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    // Otherwise, don't know what this is.
197c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    return true;
198c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  }
199c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
200c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // Get the instruction before it if it's a terminator.
201c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  MachineInstr *SecondLastInst = I;
202c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
203c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // If there are three terminators, we don't know what sort of block this is.
204c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  if (SecondLastInst && I != MBB.begin() &&
205bfd2ec4a8ef51ebe982363a7e8d7156fdb3827d8Evan Cheng      isUnpredicatedTerminator(--I))
206c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    return true;
207c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
208289c2d5f4566d8d7722e3934f4763d3df92886f3Chris Lattner  // If the block ends with PPC::B and PPC:BCC, handle it.
209289c2d5f4566d8d7722e3934f4763d3df92886f3Chris Lattner  if (SecondLastInst->getOpcode() == PPC::BCC &&
210c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner      LastInst->getOpcode() == PPC::B) {
211c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    TBB =  SecondLastInst->getOperand(2).getMachineBasicBlock();
212c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    Cond.push_back(SecondLastInst->getOperand(0));
213c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    Cond.push_back(SecondLastInst->getOperand(1));
214c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    FBB = LastInst->getOperand(0).getMachineBasicBlock();
215c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner    return false;
216c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  }
217c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
21813e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen  // If the block ends with two PPC:Bs, handle it.  The second one is not
21913e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen  // executed, so remove it.
22013e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen  if (SecondLastInst->getOpcode() == PPC::B &&
22113e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen      LastInst->getOpcode() == PPC::B) {
22213e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen    TBB = SecondLastInst->getOperand(0).getMachineBasicBlock();
22313e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen    I = LastInst;
22413e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen    I->eraseFromParent();
22513e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen    return false;
22613e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen  }
22713e8b51e3ec014c5d7ae83afdf3b8fd29c3a461dDale Johannesen
228c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // Otherwise, can't handle this.
229c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  return true;
230c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner}
231c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
232b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Chengunsigned PPCInstrInfo::RemoveBranch(MachineBasicBlock &MBB) const {
233c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  MachineBasicBlock::iterator I = MBB.end();
234b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng  if (I == MBB.begin()) return 0;
235c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  --I;
236289c2d5f4566d8d7722e3934f4763d3df92886f3Chris Lattner  if (I->getOpcode() != PPC::B && I->getOpcode() != PPC::BCC)
237b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng    return 0;
238c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
239c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // Remove the branch.
240c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  I->eraseFromParent();
241c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
242c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  I = MBB.end();
243c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
244b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng  if (I == MBB.begin()) return 1;
245c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  --I;
246289c2d5f4566d8d7722e3934f4763d3df92886f3Chris Lattner  if (I->getOpcode() != PPC::BCC)
247b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng    return 1;
248c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
249c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  // Remove the branch.
250c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner  I->eraseFromParent();
251b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng  return 2;
252c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner}
253c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
254b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Chengunsigned
255b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan ChengPPCInstrInfo::InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
256b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng                           MachineBasicBlock *FBB,
257b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng                           const std::vector<MachineOperand> &Cond) const {
2582dc7723474c54efcbcac6265dad0a7271902f1a5Chris Lattner  // Shouldn't be a fall through.
2592dc7723474c54efcbcac6265dad0a7271902f1a5Chris Lattner  assert(TBB && "InsertBranch must not be told to insert a fallthrough");
26054108068b71a7dbc48f4ebf1b2d7d87ca541070aChris Lattner  assert((Cond.size() == 2 || Cond.size() == 0) &&
26154108068b71a7dbc48f4ebf1b2d7d87ca541070aChris Lattner         "PPC branch conditions have two components!");
2622dc7723474c54efcbcac6265dad0a7271902f1a5Chris Lattner
26354108068b71a7dbc48f4ebf1b2d7d87ca541070aChris Lattner  // One-way branch.
2642dc7723474c54efcbcac6265dad0a7271902f1a5Chris Lattner  if (FBB == 0) {
26554108068b71a7dbc48f4ebf1b2d7d87ca541070aChris Lattner    if (Cond.empty())   // Unconditional branch
266c0f64ffab93d11fb27a3b8a0707b77400918a20eEvan Cheng      BuildMI(&MBB, get(PPC::B)).addMBB(TBB);
26754108068b71a7dbc48f4ebf1b2d7d87ca541070aChris Lattner    else                // Conditional branch
268c0f64ffab93d11fb27a3b8a0707b77400918a20eEvan Cheng      BuildMI(&MBB, get(PPC::BCC))
26918258c640466274c26e89016e361ec411ff78520Chris Lattner        .addImm(Cond[0].getImm()).addReg(Cond[1].getReg()).addMBB(TBB);
270b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng    return 1;
2712dc7723474c54efcbcac6265dad0a7271902f1a5Chris Lattner  }
272c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
273879d09cf130f3760a08865913c04d9ff328fad5fChris Lattner  // Two-way Conditional Branch.
274c0f64ffab93d11fb27a3b8a0707b77400918a20eEvan Cheng  BuildMI(&MBB, get(PPC::BCC))
27518258c640466274c26e89016e361ec411ff78520Chris Lattner    .addImm(Cond[0].getImm()).addReg(Cond[1].getReg()).addMBB(TBB);
276c0f64ffab93d11fb27a3b8a0707b77400918a20eEvan Cheng  BuildMI(&MBB, get(PPC::B)).addMBB(FBB);
277b5cdaa257e167a08a8a54ea9249d847ccc415ce0Evan Cheng  return 2;
278c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner}
279c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner
280ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattnerbool PPCInstrInfo::BlockHasNoFallThrough(MachineBasicBlock &MBB) const {
281ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattner  if (MBB.empty()) return false;
282ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattner
283ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattner  switch (MBB.back().getOpcode()) {
284126f17a17625876adb63f06d043fc1b1e4f0361cEvan Cheng  case PPC::BLR:   // Return.
285ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattner  case PPC::B:     // Uncond branch.
286ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattner  case PPC::BCTR:  // Indirect branch.
287ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattner    return true;
288ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattner  default: return false;
289ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattner  }
290ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattner}
291ef13982aa7f3e57e82cd48370e79033dff0da295Chris Lattner
292c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattnerbool PPCInstrInfo::
293c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris LattnerReverseBranchCondition(std::vector<MachineOperand> &Cond) const {
2947c4fe259f8bfeae542cfef25c1f1e9b1ff25a39bChris Lattner  assert(Cond.size() == 2 && "Invalid PPC branch opcode!");
2957c4fe259f8bfeae542cfef25c1f1e9b1ff25a39bChris Lattner  // Leave the CR# the same, but invert the condition.
29618258c640466274c26e89016e361ec411ff78520Chris Lattner  Cond[0].setImm(PPC::InvertPredicate((PPC::Predicate)Cond[0].getImm()));
2977c4fe259f8bfeae542cfef25c1f1e9b1ff25a39bChris Lattner  return false;
298c50e2bcdf7bff1f9681ab80e52691f274950fab5Chris Lattner}
299