Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 1 | //===-- LowerSubregs.cpp - Subregister Lowering instruction pass ----------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
Dan Gohman | bd0f144 | 2008-09-24 23:44:12 +0000 | [diff] [blame] | 9 | // |
| 10 | // This file defines a MachineFunction pass which runs after register |
| 11 | // allocation that turns subreg insert/extract instructions into register |
| 12 | // copies, as needed. This ensures correct codegen even if the coalescer |
| 13 | // isn't able to remove all subreg instructions. |
| 14 | // |
| 15 | //===----------------------------------------------------------------------===// |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 16 | |
| 17 | #define DEBUG_TYPE "lowersubregs" |
| 18 | #include "llvm/CodeGen/Passes.h" |
| 19 | #include "llvm/Function.h" |
| 20 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 21 | #include "llvm/CodeGen/MachineInstr.h" |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 23 | #include "llvm/Target/TargetRegisterInfo.h" |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 24 | #include "llvm/Target/TargetInstrInfo.h" |
| 25 | #include "llvm/Target/TargetMachine.h" |
| 26 | #include "llvm/Support/Debug.h" |
| 27 | #include "llvm/Support/Compiler.h" |
| 28 | using namespace llvm; |
| 29 | |
| 30 | namespace { |
| 31 | struct VISIBILITY_HIDDEN LowerSubregsInstructionPass |
| 32 | : public MachineFunctionPass { |
| 33 | static char ID; // Pass identification, replacement for typeid |
Dan Gohman | ae73dc1 | 2008-09-04 17:05:41 +0000 | [diff] [blame] | 34 | LowerSubregsInstructionPass() : MachineFunctionPass(&ID) {} |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 35 | |
| 36 | const char *getPassName() const { |
| 37 | return "Subregister lowering instruction pass"; |
| 38 | } |
| 39 | |
Evan Cheng | bbeeb2a | 2008-09-22 20:58:04 +0000 | [diff] [blame] | 40 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
Evan Cheng | 8b56a90 | 2008-09-22 22:21:38 +0000 | [diff] [blame] | 41 | AU.addPreservedID(MachineLoopInfoID); |
| 42 | AU.addPreservedID(MachineDominatorsID); |
Evan Cheng | bbeeb2a | 2008-09-22 20:58:04 +0000 | [diff] [blame] | 43 | MachineFunctionPass::getAnalysisUsage(AU); |
| 44 | } |
| 45 | |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 46 | /// runOnMachineFunction - pass entry point |
| 47 | bool runOnMachineFunction(MachineFunction&); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 48 | |
| 49 | bool LowerExtract(MachineInstr *MI); |
| 50 | bool LowerInsert(MachineInstr *MI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 51 | bool LowerSubregToReg(MachineInstr *MI); |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 52 | |
| 53 | void TransferDeadFlag(MachineInstr *MI, unsigned DstReg, |
| 54 | const TargetRegisterInfo &TRI); |
| 55 | void TransferKillFlag(MachineInstr *MI, unsigned SrcReg, |
| 56 | const TargetRegisterInfo &TRI); |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 57 | }; |
| 58 | |
| 59 | char LowerSubregsInstructionPass::ID = 0; |
| 60 | } |
| 61 | |
| 62 | FunctionPass *llvm::createLowerSubregsPass() { |
| 63 | return new LowerSubregsInstructionPass(); |
| 64 | } |
| 65 | |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 66 | /// TransferDeadFlag - MI is a pseudo-instruction with DstReg dead, |
| 67 | /// and the lowered replacement instructions immediately precede it. |
| 68 | /// Mark the replacement instructions with the dead flag. |
| 69 | void |
| 70 | LowerSubregsInstructionPass::TransferDeadFlag(MachineInstr *MI, |
| 71 | unsigned DstReg, |
| 72 | const TargetRegisterInfo &TRI) { |
| 73 | for (MachineBasicBlock::iterator MII = |
| 74 | prior(MachineBasicBlock::iterator(MI)); ; --MII) { |
| 75 | if (MII->addRegisterDead(DstReg, &TRI)) |
| 76 | break; |
| 77 | assert(MII != MI->getParent()->begin() && |
| 78 | "copyRegToReg output doesn't reference destination register!"); |
| 79 | } |
| 80 | } |
| 81 | |
| 82 | /// TransferKillFlag - MI is a pseudo-instruction with SrcReg killed, |
| 83 | /// and the lowered replacement instructions immediately precede it. |
| 84 | /// Mark the replacement instructions with the kill flag. |
| 85 | void |
| 86 | LowerSubregsInstructionPass::TransferKillFlag(MachineInstr *MI, |
| 87 | unsigned SrcReg, |
| 88 | const TargetRegisterInfo &TRI) { |
| 89 | for (MachineBasicBlock::iterator MII = |
| 90 | prior(MachineBasicBlock::iterator(MI)); ; --MII) { |
| 91 | if (MII->addRegisterKilled(SrcReg, &TRI)) |
| 92 | break; |
| 93 | assert(MII != MI->getParent()->begin() && |
| 94 | "copyRegToReg output doesn't reference source register!"); |
| 95 | } |
| 96 | } |
| 97 | |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 98 | bool LowerSubregsInstructionPass::LowerExtract(MachineInstr *MI) { |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 99 | MachineBasicBlock *MBB = MI->getParent(); |
| 100 | MachineFunction &MF = *MBB->getParent(); |
| 101 | const TargetRegisterInfo &TRI = *MF.getTarget().getRegisterInfo(); |
| 102 | const TargetInstrInfo &TII = *MF.getTarget().getInstrInfo(); |
| 103 | |
| 104 | assert(MI->getOperand(0).isReg() && MI->getOperand(0).isDef() && |
| 105 | MI->getOperand(1).isReg() && MI->getOperand(1).isUse() && |
| 106 | MI->getOperand(2).isImm() && "Malformed extract_subreg"); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 107 | |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 108 | unsigned DstReg = MI->getOperand(0).getReg(); |
| 109 | unsigned SuperReg = MI->getOperand(1).getReg(); |
| 110 | unsigned SubIdx = MI->getOperand(2).getImm(); |
| 111 | unsigned SrcReg = TRI.getSubReg(SuperReg, SubIdx); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 112 | |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 113 | assert(TargetRegisterInfo::isPhysicalRegister(SuperReg) && |
| 114 | "Extract supperg source must be a physical register"); |
| 115 | assert(TargetRegisterInfo::isPhysicalRegister(DstReg) && |
Dan Gohman | f04865f | 2008-12-18 22:07:25 +0000 | [diff] [blame] | 116 | "Extract destination must be in a physical register"); |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 117 | |
| 118 | DOUT << "subreg: CONVERTING: " << *MI; |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 119 | |
Dan Gohman | 98c2069 | 2008-12-18 22:11:34 +0000 | [diff] [blame] | 120 | if (SrcReg == DstReg) { |
| 121 | // No need to insert an identify copy instruction. |
| 122 | DOUT << "subreg: eliminated!"; |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 123 | // Find the kill of the destination register's live range, and insert |
| 124 | // a kill of the source register at that point. |
| 125 | if (MI->getOperand(1).isKill() && !MI->getOperand(0).isDead()) |
| 126 | for (MachineBasicBlock::iterator MII = |
| 127 | next(MachineBasicBlock::iterator(MI)); |
| 128 | MII != MBB->end(); ++MII) |
| 129 | if (MII->killsRegister(DstReg, &TRI)) { |
| 130 | MII->addRegisterKilled(SuperReg, &TRI, /*AddIfNotFound=*/true); |
| 131 | break; |
| 132 | } |
Dan Gohman | 98c2069 | 2008-12-18 22:11:34 +0000 | [diff] [blame] | 133 | } else { |
| 134 | // Insert copy |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 135 | const TargetRegisterClass *TRC = TRI.getPhysicalRegisterRegClass(DstReg); |
| 136 | assert(TRC == TRI.getPhysicalRegisterRegClass(SrcReg) && |
| 137 | "Extract subreg and Dst must be of same register class"); |
| 138 | TII.copyRegToReg(*MBB, MI, DstReg, SrcReg, TRC, TRC); |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 139 | // Transfer the kill/dead flags, if needed. |
| 140 | if (MI->getOperand(0).isDead()) |
| 141 | TransferDeadFlag(MI, DstReg, TRI); |
| 142 | if (MI->getOperand(1).isKill()) |
| 143 | TransferKillFlag(MI, SrcReg, TRI); |
| 144 | |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 145 | #ifndef NDEBUG |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 146 | MachineBasicBlock::iterator dMI = MI; |
| 147 | DOUT << "subreg: " << *(--dMI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 148 | #endif |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 149 | } |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 150 | |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 151 | DOUT << "\n"; |
| 152 | MBB->erase(MI); |
| 153 | return true; |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 154 | } |
| 155 | |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 156 | bool LowerSubregsInstructionPass::LowerSubregToReg(MachineInstr *MI) { |
| 157 | MachineBasicBlock *MBB = MI->getParent(); |
| 158 | MachineFunction &MF = *MBB->getParent(); |
| 159 | const TargetRegisterInfo &TRI = *MF.getTarget().getRegisterInfo(); |
| 160 | const TargetInstrInfo &TII = *MF.getTarget().getInstrInfo(); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 161 | assert((MI->getOperand(0).isReg() && MI->getOperand(0).isDef()) && |
| 162 | MI->getOperand(1).isImm() && |
| 163 | (MI->getOperand(2).isReg() && MI->getOperand(2).isUse()) && |
| 164 | MI->getOperand(3).isImm() && "Invalid subreg_to_reg"); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 165 | |
| 166 | unsigned DstReg = MI->getOperand(0).getReg(); |
| 167 | unsigned InsReg = MI->getOperand(2).getReg(); |
| 168 | unsigned SubIdx = MI->getOperand(3).getImm(); |
| 169 | |
| 170 | assert(SubIdx != 0 && "Invalid index for insert_subreg"); |
| 171 | unsigned DstSubReg = TRI.getSubReg(DstReg, SubIdx); |
| 172 | |
| 173 | assert(TargetRegisterInfo::isPhysicalRegister(DstReg) && |
| 174 | "Insert destination must be in a physical register"); |
| 175 | assert(TargetRegisterInfo::isPhysicalRegister(InsReg) && |
| 176 | "Inserted value must be in a physical register"); |
| 177 | |
| 178 | DOUT << "subreg: CONVERTING: " << *MI; |
| 179 | |
Dan Gohman | e3d9206 | 2008-08-07 02:54:50 +0000 | [diff] [blame] | 180 | if (DstSubReg == InsReg) { |
| 181 | // No need to insert an identify copy instruction. |
| 182 | DOUT << "subreg: eliminated!"; |
| 183 | } else { |
| 184 | // Insert sub-register copy |
| 185 | const TargetRegisterClass *TRC0= TRI.getPhysicalRegisterRegClass(DstSubReg); |
| 186 | const TargetRegisterClass *TRC1= TRI.getPhysicalRegisterRegClass(InsReg); |
| 187 | TII.copyRegToReg(*MBB, MI, DstSubReg, InsReg, TRC0, TRC1); |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 188 | // Transfer the kill/dead flags, if needed. |
| 189 | if (MI->getOperand(0).isDead()) |
| 190 | TransferDeadFlag(MI, DstSubReg, TRI); |
| 191 | if (MI->getOperand(2).isKill()) |
| 192 | TransferKillFlag(MI, InsReg, TRI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 193 | |
| 194 | #ifndef NDEBUG |
Dan Gohman | 08293f6 | 2008-08-20 13:50:12 +0000 | [diff] [blame] | 195 | MachineBasicBlock::iterator dMI = MI; |
| 196 | DOUT << "subreg: " << *(--dMI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 197 | #endif |
Dan Gohman | e3d9206 | 2008-08-07 02:54:50 +0000 | [diff] [blame] | 198 | } |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 199 | |
| 200 | DOUT << "\n"; |
Dan Gohman | 2c3f7ae | 2008-07-17 23:49:46 +0000 | [diff] [blame] | 201 | MBB->erase(MI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 202 | return true; |
| 203 | } |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 204 | |
| 205 | bool LowerSubregsInstructionPass::LowerInsert(MachineInstr *MI) { |
| 206 | MachineBasicBlock *MBB = MI->getParent(); |
| 207 | MachineFunction &MF = *MBB->getParent(); |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 208 | const TargetRegisterInfo &TRI = *MF.getTarget().getRegisterInfo(); |
Owen Anderson | d10fd97 | 2007-12-31 06:32:00 +0000 | [diff] [blame] | 209 | const TargetInstrInfo &TII = *MF.getTarget().getInstrInfo(); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 210 | assert((MI->getOperand(0).isReg() && MI->getOperand(0).isDef()) && |
| 211 | (MI->getOperand(1).isReg() && MI->getOperand(1).isUse()) && |
| 212 | (MI->getOperand(2).isReg() && MI->getOperand(2).isUse()) && |
| 213 | MI->getOperand(3).isImm() && "Invalid insert_subreg"); |
Christopher Lamb | 1fab4a6 | 2008-03-11 10:09:17 +0000 | [diff] [blame] | 214 | |
| 215 | unsigned DstReg = MI->getOperand(0).getReg(); |
Devang Patel | 59500c8 | 2008-11-21 20:00:59 +0000 | [diff] [blame] | 216 | #ifndef NDEBUG |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 217 | unsigned SrcReg = MI->getOperand(1).getReg(); |
Devang Patel | 59500c8 | 2008-11-21 20:00:59 +0000 | [diff] [blame] | 218 | #endif |
Christopher Lamb | 1fab4a6 | 2008-03-11 10:09:17 +0000 | [diff] [blame] | 219 | unsigned InsReg = MI->getOperand(2).getReg(); |
| 220 | unsigned SubIdx = MI->getOperand(3).getImm(); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 221 | |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 222 | assert(DstReg == SrcReg && "insert_subreg not a two-address instruction?"); |
| 223 | assert(SubIdx != 0 && "Invalid index for insert_subreg"); |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 224 | unsigned DstSubReg = TRI.getSubReg(DstReg, SubIdx); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 225 | |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 226 | assert(TargetRegisterInfo::isPhysicalRegister(SrcReg) && |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 227 | "Insert superreg source must be in a physical register"); |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 228 | assert(TargetRegisterInfo::isPhysicalRegister(InsReg) && |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 229 | "Inserted value must be in a physical register"); |
| 230 | |
| 231 | DOUT << "subreg: CONVERTING: " << *MI; |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 232 | |
Evan Cheng | c3de802 | 2008-06-16 22:52:53 +0000 | [diff] [blame] | 233 | if (DstSubReg == InsReg) { |
| 234 | // No need to insert an identify copy instruction. |
| 235 | DOUT << "subreg: eliminated!"; |
| 236 | } else { |
| 237 | // Insert sub-register copy |
| 238 | const TargetRegisterClass *TRC0= TRI.getPhysicalRegisterRegClass(DstSubReg); |
| 239 | const TargetRegisterClass *TRC1= TRI.getPhysicalRegisterRegClass(InsReg); |
| 240 | TII.copyRegToReg(*MBB, MI, DstSubReg, InsReg, TRC0, TRC1); |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 241 | // Transfer the kill/dead flags, if needed. |
| 242 | if (MI->getOperand(0).isDead()) |
| 243 | TransferDeadFlag(MI, DstSubReg, TRI); |
| 244 | if (MI->getOperand(1).isKill()) |
| 245 | TransferKillFlag(MI, InsReg, TRI); |
Dan Gohman | 98c2069 | 2008-12-18 22:11:34 +0000 | [diff] [blame] | 246 | |
Christopher Lamb | 8b16573 | 2007-08-10 21:11:55 +0000 | [diff] [blame] | 247 | #ifndef NDEBUG |
Evan Cheng | c3de802 | 2008-06-16 22:52:53 +0000 | [diff] [blame] | 248 | MachineBasicBlock::iterator dMI = MI; |
| 249 | DOUT << "subreg: " << *(--dMI); |
Christopher Lamb | 8b16573 | 2007-08-10 21:11:55 +0000 | [diff] [blame] | 250 | #endif |
Evan Cheng | c3de802 | 2008-06-16 22:52:53 +0000 | [diff] [blame] | 251 | } |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 252 | |
| 253 | DOUT << "\n"; |
Dan Gohman | 2c3f7ae | 2008-07-17 23:49:46 +0000 | [diff] [blame] | 254 | MBB->erase(MI); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 255 | return true; |
| 256 | } |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 257 | |
| 258 | /// runOnMachineFunction - Reduce subregister inserts and extracts to register |
| 259 | /// copies. |
| 260 | /// |
| 261 | bool LowerSubregsInstructionPass::runOnMachineFunction(MachineFunction &MF) { |
| 262 | DOUT << "Machine Function\n"; |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 263 | |
| 264 | bool MadeChange = false; |
| 265 | |
| 266 | DOUT << "********** LOWERING SUBREG INSTRS **********\n"; |
| 267 | DOUT << "********** Function: " << MF.getFunction()->getName() << '\n'; |
| 268 | |
| 269 | for (MachineFunction::iterator mbbi = MF.begin(), mbbe = MF.end(); |
| 270 | mbbi != mbbe; ++mbbi) { |
| 271 | for (MachineBasicBlock::iterator mi = mbbi->begin(), me = mbbi->end(); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 272 | mi != me;) { |
| 273 | MachineInstr *MI = mi++; |
| 274 | |
| 275 | if (MI->getOpcode() == TargetInstrInfo::EXTRACT_SUBREG) { |
| 276 | MadeChange |= LowerExtract(MI); |
| 277 | } else if (MI->getOpcode() == TargetInstrInfo::INSERT_SUBREG) { |
| 278 | MadeChange |= LowerInsert(MI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 279 | } else if (MI->getOpcode() == TargetInstrInfo::SUBREG_TO_REG) { |
| 280 | MadeChange |= LowerSubregToReg(MI); |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 281 | } |
| 282 | } |
| 283 | } |
| 284 | |
| 285 | return MadeChange; |
| 286 | } |