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