Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 1 | //===-- FPMover.cpp - SparcV8 double-precision floating point move fixer --===// |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 2 | // |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 7 | // |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 10 | // Expand FpMOVD/FpABSD/FpNEGD instructions into their single-precision pieces. |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "SparcV8.h" |
Chris Lattner | 5295de7 | 2006-01-30 05:51:14 +0000 | [diff] [blame^] | 15 | #include "SparcV8Subtarget.h" |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 17 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Chris Lattner | 5295de7 | 2006-01-30 05:51:14 +0000 | [diff] [blame^] | 18 | #include "llvm/Target/TargetMachine.h" |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/Statistic.h" |
Brian Gaeke | 9e0b902 | 2004-11-30 08:15:15 +0000 | [diff] [blame] | 20 | #include "llvm/Support/Debug.h" |
Chris Lattner | 2c2c6c6 | 2006-01-22 23:41:00 +0000 | [diff] [blame] | 21 | #include <iostream> |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 22 | using namespace llvm; |
| 23 | |
| 24 | namespace { |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 25 | Statistic<> NumFpDs("fpmover", "Number of instructions translated"); |
| 26 | Statistic<> NoopFpDs("fpmover", "Number of noop instructions removed"); |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 27 | |
| 28 | struct FPMover : public MachineFunctionPass { |
| 29 | /// Target machine description which we query for reg. names, data |
| 30 | /// layout, etc. |
| 31 | /// |
| 32 | TargetMachine &TM; |
| 33 | |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 34 | FPMover(TargetMachine &tm) : TM(tm) { } |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 35 | |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 36 | virtual const char *getPassName() const { |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 37 | return "SparcV8 Double-FP Move Fixer"; |
| 38 | } |
| 39 | |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 40 | bool runOnMachineBasicBlock(MachineBasicBlock &MBB); |
Chris Lattner | 5295de7 | 2006-01-30 05:51:14 +0000 | [diff] [blame^] | 41 | bool runOnMachineFunction(MachineFunction &F); |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 42 | }; |
| 43 | } // end of anonymous namespace |
| 44 | |
| 45 | /// createSparcV8FPMoverPass - Returns a pass that turns FpMOVD |
| 46 | /// instructions into FMOVS instructions |
| 47 | /// |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 48 | FunctionPass *llvm::createSparcV8FPMoverPass(TargetMachine &tm) { |
| 49 | return new FPMover(tm); |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 50 | } |
| 51 | |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 52 | /// getDoubleRegPair - Given a DFP register, return the even and odd FP |
| 53 | /// registers that correspond to it. |
| 54 | static void getDoubleRegPair(unsigned DoubleReg, unsigned &EvenReg, |
| 55 | unsigned &OddReg) { |
| 56 | static const unsigned EvenHalvesOfPairs[] = { |
Jeff Cohen | 00b16889 | 2005-07-27 06:12:32 +0000 | [diff] [blame] | 57 | V8::F0, V8::F2, V8::F4, V8::F6, V8::F8, V8::F10, V8::F12, V8::F14, |
| 58 | V8::F16, V8::F18, V8::F20, V8::F22, V8::F24, V8::F26, V8::F28, V8::F30 |
Misha Brukman | 29eeea5 | 2005-05-18 20:37:33 +0000 | [diff] [blame] | 59 | }; |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 60 | static const unsigned OddHalvesOfPairs[] = { |
Jeff Cohen | 00b16889 | 2005-07-27 06:12:32 +0000 | [diff] [blame] | 61 | V8::F1, V8::F3, V8::F5, V8::F7, V8::F9, V8::F11, V8::F13, V8::F15, |
| 62 | V8::F17, V8::F19, V8::F21, V8::F23, V8::F25, V8::F27, V8::F29, V8::F31 |
Misha Brukman | 29eeea5 | 2005-05-18 20:37:33 +0000 | [diff] [blame] | 63 | }; |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 64 | static const unsigned DoubleRegsInOrder[] = { |
Jeff Cohen | 00b16889 | 2005-07-27 06:12:32 +0000 | [diff] [blame] | 65 | V8::D0, V8::D1, V8::D2, V8::D3, V8::D4, V8::D5, V8::D6, V8::D7, V8::D8, |
| 66 | V8::D9, V8::D10, V8::D11, V8::D12, V8::D13, V8::D14, V8::D15 |
Misha Brukman | 29eeea5 | 2005-05-18 20:37:33 +0000 | [diff] [blame] | 67 | }; |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 68 | for (unsigned i = 0; i < sizeof(DoubleRegsInOrder)/sizeof(unsigned); ++i) |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 69 | if (DoubleRegsInOrder[i] == DoubleReg) { |
| 70 | EvenReg = EvenHalvesOfPairs[i]; |
| 71 | OddReg = OddHalvesOfPairs[i]; |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 72 | return; |
| 73 | } |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 74 | assert(0 && "Can't find reg"); |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 75 | } |
| 76 | |
| 77 | /// runOnMachineBasicBlock - Fixup FpMOVD instructions in this MBB. |
| 78 | /// |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 79 | bool FPMover::runOnMachineBasicBlock(MachineBasicBlock &MBB) { |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 80 | bool Changed = false; |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 81 | for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ) { |
| 82 | MachineInstr *MI = I++; |
Chris Lattner | beecfd2 | 2005-12-19 00:50:12 +0000 | [diff] [blame] | 83 | if (MI->getOpcode() == V8::FpMOVD || MI->getOpcode() == V8::FpABSD || |
| 84 | MI->getOpcode() == V8::FpNEGD) { |
| 85 | Changed = true; |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 86 | unsigned DestDReg = MI->getOperand(0).getReg(); |
| 87 | unsigned SrcDReg = MI->getOperand(1).getReg(); |
Chris Lattner | beecfd2 | 2005-12-19 00:50:12 +0000 | [diff] [blame] | 88 | if (DestDReg == SrcDReg && MI->getOpcode() == V8::FpMOVD) { |
| 89 | MBB.erase(MI); // Eliminate the noop copy. |
| 90 | ++NoopFpDs; |
| 91 | continue; |
| 92 | } |
| 93 | |
| 94 | unsigned EvenSrcReg = 0, OddSrcReg = 0, EvenDestReg = 0, OddDestReg = 0; |
| 95 | getDoubleRegPair(DestDReg, EvenDestReg, OddDestReg); |
| 96 | getDoubleRegPair(SrcDReg, EvenSrcReg, OddSrcReg); |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 97 | |
Chris Lattner | beecfd2 | 2005-12-19 00:50:12 +0000 | [diff] [blame] | 98 | if (MI->getOpcode() == V8::FpMOVD) |
| 99 | MI->setOpcode(V8::FMOVS); |
| 100 | else if (MI->getOpcode() == V8::FpNEGD) |
| 101 | MI->setOpcode(V8::FNEGS); |
| 102 | else if (MI->getOpcode() == V8::FpABSD) |
| 103 | MI->setOpcode(V8::FABSS); |
| 104 | else |
| 105 | assert(0 && "Unknown opcode!"); |
| 106 | |
| 107 | MI->SetMachineOperandReg(0, EvenDestReg); |
| 108 | MI->SetMachineOperandReg(1, EvenSrcReg); |
| 109 | DEBUG(std::cerr << "FPMover: the modified instr is: " << *MI); |
| 110 | // Insert copy for the other half of the double. |
| 111 | if (DestDReg != SrcDReg) { |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 112 | MI = BuildMI(MBB, I, V8::FMOVS, 1, OddDestReg).addReg(OddSrcReg); |
| 113 | DEBUG(std::cerr << "FPMover: the inserted instr is: " << *MI); |
Brian Gaeke | 9e0b902 | 2004-11-30 08:15:15 +0000 | [diff] [blame] | 114 | } |
Chris Lattner | beecfd2 | 2005-12-19 00:50:12 +0000 | [diff] [blame] | 115 | ++NumFpDs; |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 116 | } |
Chris Lattner | da5a7fd | 2005-12-19 00:46:20 +0000 | [diff] [blame] | 117 | } |
Brian Gaeke | 15b2838 | 2004-09-29 03:24:34 +0000 | [diff] [blame] | 118 | return Changed; |
| 119 | } |
Chris Lattner | 5295de7 | 2006-01-30 05:51:14 +0000 | [diff] [blame^] | 120 | |
| 121 | bool FPMover::runOnMachineFunction(MachineFunction &F) { |
| 122 | // If the target has V9 instructions, the fp-mover pseudos will never be |
| 123 | // emitted. Avoid a scan of the instructions to improve compile time. |
| 124 | if (TM.getSubtarget<SparcV8Subtarget>().isV9()) |
| 125 | return false; |
| 126 | |
| 127 | bool Changed = false; |
| 128 | for (MachineFunction::iterator FI = F.begin(), FE = F.end(); |
| 129 | FI != FE; ++FI) |
| 130 | Changed |= runOnMachineBasicBlock(*FI); |
| 131 | return Changed; |
| 132 | } |