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