blob: 0537c3ed01a15b28365a507ad34f242f1c3c4618 [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"
Edwin Török675d5622009-07-11 20:10:48 +000019#include "llvm/Support/ErrorHandling.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000020#include "IA64GenInstrInfo.inc"
21using namespace llvm;
22
23IA64InstrInfo::IA64InstrInfo()
Chris Lattnerd2fd6db2008-01-01 01:03:04 +000024 : TargetInstrInfoImpl(IA64Insts, sizeof(IA64Insts)/sizeof(IA64Insts[0])),
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025 RI(*this) {
26}
27
28
29bool IA64InstrInfo::isMoveInstr(const MachineInstr& MI,
Evan Chengf97496a2009-01-20 19:12:24 +000030 unsigned& sourceReg,
31 unsigned& destReg,
32 unsigned& SrcSR, unsigned& DstSR) const {
33 SrcSR = DstSR = 0; // No sub-registers.
34
Chris Lattner99aa3372008-01-07 02:48:55 +000035 unsigned oc = MI.getOpcode();
Dan Gohmanf17a25c2007-07-18 16:29:46 +000036 if (oc == IA64::MOV || oc == IA64::FMOV) {
37 // TODO: this doesn't detect predicate moves
38 assert(MI.getNumOperands() >= 2 &&
Dan Gohmanb9f4fa72008-10-03 15:45:36 +000039 /* MI.getOperand(0).isReg() &&
40 MI.getOperand(1).isReg() && */
Dan Gohmanf17a25c2007-07-18 16:29:46 +000041 "invalid register-register move instruction");
Dan Gohmanb9f4fa72008-10-03 15:45:36 +000042 if (MI.getOperand(0).isReg() &&
43 MI.getOperand(1).isReg()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000044 // if both operands of the MOV/FMOV are registers, then
45 // yes, this is a move instruction
46 sourceReg = MI.getOperand(1).getReg();
47 destReg = MI.getOperand(0).getReg();
48 return true;
49 }
50 }
51 return false; // we don't consider e.g. %regN = MOV <FrameIndex #x> a
52 // move instruction
53}
54
55unsigned
56IA64InstrInfo::InsertBranch(MachineBasicBlock &MBB,MachineBasicBlock *TBB,
57 MachineBasicBlock *FBB,
Owen Andersond131b5b2008-08-14 22:49:33 +000058 const SmallVectorImpl<MachineOperand> &Cond)const {
Dale Johannesen2ba78362009-02-13 02:34:39 +000059 // FIXME this should probably have a DebugLoc argument
60 DebugLoc dl = DebugLoc::getUnknownLoc();
Dan Gohmanf17a25c2007-07-18 16:29:46 +000061 // Can only insert uncond branches so far.
62 assert(Cond.empty() && !FBB && TBB && "Can only handle uncond branches!");
Dale Johannesen2ba78362009-02-13 02:34:39 +000063 BuildMI(&MBB, dl, get(IA64::BRL_NOTCALL)).addMBB(TBB);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000064 return 1;
65}
Owen Anderson8f2c8932007-12-31 06:32:00 +000066
Owen Anderson9fa72d92008-08-26 18:03:31 +000067bool IA64InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
Bill Wendling5b8a97b2009-02-12 00:02:55 +000068 MachineBasicBlock::iterator MI,
69 unsigned DestReg, unsigned SrcReg,
70 const TargetRegisterClass *DestRC,
71 const TargetRegisterClass *SrcRC) const {
Owen Anderson8f2c8932007-12-31 06:32:00 +000072 if (DestRC != SrcRC) {
Owen Anderson9fa72d92008-08-26 18:03:31 +000073 // Not yet supported!
74 return false;
Owen Anderson8f2c8932007-12-31 06:32:00 +000075 }
76
Bill Wendling5b8a97b2009-02-12 00:02:55 +000077 DebugLoc DL = DebugLoc::getUnknownLoc();
78 if (MI != MBB.end()) DL = MI->getDebugLoc();
79
Owen Anderson8f2c8932007-12-31 06:32:00 +000080 if(DestRC == IA64::PRRegisterClass ) // if a bool, we use pseudocode
81 // (SrcReg) DestReg = cmp.eq.unc(r0, r0)
Bill Wendling5b8a97b2009-02-12 00:02:55 +000082 BuildMI(MBB, MI, DL, get(IA64::PCMPEQUNC), DestReg)
Owen Anderson8f2c8932007-12-31 06:32:00 +000083 .addReg(IA64::r0).addReg(IA64::r0).addReg(SrcReg);
84 else // otherwise, MOV works (for both gen. regs and FP regs)
Bill Wendling5b8a97b2009-02-12 00:02:55 +000085 BuildMI(MBB, MI, DL, get(IA64::MOV), DestReg).addReg(SrcReg);
Owen Anderson9fa72d92008-08-26 18:03:31 +000086
87 return true;
Owen Anderson8f2c8932007-12-31 06:32:00 +000088}
Owen Anderson81875432008-01-01 21:11:32 +000089
90void IA64InstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
91 MachineBasicBlock::iterator MI,
92 unsigned SrcReg, bool isKill,
93 int FrameIdx,
94 const TargetRegisterClass *RC) const{
Bill Wendling5b8a97b2009-02-12 00:02:55 +000095 DebugLoc DL = DebugLoc::getUnknownLoc();
96 if (MI != MBB.end()) DL = MI->getDebugLoc();
Owen Anderson81875432008-01-01 21:11:32 +000097
98 if (RC == IA64::FPRegisterClass) {
Bill Wendling5b8a97b2009-02-12 00:02:55 +000099 BuildMI(MBB, MI, DL, get(IA64::STF_SPILL)).addFrameIndex(FrameIdx)
Bill Wendling2b739762009-05-13 21:33:08 +0000100 .addReg(SrcReg, getKillRegState(isKill));
Owen Anderson81875432008-01-01 21:11:32 +0000101 } else if (RC == IA64::GRRegisterClass) {
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000102 BuildMI(MBB, MI, DL, get(IA64::ST8)).addFrameIndex(FrameIdx)
Bill Wendling2b739762009-05-13 21:33:08 +0000103 .addReg(SrcReg, getKillRegState(isKill));
Owen Anderson81875432008-01-01 21:11:32 +0000104 } else if (RC == IA64::PRRegisterClass) {
105 /* we use IA64::r2 as a temporary register for doing this hackery. */
106 // first we load 0:
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000107 BuildMI(MBB, MI, DL, get(IA64::MOV), IA64::r2).addReg(IA64::r0);
Owen Anderson81875432008-01-01 21:11:32 +0000108 // then conditionally add 1:
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000109 BuildMI(MBB, MI, DL, get(IA64::CADDIMM22), IA64::r2).addReg(IA64::r2)
Bill Wendling2b739762009-05-13 21:33:08 +0000110 .addImm(1).addReg(SrcReg, getKillRegState(isKill));
Owen Anderson81875432008-01-01 21:11:32 +0000111 // and then store it to the stack
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000112 BuildMI(MBB, MI, DL, get(IA64::ST8))
113 .addFrameIndex(FrameIdx)
114 .addReg(IA64::r2);
Edwin Török675d5622009-07-11 20:10:48 +0000115 } else
116 LLVM_UNREACHABLE("sorry, I don't know how to store this sort of reg in the stack");
Owen Anderson81875432008-01-01 21:11:32 +0000117}
118
119void IA64InstrInfo::storeRegToAddr(MachineFunction &MF, unsigned SrcReg,
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000120 bool isKill,
121 SmallVectorImpl<MachineOperand> &Addr,
122 const TargetRegisterClass *RC,
Owen Anderson81875432008-01-01 21:11:32 +0000123 SmallVectorImpl<MachineInstr*> &NewMIs) const {
124 unsigned Opc = 0;
125 if (RC == IA64::FPRegisterClass) {
126 Opc = IA64::STF8;
127 } else if (RC == IA64::GRRegisterClass) {
128 Opc = IA64::ST8;
129 } else if (RC == IA64::PRRegisterClass) {
130 Opc = IA64::ST1;
131 } else {
Edwin Török675d5622009-07-11 20:10:48 +0000132 LLVM_UNREACHABLE(
Owen Anderson81875432008-01-01 21:11:32 +0000133 "sorry, I don't know how to store this sort of reg\n");
134 }
135
Dale Johannesen77cce4d2009-02-12 23:08:38 +0000136 DebugLoc DL = DebugLoc::getUnknownLoc();
137 MachineInstrBuilder MIB = BuildMI(MF, DL, get(Opc));
Dan Gohmanc909bbb2009-02-18 05:45:50 +0000138 for (unsigned i = 0, e = Addr.size(); i != e; ++i)
139 MIB.addOperand(Addr[i]);
Bill Wendling2b739762009-05-13 21:33:08 +0000140 MIB.addReg(SrcReg, getKillRegState(isKill));
Owen Anderson81875432008-01-01 21:11:32 +0000141 NewMIs.push_back(MIB);
142 return;
143
144}
145
146void IA64InstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000147 MachineBasicBlock::iterator MI,
148 unsigned DestReg, int FrameIdx,
149 const TargetRegisterClass *RC)const{
150 DebugLoc DL = DebugLoc::getUnknownLoc();
151 if (MI != MBB.end()) DL = MI->getDebugLoc();
Owen Anderson81875432008-01-01 21:11:32 +0000152
153 if (RC == IA64::FPRegisterClass) {
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000154 BuildMI(MBB, MI, DL, get(IA64::LDF_FILL), DestReg).addFrameIndex(FrameIdx);
Owen Anderson81875432008-01-01 21:11:32 +0000155 } else if (RC == IA64::GRRegisterClass) {
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000156 BuildMI(MBB, MI, DL, get(IA64::LD8), DestReg).addFrameIndex(FrameIdx);
157 } else if (RC == IA64::PRRegisterClass) {
158 // first we load a byte from the stack into r2, our 'predicate hackery'
159 // scratch reg
160 BuildMI(MBB, MI, DL, get(IA64::LD8), IA64::r2).addFrameIndex(FrameIdx);
161 // then we compare it to zero. If it _is_ zero, compare-not-equal to
162 // r0 gives us 0, which is what we want, so that's nice.
163 BuildMI(MBB, MI, DL, get(IA64::CMPNE), DestReg)
164 .addReg(IA64::r2)
165 .addReg(IA64::r0);
166 } else {
Edwin Török675d5622009-07-11 20:10:48 +0000167 LLVM_UNREACHABLE(
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000168 "sorry, I don't know how to load this sort of reg from the stack\n");
169 }
Owen Anderson81875432008-01-01 21:11:32 +0000170}
171
172void IA64InstrInfo::loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
Bill Wendling5b8a97b2009-02-12 00:02:55 +0000173 SmallVectorImpl<MachineOperand> &Addr,
174 const TargetRegisterClass *RC,
Owen Anderson81875432008-01-01 21:11:32 +0000175 SmallVectorImpl<MachineInstr*> &NewMIs) const {
176 unsigned Opc = 0;
177 if (RC == IA64::FPRegisterClass) {
178 Opc = IA64::LDF8;
179 } else if (RC == IA64::GRRegisterClass) {
180 Opc = IA64::LD8;
181 } else if (RC == IA64::PRRegisterClass) {
182 Opc = IA64::LD1;
183 } else {
Edwin Török675d5622009-07-11 20:10:48 +0000184 LLVM_UNREACHABLE(
Dale Johannesen77cce4d2009-02-12 23:08:38 +0000185 "sorry, I don't know how to load this sort of reg\n");
Owen Anderson81875432008-01-01 21:11:32 +0000186 }
187
Dale Johannesen77cce4d2009-02-12 23:08:38 +0000188 DebugLoc DL = DebugLoc::getUnknownLoc();
189 MachineInstrBuilder MIB = BuildMI(MF, DL, get(Opc), DestReg);
Dan Gohmanc909bbb2009-02-18 05:45:50 +0000190 for (unsigned i = 0, e = Addr.size(); i != e; ++i)
191 MIB.addOperand(Addr[i]);
Owen Anderson81875432008-01-01 21:11:32 +0000192 NewMIs.push_back(MIB);
193 return;
194}