blob: 9a729bd8704458ddeee395a1170ec3a1d4f49be5 [file] [log] [blame]
Chris Lattner158e1f52006-02-05 05:50:24 +00001//===-- FPMover.cpp - Sparc double-precision floating point move fixer ----===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner158e1f52006-02-05 05:50:24 +00007//
8//===----------------------------------------------------------------------===//
9//
10// Expand FpMOVD/FpABSD/FpNEGD instructions into their single-precision pieces.
11//
12//===----------------------------------------------------------------------===//
13
Chris Lattner1ef9cd42006-12-19 22:59:26 +000014#define DEBUG_TYPE "fpmover"
Chris Lattner158e1f52006-02-05 05:50:24 +000015#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"
Evan Cheng20350c42006-11-27 23:37:22 +000020#include "llvm/Target/TargetInstrInfo.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000021#include "llvm/ADT/Statistic.h"
22#include "llvm/Support/Debug.h"
Torok Edwin56d06592009-07-11 20:10:48 +000023#include "llvm/Support/ErrorHandling.h"
Chris Lattnera6f074f2009-08-23 03:41:05 +000024#include "llvm/Support/raw_ostream.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000025using namespace llvm;
26
Chris Lattner1ef9cd42006-12-19 22:59:26 +000027STATISTIC(NumFpDs , "Number of instructions translated");
28STATISTIC(NoopFpDs, "Number of noop instructions removed");
Chris Lattner158e1f52006-02-05 05:50:24 +000029
Chris Lattner1ef9cd42006-12-19 22:59:26 +000030namespace {
Chris Lattner158e1f52006-02-05 05:50:24 +000031 struct FPMover : public MachineFunctionPass {
32 /// Target machine description which we query for reg. names, data
33 /// layout, etc.
34 ///
35 TargetMachine &TM;
Devang Patel09f162c2007-05-01 21:15:47 +000036
Devang Patel8c78a0b2007-05-03 01:11:54 +000037 static char ID;
Dan Gohman8cab4c42009-02-18 16:37:45 +000038 explicit FPMover(TargetMachine &tm)
Owen Andersona7aed182010-08-06 18:33:48 +000039 : MachineFunctionPass(ID), TM(tm) { }
Chris Lattner158e1f52006-02-05 05:50:24 +000040
41 virtual const char *getPassName() const {
42 return "Sparc Double-FP Move Fixer";
43 }
44
45 bool runOnMachineBasicBlock(MachineBasicBlock &MBB);
46 bool runOnMachineFunction(MachineFunction &F);
47 };
Devang Patel8c78a0b2007-05-03 01:11:54 +000048 char FPMover::ID = 0;
Chris Lattner158e1f52006-02-05 05:50:24 +000049} // end of anonymous namespace
50
51/// createSparcFPMoverPass - Returns a pass that turns FpMOVD
52/// instructions into FMOVS instructions
53///
54FunctionPass *llvm::createSparcFPMoverPass(TargetMachine &tm) {
55 return new FPMover(tm);
56}
57
58/// getDoubleRegPair - Given a DFP register, return the even and odd FP
59/// registers that correspond to it.
60static void getDoubleRegPair(unsigned DoubleReg, unsigned &EvenReg,
61 unsigned &OddReg) {
Craig Topperca658c22012-03-11 07:16:55 +000062 static const uint16_t EvenHalvesOfPairs[] = {
Chris Lattner158e1f52006-02-05 05:50:24 +000063 SP::F0, SP::F2, SP::F4, SP::F6, SP::F8, SP::F10, SP::F12, SP::F14,
64 SP::F16, SP::F18, SP::F20, SP::F22, SP::F24, SP::F26, SP::F28, SP::F30
65 };
Craig Topperca658c22012-03-11 07:16:55 +000066 static const uint16_t OddHalvesOfPairs[] = {
Chris Lattner158e1f52006-02-05 05:50:24 +000067 SP::F1, SP::F3, SP::F5, SP::F7, SP::F9, SP::F11, SP::F13, SP::F15,
68 SP::F17, SP::F19, SP::F21, SP::F23, SP::F25, SP::F27, SP::F29, SP::F31
69 };
Craig Topperca658c22012-03-11 07:16:55 +000070 static const uint16_t DoubleRegsInOrder[] = {
Chris Lattner158e1f52006-02-05 05:50:24 +000071 SP::D0, SP::D1, SP::D2, SP::D3, SP::D4, SP::D5, SP::D6, SP::D7, SP::D8,
72 SP::D9, SP::D10, SP::D11, SP::D12, SP::D13, SP::D14, SP::D15
73 };
Craig Topperca658c22012-03-11 07:16:55 +000074 for (unsigned i = 0; i < array_lengthof(DoubleRegsInOrder); ++i)
Chris Lattner158e1f52006-02-05 05:50:24 +000075 if (DoubleRegsInOrder[i] == DoubleReg) {
76 EvenReg = EvenHalvesOfPairs[i];
77 OddReg = OddHalvesOfPairs[i];
78 return;
79 }
Torok Edwinfbcc6632009-07-14 16:55:14 +000080 llvm_unreachable("Can't find reg");
Chris Lattner158e1f52006-02-05 05:50:24 +000081}
82
83/// runOnMachineBasicBlock - Fixup FpMOVD instructions in this MBB.
84///
85bool FPMover::runOnMachineBasicBlock(MachineBasicBlock &MBB) {
86 bool Changed = false;
87 for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ) {
88 MachineInstr *MI = I++;
Dale Johannesen215a9252009-02-13 02:31:35 +000089 DebugLoc dl = MI->getDebugLoc();
Chris Lattner158e1f52006-02-05 05:50:24 +000090 if (MI->getOpcode() == SP::FpMOVD || MI->getOpcode() == SP::FpABSD ||
91 MI->getOpcode() == SP::FpNEGD) {
92 Changed = true;
93 unsigned DestDReg = MI->getOperand(0).getReg();
94 unsigned SrcDReg = MI->getOperand(1).getReg();
95 if (DestDReg == SrcDReg && MI->getOpcode() == SP::FpMOVD) {
96 MBB.erase(MI); // Eliminate the noop copy.
97 ++NoopFpDs;
98 continue;
99 }
100
101 unsigned EvenSrcReg = 0, OddSrcReg = 0, EvenDestReg = 0, OddDestReg = 0;
102 getDoubleRegPair(DestDReg, EvenDestReg, OddDestReg);
103 getDoubleRegPair(SrcDReg, EvenSrcReg, OddSrcReg);
104
Evan Chengaafeaef2006-11-30 07:12:03 +0000105 const TargetInstrInfo *TII = TM.getInstrInfo();
Chris Lattner158e1f52006-02-05 05:50:24 +0000106 if (MI->getOpcode() == SP::FpMOVD)
Chris Lattner59687512008-01-11 18:10:50 +0000107 MI->setDesc(TII->get(SP::FMOVS));
Chris Lattner158e1f52006-02-05 05:50:24 +0000108 else if (MI->getOpcode() == SP::FpNEGD)
Chris Lattner59687512008-01-11 18:10:50 +0000109 MI->setDesc(TII->get(SP::FNEGS));
Chris Lattner158e1f52006-02-05 05:50:24 +0000110 else if (MI->getOpcode() == SP::FpABSD)
Chris Lattner59687512008-01-11 18:10:50 +0000111 MI->setDesc(TII->get(SP::FABSS));
Chris Lattner158e1f52006-02-05 05:50:24 +0000112 else
Torok Edwinfbcc6632009-07-14 16:55:14 +0000113 llvm_unreachable("Unknown opcode!");
Chris Lattner158e1f52006-02-05 05:50:24 +0000114
Chris Lattner10d63412006-05-04 17:52:23 +0000115 MI->getOperand(0).setReg(EvenDestReg);
116 MI->getOperand(1).setReg(EvenSrcReg);
Chris Lattnera6f074f2009-08-23 03:41:05 +0000117 DEBUG(errs() << "FPMover: the modified instr is: " << *MI);
Chris Lattner158e1f52006-02-05 05:50:24 +0000118 // Insert copy for the other half of the double.
119 if (DestDReg != SrcDReg) {
Dale Johannesen215a9252009-02-13 02:31:35 +0000120 MI = BuildMI(MBB, I, dl, TM.getInstrInfo()->get(SP::FMOVS), OddDestReg)
Evan Cheng20350c42006-11-27 23:37:22 +0000121 .addReg(OddSrcReg);
Chris Lattnera6f074f2009-08-23 03:41:05 +0000122 DEBUG(errs() << "FPMover: the inserted instr is: " << *MI);
Chris Lattner158e1f52006-02-05 05:50:24 +0000123 }
124 ++NumFpDs;
125 }
126 }
127 return Changed;
128}
129
130bool FPMover::runOnMachineFunction(MachineFunction &F) {
131 // If the target has V9 instructions, the fp-mover pseudos will never be
132 // emitted. Avoid a scan of the instructions to improve compile time.
133 if (TM.getSubtarget<SparcSubtarget>().isV9())
134 return false;
135
136 bool Changed = false;
137 for (MachineFunction::iterator FI = F.begin(), FE = F.end();
138 FI != FE; ++FI)
139 Changed |= runOnMachineBasicBlock(*FI);
140 return Changed;
141}