blob: ff9c129994eb79713544fee6886f7d2e592069c7 [file] [log] [blame]
Chris Lattner64105522008-01-01 01:03:04 +00001//===-- TargetInstrInfoImpl.cpp - Target Instruction Information ----------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the TargetInstrInfoImpl class, it just provides default
11// implementations of various methods.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/Target/TargetInstrInfo.h"
16#include "llvm/CodeGen/MachineInstr.h"
Evan Cheng58dcb0e2008-06-16 07:33:11 +000017#include "llvm/CodeGen/MachineInstrBuilder.h"
Chris Lattner64105522008-01-01 01:03:04 +000018using namespace llvm;
19
20// commuteInstruction - The default implementation of this method just exchanges
21// operand 1 and 2.
Evan Cheng58dcb0e2008-06-16 07:33:11 +000022MachineInstr *TargetInstrInfoImpl::commuteInstruction(MachineInstr *MI,
23 bool NewMI) const {
Chris Lattner64105522008-01-01 01:03:04 +000024 assert(MI->getOperand(1).isRegister() && MI->getOperand(2).isRegister() &&
25 "This only knows how to commute register operands so far");
26 unsigned Reg1 = MI->getOperand(1).getReg();
27 unsigned Reg2 = MI->getOperand(2).getReg();
28 bool Reg1IsKill = MI->getOperand(1).isKill();
29 bool Reg2IsKill = MI->getOperand(2).isKill();
Evan Cheng58dcb0e2008-06-16 07:33:11 +000030 bool ChangeReg0 = false;
Evan Cheng9cec00e2008-02-13 09:13:21 +000031 if (MI->getOperand(0).getReg() == Reg1) {
Evan Chenga4d16a12008-02-13 02:46:49 +000032 // Must be two address instruction!
33 assert(MI->getDesc().getOperandConstraint(0, TOI::TIED_TO) &&
34 "Expecting a two-address instruction!");
35 Reg2IsKill = false;
Evan Cheng58dcb0e2008-06-16 07:33:11 +000036 ChangeReg0 = true;
Evan Chenga4d16a12008-02-13 02:46:49 +000037 }
Evan Cheng58dcb0e2008-06-16 07:33:11 +000038
39 if (NewMI) {
40 // Create a new instruction.
41 unsigned Reg0 = ChangeReg0 ? Reg2 : MI->getOperand(0).getReg();
42 bool Reg0IsDead = MI->getOperand(0).isDead();
43 return BuildMI(MI->getDesc()).addReg(Reg0, true, false, false, Reg0IsDead)
44 .addReg(Reg2, false, false, Reg2IsKill)
45 .addReg(Reg1, false, false, Reg1IsKill);
46 }
47
48 if (ChangeReg0)
49 MI->getOperand(0).setReg(Reg2);
Chris Lattner64105522008-01-01 01:03:04 +000050 MI->getOperand(2).setReg(Reg1);
51 MI->getOperand(1).setReg(Reg2);
52 MI->getOperand(2).setIsKill(Reg1IsKill);
53 MI->getOperand(1).setIsKill(Reg2IsKill);
54 return MI;
55}
56
Evan Chengf20db152008-02-15 18:21:33 +000057/// CommuteChangesDestination - Return true if commuting the specified
58/// instruction will also changes the destination operand. Also return the
59/// current operand index of the would be new destination register by
60/// reference. This can happen when the commutable instruction is also a
61/// two-address instruction.
62bool TargetInstrInfoImpl::CommuteChangesDestination(MachineInstr *MI,
63 unsigned &OpIdx) const{
64 assert(MI->getOperand(1).isRegister() && MI->getOperand(2).isRegister() &&
65 "This only knows how to commute register operands so far");
66 if (MI->getOperand(0).getReg() == MI->getOperand(1).getReg()) {
67 // Must be two address instruction!
68 assert(MI->getDesc().getOperandConstraint(0, TOI::TIED_TO) &&
69 "Expecting a two-address instruction!");
70 OpIdx = 2;
71 return true;
72 }
73 return false;
74}
75
76
Chris Lattner64105522008-01-01 01:03:04 +000077bool TargetInstrInfoImpl::PredicateInstruction(MachineInstr *MI,
Evan Chengf20db152008-02-15 18:21:33 +000078 const std::vector<MachineOperand> &Pred) const {
Chris Lattner64105522008-01-01 01:03:04 +000079 bool MadeChange = false;
Chris Lattner749c6f62008-01-07 07:27:27 +000080 const TargetInstrDesc &TID = MI->getDesc();
81 if (!TID.isPredicable())
82 return false;
83
84 for (unsigned j = 0, i = 0, e = MI->getNumOperands(); i != e; ++i) {
85 if (TID.OpInfo[i].isPredicate()) {
86 MachineOperand &MO = MI->getOperand(i);
87 if (MO.isReg()) {
88 MO.setReg(Pred[j].getReg());
89 MadeChange = true;
90 } else if (MO.isImm()) {
91 MO.setImm(Pred[j].getImm());
92 MadeChange = true;
93 } else if (MO.isMBB()) {
94 MO.setMBB(Pred[j].getMBB());
95 MadeChange = true;
Chris Lattner64105522008-01-01 01:03:04 +000096 }
Chris Lattner749c6f62008-01-07 07:27:27 +000097 ++j;
Chris Lattner64105522008-01-01 01:03:04 +000098 }
99 }
100 return MadeChange;
101}
Evan Chengca1267c2008-03-31 20:40:39 +0000102
103void TargetInstrInfoImpl::reMaterialize(MachineBasicBlock &MBB,
104 MachineBasicBlock::iterator I,
105 unsigned DestReg,
106 const MachineInstr *Orig) const {
107 MachineInstr *MI = Orig->clone();
108 MI->getOperand(0).setReg(DestReg);
109 MBB.insert(I, MI);
110}
111
Nicolas Geoffray52e724a2008-04-16 20:10:13 +0000112unsigned
113TargetInstrInfoImpl::GetFunctionSizeInBytes(const MachineFunction &MF) const {
114 unsigned FnSize = 0;
115 for (MachineFunction::const_iterator MBBI = MF.begin(), E = MF.end();
116 MBBI != E; ++MBBI) {
117 const MachineBasicBlock &MBB = *MBBI;
118 for (MachineBasicBlock::const_iterator I = MBB.begin(),E = MBB.end(); I != E; ++I)
119 FnSize += GetInstSizeInBytes(I);
120 }
121 return FnSize;
122}