blob: 333cc37178c30a81fbcb5737a988a6f8a6694680 [file] [log] [blame]
Chris Lattner7c90f732006-02-05 05:50:24 +00001//===-- FPMover.cpp - Sparc double-precision floating point move fixer ----===//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Brian Gaeke15b28382004-09-29 03:24:34 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanb5f662f2005-04-21 23:30:14 +00007//
Brian Gaeke15b28382004-09-29 03:24:34 +00008//===----------------------------------------------------------------------===//
9//
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000010// Expand FpMOVD/FpABSD/FpNEGD instructions into their single-precision pieces.
Brian Gaeke15b28382004-09-29 03:24:34 +000011//
12//===----------------------------------------------------------------------===//
13
Chris Lattner95b2c7d2006-12-19 22:59:26 +000014#define DEBUG_TYPE "fpmover"
Chris Lattner7c90f732006-02-05 05:50:24 +000015#include "Sparc.h"
16#include "SparcSubtarget.h"
Brian Gaeke15b28382004-09-29 03:24:34 +000017#include "llvm/CodeGen/MachineFunctionPass.h"
18#include "llvm/CodeGen/MachineInstrBuilder.h"
Chris Lattner5295de72006-01-30 05:51:14 +000019#include "llvm/Target/TargetMachine.h"
Evan Chengc0f64ff2006-11-27 23:37:22 +000020#include "llvm/Target/TargetInstrInfo.h"
Brian Gaeke15b28382004-09-29 03:24:34 +000021#include "llvm/ADT/Statistic.h"
Brian Gaeke9e0b9022004-11-30 08:15:15 +000022#include "llvm/Support/Debug.h"
Brian Gaeke15b28382004-09-29 03:24:34 +000023using namespace llvm;
24
Chris Lattner95b2c7d2006-12-19 22:59:26 +000025STATISTIC(NumFpDs , "Number of instructions translated");
26STATISTIC(NoopFpDs, "Number of noop instructions removed");
Brian Gaeke15b28382004-09-29 03:24:34 +000027
Chris Lattner95b2c7d2006-12-19 22:59:26 +000028namespace {
Brian Gaeke15b28382004-09-29 03:24:34 +000029 struct FPMover : public MachineFunctionPass {
30 /// Target machine description which we query for reg. names, data
31 /// layout, etc.
32 ///
33 TargetMachine &TM;
Devang Patel794fd752007-05-01 21:15:47 +000034
Devang Patel19974732007-05-03 01:11:54 +000035 static char ID;
Devang Patel794fd752007-05-01 21:15:47 +000036 FPMover(TargetMachine &tm)
37 : MachineFunctionPass((intptr_t)&ID), TM(tm) { }
Brian Gaeke15b28382004-09-29 03:24:34 +000038
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000039 virtual const char *getPassName() const {
Chris Lattner7c90f732006-02-05 05:50:24 +000040 return "Sparc Double-FP Move Fixer";
Brian Gaeke15b28382004-09-29 03:24:34 +000041 }
42
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000043 bool runOnMachineBasicBlock(MachineBasicBlock &MBB);
Chris Lattner5295de72006-01-30 05:51:14 +000044 bool runOnMachineFunction(MachineFunction &F);
Brian Gaeke15b28382004-09-29 03:24:34 +000045 };
Devang Patel19974732007-05-03 01:11:54 +000046 char FPMover::ID = 0;
Brian Gaeke15b28382004-09-29 03:24:34 +000047} // end of anonymous namespace
48
Chris Lattner7c90f732006-02-05 05:50:24 +000049/// createSparcFPMoverPass - Returns a pass that turns FpMOVD
Brian Gaeke15b28382004-09-29 03:24:34 +000050/// instructions into FMOVS instructions
51///
Chris Lattner7c90f732006-02-05 05:50:24 +000052FunctionPass *llvm::createSparcFPMoverPass(TargetMachine &tm) {
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000053 return new FPMover(tm);
Brian Gaeke15b28382004-09-29 03:24:34 +000054}
55
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000056/// getDoubleRegPair - Given a DFP register, return the even and odd FP
57/// registers that correspond to it.
58static void getDoubleRegPair(unsigned DoubleReg, unsigned &EvenReg,
59 unsigned &OddReg) {
60 static const unsigned EvenHalvesOfPairs[] = {
Chris Lattner7c90f732006-02-05 05:50:24 +000061 SP::F0, SP::F2, SP::F4, SP::F6, SP::F8, SP::F10, SP::F12, SP::F14,
62 SP::F16, SP::F18, SP::F20, SP::F22, SP::F24, SP::F26, SP::F28, SP::F30
Misha Brukman29eeea52005-05-18 20:37:33 +000063 };
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000064 static const unsigned OddHalvesOfPairs[] = {
Chris Lattner7c90f732006-02-05 05:50:24 +000065 SP::F1, SP::F3, SP::F5, SP::F7, SP::F9, SP::F11, SP::F13, SP::F15,
66 SP::F17, SP::F19, SP::F21, SP::F23, SP::F25, SP::F27, SP::F29, SP::F31
Misha Brukman29eeea52005-05-18 20:37:33 +000067 };
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000068 static const unsigned DoubleRegsInOrder[] = {
Chris Lattner7c90f732006-02-05 05:50:24 +000069 SP::D0, SP::D1, SP::D2, SP::D3, SP::D4, SP::D5, SP::D6, SP::D7, SP::D8,
70 SP::D9, SP::D10, SP::D11, SP::D12, SP::D13, SP::D14, SP::D15
Misha Brukman29eeea52005-05-18 20:37:33 +000071 };
Brian Gaeke15b28382004-09-29 03:24:34 +000072 for (unsigned i = 0; i < sizeof(DoubleRegsInOrder)/sizeof(unsigned); ++i)
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000073 if (DoubleRegsInOrder[i] == DoubleReg) {
74 EvenReg = EvenHalvesOfPairs[i];
75 OddReg = OddHalvesOfPairs[i];
Brian Gaeke15b28382004-09-29 03:24:34 +000076 return;
77 }
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000078 assert(0 && "Can't find reg");
Brian Gaeke15b28382004-09-29 03:24:34 +000079}
80
81/// runOnMachineBasicBlock - Fixup FpMOVD instructions in this MBB.
82///
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000083bool FPMover::runOnMachineBasicBlock(MachineBasicBlock &MBB) {
Brian Gaeke15b28382004-09-29 03:24:34 +000084 bool Changed = false;
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000085 for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ) {
86 MachineInstr *MI = I++;
Chris Lattner7c90f732006-02-05 05:50:24 +000087 if (MI->getOpcode() == SP::FpMOVD || MI->getOpcode() == SP::FpABSD ||
88 MI->getOpcode() == SP::FpNEGD) {
Chris Lattnerbeecfd22005-12-19 00:50:12 +000089 Changed = true;
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000090 unsigned DestDReg = MI->getOperand(0).getReg();
91 unsigned SrcDReg = MI->getOperand(1).getReg();
Chris Lattner7c90f732006-02-05 05:50:24 +000092 if (DestDReg == SrcDReg && MI->getOpcode() == SP::FpMOVD) {
Chris Lattnerbeecfd22005-12-19 00:50:12 +000093 MBB.erase(MI); // Eliminate the noop copy.
94 ++NoopFpDs;
95 continue;
96 }
97
98 unsigned EvenSrcReg = 0, OddSrcReg = 0, EvenDestReg = 0, OddDestReg = 0;
99 getDoubleRegPair(DestDReg, EvenDestReg, OddDestReg);
100 getDoubleRegPair(SrcDReg, EvenSrcReg, OddSrcReg);
Chris Lattnerda5a7fd2005-12-19 00:46:20 +0000101
Evan Cheng12a44782006-11-30 07:12:03 +0000102 const TargetInstrInfo *TII = TM.getInstrInfo();
Chris Lattner7c90f732006-02-05 05:50:24 +0000103 if (MI->getOpcode() == SP::FpMOVD)
Evan Cheng12a44782006-11-30 07:12:03 +0000104 MI->setInstrDescriptor(TII->get(SP::FMOVS));
Chris Lattner7c90f732006-02-05 05:50:24 +0000105 else if (MI->getOpcode() == SP::FpNEGD)
Evan Cheng12a44782006-11-30 07:12:03 +0000106 MI->setInstrDescriptor(TII->get(SP::FNEGS));
Chris Lattner7c90f732006-02-05 05:50:24 +0000107 else if (MI->getOpcode() == SP::FpABSD)
Evan Cheng12a44782006-11-30 07:12:03 +0000108 MI->setInstrDescriptor(TII->get(SP::FABSS));
Chris Lattnerbeecfd22005-12-19 00:50:12 +0000109 else
110 assert(0 && "Unknown opcode!");
111
Chris Lattnere53f4a02006-05-04 17:52:23 +0000112 MI->getOperand(0).setReg(EvenDestReg);
113 MI->getOperand(1).setReg(EvenSrcReg);
Bill Wendlingf5da1332006-12-07 22:21:48 +0000114 DOUT << "FPMover: the modified instr is: " << *MI;
Chris Lattnerbeecfd22005-12-19 00:50:12 +0000115 // Insert copy for the other half of the double.
116 if (DestDReg != SrcDReg) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000117 MI = BuildMI(MBB, I, TM.getInstrInfo()->get(SP::FMOVS), OddDestReg)
118 .addReg(OddSrcReg);
Bill Wendlingf5da1332006-12-07 22:21:48 +0000119 DOUT << "FPMover: the inserted instr is: " << *MI;
Brian Gaeke9e0b9022004-11-30 08:15:15 +0000120 }
Chris Lattnerbeecfd22005-12-19 00:50:12 +0000121 ++NumFpDs;
Brian Gaeke15b28382004-09-29 03:24:34 +0000122 }
Chris Lattnerda5a7fd2005-12-19 00:46:20 +0000123 }
Brian Gaeke15b28382004-09-29 03:24:34 +0000124 return Changed;
125}
Chris Lattner5295de72006-01-30 05:51:14 +0000126
127bool FPMover::runOnMachineFunction(MachineFunction &F) {
128 // If the target has V9 instructions, the fp-mover pseudos will never be
129 // emitted. Avoid a scan of the instructions to improve compile time.
Chris Lattner7c90f732006-02-05 05:50:24 +0000130 if (TM.getSubtarget<SparcSubtarget>().isV9())
Chris Lattner5295de72006-01-30 05:51:14 +0000131 return false;
132
133 bool Changed = false;
134 for (MachineFunction::iterator FI = F.begin(), FE = F.end();
135 FI != FE; ++FI)
136 Changed |= runOnMachineBasicBlock(*FI);
137 return Changed;
138}