Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | //===-- FPMover.cpp - Sparc double-precision floating point move fixer ----===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 081ce94 | 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. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // Expand FpMOVD/FpABSD/FpNEGD instructions into their single-precision pieces. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #define DEBUG_TYPE "fpmover" |
| 15 | #include "Sparc.h" |
| 16 | #include "SparcSubtarget.h" |
| 17 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 18 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 19 | #include "llvm/Target/TargetMachine.h" |
| 20 | #include "llvm/Target/TargetInstrInfo.h" |
| 21 | #include "llvm/ADT/Statistic.h" |
| 22 | #include "llvm/Support/Debug.h" |
Edwin Török | 675d562 | 2009-07-11 20:10:48 +0000 | [diff] [blame] | 23 | #include "llvm/Support/ErrorHandling.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 24 | using namespace llvm; |
| 25 | |
| 26 | STATISTIC(NumFpDs , "Number of instructions translated"); |
| 27 | STATISTIC(NoopFpDs, "Number of noop instructions removed"); |
| 28 | |
| 29 | namespace { |
| 30 | struct FPMover : public MachineFunctionPass { |
| 31 | /// Target machine description which we query for reg. names, data |
| 32 | /// layout, etc. |
| 33 | /// |
| 34 | TargetMachine &TM; |
| 35 | |
| 36 | static char ID; |
Dan Gohman | edd345c | 2009-02-18 16:37:45 +0000 | [diff] [blame] | 37 | explicit FPMover(TargetMachine &tm) |
Dan Gohman | 26f8c27 | 2008-09-04 17:05:41 +0000 | [diff] [blame] | 38 | : MachineFunctionPass(&ID), TM(tm) { } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 39 | |
| 40 | virtual const char *getPassName() const { |
| 41 | return "Sparc Double-FP Move Fixer"; |
| 42 | } |
| 43 | |
| 44 | bool runOnMachineBasicBlock(MachineBasicBlock &MBB); |
| 45 | bool runOnMachineFunction(MachineFunction &F); |
| 46 | }; |
| 47 | char FPMover::ID = 0; |
| 48 | } // end of anonymous namespace |
| 49 | |
| 50 | /// createSparcFPMoverPass - Returns a pass that turns FpMOVD |
| 51 | /// instructions into FMOVS instructions |
| 52 | /// |
| 53 | FunctionPass *llvm::createSparcFPMoverPass(TargetMachine &tm) { |
| 54 | return new FPMover(tm); |
| 55 | } |
| 56 | |
| 57 | /// getDoubleRegPair - Given a DFP register, return the even and odd FP |
| 58 | /// registers that correspond to it. |
| 59 | static void getDoubleRegPair(unsigned DoubleReg, unsigned &EvenReg, |
| 60 | unsigned &OddReg) { |
| 61 | static const unsigned EvenHalvesOfPairs[] = { |
| 62 | SP::F0, SP::F2, SP::F4, SP::F6, SP::F8, SP::F10, SP::F12, SP::F14, |
| 63 | SP::F16, SP::F18, SP::F20, SP::F22, SP::F24, SP::F26, SP::F28, SP::F30 |
| 64 | }; |
| 65 | static const unsigned OddHalvesOfPairs[] = { |
| 66 | SP::F1, SP::F3, SP::F5, SP::F7, SP::F9, SP::F11, SP::F13, SP::F15, |
| 67 | SP::F17, SP::F19, SP::F21, SP::F23, SP::F25, SP::F27, SP::F29, SP::F31 |
| 68 | }; |
| 69 | static const unsigned DoubleRegsInOrder[] = { |
| 70 | SP::D0, SP::D1, SP::D2, SP::D3, SP::D4, SP::D5, SP::D6, SP::D7, SP::D8, |
| 71 | SP::D9, SP::D10, SP::D11, SP::D12, SP::D13, SP::D14, SP::D15 |
| 72 | }; |
| 73 | for (unsigned i = 0; i < sizeof(DoubleRegsInOrder)/sizeof(unsigned); ++i) |
| 74 | if (DoubleRegsInOrder[i] == DoubleReg) { |
| 75 | EvenReg = EvenHalvesOfPairs[i]; |
| 76 | OddReg = OddHalvesOfPairs[i]; |
| 77 | return; |
| 78 | } |
Edwin Török | bd448e3 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 79 | llvm_unreachable("Can't find reg"); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 80 | } |
| 81 | |
| 82 | /// runOnMachineBasicBlock - Fixup FpMOVD instructions in this MBB. |
| 83 | /// |
| 84 | bool FPMover::runOnMachineBasicBlock(MachineBasicBlock &MBB) { |
| 85 | bool Changed = false; |
| 86 | for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ) { |
| 87 | MachineInstr *MI = I++; |
Dale Johannesen | b73e4bb | 2009-02-13 02:31:35 +0000 | [diff] [blame] | 88 | DebugLoc dl = MI->getDebugLoc(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 89 | if (MI->getOpcode() == SP::FpMOVD || MI->getOpcode() == SP::FpABSD || |
| 90 | MI->getOpcode() == SP::FpNEGD) { |
| 91 | Changed = true; |
| 92 | unsigned DestDReg = MI->getOperand(0).getReg(); |
| 93 | unsigned SrcDReg = MI->getOperand(1).getReg(); |
| 94 | if (DestDReg == SrcDReg && MI->getOpcode() == SP::FpMOVD) { |
| 95 | MBB.erase(MI); // Eliminate the noop copy. |
| 96 | ++NoopFpDs; |
| 97 | continue; |
| 98 | } |
| 99 | |
| 100 | unsigned EvenSrcReg = 0, OddSrcReg = 0, EvenDestReg = 0, OddDestReg = 0; |
| 101 | getDoubleRegPair(DestDReg, EvenDestReg, OddDestReg); |
| 102 | getDoubleRegPair(SrcDReg, EvenSrcReg, OddSrcReg); |
| 103 | |
| 104 | const TargetInstrInfo *TII = TM.getInstrInfo(); |
| 105 | if (MI->getOpcode() == SP::FpMOVD) |
Chris Lattner | 86bb02f | 2008-01-11 18:10:50 +0000 | [diff] [blame] | 106 | MI->setDesc(TII->get(SP::FMOVS)); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 107 | else if (MI->getOpcode() == SP::FpNEGD) |
Chris Lattner | 86bb02f | 2008-01-11 18:10:50 +0000 | [diff] [blame] | 108 | MI->setDesc(TII->get(SP::FNEGS)); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 109 | else if (MI->getOpcode() == SP::FpABSD) |
Chris Lattner | 86bb02f | 2008-01-11 18:10:50 +0000 | [diff] [blame] | 110 | MI->setDesc(TII->get(SP::FABSS)); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 111 | else |
Edwin Török | bd448e3 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 112 | llvm_unreachable("Unknown opcode!"); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 113 | |
| 114 | MI->getOperand(0).setReg(EvenDestReg); |
| 115 | MI->getOperand(1).setReg(EvenSrcReg); |
| 116 | DOUT << "FPMover: the modified instr is: " << *MI; |
| 117 | // Insert copy for the other half of the double. |
| 118 | if (DestDReg != SrcDReg) { |
Dale Johannesen | b73e4bb | 2009-02-13 02:31:35 +0000 | [diff] [blame] | 119 | MI = BuildMI(MBB, I, dl, TM.getInstrInfo()->get(SP::FMOVS), OddDestReg) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 120 | .addReg(OddSrcReg); |
| 121 | DOUT << "FPMover: the inserted instr is: " << *MI; |
| 122 | } |
| 123 | ++NumFpDs; |
| 124 | } |
| 125 | } |
| 126 | return Changed; |
| 127 | } |
| 128 | |
| 129 | bool FPMover::runOnMachineFunction(MachineFunction &F) { |
| 130 | // If the target has V9 instructions, the fp-mover pseudos will never be |
| 131 | // emitted. Avoid a scan of the instructions to improve compile time. |
| 132 | if (TM.getSubtarget<SparcSubtarget>().isV9()) |
| 133 | return false; |
| 134 | |
| 135 | bool Changed = false; |
| 136 | for (MachineFunction::iterator FI = F.begin(), FE = F.end(); |
| 137 | FI != FE; ++FI) |
| 138 | Changed |= runOnMachineBasicBlock(*FI); |
| 139 | return Changed; |
| 140 | } |