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" |
Jakob Stoklund Olesen | 980daea | 2009-08-03 20:08:18 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 23 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 24 | #include "llvm/Target/TargetRegisterInfo.h" |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 25 | #include "llvm/Target/TargetInstrInfo.h" |
| 26 | #include "llvm/Target/TargetMachine.h" |
| 27 | #include "llvm/Support/Debug.h" |
| 28 | #include "llvm/Support/Compiler.h" |
Daniel Dunbar | ce63ffb | 2009-07-25 00:23:56 +0000 | [diff] [blame] | 29 | #include "llvm/Support/raw_ostream.h" |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 30 | using namespace llvm; |
| 31 | |
| 32 | namespace { |
| 33 | struct VISIBILITY_HIDDEN LowerSubregsInstructionPass |
| 34 | : public MachineFunctionPass { |
| 35 | static char ID; // Pass identification, replacement for typeid |
Dan Gohman | ae73dc1 | 2008-09-04 17:05:41 +0000 | [diff] [blame] | 36 | LowerSubregsInstructionPass() : MachineFunctionPass(&ID) {} |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 37 | |
| 38 | const char *getPassName() const { |
| 39 | return "Subregister lowering instruction pass"; |
| 40 | } |
| 41 | |
Evan Cheng | bbeeb2a | 2008-09-22 20:58:04 +0000 | [diff] [blame] | 42 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
Dan Gohman | 845012e | 2009-07-31 23:37:33 +0000 | [diff] [blame] | 43 | AU.setPreservesCFG(); |
Evan Cheng | 8b56a90 | 2008-09-22 22:21:38 +0000 | [diff] [blame] | 44 | AU.addPreservedID(MachineLoopInfoID); |
| 45 | AU.addPreservedID(MachineDominatorsID); |
Evan Cheng | bbeeb2a | 2008-09-22 20:58:04 +0000 | [diff] [blame] | 46 | MachineFunctionPass::getAnalysisUsage(AU); |
| 47 | } |
| 48 | |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 49 | /// runOnMachineFunction - pass entry point |
| 50 | bool runOnMachineFunction(MachineFunction&); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 51 | |
| 52 | bool LowerExtract(MachineInstr *MI); |
| 53 | bool LowerInsert(MachineInstr *MI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 54 | bool LowerSubregToReg(MachineInstr *MI); |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 55 | |
| 56 | void TransferDeadFlag(MachineInstr *MI, unsigned DstReg, |
| 57 | const TargetRegisterInfo &TRI); |
| 58 | void TransferKillFlag(MachineInstr *MI, unsigned SrcReg, |
| 59 | const TargetRegisterInfo &TRI); |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 60 | }; |
| 61 | |
| 62 | char LowerSubregsInstructionPass::ID = 0; |
| 63 | } |
| 64 | |
| 65 | FunctionPass *llvm::createLowerSubregsPass() { |
| 66 | return new LowerSubregsInstructionPass(); |
| 67 | } |
| 68 | |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 69 | /// TransferDeadFlag - MI is a pseudo-instruction with DstReg dead, |
| 70 | /// and the lowered replacement instructions immediately precede it. |
| 71 | /// Mark the replacement instructions with the dead flag. |
| 72 | void |
| 73 | LowerSubregsInstructionPass::TransferDeadFlag(MachineInstr *MI, |
| 74 | unsigned DstReg, |
| 75 | const TargetRegisterInfo &TRI) { |
| 76 | for (MachineBasicBlock::iterator MII = |
| 77 | prior(MachineBasicBlock::iterator(MI)); ; --MII) { |
| 78 | if (MII->addRegisterDead(DstReg, &TRI)) |
| 79 | break; |
| 80 | assert(MII != MI->getParent()->begin() && |
| 81 | "copyRegToReg output doesn't reference destination register!"); |
| 82 | } |
| 83 | } |
| 84 | |
| 85 | /// TransferKillFlag - MI is a pseudo-instruction with SrcReg killed, |
| 86 | /// and the lowered replacement instructions immediately precede it. |
| 87 | /// Mark the replacement instructions with the kill flag. |
| 88 | void |
| 89 | LowerSubregsInstructionPass::TransferKillFlag(MachineInstr *MI, |
| 90 | unsigned SrcReg, |
| 91 | const TargetRegisterInfo &TRI) { |
| 92 | for (MachineBasicBlock::iterator MII = |
| 93 | prior(MachineBasicBlock::iterator(MI)); ; --MII) { |
| 94 | if (MII->addRegisterKilled(SrcReg, &TRI)) |
| 95 | break; |
| 96 | assert(MII != MI->getParent()->begin() && |
| 97 | "copyRegToReg output doesn't reference source register!"); |
| 98 | } |
| 99 | } |
| 100 | |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 101 | bool LowerSubregsInstructionPass::LowerExtract(MachineInstr *MI) { |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 102 | MachineBasicBlock *MBB = MI->getParent(); |
| 103 | MachineFunction &MF = *MBB->getParent(); |
| 104 | const TargetRegisterInfo &TRI = *MF.getTarget().getRegisterInfo(); |
| 105 | const TargetInstrInfo &TII = *MF.getTarget().getInstrInfo(); |
Jakob Stoklund Olesen | ded2e3b | 2009-08-04 20:01:11 +0000 | [diff] [blame] | 106 | |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 107 | assert(MI->getOperand(0).isReg() && MI->getOperand(0).isDef() && |
| 108 | MI->getOperand(1).isReg() && MI->getOperand(1).isUse() && |
| 109 | MI->getOperand(2).isImm() && "Malformed extract_subreg"); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 110 | |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 111 | unsigned DstReg = MI->getOperand(0).getReg(); |
| 112 | unsigned SuperReg = MI->getOperand(1).getReg(); |
| 113 | unsigned SubIdx = MI->getOperand(2).getImm(); |
| 114 | unsigned SrcReg = TRI.getSubReg(SuperReg, SubIdx); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 115 | |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 116 | assert(TargetRegisterInfo::isPhysicalRegister(SuperReg) && |
| 117 | "Extract supperg source must be a physical register"); |
| 118 | assert(TargetRegisterInfo::isPhysicalRegister(DstReg) && |
Dan Gohman | f04865f | 2008-12-18 22:07:25 +0000 | [diff] [blame] | 119 | "Extract destination must be in a physical register"); |
Jakob Stoklund Olesen | ded2e3b | 2009-08-04 20:01:11 +0000 | [diff] [blame] | 120 | |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 121 | DOUT << "subreg: CONVERTING: " << *MI; |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 122 | |
Dan Gohman | 98c2069 | 2008-12-18 22:11:34 +0000 | [diff] [blame] | 123 | if (SrcReg == DstReg) { |
Jakob Stoklund Olesen | ded2e3b | 2009-08-04 20:01:11 +0000 | [diff] [blame] | 124 | // No need to insert an identity copy instruction. |
| 125 | if (MI->getOperand(1).isKill()) { |
| 126 | // We must make sure the super-register gets killed.Replace the |
| 127 | // instruction with IMPLICIT_DEF. |
| 128 | MI->setDesc(TII.get(TargetInstrInfo::IMPLICIT_DEF)); |
| 129 | MI->RemoveOperand(2); // SubIdx |
| 130 | DOUT << "subreg: replace by: " << *MI; |
| 131 | return true; |
| 132 | } |
Dan Gohman | 98c2069 | 2008-12-18 22:11:34 +0000 | [diff] [blame] | 133 | DOUT << "subreg: eliminated!"; |
| 134 | } else { |
| 135 | // Insert copy |
Anton Korobeynikov | d519756 | 2009-07-16 13:55:26 +0000 | [diff] [blame] | 136 | const TargetRegisterClass *TRCS = TRI.getPhysicalRegisterRegClass(DstReg); |
| 137 | const TargetRegisterClass *TRCD = TRI.getPhysicalRegisterRegClass(SrcReg); |
| 138 | bool Emitted = TII.copyRegToReg(*MBB, MI, DstReg, SrcReg, TRCD, TRCS); |
| 139 | (void)Emitted; |
| 140 | assert(Emitted && "Subreg and Dst must be of compatible register class"); |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 141 | // Transfer the kill/dead flags, if needed. |
| 142 | if (MI->getOperand(0).isDead()) |
| 143 | TransferDeadFlag(MI, DstReg, TRI); |
| 144 | if (MI->getOperand(1).isKill()) |
| 145 | TransferKillFlag(MI, SrcReg, TRI); |
| 146 | |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 147 | #ifndef NDEBUG |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 148 | MachineBasicBlock::iterator dMI = MI; |
| 149 | DOUT << "subreg: " << *(--dMI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 150 | #endif |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 151 | } |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 152 | |
Dan Gohman | 07af765 | 2008-12-18 22:06:01 +0000 | [diff] [blame] | 153 | DOUT << "\n"; |
| 154 | MBB->erase(MI); |
| 155 | return true; |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 156 | } |
| 157 | |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 158 | bool LowerSubregsInstructionPass::LowerSubregToReg(MachineInstr *MI) { |
| 159 | MachineBasicBlock *MBB = MI->getParent(); |
| 160 | MachineFunction &MF = *MBB->getParent(); |
| 161 | const TargetRegisterInfo &TRI = *MF.getTarget().getRegisterInfo(); |
| 162 | const TargetInstrInfo &TII = *MF.getTarget().getInstrInfo(); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 163 | assert((MI->getOperand(0).isReg() && MI->getOperand(0).isDef()) && |
| 164 | MI->getOperand(1).isImm() && |
| 165 | (MI->getOperand(2).isReg() && MI->getOperand(2).isUse()) && |
| 166 | MI->getOperand(3).isImm() && "Invalid subreg_to_reg"); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 167 | |
| 168 | unsigned DstReg = MI->getOperand(0).getReg(); |
| 169 | unsigned InsReg = MI->getOperand(2).getReg(); |
Evan Cheng | 7d6d4b3 | 2009-03-23 07:19:58 +0000 | [diff] [blame] | 170 | unsigned InsSIdx = MI->getOperand(2).getSubReg(); |
| 171 | unsigned SubIdx = MI->getOperand(3).getImm(); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 172 | |
| 173 | assert(SubIdx != 0 && "Invalid index for insert_subreg"); |
| 174 | unsigned DstSubReg = TRI.getSubReg(DstReg, SubIdx); |
Evan Cheng | 7d6d4b3 | 2009-03-23 07:19:58 +0000 | [diff] [blame] | 175 | |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 176 | assert(TargetRegisterInfo::isPhysicalRegister(DstReg) && |
| 177 | "Insert destination must be in a physical register"); |
| 178 | assert(TargetRegisterInfo::isPhysicalRegister(InsReg) && |
| 179 | "Inserted value must be in a physical register"); |
| 180 | |
| 181 | DOUT << "subreg: CONVERTING: " << *MI; |
| 182 | |
Evan Cheng | 7d6d4b3 | 2009-03-23 07:19:58 +0000 | [diff] [blame] | 183 | if (DstSubReg == InsReg && InsSIdx == 0) { |
Dan Gohman | e3d9206 | 2008-08-07 02:54:50 +0000 | [diff] [blame] | 184 | // No need to insert an identify copy instruction. |
Evan Cheng | 7d6d4b3 | 2009-03-23 07:19:58 +0000 | [diff] [blame] | 185 | // Watch out for case like this: |
| 186 | // %RAX<def> = ... |
| 187 | // %RAX<def> = SUBREG_TO_REG 0, %EAX:3<kill>, 3 |
| 188 | // The first def is defining RAX, not EAX so the top bits were not |
| 189 | // zero extended. |
Dan Gohman | e3d9206 | 2008-08-07 02:54:50 +0000 | [diff] [blame] | 190 | DOUT << "subreg: eliminated!"; |
| 191 | } else { |
| 192 | // Insert sub-register copy |
| 193 | const TargetRegisterClass *TRC0= TRI.getPhysicalRegisterRegClass(DstSubReg); |
| 194 | const TargetRegisterClass *TRC1= TRI.getPhysicalRegisterRegClass(InsReg); |
| 195 | TII.copyRegToReg(*MBB, MI, DstSubReg, InsReg, TRC0, TRC1); |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 196 | // Transfer the kill/dead flags, if needed. |
| 197 | if (MI->getOperand(0).isDead()) |
| 198 | TransferDeadFlag(MI, DstSubReg, TRI); |
| 199 | if (MI->getOperand(2).isKill()) |
| 200 | TransferKillFlag(MI, InsReg, TRI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 201 | |
| 202 | #ifndef NDEBUG |
Dan Gohman | 08293f6 | 2008-08-20 13:50:12 +0000 | [diff] [blame] | 203 | MachineBasicBlock::iterator dMI = MI; |
| 204 | DOUT << "subreg: " << *(--dMI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 205 | #endif |
Dan Gohman | e3d9206 | 2008-08-07 02:54:50 +0000 | [diff] [blame] | 206 | } |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 207 | |
| 208 | DOUT << "\n"; |
Dan Gohman | 2c3f7ae | 2008-07-17 23:49:46 +0000 | [diff] [blame] | 209 | MBB->erase(MI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 210 | return true; |
| 211 | } |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 212 | |
| 213 | bool LowerSubregsInstructionPass::LowerInsert(MachineInstr *MI) { |
| 214 | MachineBasicBlock *MBB = MI->getParent(); |
| 215 | MachineFunction &MF = *MBB->getParent(); |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 216 | const TargetRegisterInfo &TRI = *MF.getTarget().getRegisterInfo(); |
Owen Anderson | d10fd97 | 2007-12-31 06:32:00 +0000 | [diff] [blame] | 217 | const TargetInstrInfo &TII = *MF.getTarget().getInstrInfo(); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 218 | assert((MI->getOperand(0).isReg() && MI->getOperand(0).isDef()) && |
| 219 | (MI->getOperand(1).isReg() && MI->getOperand(1).isUse()) && |
| 220 | (MI->getOperand(2).isReg() && MI->getOperand(2).isUse()) && |
| 221 | MI->getOperand(3).isImm() && "Invalid insert_subreg"); |
Christopher Lamb | 1fab4a6 | 2008-03-11 10:09:17 +0000 | [diff] [blame] | 222 | |
| 223 | unsigned DstReg = MI->getOperand(0).getReg(); |
Devang Patel | 59500c8 | 2008-11-21 20:00:59 +0000 | [diff] [blame] | 224 | #ifndef NDEBUG |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 225 | unsigned SrcReg = MI->getOperand(1).getReg(); |
Devang Patel | 59500c8 | 2008-11-21 20:00:59 +0000 | [diff] [blame] | 226 | #endif |
Christopher Lamb | 1fab4a6 | 2008-03-11 10:09:17 +0000 | [diff] [blame] | 227 | unsigned InsReg = MI->getOperand(2).getReg(); |
| 228 | unsigned SubIdx = MI->getOperand(3).getImm(); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 229 | |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 230 | assert(DstReg == SrcReg && "insert_subreg not a two-address instruction?"); |
| 231 | assert(SubIdx != 0 && "Invalid index for insert_subreg"); |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 232 | unsigned DstSubReg = TRI.getSubReg(DstReg, SubIdx); |
Jakob Stoklund Olesen | 980daea | 2009-08-03 20:08:18 +0000 | [diff] [blame] | 233 | assert(DstSubReg && "invalid subregister index for register"); |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 234 | assert(TargetRegisterInfo::isPhysicalRegister(SrcReg) && |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 235 | "Insert superreg source must be in a physical register"); |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 236 | assert(TargetRegisterInfo::isPhysicalRegister(InsReg) && |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 237 | "Inserted value must be in a physical register"); |
| 238 | |
| 239 | DOUT << "subreg: CONVERTING: " << *MI; |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 240 | |
Evan Cheng | c3de802 | 2008-06-16 22:52:53 +0000 | [diff] [blame] | 241 | if (DstSubReg == InsReg) { |
Jakob Stoklund Olesen | 980daea | 2009-08-03 20:08:18 +0000 | [diff] [blame] | 242 | // No need to insert an identity copy instruction. If the SrcReg was |
| 243 | // <undef>, we need to make sure it is alive by inserting an IMPLICIT_DEF |
| 244 | if (MI->getOperand(1).isUndef() && !MI->getOperand(0).isDead()) { |
| 245 | BuildMI(*MBB, MI, MI->getDebugLoc(), |
| 246 | TII.get(TargetInstrInfo::IMPLICIT_DEF), DstReg) |
| 247 | .addReg(InsReg, RegState::ImplicitKill); |
| 248 | } else { |
| 249 | DOUT << "subreg: eliminated!\n"; |
| 250 | MBB->erase(MI); |
| 251 | return true; |
| 252 | } |
Evan Cheng | c3de802 | 2008-06-16 22:52:53 +0000 | [diff] [blame] | 253 | } else { |
| 254 | // Insert sub-register copy |
| 255 | const TargetRegisterClass *TRC0= TRI.getPhysicalRegisterRegClass(DstSubReg); |
| 256 | const TargetRegisterClass *TRC1= TRI.getPhysicalRegisterRegClass(InsReg); |
| 257 | TII.copyRegToReg(*MBB, MI, DstSubReg, InsReg, TRC0, TRC1); |
Jakob Stoklund Olesen | 980daea | 2009-08-03 20:08:18 +0000 | [diff] [blame] | 258 | MachineBasicBlock::iterator CopyMI = MI; |
| 259 | --CopyMI; |
| 260 | |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 261 | // Transfer the kill/dead flags, if needed. |
Jakob Stoklund Olesen | 980daea | 2009-08-03 20:08:18 +0000 | [diff] [blame] | 262 | if (MI->getOperand(0).isDead()) { |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 263 | TransferDeadFlag(MI, DstSubReg, TRI); |
Jakob Stoklund Olesen | 980daea | 2009-08-03 20:08:18 +0000 | [diff] [blame] | 264 | // Also add a SrcReg<imp-kill> of the super register. |
| 265 | CopyMI->addOperand(MachineOperand::CreateReg(DstReg, false, true, true)); |
| 266 | } else if (MI->getOperand(1).isUndef()) { |
| 267 | // If SrcReg was marked <undef> we must make sure it is alive after this |
| 268 | // replacement. Add a SrcReg<imp-def> operand. |
| 269 | CopyMI->addOperand(MachineOperand::CreateReg(DstReg, true, true)); |
| 270 | } |
| 271 | |
| 272 | // Make sure the inserted register gets killed |
| 273 | if (MI->getOperand(2).isKill()) |
Dan Gohman | a5b2fee | 2008-12-18 22:14:08 +0000 | [diff] [blame] | 274 | TransferKillFlag(MI, InsReg, TRI); |
Jakob Stoklund Olesen | 980daea | 2009-08-03 20:08:18 +0000 | [diff] [blame] | 275 | } |
Dan Gohman | 98c2069 | 2008-12-18 22:11:34 +0000 | [diff] [blame] | 276 | |
Christopher Lamb | 8b16573 | 2007-08-10 21:11:55 +0000 | [diff] [blame] | 277 | #ifndef NDEBUG |
Jakob Stoklund Olesen | 980daea | 2009-08-03 20:08:18 +0000 | [diff] [blame] | 278 | MachineBasicBlock::iterator dMI = MI; |
| 279 | DOUT << "subreg: " << *(--dMI); |
Christopher Lamb | 8b16573 | 2007-08-10 21:11:55 +0000 | [diff] [blame] | 280 | #endif |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 281 | |
| 282 | DOUT << "\n"; |
Dan Gohman | 2c3f7ae | 2008-07-17 23:49:46 +0000 | [diff] [blame] | 283 | MBB->erase(MI); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 284 | return true; |
| 285 | } |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 286 | |
| 287 | /// runOnMachineFunction - Reduce subregister inserts and extracts to register |
| 288 | /// copies. |
| 289 | /// |
| 290 | bool LowerSubregsInstructionPass::runOnMachineFunction(MachineFunction &MF) { |
| 291 | DOUT << "Machine Function\n"; |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 292 | |
| 293 | bool MadeChange = false; |
| 294 | |
| 295 | DOUT << "********** LOWERING SUBREG INSTRS **********\n"; |
Daniel Dunbar | ce63ffb | 2009-07-25 00:23:56 +0000 | [diff] [blame] | 296 | DEBUG(errs() << "********** Function: " |
| 297 | << MF.getFunction()->getName() << '\n'); |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 298 | |
| 299 | for (MachineFunction::iterator mbbi = MF.begin(), mbbe = MF.end(); |
| 300 | mbbi != mbbe; ++mbbi) { |
| 301 | for (MachineBasicBlock::iterator mi = mbbi->begin(), me = mbbi->end(); |
Christopher Lamb | 9836322 | 2007-08-06 16:33:56 +0000 | [diff] [blame] | 302 | mi != me;) { |
| 303 | MachineInstr *MI = mi++; |
| 304 | |
| 305 | if (MI->getOpcode() == TargetInstrInfo::EXTRACT_SUBREG) { |
| 306 | MadeChange |= LowerExtract(MI); |
| 307 | } else if (MI->getOpcode() == TargetInstrInfo::INSERT_SUBREG) { |
| 308 | MadeChange |= LowerInsert(MI); |
Christopher Lamb | c929823 | 2008-03-16 03:12:01 +0000 | [diff] [blame] | 309 | } else if (MI->getOpcode() == TargetInstrInfo::SUBREG_TO_REG) { |
| 310 | MadeChange |= LowerSubregToReg(MI); |
Christopher Lamb | bab2474 | 2007-07-26 08:18:32 +0000 | [diff] [blame] | 311 | } |
| 312 | } |
| 313 | } |
| 314 | |
| 315 | return MadeChange; |
| 316 | } |