blob: a9dce854521e6ac0ed7584566053da4981a48bfb [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"
18#include "IA64GenInstrInfo.inc"
19using namespace llvm;
20
21IA64InstrInfo::IA64InstrInfo()
Chris Lattnerd2fd6db2008-01-01 01:03:04 +000022 : TargetInstrInfoImpl(IA64Insts, sizeof(IA64Insts)/sizeof(IA64Insts[0])),
Dan Gohmanf17a25c2007-07-18 16:29:46 +000023 RI(*this) {
24}
25
26
27bool IA64InstrInfo::isMoveInstr(const MachineInstr& MI,
28 unsigned& sourceReg,
29 unsigned& destReg) const {
Chris Lattner99aa3372008-01-07 02:48:55 +000030 unsigned oc = MI.getOpcode();
Dan Gohmanf17a25c2007-07-18 16:29:46 +000031 if (oc == IA64::MOV || oc == IA64::FMOV) {
32 // TODO: this doesn't detect predicate moves
33 assert(MI.getNumOperands() >= 2 &&
Dan Gohmanb9f4fa72008-10-03 15:45:36 +000034 /* MI.getOperand(0).isReg() &&
35 MI.getOperand(1).isReg() && */
Dan Gohmanf17a25c2007-07-18 16:29:46 +000036 "invalid register-register move instruction");
Dan Gohmanb9f4fa72008-10-03 15:45:36 +000037 if (MI.getOperand(0).isReg() &&
38 MI.getOperand(1).isReg()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +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
50unsigned
51IA64InstrInfo::InsertBranch(MachineBasicBlock &MBB,MachineBasicBlock *TBB,
52 MachineBasicBlock *FBB,
Owen Andersond131b5b2008-08-14 22:49:33 +000053 const SmallVectorImpl<MachineOperand> &Cond)const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000054 // Can only insert uncond branches so far.
55 assert(Cond.empty() && !FBB && TBB && "Can only handle uncond branches!");
56 BuildMI(&MBB, get(IA64::BRL_NOTCALL)).addMBB(TBB);
57 return 1;
58}
Owen Anderson8f2c8932007-12-31 06:32:00 +000059
Owen Anderson9fa72d92008-08-26 18:03:31 +000060bool IA64InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
Owen Anderson8f2c8932007-12-31 06:32:00 +000061 MachineBasicBlock::iterator MI,
62 unsigned DestReg, unsigned SrcReg,
63 const TargetRegisterClass *DestRC,
64 const TargetRegisterClass *SrcRC) const {
65 if (DestRC != SrcRC) {
Owen Anderson9fa72d92008-08-26 18:03:31 +000066 // Not yet supported!
67 return false;
Owen Anderson8f2c8932007-12-31 06:32:00 +000068 }
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);
Owen Anderson9fa72d92008-08-26 18:03:31 +000076
77 return true;
Owen Anderson8f2c8932007-12-31 06:32:00 +000078}
Owen Anderson81875432008-01-01 21:11:32 +000079
80void IA64InstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
81 MachineBasicBlock::iterator MI,
82 unsigned SrcReg, bool isKill,
83 int FrameIdx,
84 const TargetRegisterClass *RC) const{
85
86 if (RC == IA64::FPRegisterClass) {
87 BuildMI(MBB, MI, get(IA64::STF_SPILL)).addFrameIndex(FrameIdx)
88 .addReg(SrcReg, false, false, isKill);
89 } else if (RC == IA64::GRRegisterClass) {
90 BuildMI(MBB, MI, get(IA64::ST8)).addFrameIndex(FrameIdx)
91 .addReg(SrcReg, false, false, isKill);
92 } else if (RC == IA64::PRRegisterClass) {
93 /* we use IA64::r2 as a temporary register for doing this hackery. */
94 // first we load 0:
95 BuildMI(MBB, MI, get(IA64::MOV), IA64::r2).addReg(IA64::r0);
96 // then conditionally add 1:
97 BuildMI(MBB, MI, get(IA64::CADDIMM22), IA64::r2).addReg(IA64::r2)
98 .addImm(1).addReg(SrcReg, false, false, isKill);
99 // and then store it to the stack
100 BuildMI(MBB, MI, get(IA64::ST8)).addFrameIndex(FrameIdx).addReg(IA64::r2);
101 } else assert(0 &&
102 "sorry, I don't know how to store this sort of reg in the stack\n");
103}
104
105void IA64InstrInfo::storeRegToAddr(MachineFunction &MF, unsigned SrcReg,
106 bool isKill,
107 SmallVectorImpl<MachineOperand> &Addr,
108 const TargetRegisterClass *RC,
109 SmallVectorImpl<MachineInstr*> &NewMIs) const {
110 unsigned Opc = 0;
111 if (RC == IA64::FPRegisterClass) {
112 Opc = IA64::STF8;
113 } else if (RC == IA64::GRRegisterClass) {
114 Opc = IA64::ST8;
115 } else if (RC == IA64::PRRegisterClass) {
116 Opc = IA64::ST1;
117 } else {
118 assert(0 &&
119 "sorry, I don't know how to store this sort of reg\n");
120 }
121
Dan Gohman221a4372008-07-07 23:14:23 +0000122 MachineInstrBuilder MIB = BuildMI(MF, get(Opc));
Owen Anderson81875432008-01-01 21:11:32 +0000123 for (unsigned i = 0, e = Addr.size(); i != e; ++i) {
124 MachineOperand &MO = Addr[i];
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000125 if (MO.isReg())
Owen Anderson81875432008-01-01 21:11:32 +0000126 MIB.addReg(MO.getReg());
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000127 else if (MO.isImm())
Owen Anderson81875432008-01-01 21:11:32 +0000128 MIB.addImm(MO.getImm());
129 else
130 MIB.addFrameIndex(MO.getIndex());
131 }
132 MIB.addReg(SrcReg, false, false, isKill);
133 NewMIs.push_back(MIB);
134 return;
135
136}
137
138void IA64InstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
139 MachineBasicBlock::iterator MI,
140 unsigned DestReg, int FrameIdx,
141 const TargetRegisterClass *RC)const{
142
143 if (RC == IA64::FPRegisterClass) {
144 BuildMI(MBB, MI, get(IA64::LDF_FILL), DestReg).addFrameIndex(FrameIdx);
145 } else if (RC == IA64::GRRegisterClass) {
146 BuildMI(MBB, MI, get(IA64::LD8), DestReg).addFrameIndex(FrameIdx);
147 } else if (RC == IA64::PRRegisterClass) {
148 // first we load a byte from the stack into r2, our 'predicate hackery'
149 // scratch reg
150 BuildMI(MBB, MI, get(IA64::LD8), IA64::r2).addFrameIndex(FrameIdx);
151 // then we compare it to zero. If it _is_ zero, compare-not-equal to
152 // r0 gives us 0, which is what we want, so that's nice.
153 BuildMI(MBB, MI, get(IA64::CMPNE), DestReg).addReg(IA64::r2).addReg(IA64::r0);
154 } else assert(0 &&
155 "sorry, I don't know how to load this sort of reg from the stack\n");
156}
157
158void IA64InstrInfo::loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
159 SmallVectorImpl<MachineOperand> &Addr,
160 const TargetRegisterClass *RC,
161 SmallVectorImpl<MachineInstr*> &NewMIs) const {
162 unsigned Opc = 0;
163 if (RC == IA64::FPRegisterClass) {
164 Opc = IA64::LDF8;
165 } else if (RC == IA64::GRRegisterClass) {
166 Opc = IA64::LD8;
167 } else if (RC == IA64::PRRegisterClass) {
168 Opc = IA64::LD1;
169 } else {
170 assert(0 &&
171 "sorry, I don't know how to store this sort of reg\n");
172 }
173
Dan Gohman221a4372008-07-07 23:14:23 +0000174 MachineInstrBuilder MIB = BuildMI(MF, get(Opc), DestReg);
Owen Anderson81875432008-01-01 21:11:32 +0000175 for (unsigned i = 0, e = Addr.size(); i != e; ++i) {
176 MachineOperand &MO = Addr[i];
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000177 if (MO.isReg())
Owen Anderson81875432008-01-01 21:11:32 +0000178 MIB.addReg(MO.getReg());
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000179 else if (MO.isImm())
Owen Anderson81875432008-01-01 21:11:32 +0000180 MIB.addImm(MO.getImm());
181 else
182 MIB.addFrameIndex(MO.getIndex());
183 }
184 NewMIs.push_back(MIB);
185 return;
186}