blob: f33b5da9ed79ecae279e010f52611cdc45c08b70 [file] [log] [blame]
Duraid Madina9b9d45f2005-03-17 18:17:03 +00001//===- IA64InstrInfo.cpp - IA64 Instruction Information -----------*- C++ -*-===//
Misha Brukman4633f1c2005-04-21 23:13:11 +00002//
Duraid Madina9b9d45f2005-03-17 18:17:03 +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 Brukman4633f1c2005-04-21 23:13:11 +00007//
Duraid Madina9b9d45f2005-03-17 18:17:03 +00008//===----------------------------------------------------------------------===//
9//
10// This file contains the IA64 implementation of the TargetInstrInfo class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "IA64InstrInfo.h"
15#include "IA64.h"
16#include "IA64InstrBuilder.h"
17#include "llvm/CodeGen/MachineInstrBuilder.h"
18#include "IA64GenInstrInfo.inc"
19using namespace llvm;
20
21IA64InstrInfo::IA64InstrInfo()
Chris Lattner64105522008-01-01 01:03:04 +000022 : TargetInstrInfoImpl(IA64Insts, sizeof(IA64Insts)/sizeof(IA64Insts[0])),
Evan Chengc0f64ff2006-11-27 23:37:22 +000023 RI(*this) {
Duraid Madina9b9d45f2005-03-17 18:17:03 +000024}
25
26
27bool IA64InstrInfo::isMoveInstr(const MachineInstr& MI,
28 unsigned& sourceReg,
29 unsigned& destReg) const {
30 MachineOpCode oc = MI.getOpcode();
31 if (oc == IA64::MOV || oc == IA64::FMOV) {
Duraid Madinabadf0d92006-01-25 02:23:38 +000032 // TODO: this doesn't detect predicate moves
Evan Cheng1e3417292007-04-25 07:12:14 +000033 assert(MI.getNumOperands() >= 2 &&
Duraid Madina9b9d45f2005-03-17 18:17:03 +000034 /* MI.getOperand(0).isRegister() &&
35 MI.getOperand(1).isRegister() && */
36 "invalid register-register move instruction");
37 if( MI.getOperand(0).isRegister() &&
Misha Brukman7847fca2005-04-22 17:54:37 +000038 MI.getOperand(1).isRegister() ) {
Duraid Madina9b9d45f2005-03-17 18:17:03 +000039 // if both operands of the MOV/FMOV are registers, then
40 // yes, this is a move instruction
41 sourceReg = MI.getOperand(1).getReg();
42 destReg = MI.getOperand(0).getReg();
43 return true;
44 }
45 }
46 return false; // we don't consider e.g. %regN = MOV <FrameIndex #x> a
47 // move instruction
48}
49
Evan Chengb5cdaa22007-05-18 00:05:48 +000050unsigned
51IA64InstrInfo::InsertBranch(MachineBasicBlock &MBB,MachineBasicBlock *TBB,
52 MachineBasicBlock *FBB,
53 const std::vector<MachineOperand> &Cond)const {
Chris Lattner11533e22006-10-24 16:44:55 +000054 // Can only insert uncond branches so far.
55 assert(Cond.empty() && !FBB && TBB && "Can only handle uncond branches!");
Evan Chengc0f64ff2006-11-27 23:37:22 +000056 BuildMI(&MBB, get(IA64::BRL_NOTCALL)).addMBB(TBB);
Evan Chengb5cdaa22007-05-18 00:05:48 +000057 return 1;
Rafael Espindola3d7d39a2006-10-24 17:07:11 +000058}
Owen Andersond10fd972007-12-31 06:32:00 +000059
60void IA64InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
61 MachineBasicBlock::iterator MI,
62 unsigned DestReg, unsigned SrcReg,
63 const TargetRegisterClass *DestRC,
64 const TargetRegisterClass *SrcRC) const {
65 if (DestRC != SrcRC) {
66 cerr << "Not yet supported!";
67 abort();
68 }
69
70 if(DestRC == IA64::PRRegisterClass ) // if a bool, we use pseudocode
71 // (SrcReg) DestReg = cmp.eq.unc(r0, r0)
72 BuildMI(MBB, MI, get(IA64::PCMPEQUNC), DestReg)
73 .addReg(IA64::r0).addReg(IA64::r0).addReg(SrcReg);
74 else // otherwise, MOV works (for both gen. regs and FP regs)
75 BuildMI(MBB, MI, get(IA64::MOV), DestReg).addReg(SrcReg);
76}
Owen Andersonf6372aa2008-01-01 21:11:32 +000077
78void IA64InstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
79 MachineBasicBlock::iterator MI,
80 unsigned SrcReg, bool isKill,
81 int FrameIdx,
82 const TargetRegisterClass *RC) const{
83
84 if (RC == IA64::FPRegisterClass) {
85 BuildMI(MBB, MI, get(IA64::STF_SPILL)).addFrameIndex(FrameIdx)
86 .addReg(SrcReg, false, false, isKill);
87 } else if (RC == IA64::GRRegisterClass) {
88 BuildMI(MBB, MI, get(IA64::ST8)).addFrameIndex(FrameIdx)
89 .addReg(SrcReg, false, false, isKill);
90 } else if (RC == IA64::PRRegisterClass) {
91 /* we use IA64::r2 as a temporary register for doing this hackery. */
92 // first we load 0:
93 BuildMI(MBB, MI, get(IA64::MOV), IA64::r2).addReg(IA64::r0);
94 // then conditionally add 1:
95 BuildMI(MBB, MI, get(IA64::CADDIMM22), IA64::r2).addReg(IA64::r2)
96 .addImm(1).addReg(SrcReg, false, false, isKill);
97 // and then store it to the stack
98 BuildMI(MBB, MI, get(IA64::ST8)).addFrameIndex(FrameIdx).addReg(IA64::r2);
99 } else assert(0 &&
100 "sorry, I don't know how to store this sort of reg in the stack\n");
101}
102
103void IA64InstrInfo::storeRegToAddr(MachineFunction &MF, unsigned SrcReg,
104 bool isKill,
105 SmallVectorImpl<MachineOperand> &Addr,
106 const TargetRegisterClass *RC,
107 SmallVectorImpl<MachineInstr*> &NewMIs) const {
108 unsigned Opc = 0;
109 if (RC == IA64::FPRegisterClass) {
110 Opc = IA64::STF8;
111 } else if (RC == IA64::GRRegisterClass) {
112 Opc = IA64::ST8;
113 } else if (RC == IA64::PRRegisterClass) {
114 Opc = IA64::ST1;
115 } else {
116 assert(0 &&
117 "sorry, I don't know how to store this sort of reg\n");
118 }
119
120 MachineInstrBuilder MIB = BuildMI(get(Opc));
121 for (unsigned i = 0, e = Addr.size(); i != e; ++i) {
122 MachineOperand &MO = Addr[i];
123 if (MO.isRegister())
124 MIB.addReg(MO.getReg());
125 else if (MO.isImmediate())
126 MIB.addImm(MO.getImm());
127 else
128 MIB.addFrameIndex(MO.getIndex());
129 }
130 MIB.addReg(SrcReg, false, false, isKill);
131 NewMIs.push_back(MIB);
132 return;
133
134}
135
136void IA64InstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
137 MachineBasicBlock::iterator MI,
138 unsigned DestReg, int FrameIdx,
139 const TargetRegisterClass *RC)const{
140
141 if (RC == IA64::FPRegisterClass) {
142 BuildMI(MBB, MI, get(IA64::LDF_FILL), DestReg).addFrameIndex(FrameIdx);
143 } else if (RC == IA64::GRRegisterClass) {
144 BuildMI(MBB, MI, get(IA64::LD8), DestReg).addFrameIndex(FrameIdx);
145 } else if (RC == IA64::PRRegisterClass) {
146 // first we load a byte from the stack into r2, our 'predicate hackery'
147 // scratch reg
148 BuildMI(MBB, MI, get(IA64::LD8), IA64::r2).addFrameIndex(FrameIdx);
149 // then we compare it to zero. If it _is_ zero, compare-not-equal to
150 // r0 gives us 0, which is what we want, so that's nice.
151 BuildMI(MBB, MI, get(IA64::CMPNE), DestReg).addReg(IA64::r2).addReg(IA64::r0);
152 } else assert(0 &&
153 "sorry, I don't know how to load this sort of reg from the stack\n");
154}
155
156void IA64InstrInfo::loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
157 SmallVectorImpl<MachineOperand> &Addr,
158 const TargetRegisterClass *RC,
159 SmallVectorImpl<MachineInstr*> &NewMIs) const {
160 unsigned Opc = 0;
161 if (RC == IA64::FPRegisterClass) {
162 Opc = IA64::LDF8;
163 } else if (RC == IA64::GRRegisterClass) {
164 Opc = IA64::LD8;
165 } else if (RC == IA64::PRRegisterClass) {
166 Opc = IA64::LD1;
167 } else {
168 assert(0 &&
169 "sorry, I don't know how to store this sort of reg\n");
170 }
171
172 MachineInstrBuilder MIB = BuildMI(get(Opc), DestReg);
173 for (unsigned i = 0, e = Addr.size(); i != e; ++i) {
174 MachineOperand &MO = Addr[i];
175 if (MO.isRegister())
176 MIB.addReg(MO.getReg());
177 else if (MO.isImmediate())
178 MIB.addImm(MO.getImm());
179 else
180 MIB.addFrameIndex(MO.getIndex());
181 }
182 NewMIs.push_back(MIB);
183 return;
184}