blob: a6e4d97f6e35cffc762469fbdccc2a463397ea81 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===- IA64InstrInfo.cpp - IA64 Instruction Information -----------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
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"
Dan Gohmanc24a3f82009-01-05 17:59:02 +000018#include "llvm/ADT/SmallVector.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000019#include "IA64GenInstrInfo.inc"
20using namespace llvm;
21
22IA64InstrInfo::IA64InstrInfo()
Chris Lattnerd2fd6db2008-01-01 01:03:04 +000023 : TargetInstrInfoImpl(IA64Insts, sizeof(IA64Insts)/sizeof(IA64Insts[0])),
Dan Gohmanf17a25c2007-07-18 16:29:46 +000024 RI(*this) {
25}
26
27
28bool IA64InstrInfo::isMoveInstr(const MachineInstr& MI,
Evan Chengf97496a2009-01-20 19:12:24 +000029 unsigned& sourceReg,
30 unsigned& destReg,
31 unsigned& SrcSR, unsigned& DstSR) const {
32 SrcSR = DstSR = 0; // No sub-registers.
33
Chris Lattner99aa3372008-01-07 02:48:55 +000034 unsigned oc = MI.getOpcode();
Dan Gohmanf17a25c2007-07-18 16:29:46 +000035 if (oc == IA64::MOV || oc == IA64::FMOV) {
36 // TODO: this doesn't detect predicate moves
37 assert(MI.getNumOperands() >= 2 &&
Dan Gohmanb9f4fa72008-10-03 15:45:36 +000038 /* MI.getOperand(0).isReg() &&
39 MI.getOperand(1).isReg() && */
Dan Gohmanf17a25c2007-07-18 16:29:46 +000040 "invalid register-register move instruction");
Dan Gohmanb9f4fa72008-10-03 15:45:36 +000041 if (MI.getOperand(0).isReg() &&
42 MI.getOperand(1).isReg()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000043 // if both operands of the MOV/FMOV are registers, then
44 // yes, this is a move instruction
45 sourceReg = MI.getOperand(1).getReg();
46 destReg = MI.getOperand(0).getReg();
47 return true;
48 }
49 }
50 return false; // we don't consider e.g. %regN = MOV <FrameIndex #x> a
51 // move instruction
52}
53
54unsigned
55IA64InstrInfo::InsertBranch(MachineBasicBlock &MBB,MachineBasicBlock *TBB,
56 MachineBasicBlock *FBB,
Owen Andersond131b5b2008-08-14 22:49:33 +000057 const SmallVectorImpl<MachineOperand> &Cond)const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000058 // Can only insert uncond branches so far.
59 assert(Cond.empty() && !FBB && TBB && "Can only handle uncond branches!");
60 BuildMI(&MBB, get(IA64::BRL_NOTCALL)).addMBB(TBB);
61 return 1;
62}
Owen Anderson8f2c8932007-12-31 06:32:00 +000063
Owen Anderson9fa72d92008-08-26 18:03:31 +000064bool IA64InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
Bill Wendling5b8a97b2009-02-12 00:02:55 +000065 MachineBasicBlock::iterator MI,
66 unsigned DestReg, unsigned SrcReg,
67 const TargetRegisterClass *DestRC,
68 const TargetRegisterClass *SrcRC) const {
Owen Anderson8f2c8932007-12-31 06:32:00 +000069 if (DestRC != SrcRC) {
Owen Anderson9fa72d92008-08-26 18:03:31 +000070 // Not yet supported!
71 return false;
Owen Anderson8f2c8932007-12-31 06:32:00 +000072 }
73
Bill Wendling5b8a97b2009-02-12 00:02:55 +000074 DebugLoc DL = DebugLoc::getUnknownLoc();
75 if (MI != MBB.end()) DL = MI->getDebugLoc();
76
Owen Anderson8f2c8932007-12-31 06:32:00 +000077 if(DestRC == IA64::PRRegisterClass ) // if a bool, we use pseudocode
78 // (SrcReg) DestReg = cmp.eq.unc(r0, r0)
Bill Wendling5b8a97b2009-02-12 00:02:55 +000079 BuildMI(MBB, MI, DL, get(IA64::PCMPEQUNC), DestReg)
Owen Anderson8f2c8932007-12-31 06:32:00 +000080 .addReg(IA64::r0).addReg(IA64::r0).addReg(SrcReg);
81 else // otherwise, MOV works (for both gen. regs and FP regs)
Bill Wendling5b8a97b2009-02-12 00:02:55 +000082 BuildMI(MBB, MI, DL, get(IA64::MOV), DestReg).addReg(SrcReg);
Owen Anderson9fa72d92008-08-26 18:03:31 +000083
84 return true;
Owen Anderson8f2c8932007-12-31 06:32:00 +000085}
Owen Anderson81875432008-01-01 21:11:32 +000086
87void IA64InstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
88 MachineBasicBlock::iterator MI,
89 unsigned SrcReg, bool isKill,
90 int FrameIdx,
91 const TargetRegisterClass *RC) const{
Bill Wendling5b8a97b2009-02-12 00:02:55 +000092 DebugLoc DL = DebugLoc::getUnknownLoc();
93 if (MI != MBB.end()) DL = MI->getDebugLoc();
Owen Anderson81875432008-01-01 21:11:32 +000094
95 if (RC == IA64::FPRegisterClass) {
Bill Wendling5b8a97b2009-02-12 00:02:55 +000096 BuildMI(MBB, MI, DL, get(IA64::STF_SPILL)).addFrameIndex(FrameIdx)
Owen Anderson81875432008-01-01 21:11:32 +000097 .addReg(SrcReg, false, false, isKill);
98 } else if (RC == IA64::GRRegisterClass) {
Bill Wendling5b8a97b2009-02-12 00:02:55 +000099 BuildMI(MBB, MI, DL, get(IA64::ST8)).addFrameIndex(FrameIdx)
Owen Anderson81875432008-01-01 21:11:32 +0000100 .addReg(SrcReg, false, false, isKill);
101 } else if (RC == IA64::PRRegisterClass) {
102 /* we use IA64::r2 as a temporary register for doing this hackery. */
103 // first we load 0:
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000104 BuildMI(MBB, MI, DL, get(IA64::MOV), IA64::r2).addReg(IA64::r0);
Owen Anderson81875432008-01-01 21:11:32 +0000105 // then conditionally add 1:
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000106 BuildMI(MBB, MI, DL, get(IA64::CADDIMM22), IA64::r2).addReg(IA64::r2)
Owen Anderson81875432008-01-01 21:11:32 +0000107 .addImm(1).addReg(SrcReg, false, false, isKill);
108 // and then store it to the stack
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000109 BuildMI(MBB, MI, DL, get(IA64::ST8))
110 .addFrameIndex(FrameIdx)
111 .addReg(IA64::r2);
Owen Anderson81875432008-01-01 21:11:32 +0000112 } else assert(0 &&
113 "sorry, I don't know how to store this sort of reg in the stack\n");
114}
115
116void IA64InstrInfo::storeRegToAddr(MachineFunction &MF, unsigned SrcReg,
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000117 bool isKill,
118 SmallVectorImpl<MachineOperand> &Addr,
119 const TargetRegisterClass *RC,
Owen Anderson81875432008-01-01 21:11:32 +0000120 SmallVectorImpl<MachineInstr*> &NewMIs) const {
121 unsigned Opc = 0;
122 if (RC == IA64::FPRegisterClass) {
123 Opc = IA64::STF8;
124 } else if (RC == IA64::GRRegisterClass) {
125 Opc = IA64::ST8;
126 } else if (RC == IA64::PRRegisterClass) {
127 Opc = IA64::ST1;
128 } else {
129 assert(0 &&
130 "sorry, I don't know how to store this sort of reg\n");
131 }
132
Dan Gohman221a4372008-07-07 23:14:23 +0000133 MachineInstrBuilder MIB = BuildMI(MF, get(Opc));
Owen Anderson81875432008-01-01 21:11:32 +0000134 for (unsigned i = 0, e = Addr.size(); i != e; ++i) {
135 MachineOperand &MO = Addr[i];
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000136 if (MO.isReg())
Owen Anderson81875432008-01-01 21:11:32 +0000137 MIB.addReg(MO.getReg());
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000138 else if (MO.isImm())
Owen Anderson81875432008-01-01 21:11:32 +0000139 MIB.addImm(MO.getImm());
140 else
141 MIB.addFrameIndex(MO.getIndex());
142 }
143 MIB.addReg(SrcReg, false, false, isKill);
144 NewMIs.push_back(MIB);
145 return;
146
147}
148
149void IA64InstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000150 MachineBasicBlock::iterator MI,
151 unsigned DestReg, int FrameIdx,
152 const TargetRegisterClass *RC)const{
153 DebugLoc DL = DebugLoc::getUnknownLoc();
154 if (MI != MBB.end()) DL = MI->getDebugLoc();
Owen Anderson81875432008-01-01 21:11:32 +0000155
156 if (RC == IA64::FPRegisterClass) {
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000157 BuildMI(MBB, MI, DL, get(IA64::LDF_FILL), DestReg).addFrameIndex(FrameIdx);
Owen Anderson81875432008-01-01 21:11:32 +0000158 } else if (RC == IA64::GRRegisterClass) {
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000159 BuildMI(MBB, MI, DL, get(IA64::LD8), DestReg).addFrameIndex(FrameIdx);
160 } else if (RC == IA64::PRRegisterClass) {
161 // first we load a byte from the stack into r2, our 'predicate hackery'
162 // scratch reg
163 BuildMI(MBB, MI, DL, get(IA64::LD8), IA64::r2).addFrameIndex(FrameIdx);
164 // then we compare it to zero. If it _is_ zero, compare-not-equal to
165 // r0 gives us 0, which is what we want, so that's nice.
166 BuildMI(MBB, MI, DL, get(IA64::CMPNE), DestReg)
167 .addReg(IA64::r2)
168 .addReg(IA64::r0);
169 } else {
170 assert(0 &&
171 "sorry, I don't know how to load this sort of reg from the stack\n");
172 }
Owen Anderson81875432008-01-01 21:11:32 +0000173}
174
175void IA64InstrInfo::loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000176 SmallVectorImpl<MachineOperand> &Addr,
177 const TargetRegisterClass *RC,
Owen Anderson81875432008-01-01 21:11:32 +0000178 SmallVectorImpl<MachineInstr*> &NewMIs) const {
179 unsigned Opc = 0;
180 if (RC == IA64::FPRegisterClass) {
181 Opc = IA64::LDF8;
182 } else if (RC == IA64::GRRegisterClass) {
183 Opc = IA64::LD8;
184 } else if (RC == IA64::PRRegisterClass) {
185 Opc = IA64::LD1;
186 } else {
187 assert(0 &&
188 "sorry, I don't know how to store this sort of reg\n");
189 }
190
Dan Gohman221a4372008-07-07 23:14:23 +0000191 MachineInstrBuilder MIB = BuildMI(MF, get(Opc), DestReg);
Owen Anderson81875432008-01-01 21:11:32 +0000192 for (unsigned i = 0, e = Addr.size(); i != e; ++i) {
193 MachineOperand &MO = Addr[i];
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000194 if (MO.isReg())
Owen Anderson81875432008-01-01 21:11:32 +0000195 MIB.addReg(MO.getReg());
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000196 else if (MO.isImm())
Owen Anderson81875432008-01-01 21:11:32 +0000197 MIB.addImm(MO.getImm());
198 else
199 MIB.addFrameIndex(MO.getIndex());
200 }
201 NewMIs.push_back(MIB);
202 return;
203}