blob: cc3d78176603655ed4931a4f33cf280ac225cd37 [file] [log] [blame]
Brian Gaeke15b28382004-09-29 03:24:34 +00001//===-- FPMover.cpp - SparcV8 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//
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 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
14#include "SparcV8.h"
15#include "llvm/CodeGen/MachineFunctionPass.h"
16#include "llvm/CodeGen/MachineInstrBuilder.h"
17#include "llvm/ADT/Statistic.h"
Brian Gaeke9e0b9022004-11-30 08:15:15 +000018#include "llvm/Support/Debug.h"
Chris Lattner2c2c6c62006-01-22 23:41:00 +000019#include <iostream>
Brian Gaeke15b28382004-09-29 03:24:34 +000020using namespace llvm;
21
22namespace {
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000023 Statistic<> NumFpDs("fpmover", "Number of instructions translated");
24 Statistic<> NoopFpDs("fpmover", "Number of noop instructions removed");
Brian Gaeke15b28382004-09-29 03:24:34 +000025
26 struct FPMover : public MachineFunctionPass {
27 /// Target machine description which we query for reg. names, data
28 /// layout, etc.
29 ///
30 TargetMachine &TM;
31
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000032 FPMover(TargetMachine &tm) : TM(tm) { }
Brian Gaeke15b28382004-09-29 03:24:34 +000033
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000034 virtual const char *getPassName() const {
Brian Gaeke15b28382004-09-29 03:24:34 +000035 return "SparcV8 Double-FP Move Fixer";
36 }
37
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000038 bool runOnMachineBasicBlock(MachineBasicBlock &MBB);
39 bool runOnMachineFunction(MachineFunction &F) {
Brian Gaeke15b28382004-09-29 03:24:34 +000040 bool Changed = false;
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000041 for (MachineFunction::iterator FI = F.begin(), FE = F.end();
Brian Gaeke15b28382004-09-29 03:24:34 +000042 FI != FE; ++FI)
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000043 Changed |= runOnMachineBasicBlock(*FI);
Brian Gaeke15b28382004-09-29 03:24:34 +000044 return Changed;
45 }
46
47 };
48} // end of anonymous namespace
49
50/// createSparcV8FPMoverPass - Returns a pass that turns FpMOVD
51/// instructions into FMOVS instructions
52///
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000053FunctionPass *llvm::createSparcV8FPMoverPass(TargetMachine &tm) {
54 return new FPMover(tm);
Brian Gaeke15b28382004-09-29 03:24:34 +000055}
56
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000057/// getDoubleRegPair - Given a DFP register, return the even and odd FP
58/// registers that correspond to it.
59static void getDoubleRegPair(unsigned DoubleReg, unsigned &EvenReg,
60 unsigned &OddReg) {
61 static const unsigned EvenHalvesOfPairs[] = {
Jeff Cohen00b168892005-07-27 06:12:32 +000062 V8::F0, V8::F2, V8::F4, V8::F6, V8::F8, V8::F10, V8::F12, V8::F14,
63 V8::F16, V8::F18, V8::F20, V8::F22, V8::F24, V8::F26, V8::F28, V8::F30
Misha Brukman29eeea52005-05-18 20:37:33 +000064 };
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000065 static const unsigned OddHalvesOfPairs[] = {
Jeff Cohen00b168892005-07-27 06:12:32 +000066 V8::F1, V8::F3, V8::F5, V8::F7, V8::F9, V8::F11, V8::F13, V8::F15,
67 V8::F17, V8::F19, V8::F21, V8::F23, V8::F25, V8::F27, V8::F29, V8::F31
Misha Brukman29eeea52005-05-18 20:37:33 +000068 };
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000069 static const unsigned DoubleRegsInOrder[] = {
Jeff Cohen00b168892005-07-27 06:12:32 +000070 V8::D0, V8::D1, V8::D2, V8::D3, V8::D4, V8::D5, V8::D6, V8::D7, V8::D8,
71 V8::D9, V8::D10, V8::D11, V8::D12, V8::D13, V8::D14, V8::D15
Misha Brukman29eeea52005-05-18 20:37:33 +000072 };
Brian Gaeke15b28382004-09-29 03:24:34 +000073 for (unsigned i = 0; i < sizeof(DoubleRegsInOrder)/sizeof(unsigned); ++i)
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000074 if (DoubleRegsInOrder[i] == DoubleReg) {
75 EvenReg = EvenHalvesOfPairs[i];
76 OddReg = OddHalvesOfPairs[i];
Brian Gaeke15b28382004-09-29 03:24:34 +000077 return;
78 }
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000079 assert(0 && "Can't find reg");
Brian Gaeke15b28382004-09-29 03:24:34 +000080}
81
82/// runOnMachineBasicBlock - Fixup FpMOVD instructions in this MBB.
83///
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000084bool FPMover::runOnMachineBasicBlock(MachineBasicBlock &MBB) {
Brian Gaeke15b28382004-09-29 03:24:34 +000085 bool Changed = false;
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000086 for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ) {
87 MachineInstr *MI = I++;
Chris Lattnerbeecfd22005-12-19 00:50:12 +000088 if (MI->getOpcode() == V8::FpMOVD || MI->getOpcode() == V8::FpABSD ||
89 MI->getOpcode() == V8::FpNEGD) {
90 Changed = true;
Chris Lattnerda5a7fd2005-12-19 00:46:20 +000091 unsigned DestDReg = MI->getOperand(0).getReg();
92 unsigned SrcDReg = MI->getOperand(1).getReg();
Chris Lattnerbeecfd22005-12-19 00:50:12 +000093 if (DestDReg == SrcDReg && MI->getOpcode() == V8::FpMOVD) {
94 MBB.erase(MI); // Eliminate the noop copy.
95 ++NoopFpDs;
96 continue;
97 }
98
99 unsigned EvenSrcReg = 0, OddSrcReg = 0, EvenDestReg = 0, OddDestReg = 0;
100 getDoubleRegPair(DestDReg, EvenDestReg, OddDestReg);
101 getDoubleRegPair(SrcDReg, EvenSrcReg, OddSrcReg);
Chris Lattnerda5a7fd2005-12-19 00:46:20 +0000102
Chris Lattnerbeecfd22005-12-19 00:50:12 +0000103 if (MI->getOpcode() == V8::FpMOVD)
104 MI->setOpcode(V8::FMOVS);
105 else if (MI->getOpcode() == V8::FpNEGD)
106 MI->setOpcode(V8::FNEGS);
107 else if (MI->getOpcode() == V8::FpABSD)
108 MI->setOpcode(V8::FABSS);
109 else
110 assert(0 && "Unknown opcode!");
111
112 MI->SetMachineOperandReg(0, EvenDestReg);
113 MI->SetMachineOperandReg(1, EvenSrcReg);
114 DEBUG(std::cerr << "FPMover: the modified instr is: " << *MI);
115 // Insert copy for the other half of the double.
116 if (DestDReg != SrcDReg) {
Chris Lattnerda5a7fd2005-12-19 00:46:20 +0000117 MI = BuildMI(MBB, I, V8::FMOVS, 1, OddDestReg).addReg(OddSrcReg);
118 DEBUG(std::cerr << "FPMover: the inserted instr is: " << *MI);
Brian Gaeke9e0b9022004-11-30 08:15:15 +0000119 }
Chris Lattnerbeecfd22005-12-19 00:50:12 +0000120 ++NumFpDs;
Brian Gaeke15b28382004-09-29 03:24:34 +0000121 }
Chris Lattnerda5a7fd2005-12-19 00:46:20 +0000122 }
Brian Gaeke15b28382004-09-29 03:24:34 +0000123 return Changed;
124}