blob: 65eff25261fe9cd556a9043f7a771d27427ec14a [file] [log] [blame]
Duraid Madina91ed0a12005-03-17 18:17:03 +00001//===- IA64InstrInfo.cpp - IA64 Instruction Information -----------*- C++ -*-===//
Misha Brukman89b8c8d2005-04-21 23:13:11 +00002//
Duraid Madina91ed0a12005-03-17 18:17:03 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-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 Brukman89b8c8d2005-04-21 23:13:11 +00007//
Duraid Madina91ed0a12005-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"
Dan Gohman906152a2009-01-05 17:59:02 +000018#include "llvm/ADT/SmallVector.h"
Duraid Madina91ed0a12005-03-17 18:17:03 +000019#include "IA64GenInstrInfo.inc"
20using namespace llvm;
21
22IA64InstrInfo::IA64InstrInfo()
Chris Lattner25568e42008-01-01 01:03:04 +000023 : TargetInstrInfoImpl(IA64Insts, sizeof(IA64Insts)/sizeof(IA64Insts[0])),
Evan Cheng20350c42006-11-27 23:37:22 +000024 RI(*this) {
Duraid Madina91ed0a12005-03-17 18:17:03 +000025}
26
27
28bool IA64InstrInfo::isMoveInstr(const MachineInstr& MI,
Evan Chengc544cb02009-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 Lattnerf0f438a2008-01-07 02:48:55 +000034 unsigned oc = MI.getOpcode();
Duraid Madina91ed0a12005-03-17 18:17:03 +000035 if (oc == IA64::MOV || oc == IA64::FMOV) {
Duraid Madina5ea06a92006-01-25 02:23:38 +000036 // TODO: this doesn't detect predicate moves
Evan Cheng8cd224e2007-04-25 07:12:14 +000037 assert(MI.getNumOperands() >= 2 &&
Dan Gohman0d1e9a82008-10-03 15:45:36 +000038 /* MI.getOperand(0).isReg() &&
39 MI.getOperand(1).isReg() && */
Duraid Madina91ed0a12005-03-17 18:17:03 +000040 "invalid register-register move instruction");
Dan Gohman0d1e9a82008-10-03 15:45:36 +000041 if (MI.getOperand(0).isReg() &&
42 MI.getOperand(1).isReg()) {
Duraid Madina91ed0a12005-03-17 18:17:03 +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
Evan Cheng99be49d2007-05-18 00:05:48 +000054unsigned
55IA64InstrInfo::InsertBranch(MachineBasicBlock &MBB,MachineBasicBlock *TBB,
56 MachineBasicBlock *FBB,
Owen Anderson4f6bf042008-08-14 22:49:33 +000057 const SmallVectorImpl<MachineOperand> &Cond)const {
Dale Johannesen3a8bd172009-02-13 02:34:39 +000058 // FIXME this should probably have a DebugLoc argument
59 DebugLoc dl = DebugLoc::getUnknownLoc();
Chris Lattnerccd77042006-10-24 16:44:55 +000060 // Can only insert uncond branches so far.
61 assert(Cond.empty() && !FBB && TBB && "Can only handle uncond branches!");
Dale Johannesen3a8bd172009-02-13 02:34:39 +000062 BuildMI(&MBB, dl, get(IA64::BRL_NOTCALL)).addMBB(TBB);
Evan Cheng99be49d2007-05-18 00:05:48 +000063 return 1;
Rafael Espindolaed328832006-10-24 17:07:11 +000064}
Owen Anderson7a73ae92007-12-31 06:32:00 +000065
Owen Anderson27fb3dc2008-08-26 18:03:31 +000066bool IA64InstrInfo::copyRegToReg(MachineBasicBlock &MBB,
Bill Wendlingf6d609a2009-02-12 00:02:55 +000067 MachineBasicBlock::iterator MI,
68 unsigned DestReg, unsigned SrcReg,
69 const TargetRegisterClass *DestRC,
70 const TargetRegisterClass *SrcRC) const {
Owen Anderson7a73ae92007-12-31 06:32:00 +000071 if (DestRC != SrcRC) {
Owen Anderson27fb3dc2008-08-26 18:03:31 +000072 // Not yet supported!
73 return false;
Owen Anderson7a73ae92007-12-31 06:32:00 +000074 }
75
Bill Wendlingf6d609a2009-02-12 00:02:55 +000076 DebugLoc DL = DebugLoc::getUnknownLoc();
77 if (MI != MBB.end()) DL = MI->getDebugLoc();
78
Owen Anderson7a73ae92007-12-31 06:32:00 +000079 if(DestRC == IA64::PRRegisterClass ) // if a bool, we use pseudocode
80 // (SrcReg) DestReg = cmp.eq.unc(r0, r0)
Bill Wendlingf6d609a2009-02-12 00:02:55 +000081 BuildMI(MBB, MI, DL, get(IA64::PCMPEQUNC), DestReg)
Owen Anderson7a73ae92007-12-31 06:32:00 +000082 .addReg(IA64::r0).addReg(IA64::r0).addReg(SrcReg);
83 else // otherwise, MOV works (for both gen. regs and FP regs)
Bill Wendlingf6d609a2009-02-12 00:02:55 +000084 BuildMI(MBB, MI, DL, get(IA64::MOV), DestReg).addReg(SrcReg);
Owen Anderson27fb3dc2008-08-26 18:03:31 +000085
86 return true;
Owen Anderson7a73ae92007-12-31 06:32:00 +000087}
Owen Andersoneee14602008-01-01 21:11:32 +000088
89void IA64InstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
90 MachineBasicBlock::iterator MI,
91 unsigned SrcReg, bool isKill,
92 int FrameIdx,
93 const TargetRegisterClass *RC) const{
Bill Wendlingf6d609a2009-02-12 00:02:55 +000094 DebugLoc DL = DebugLoc::getUnknownLoc();
95 if (MI != MBB.end()) DL = MI->getDebugLoc();
Owen Andersoneee14602008-01-01 21:11:32 +000096
97 if (RC == IA64::FPRegisterClass) {
Bill Wendlingf6d609a2009-02-12 00:02:55 +000098 BuildMI(MBB, MI, DL, get(IA64::STF_SPILL)).addFrameIndex(FrameIdx)
Owen Andersoneee14602008-01-01 21:11:32 +000099 .addReg(SrcReg, false, false, isKill);
100 } else if (RC == IA64::GRRegisterClass) {
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000101 BuildMI(MBB, MI, DL, get(IA64::ST8)).addFrameIndex(FrameIdx)
Owen Andersoneee14602008-01-01 21:11:32 +0000102 .addReg(SrcReg, false, false, isKill);
103 } else if (RC == IA64::PRRegisterClass) {
104 /* we use IA64::r2 as a temporary register for doing this hackery. */
105 // first we load 0:
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000106 BuildMI(MBB, MI, DL, get(IA64::MOV), IA64::r2).addReg(IA64::r0);
Owen Andersoneee14602008-01-01 21:11:32 +0000107 // then conditionally add 1:
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000108 BuildMI(MBB, MI, DL, get(IA64::CADDIMM22), IA64::r2).addReg(IA64::r2)
Owen Andersoneee14602008-01-01 21:11:32 +0000109 .addImm(1).addReg(SrcReg, false, false, isKill);
110 // and then store it to the stack
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000111 BuildMI(MBB, MI, DL, get(IA64::ST8))
112 .addFrameIndex(FrameIdx)
113 .addReg(IA64::r2);
Owen Andersoneee14602008-01-01 21:11:32 +0000114 } else assert(0 &&
115 "sorry, I don't know how to store this sort of reg in the stack\n");
116}
117
118void IA64InstrInfo::storeRegToAddr(MachineFunction &MF, unsigned SrcReg,
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000119 bool isKill,
120 SmallVectorImpl<MachineOperand> &Addr,
121 const TargetRegisterClass *RC,
Owen Andersoneee14602008-01-01 21:11:32 +0000122 SmallVectorImpl<MachineInstr*> &NewMIs) const {
123 unsigned Opc = 0;
124 if (RC == IA64::FPRegisterClass) {
125 Opc = IA64::STF8;
126 } else if (RC == IA64::GRRegisterClass) {
127 Opc = IA64::ST8;
128 } else if (RC == IA64::PRRegisterClass) {
129 Opc = IA64::ST1;
130 } else {
131 assert(0 &&
132 "sorry, I don't know how to store this sort of reg\n");
133 }
134
Dale Johannesen6b8c76a2009-02-12 23:08:38 +0000135 DebugLoc DL = DebugLoc::getUnknownLoc();
136 MachineInstrBuilder MIB = BuildMI(MF, DL, get(Opc));
Dan Gohman2af1f852009-02-18 05:45:50 +0000137 for (unsigned i = 0, e = Addr.size(); i != e; ++i)
138 MIB.addOperand(Addr[i]);
Owen Andersoneee14602008-01-01 21:11:32 +0000139 MIB.addReg(SrcReg, false, false, isKill);
140 NewMIs.push_back(MIB);
141 return;
142
143}
144
145void IA64InstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000146 MachineBasicBlock::iterator MI,
147 unsigned DestReg, int FrameIdx,
148 const TargetRegisterClass *RC)const{
149 DebugLoc DL = DebugLoc::getUnknownLoc();
150 if (MI != MBB.end()) DL = MI->getDebugLoc();
Owen Andersoneee14602008-01-01 21:11:32 +0000151
152 if (RC == IA64::FPRegisterClass) {
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000153 BuildMI(MBB, MI, DL, get(IA64::LDF_FILL), DestReg).addFrameIndex(FrameIdx);
Owen Andersoneee14602008-01-01 21:11:32 +0000154 } else if (RC == IA64::GRRegisterClass) {
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000155 BuildMI(MBB, MI, DL, get(IA64::LD8), DestReg).addFrameIndex(FrameIdx);
156 } else if (RC == IA64::PRRegisterClass) {
157 // first we load a byte from the stack into r2, our 'predicate hackery'
158 // scratch reg
159 BuildMI(MBB, MI, DL, get(IA64::LD8), IA64::r2).addFrameIndex(FrameIdx);
160 // then we compare it to zero. If it _is_ zero, compare-not-equal to
161 // r0 gives us 0, which is what we want, so that's nice.
162 BuildMI(MBB, MI, DL, get(IA64::CMPNE), DestReg)
163 .addReg(IA64::r2)
164 .addReg(IA64::r0);
165 } else {
166 assert(0 &&
167 "sorry, I don't know how to load this sort of reg from the stack\n");
168 }
Owen Andersoneee14602008-01-01 21:11:32 +0000169}
170
171void IA64InstrInfo::loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000172 SmallVectorImpl<MachineOperand> &Addr,
173 const TargetRegisterClass *RC,
Owen Andersoneee14602008-01-01 21:11:32 +0000174 SmallVectorImpl<MachineInstr*> &NewMIs) const {
175 unsigned Opc = 0;
176 if (RC == IA64::FPRegisterClass) {
177 Opc = IA64::LDF8;
178 } else if (RC == IA64::GRRegisterClass) {
179 Opc = IA64::LD8;
180 } else if (RC == IA64::PRRegisterClass) {
181 Opc = IA64::LD1;
182 } else {
183 assert(0 &&
Dale Johannesen6b8c76a2009-02-12 23:08:38 +0000184 "sorry, I don't know how to load this sort of reg\n");
Owen Andersoneee14602008-01-01 21:11:32 +0000185 }
186
Dale Johannesen6b8c76a2009-02-12 23:08:38 +0000187 DebugLoc DL = DebugLoc::getUnknownLoc();
188 MachineInstrBuilder MIB = BuildMI(MF, DL, get(Opc), DestReg);
Dan Gohman2af1f852009-02-18 05:45:50 +0000189 for (unsigned i = 0, e = Addr.size(); i != e; ++i)
190 MIB.addOperand(Addr[i]);
Owen Andersoneee14602008-01-01 21:11:32 +0000191 NewMIs.push_back(MIB);
192 return;
193}