1f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma//=== HexagonSplitConst32AndConst64.cpp - split CONST32/Const64 into HI/LO ===// 2f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// 3f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// The LLVM Compiler Infrastructure 4f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// 5f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// This file is distributed under the University of Illinois Open Source 6f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// License. See LICENSE.TXT for details. 7f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// 8f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma//===----------------------------------------------------------------------===// 9f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// 10f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// When the compiler is invoked with no small data, for instance, with the -G0 11f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// command line option, then all CONST32_* opcodes should be broken down into 12f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// appropriate LO and HI instructions. This splitting is done by this pass. 13f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// The only reason this is not done in the DAG lowering itself is that there 14f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// is no simple way of getting the register allocator to allot the same hard 15f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// register to the result of LO and HI instructions. This pass is always 16f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// scheduled after register allocation. 17f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// 18f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma//===----------------------------------------------------------------------===// 194a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling 204a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "HexagonMachineFunctionInfo.h" 2136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "HexagonSubtarget.h" 22dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines#include "HexagonTargetMachine.h" 23dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines#include "HexagonTargetObjectFile.h" 244a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "llvm/ADT/Statistic.h" 25f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/LatencyPriorityQueue.h" 26f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/MachineDominators.h" 27f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/MachineFunctionPass.h" 284a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "llvm/CodeGen/MachineInstrBuilder.h" 29f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/MachineLoopInfo.h" 30f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/MachineRegisterInfo.h" 314a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "llvm/CodeGen/Passes.h" 324a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "llvm/CodeGen/ScheduleDAGInstrs.h" 33f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/ScheduleHazardRecognizer.h" 344a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "llvm/CodeGen/SchedulerRegistry.h" 3536b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/Support/CommandLine.h" 36f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/Support/Compiler.h" 37f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/Support/Debug.h" 38f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/Support/MathExtras.h" 3936b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/Target/TargetInstrInfo.h" 4036b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/Target/TargetMachine.h" 4136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/Target/TargetRegisterInfo.h" 42f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include <map> 43f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 44f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermausing namespace llvm; 45f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 46dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines#define DEBUG_TYPE "xfer" 47dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines 48f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermanamespace { 49f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 50f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermaclass HexagonSplitConst32AndConst64 : public MachineFunctionPass { 51dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines const HexagonTargetMachine &QTM; 52f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 53f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma public: 54f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma static char ID; 55dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines HexagonSplitConst32AndConst64(const HexagonTargetMachine &TM) 56dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines : MachineFunctionPass(ID), QTM(TM) {} 57f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 58dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines const char *getPassName() const override { 59f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma return "Hexagon Split Const32s and Const64s"; 60f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma } 61dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines bool runOnMachineFunction(MachineFunction &Fn) override; 62f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma}; 63f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 64f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 65f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermachar HexagonSplitConst32AndConst64::ID = 0; 66f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 67f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 68f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermabool HexagonSplitConst32AndConst64::runOnMachineFunction(MachineFunction &Fn) { 69f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 70dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines const HexagonTargetObjectFile &TLOF = 71dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines (const HexagonTargetObjectFile &) 72dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines QTM.getTargetLowering()->getObjFileLowering(); 73dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines if (TLOF.IsSmallDataEnabled()) 74dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines return true; 75dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines 76f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma const TargetInstrInfo *TII = QTM.getInstrInfo(); 77f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 78f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // Loop over all of the basic blocks 79f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma for (MachineFunction::iterator MBBb = Fn.begin(), MBBe = Fn.end(); 80f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MBBb != MBBe; ++MBBb) { 81f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MachineBasicBlock* MBB = MBBb; 82f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // Traverse the basic block 83f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MachineBasicBlock::iterator MII = MBB->begin(); 84f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MachineBasicBlock::iterator MIE = MBB->end (); 85f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma while (MII != MIE) { 86f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MachineInstr *MI = MII; 87f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma int Opc = MI->getOpcode(); 88f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma if (Opc == Hexagon::CONST32_set) { 89f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma int DestReg = MI->getOperand(0).getReg(); 90f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MachineOperand &Symbol = MI->getOperand (1); 91f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 92f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 93f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::LO), DestReg).addOperand(Symbol); 94f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 95f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::HI), DestReg).addOperand(Symbol); 96f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // MBB->erase returns the iterator to the next instruction, which is the 97f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // one we want to process next 98f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MII = MBB->erase (MI); 99f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma continue; 100f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma } 101f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma else if (Opc == Hexagon::CONST32_set_jt) { 102f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma int DestReg = MI->getOperand(0).getReg(); 103f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MachineOperand &Symbol = MI->getOperand (1); 104f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 105f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 106f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::LO_jt), DestReg).addOperand(Symbol); 107f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 108f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::HI_jt), DestReg).addOperand(Symbol); 109f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // MBB->erase returns the iterator to the next instruction, which is the 110f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // one we want to process next 111f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MII = MBB->erase (MI); 112f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma continue; 113f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma } 114f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma else if (Opc == Hexagon::CONST32_Label) { 115f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma int DestReg = MI->getOperand(0).getReg(); 116f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MachineOperand &Symbol = MI->getOperand (1); 117f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 118f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 119f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::LO_label), DestReg).addOperand(Symbol); 120f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 121f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::HI_label), DestReg).addOperand(Symbol); 122f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // MBB->erase returns the iterator to the next instruction, which is the 123f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // one we want to process next 124f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MII = MBB->erase (MI); 125f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma continue; 126f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma } 127f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma else if (Opc == Hexagon::CONST32_Int_Real) { 128f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma int DestReg = MI->getOperand(0).getReg(); 129f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma int64_t ImmValue = MI->getOperand(1).getImm (); 130f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 131f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 132f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::LOi), DestReg).addImm(ImmValue); 133f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 134f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::HIi), DestReg).addImm(ImmValue); 135f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MII = MBB->erase (MI); 136f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma continue; 137f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma } 138f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma else if (Opc == Hexagon::CONST64_Int_Real) { 139f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma int DestReg = MI->getOperand(0).getReg(); 140f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma int64_t ImmValue = MI->getOperand(1).getImm (); 141f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma unsigned DestLo = 142f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma QTM.getRegisterInfo()->getSubReg (DestReg, Hexagon::subreg_loreg); 143f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma unsigned DestHi = 144f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma QTM.getRegisterInfo()->getSubReg (DestReg, Hexagon::subreg_hireg); 145f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 146f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma int32_t LowWord = (ImmValue & 0xFFFFFFFF); 147f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma int32_t HighWord = (ImmValue >> 32) & 0xFFFFFFFF; 148f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 149f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // Lower Registers Lower Half 150f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 151f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::LOi), DestLo).addImm(LowWord); 152f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // Lower Registers Higher Half 153f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 154f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::HIi), DestLo).addImm(LowWord); 155f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // Higher Registers Lower Half 156f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 157f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::LOi), DestHi).addImm(HighWord); 158f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma // Higher Registers Higher Half. 159f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma BuildMI (*MBB, MII, MI->getDebugLoc(), 160f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma TII->get(Hexagon::HIi), DestHi).addImm(HighWord); 161f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma MII = MBB->erase (MI); 162f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma continue; 163f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma } 164f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma ++MII; 165f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma } 166f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma } 167f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 168f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma return true; 169f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma} 170f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 171f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma} 172f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 173f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma//===----------------------------------------------------------------------===// 174f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma// Public Constructor Functions 175f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma//===----------------------------------------------------------------------===// 176f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma 177f931f691ee23d431135481fcf23a58658824ca67Jyotsna VermaFunctionPass * 178f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermallvm::createHexagonSplitConst32AndConst64(const HexagonTargetMachine &TM) { 179f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma return new HexagonSplitConst32AndConst64(TM); 180f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma} 181