Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 1 | //===-- SILowerI1Copies.cpp - Lower I1 Copies -----------------------------===// |
| 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 | /// i1 values are usually inserted by the CFG Structurize pass and they are |
| 9 | /// unique in that they can be copied from VALU to SALU registers. |
| 10 | /// This is not possible for any other value type. Since there are no |
| 11 | /// MOV instructions for i1, we to use V_CMP_* and V_CNDMASK to move the i1. |
| 12 | /// |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | // |
| 15 | |
| 16 | #define DEBUG_TYPE "si-i1-copies" |
| 17 | #include "AMDGPU.h" |
Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame] | 18 | #include "AMDGPUSubtarget.h" |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 19 | #include "SIInstrInfo.h" |
| 20 | #include "llvm/CodeGen/LiveIntervalAnalysis.h" |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 22 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 23 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
| 24 | #include "llvm/IR/LLVMContext.h" |
| 25 | #include "llvm/IR/Function.h" |
| 26 | #include "llvm/Support/Debug.h" |
| 27 | #include "llvm/Target/TargetMachine.h" |
| 28 | |
| 29 | using namespace llvm; |
| 30 | |
| 31 | namespace { |
| 32 | |
| 33 | class SILowerI1Copies : public MachineFunctionPass { |
| 34 | public: |
| 35 | static char ID; |
| 36 | |
| 37 | public: |
| 38 | SILowerI1Copies() : MachineFunctionPass(ID) { |
| 39 | initializeSILowerI1CopiesPass(*PassRegistry::getPassRegistry()); |
| 40 | } |
| 41 | |
Craig Topper | fd38cbe | 2014-08-30 16:48:34 +0000 | [diff] [blame] | 42 | bool runOnMachineFunction(MachineFunction &MF) override; |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 43 | |
Craig Topper | fd38cbe | 2014-08-30 16:48:34 +0000 | [diff] [blame] | 44 | const char *getPassName() const override { |
Matt Arsenault | a52a41b | 2014-10-09 19:15:15 +0000 | [diff] [blame] | 45 | return "SI Lower i1 Copies"; |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 46 | } |
| 47 | |
Craig Topper | fd38cbe | 2014-08-30 16:48:34 +0000 | [diff] [blame] | 48 | void getAnalysisUsage(AnalysisUsage &AU) const override { |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 49 | AU.setPreservesCFG(); |
| 50 | MachineFunctionPass::getAnalysisUsage(AU); |
| 51 | } |
| 52 | }; |
| 53 | |
| 54 | } // End anonymous namespace. |
| 55 | |
Matt Arsenault | 427c548 | 2016-02-11 06:15:34 +0000 | [diff] [blame] | 56 | INITIALIZE_PASS(SILowerI1Copies, DEBUG_TYPE, |
| 57 | "SI Lower i1 Copies", false, false) |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 58 | |
| 59 | char SILowerI1Copies::ID = 0; |
| 60 | |
| 61 | char &llvm::SILowerI1CopiesID = SILowerI1Copies::ID; |
| 62 | |
| 63 | FunctionPass *llvm::createSILowerI1CopiesPass() { |
| 64 | return new SILowerI1Copies(); |
| 65 | } |
| 66 | |
| 67 | bool SILowerI1Copies::runOnMachineFunction(MachineFunction &MF) { |
| 68 | MachineRegisterInfo &MRI = MF.getRegInfo(); |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 69 | const SISubtarget &ST = MF.getSubtarget<SISubtarget>(); |
| 70 | const SIInstrInfo *TII = ST.getInstrInfo(); |
| 71 | const TargetRegisterInfo *TRI = &TII->getRegisterInfo(); |
| 72 | |
Tom Stellard | 365a2b4 | 2014-05-15 14:41:50 +0000 | [diff] [blame] | 73 | std::vector<unsigned> I1Defs; |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 74 | |
| 75 | for (MachineFunction::iterator BI = MF.begin(), BE = MF.end(); |
| 76 | BI != BE; ++BI) { |
| 77 | |
| 78 | MachineBasicBlock &MBB = *BI; |
| 79 | MachineBasicBlock::iterator I, Next; |
| 80 | for (I = MBB.begin(); I != MBB.end(); I = Next) { |
| 81 | Next = std::next(I); |
| 82 | MachineInstr &MI = *I; |
| 83 | |
Matt Arsenault | 7285893 | 2014-11-14 18:43:41 +0000 | [diff] [blame] | 84 | if (MI.getOpcode() == AMDGPU::IMPLICIT_DEF) { |
| 85 | unsigned Reg = MI.getOperand(0).getReg(); |
| 86 | const TargetRegisterClass *RC = MRI.getRegClass(Reg); |
| 87 | if (RC == &AMDGPU::VReg_1RegClass) |
| 88 | MRI.setRegClass(Reg, &AMDGPU::SReg_64RegClass); |
| 89 | continue; |
| 90 | } |
| 91 | |
Matt Arsenault | becd656 | 2014-12-03 05:22:35 +0000 | [diff] [blame] | 92 | if (MI.getOpcode() != AMDGPU::COPY) |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 93 | continue; |
| 94 | |
Matt Arsenault | becd656 | 2014-12-03 05:22:35 +0000 | [diff] [blame] | 95 | const MachineOperand &Dst = MI.getOperand(0); |
| 96 | const MachineOperand &Src = MI.getOperand(1); |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 97 | |
Matt Arsenault | becd656 | 2014-12-03 05:22:35 +0000 | [diff] [blame] | 98 | if (!TargetRegisterInfo::isVirtualRegister(Src.getReg()) || |
| 99 | !TargetRegisterInfo::isVirtualRegister(Dst.getReg())) |
| 100 | continue; |
| 101 | |
| 102 | const TargetRegisterClass *DstRC = MRI.getRegClass(Dst.getReg()); |
| 103 | const TargetRegisterClass *SrcRC = MRI.getRegClass(Src.getReg()); |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 104 | |
| 105 | if (DstRC == &AMDGPU::VReg_1RegClass && |
| 106 | TRI->getCommonSubClass(SrcRC, &AMDGPU::SGPR_64RegClass)) { |
Matt Arsenault | becd656 | 2014-12-03 05:22:35 +0000 | [diff] [blame] | 107 | I1Defs.push_back(Dst.getReg()); |
| 108 | DebugLoc DL = MI.getDebugLoc(); |
| 109 | |
| 110 | MachineInstr *DefInst = MRI.getUniqueVRegDef(Src.getReg()); |
| 111 | if (DefInst->getOpcode() == AMDGPU::S_MOV_B64) { |
| 112 | if (DefInst->getOperand(1).isImm()) { |
| 113 | I1Defs.push_back(Dst.getReg()); |
| 114 | |
| 115 | int64_t Val = DefInst->getOperand(1).getImm(); |
| 116 | assert(Val == 0 || Val == -1); |
| 117 | |
| 118 | BuildMI(MBB, &MI, DL, TII->get(AMDGPU::V_MOV_B32_e32)) |
| 119 | .addOperand(Dst) |
| 120 | .addImm(Val); |
| 121 | MI.eraseFromParent(); |
| 122 | continue; |
| 123 | } |
| 124 | } |
| 125 | |
| 126 | BuildMI(MBB, &MI, DL, TII->get(AMDGPU::V_CNDMASK_B32_e64)) |
| 127 | .addOperand(Dst) |
| 128 | .addImm(0) |
| 129 | .addImm(-1) |
| 130 | .addOperand(Src); |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 131 | MI.eraseFromParent(); |
| 132 | } else if (TRI->getCommonSubClass(DstRC, &AMDGPU::SGPR_64RegClass) && |
| 133 | SrcRC == &AMDGPU::VReg_1RegClass) { |
| 134 | BuildMI(MBB, &MI, MI.getDebugLoc(), TII->get(AMDGPU::V_CMP_NE_I32_e64)) |
Matt Arsenault | becd656 | 2014-12-03 05:22:35 +0000 | [diff] [blame] | 135 | .addOperand(Dst) |
| 136 | .addOperand(Src) |
| 137 | .addImm(0); |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 138 | MI.eraseFromParent(); |
| 139 | } |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 140 | } |
| 141 | } |
Tom Stellard | 365a2b4 | 2014-05-15 14:41:50 +0000 | [diff] [blame] | 142 | |
| 143 | for (unsigned Reg : I1Defs) |
Tom Stellard | 45c0b3a | 2015-01-07 20:59:25 +0000 | [diff] [blame] | 144 | MRI.setRegClass(Reg, &AMDGPU::VGPR_32RegClass); |
Tom Stellard | 365a2b4 | 2014-05-15 14:41:50 +0000 | [diff] [blame] | 145 | |
Tom Stellard | 1bd8072 | 2014-04-30 15:31:33 +0000 | [diff] [blame] | 146 | return false; |
| 147 | } |