Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 1 | //=== HexagonSplitConst32AndConst64.cpp - split CONST32/Const64 into HI/LO ===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // When the compiler is invoked with no small data, for instance, with the -G0 |
| 11 | // command line option, then all CONST32_* opcodes should be broken down into |
| 12 | // appropriate LO and HI instructions. This splitting is done by this pass. |
| 13 | // The only reason this is not done in the DAG lowering itself is that there |
| 14 | // is no simple way of getting the register allocator to allot the same hard |
| 15 | // register to the result of LO and HI instructions. This pass is always |
| 16 | // scheduled after register allocation. |
| 17 | // |
| 18 | //===----------------------------------------------------------------------===// |
Bill Wendling | 0cb8c0b | 2013-08-21 20:36:42 +0000 | [diff] [blame] | 19 | |
Bill Wendling | 0cb8c0b | 2013-08-21 20:36:42 +0000 | [diff] [blame] | 20 | #include "HexagonMachineFunctionInfo.h" |
Chandler Carruth | 8a8cd2b | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 21 | #include "HexagonSubtarget.h" |
Eric Christopher | 0120db5 | 2014-05-21 22:42:07 +0000 | [diff] [blame] | 22 | #include "HexagonTargetMachine.h" |
| 23 | #include "HexagonTargetObjectFile.h" |
Bill Wendling | 0cb8c0b | 2013-08-21 20:36:42 +0000 | [diff] [blame] | 24 | #include "llvm/ADT/Statistic.h" |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 25 | #include "llvm/CodeGen/LatencyPriorityQueue.h" |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 26 | #include "llvm/CodeGen/MachineDominators.h" |
| 27 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Bill Wendling | 0cb8c0b | 2013-08-21 20:36:42 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/MachineLoopInfo.h" |
| 30 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Bill Wendling | 0cb8c0b | 2013-08-21 20:36:42 +0000 | [diff] [blame] | 31 | #include "llvm/CodeGen/Passes.h" |
| 32 | #include "llvm/CodeGen/ScheduleDAGInstrs.h" |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 33 | #include "llvm/CodeGen/ScheduleHazardRecognizer.h" |
Bill Wendling | 0cb8c0b | 2013-08-21 20:36:42 +0000 | [diff] [blame] | 34 | #include "llvm/CodeGen/SchedulerRegistry.h" |
Chandler Carruth | 8a8cd2b | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 35 | #include "llvm/Support/CommandLine.h" |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 36 | #include "llvm/Support/Compiler.h" |
| 37 | #include "llvm/Support/Debug.h" |
Bill Wendling | 0cb8c0b | 2013-08-21 20:36:42 +0000 | [diff] [blame] | 38 | #include "llvm/Support/MathExtras.h" |
Chandler Carruth | 8a8cd2b | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 39 | #include "llvm/Target/TargetInstrInfo.h" |
| 40 | #include "llvm/Target/TargetMachine.h" |
| 41 | #include "llvm/Target/TargetRegisterInfo.h" |
Bill Wendling | 0cb8c0b | 2013-08-21 20:36:42 +0000 | [diff] [blame] | 42 | #include <map> |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 43 | |
| 44 | using namespace llvm; |
| 45 | |
Chandler Carruth | 84e68b2 | 2014-04-22 02:41:26 +0000 | [diff] [blame] | 46 | #define DEBUG_TYPE "xfer" |
| 47 | |
Colin LeMahieu | 56efafc | 2015-06-15 19:05:35 +0000 | [diff] [blame] | 48 | namespace llvm { |
| 49 | FunctionPass *createHexagonSplitConst32AndConst64(); |
| 50 | void initializeHexagonSplitConst32AndConst64Pass(PassRegistry&); |
| 51 | } |
| 52 | |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 53 | namespace { |
| 54 | |
| 55 | class HexagonSplitConst32AndConst64 : public MachineFunctionPass { |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 56 | public: |
| 57 | static char ID; |
Eric Christopher | 01f875e | 2015-02-02 22:11:43 +0000 | [diff] [blame] | 58 | HexagonSplitConst32AndConst64() : MachineFunctionPass(ID) {} |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 59 | |
Craig Topper | 906c2cd | 2014-04-29 07:58:16 +0000 | [diff] [blame] | 60 | const char *getPassName() const override { |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 61 | return "Hexagon Split Const32s and Const64s"; |
| 62 | } |
Craig Topper | 906c2cd | 2014-04-29 07:58:16 +0000 | [diff] [blame] | 63 | bool runOnMachineFunction(MachineFunction &Fn) override; |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 64 | }; |
| 65 | |
| 66 | |
| 67 | char HexagonSplitConst32AndConst64::ID = 0; |
| 68 | |
| 69 | |
| 70 | bool HexagonSplitConst32AndConst64::runOnMachineFunction(MachineFunction &Fn) { |
| 71 | |
Eric Christopher | 0120db5 | 2014-05-21 22:42:07 +0000 | [diff] [blame] | 72 | const HexagonTargetObjectFile &TLOF = |
Eric Christopher | 01f875e | 2015-02-02 22:11:43 +0000 | [diff] [blame] | 73 | *static_cast<const HexagonTargetObjectFile *>( |
| 74 | Fn.getTarget().getObjFileLowering()); |
Eric Christopher | 0120db5 | 2014-05-21 22:42:07 +0000 | [diff] [blame] | 75 | if (TLOF.IsSmallDataEnabled()) |
| 76 | return true; |
| 77 | |
Eric Christopher | 01f875e | 2015-02-02 22:11:43 +0000 | [diff] [blame] | 78 | const TargetInstrInfo *TII = Fn.getSubtarget().getInstrInfo(); |
Colin LeMahieu | 5425109 | 2015-03-09 20:11:02 +0000 | [diff] [blame] | 79 | const TargetRegisterInfo *TRI = Fn.getSubtarget().getRegisterInfo(); |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 80 | |
| 81 | // Loop over all of the basic blocks |
| 82 | for (MachineFunction::iterator MBBb = Fn.begin(), MBBe = Fn.end(); |
| 83 | MBBb != MBBe; ++MBBb) { |
| 84 | MachineBasicBlock* MBB = MBBb; |
| 85 | // Traverse the basic block |
| 86 | MachineBasicBlock::iterator MII = MBB->begin(); |
| 87 | MachineBasicBlock::iterator MIE = MBB->end (); |
| 88 | while (MII != MIE) { |
| 89 | MachineInstr *MI = MII; |
| 90 | int Opc = MI->getOpcode(); |
Krzysztof Parzyszek | cd97c98 | 2015-04-22 18:25:53 +0000 | [diff] [blame] | 91 | if (Opc == Hexagon::CONST32_Int_Real && |
| 92 | MI->getOperand(1).isBlockAddress()) { |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 93 | int DestReg = MI->getOperand(0).getReg(); |
| 94 | MachineOperand &Symbol = MI->getOperand (1); |
| 95 | |
| 96 | BuildMI (*MBB, MII, MI->getDebugLoc(), |
| 97 | TII->get(Hexagon::LO), DestReg).addOperand(Symbol); |
| 98 | BuildMI (*MBB, MII, MI->getDebugLoc(), |
| 99 | TII->get(Hexagon::HI), DestReg).addOperand(Symbol); |
| 100 | // MBB->erase returns the iterator to the next instruction, which is the |
| 101 | // one we want to process next |
| 102 | MII = MBB->erase (MI); |
| 103 | continue; |
| 104 | } |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 105 | |
Colin LeMahieu | 5425109 | 2015-03-09 20:11:02 +0000 | [diff] [blame] | 106 | else if (Opc == Hexagon::CONST32_Int_Real || |
| 107 | Opc == Hexagon::CONST32_Float_Real) { |
| 108 | int DestReg = MI->getOperand(0).getReg(); |
| 109 | |
| 110 | // We have to convert an FP immediate into its corresponding integer |
| 111 | // representation |
| 112 | int64_t ImmValue; |
| 113 | if (Opc == Hexagon::CONST32_Float_Real) { |
| 114 | APFloat Val = MI->getOperand(1).getFPImm()->getValueAPF(); |
| 115 | ImmValue = *Val.bitcastToAPInt().getRawData(); |
| 116 | } |
| 117 | else |
| 118 | ImmValue = MI->getOperand(1).getImm(); |
| 119 | |
| 120 | BuildMI(*MBB, MII, MI->getDebugLoc(), |
| 121 | TII->get(Hexagon::A2_tfrsi), DestReg).addImm(ImmValue); |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 122 | MII = MBB->erase (MI); |
| 123 | continue; |
| 124 | } |
Colin LeMahieu | 5425109 | 2015-03-09 20:11:02 +0000 | [diff] [blame] | 125 | else if (Opc == Hexagon::CONST64_Int_Real || |
| 126 | Opc == Hexagon::CONST64_Float_Real) { |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 127 | int DestReg = MI->getOperand(0).getReg(); |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 128 | |
Colin LeMahieu | 5425109 | 2015-03-09 20:11:02 +0000 | [diff] [blame] | 129 | // We have to convert an FP immediate into its corresponding integer |
| 130 | // representation |
| 131 | int64_t ImmValue; |
| 132 | if (Opc == Hexagon::CONST64_Float_Real) { |
| 133 | APFloat Val = MI->getOperand(1).getFPImm()->getValueAPF(); |
| 134 | ImmValue = *Val.bitcastToAPInt().getRawData(); |
| 135 | } |
| 136 | else |
| 137 | ImmValue = MI->getOperand(1).getImm(); |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 138 | |
Colin LeMahieu | 5425109 | 2015-03-09 20:11:02 +0000 | [diff] [blame] | 139 | unsigned DestLo = TRI->getSubReg(DestReg, Hexagon::subreg_loreg); |
| 140 | unsigned DestHi = TRI->getSubReg(DestReg, Hexagon::subreg_hireg); |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 141 | |
| 142 | int32_t LowWord = (ImmValue & 0xFFFFFFFF); |
| 143 | int32_t HighWord = (ImmValue >> 32) & 0xFFFFFFFF; |
| 144 | |
Colin LeMahieu | 5425109 | 2015-03-09 20:11:02 +0000 | [diff] [blame] | 145 | BuildMI(*MBB, MII, MI->getDebugLoc(), |
| 146 | TII->get(Hexagon::A2_tfrsi), DestLo).addImm(LowWord); |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 147 | BuildMI (*MBB, MII, MI->getDebugLoc(), |
Colin LeMahieu | 5425109 | 2015-03-09 20:11:02 +0000 | [diff] [blame] | 148 | TII->get(Hexagon::A2_tfrsi), DestHi).addImm(HighWord); |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 149 | MII = MBB->erase (MI); |
| 150 | continue; |
Colin LeMahieu | 5425109 | 2015-03-09 20:11:02 +0000 | [diff] [blame] | 151 | } |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 152 | ++MII; |
| 153 | } |
| 154 | } |
| 155 | |
| 156 | return true; |
| 157 | } |
| 158 | |
Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame^] | 159 | } |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 160 | |
| 161 | //===----------------------------------------------------------------------===// |
| 162 | // Public Constructor Functions |
| 163 | //===----------------------------------------------------------------------===// |
| 164 | |
| 165 | FunctionPass * |
Eric Christopher | 01f875e | 2015-02-02 22:11:43 +0000 | [diff] [blame] | 166 | llvm::createHexagonSplitConst32AndConst64() { |
| 167 | return new HexagonSplitConst32AndConst64(); |
Jyotsna Verma | 5eb5980 | 2013-05-07 19:53:00 +0000 | [diff] [blame] | 168 | } |