HexagonSplitConst32AndConst64.cpp revision 36b56886974eae4f9c5ebc96befd3e7bfe5de338
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
20f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#define DEBUG_TYPE "xfer"
214a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling
224a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "HexagonTargetMachine.h"
234a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "HexagonMachineFunctionInfo.h"
2436b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "HexagonSubtarget.h"
254a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "llvm/ADT/Statistic.h"
26f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/LatencyPriorityQueue.h"
27f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/MachineDominators.h"
28f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/MachineFunctionPass.h"
294a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "llvm/CodeGen/MachineInstrBuilder.h"
30f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/MachineLoopInfo.h"
31f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/MachineRegisterInfo.h"
324a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "llvm/CodeGen/Passes.h"
334a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "llvm/CodeGen/ScheduleDAGInstrs.h"
34f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/CodeGen/ScheduleHazardRecognizer.h"
354a4844a022bee4ff904d4f32bd45f7fdaabb54b7Bill Wendling#include "llvm/CodeGen/SchedulerRegistry.h"
3636b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/Support/CommandLine.h"
37f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/Support/Compiler.h"
38f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/Support/Debug.h"
39f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include "llvm/Support/MathExtras.h"
4036b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/Target/TargetInstrInfo.h"
4136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/Target/TargetMachine.h"
4236b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/Target/TargetRegisterInfo.h"
43f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma#include <map>
44f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
45f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermausing namespace llvm;
46f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
47f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermanamespace {
48f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
49f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermaclass HexagonSplitConst32AndConst64 : public MachineFunctionPass {
50f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    const HexagonTargetMachine& QTM;
51f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    const HexagonSubtarget &QST;
52f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
53f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma public:
54f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    static char ID;
55f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    HexagonSplitConst32AndConst64(const HexagonTargetMachine& TM)
56f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      : MachineFunctionPass(ID), QTM(TM), QST(*TM.getSubtargetImpl()) {}
57f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
58f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    const char *getPassName() const {
59f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      return "Hexagon Split Const32s and Const64s";
60f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    }
61f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    bool runOnMachineFunction(MachineFunction &Fn);
62f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma};
63f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
64f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
65f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermachar HexagonSplitConst32AndConst64::ID = 0;
66f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
67f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
68f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermabool HexagonSplitConst32AndConst64::runOnMachineFunction(MachineFunction &Fn) {
69f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
70f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma  const TargetInstrInfo *TII = QTM.getInstrInfo();
71f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
72f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma  // Loop over all of the basic blocks
73f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma  for (MachineFunction::iterator MBBb = Fn.begin(), MBBe = Fn.end();
74f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma       MBBb != MBBe; ++MBBb) {
75f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    MachineBasicBlock* MBB = MBBb;
76f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    // Traverse the basic block
77f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    MachineBasicBlock::iterator MII = MBB->begin();
78f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    MachineBasicBlock::iterator MIE = MBB->end ();
79f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    while (MII != MIE) {
80f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      MachineInstr *MI = MII;
81f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      int Opc = MI->getOpcode();
82f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      if (Opc == Hexagon::CONST32_set) {
83f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        int DestReg = MI->getOperand(0).getReg();
84f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        MachineOperand &Symbol = MI->getOperand (1);
85f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
86f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
87f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::LO), DestReg).addOperand(Symbol);
88f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
89f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::HI), DestReg).addOperand(Symbol);
90f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        // MBB->erase returns the iterator to the next instruction, which is the
91f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        // one we want to process next
92f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        MII = MBB->erase (MI);
93f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        continue;
94f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      }
95f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      else if (Opc == Hexagon::CONST32_set_jt) {
96f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        int DestReg = MI->getOperand(0).getReg();
97f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        MachineOperand &Symbol = MI->getOperand (1);
98f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
99f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
100f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::LO_jt), DestReg).addOperand(Symbol);
101f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
102f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::HI_jt), DestReg).addOperand(Symbol);
103f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        // MBB->erase returns the iterator to the next instruction, which is the
104f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        // one we want to process next
105f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        MII = MBB->erase (MI);
106f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        continue;
107f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      }
108f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      else if (Opc == Hexagon::CONST32_Label) {
109f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        int DestReg = MI->getOperand(0).getReg();
110f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        MachineOperand &Symbol = MI->getOperand (1);
111f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
112f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
113f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::LO_label), DestReg).addOperand(Symbol);
114f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
115f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::HI_label), DestReg).addOperand(Symbol);
116f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        // MBB->erase returns the iterator to the next instruction, which is the
117f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        // one we want to process next
118f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        MII = MBB->erase (MI);
119f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        continue;
120f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      }
121f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      else if (Opc == Hexagon::CONST32_Int_Real) {
122f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        int DestReg = MI->getOperand(0).getReg();
123f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        int64_t ImmValue = MI->getOperand(1).getImm ();
124f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
125f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
126f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::LOi), DestReg).addImm(ImmValue);
127f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
128f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::HIi), DestReg).addImm(ImmValue);
129f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        MII = MBB->erase (MI);
130f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        continue;
131f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      }
132f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      else if (Opc == Hexagon::CONST64_Int_Real) {
133f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        int DestReg = MI->getOperand(0).getReg();
134f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        int64_t ImmValue = MI->getOperand(1).getImm ();
135f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        unsigned DestLo =
136f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma          QTM.getRegisterInfo()->getSubReg (DestReg, Hexagon::subreg_loreg);
137f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        unsigned DestHi =
138f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma          QTM.getRegisterInfo()->getSubReg (DestReg, Hexagon::subreg_hireg);
139f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
140f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        int32_t LowWord = (ImmValue & 0xFFFFFFFF);
141f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        int32_t HighWord = (ImmValue >> 32) & 0xFFFFFFFF;
142f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
143f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        // Lower Registers Lower Half
144f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
145f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::LOi), DestLo).addImm(LowWord);
146f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        // Lower Registers Higher Half
147f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
148f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::HIi), DestLo).addImm(LowWord);
149f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        // Higher Registers Lower Half
150f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
151f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::LOi), DestHi).addImm(HighWord);
152f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        // Higher Registers Higher Half.
153f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        BuildMI (*MBB, MII, MI->getDebugLoc(),
154f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma                 TII->get(Hexagon::HIi), DestHi).addImm(HighWord);
155f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        MII = MBB->erase (MI);
156f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma        continue;
157f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma       }
158f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma      ++MII;
159f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma    }
160f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma  }
161f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
162f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma  return true;
163f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma}
164f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
165f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma}
166f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
167f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma//===----------------------------------------------------------------------===//
168f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma//                         Public Constructor Functions
169f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma//===----------------------------------------------------------------------===//
170f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma
171f931f691ee23d431135481fcf23a58658824ca67Jyotsna VermaFunctionPass *
172f931f691ee23d431135481fcf23a58658824ca67Jyotsna Vermallvm::createHexagonSplitConst32AndConst64(const HexagonTargetMachine &TM) {
173f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma  return new HexagonSplitConst32AndConst64(TM);
174f931f691ee23d431135481fcf23a58658824ca67Jyotsna Verma}
175