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