blob: ea1008b3767786a9f5ed080654fae923dcc35b65 [file] [log] [blame]
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001//===-- Instructions.cpp - Implement the LLVM instructions ----------------===//
Misha Brukmanb1c93172005-04-21 23:48:37 +00002//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukmanb1c93172005-04-21 23:48:37 +00007//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00008//===----------------------------------------------------------------------===//
9//
Chris Lattnerafdb3de2005-01-29 00:35:16 +000010// This file implements all of the non-inline methods for the LLVM instruction
11// classes.
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +000012//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/BasicBlock.h"
16#include "llvm/Constants.h"
17#include "llvm/DerivedTypes.h"
18#include "llvm/Function.h"
19#include "llvm/Instructions.h"
20#include "llvm/Support/CallSite.h"
21using namespace llvm;
22
Chris Lattnerf7b6d312005-05-06 20:26:43 +000023unsigned CallSite::getCallingConv() const {
24 if (CallInst *CI = dyn_cast<CallInst>(I))
25 return CI->getCallingConv();
26 else
27 return cast<InvokeInst>(I)->getCallingConv();
28}
29void CallSite::setCallingConv(unsigned CC) {
30 if (CallInst *CI = dyn_cast<CallInst>(I))
31 CI->setCallingConv(CC);
32 else
33 cast<InvokeInst>(I)->setCallingConv(CC);
34}
35
36
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +000037//===----------------------------------------------------------------------===//
Chris Lattnerafdb3de2005-01-29 00:35:16 +000038// TerminatorInst Class
39//===----------------------------------------------------------------------===//
40
41TerminatorInst::TerminatorInst(Instruction::TermOps iType,
Misha Brukmanb1c93172005-04-21 23:48:37 +000042 Use *Ops, unsigned NumOps, Instruction *IB)
Chris Lattnerafdb3de2005-01-29 00:35:16 +000043 : Instruction(Type::VoidTy, iType, Ops, NumOps, "", IB) {
44}
45
46TerminatorInst::TerminatorInst(Instruction::TermOps iType,
47 Use *Ops, unsigned NumOps, BasicBlock *IAE)
48 : Instruction(Type::VoidTy, iType, Ops, NumOps, "", IAE) {
49}
50
51
52
53//===----------------------------------------------------------------------===//
54// PHINode Class
55//===----------------------------------------------------------------------===//
56
57PHINode::PHINode(const PHINode &PN)
58 : Instruction(PN.getType(), Instruction::PHI,
59 new Use[PN.getNumOperands()], PN.getNumOperands()),
60 ReservedSpace(PN.getNumOperands()) {
61 Use *OL = OperandList;
62 for (unsigned i = 0, e = PN.getNumOperands(); i != e; i+=2) {
63 OL[i].init(PN.getOperand(i), this);
64 OL[i+1].init(PN.getOperand(i+1), this);
65 }
66}
67
68PHINode::~PHINode() {
69 delete [] OperandList;
70}
71
72// removeIncomingValue - Remove an incoming value. This is useful if a
73// predecessor basic block is deleted.
74Value *PHINode::removeIncomingValue(unsigned Idx, bool DeletePHIIfEmpty) {
75 unsigned NumOps = getNumOperands();
76 Use *OL = OperandList;
77 assert(Idx*2 < NumOps && "BB not in PHI node!");
78 Value *Removed = OL[Idx*2];
79
80 // Move everything after this operand down.
81 //
82 // FIXME: we could just swap with the end of the list, then erase. However,
83 // client might not expect this to happen. The code as it is thrashes the
84 // use/def lists, which is kinda lame.
85 for (unsigned i = (Idx+1)*2; i != NumOps; i += 2) {
86 OL[i-2] = OL[i];
87 OL[i-2+1] = OL[i+1];
88 }
89
90 // Nuke the last value.
91 OL[NumOps-2].set(0);
92 OL[NumOps-2+1].set(0);
93 NumOperands = NumOps-2;
94
95 // If the PHI node is dead, because it has zero entries, nuke it now.
96 if (NumOps == 2 && DeletePHIIfEmpty) {
97 // If anyone is using this PHI, make them use a dummy value instead...
98 replaceAllUsesWith(UndefValue::get(getType()));
99 eraseFromParent();
100 }
101 return Removed;
102}
103
104/// resizeOperands - resize operands - This adjusts the length of the operands
105/// list according to the following behavior:
106/// 1. If NumOps == 0, grow the operand list in response to a push_back style
107/// of operation. This grows the number of ops by 1.5 times.
108/// 2. If NumOps > NumOperands, reserve space for NumOps operands.
109/// 3. If NumOps == NumOperands, trim the reserved space.
110///
111void PHINode::resizeOperands(unsigned NumOps) {
112 if (NumOps == 0) {
113 NumOps = (getNumOperands())*3/2;
114 if (NumOps < 4) NumOps = 4; // 4 op PHI nodes are VERY common.
115 } else if (NumOps*2 > NumOperands) {
116 // No resize needed.
117 if (ReservedSpace >= NumOps) return;
118 } else if (NumOps == NumOperands) {
119 if (ReservedSpace == NumOps) return;
120 } else {
Misha Brukmanb1c93172005-04-21 23:48:37 +0000121 return;
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000122 }
123
124 ReservedSpace = NumOps;
125 Use *NewOps = new Use[NumOps];
126 Use *OldOps = OperandList;
127 for (unsigned i = 0, e = getNumOperands(); i != e; ++i) {
128 NewOps[i].init(OldOps[i], this);
129 OldOps[i].set(0);
130 }
131 delete [] OldOps;
132 OperandList = NewOps;
133}
134
Nate Begemanb3923212005-08-04 23:24:19 +0000135/// hasConstantValue - If the specified PHI node always merges together the same
136/// value, return the value, otherwise return null.
137///
Chris Lattner1d8b2482005-08-05 00:49:06 +0000138Value *PHINode::hasConstantValue(bool AllowNonDominatingInstruction) const {
Nate Begemanb3923212005-08-04 23:24:19 +0000139 // If the PHI node only has one incoming value, eliminate the PHI node...
140 if (getNumIncomingValues() == 1)
Chris Lattner6e709c12005-08-05 15:37:31 +0000141 if (getIncomingValue(0) != this) // not X = phi X
142 return getIncomingValue(0);
143 else
144 return UndefValue::get(getType()); // Self cycle is dead.
145
Nate Begemanb3923212005-08-04 23:24:19 +0000146 // Otherwise if all of the incoming values are the same for the PHI, replace
147 // the PHI node with the incoming value.
148 //
149 Value *InVal = 0;
Chris Lattnerbcd8d2c2005-08-05 01:00:58 +0000150 bool HasUndefInput = false;
Nate Begemanb3923212005-08-04 23:24:19 +0000151 for (unsigned i = 0, e = getNumIncomingValues(); i != e; ++i)
Chris Lattnerbcd8d2c2005-08-05 01:00:58 +0000152 if (isa<UndefValue>(getIncomingValue(i)))
153 HasUndefInput = true;
154 else if (getIncomingValue(i) != this) // Not the PHI node itself...
Nate Begemanb3923212005-08-04 23:24:19 +0000155 if (InVal && getIncomingValue(i) != InVal)
156 return 0; // Not the same, bail out.
157 else
158 InVal = getIncomingValue(i);
159
160 // The only case that could cause InVal to be null is if we have a PHI node
161 // that only has entries for itself. In this case, there is no entry into the
162 // loop, so kill the PHI.
163 //
164 if (InVal == 0) InVal = UndefValue::get(getType());
165
Chris Lattnerbcd8d2c2005-08-05 01:00:58 +0000166 // If we have a PHI node like phi(X, undef, X), where X is defined by some
167 // instruction, we cannot always return X as the result of the PHI node. Only
168 // do this if X is not an instruction (thus it must dominate the PHI block),
169 // or if the client is prepared to deal with this possibility.
170 if (HasUndefInput && !AllowNonDominatingInstruction)
171 if (Instruction *IV = dyn_cast<Instruction>(InVal))
172 // If it's in the entry block, it dominates everything.
Chris Lattner37774af2005-08-05 01:03:27 +0000173 if (IV->getParent() != &IV->getParent()->getParent()->front() ||
174 isa<InvokeInst>(IV))
Chris Lattnerbcd8d2c2005-08-05 01:00:58 +0000175 return 0; // Cannot guarantee that InVal dominates this PHINode.
176
Nate Begemanb3923212005-08-04 23:24:19 +0000177 // All of the incoming values are the same, return the value now.
178 return InVal;
179}
180
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000181
182//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000183// CallInst Implementation
184//===----------------------------------------------------------------------===//
185
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000186CallInst::~CallInst() {
187 delete [] OperandList;
188}
189
190void CallInst::init(Value *Func, const std::vector<Value*> &Params) {
191 NumOperands = Params.size()+1;
192 Use *OL = OperandList = new Use[Params.size()+1];
193 OL[0].init(Func, this);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000194
Misha Brukmanb1c93172005-04-21 23:48:37 +0000195 const FunctionType *FTy =
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000196 cast<FunctionType>(cast<PointerType>(Func->getType())->getElementType());
197
Misha Brukmanb1c93172005-04-21 23:48:37 +0000198 assert((Params.size() == FTy->getNumParams() ||
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000199 (FTy->isVarArg() && Params.size() > FTy->getNumParams())) &&
Chris Lattner667a0562006-05-03 00:48:22 +0000200 "Calling a function with bad signature!");
201 for (unsigned i = 0, e = Params.size(); i != e; ++i) {
202 assert((i >= FTy->getNumParams() ||
203 FTy->getParamType(i) == Params[i]->getType()) &&
204 "Calling a function with a bad signature!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000205 OL[i+1].init(Params[i], this);
Chris Lattner667a0562006-05-03 00:48:22 +0000206 }
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000207}
208
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000209void CallInst::init(Value *Func, Value *Actual1, Value *Actual2) {
210 NumOperands = 3;
211 Use *OL = OperandList = new Use[3];
212 OL[0].init(Func, this);
213 OL[1].init(Actual1, this);
214 OL[2].init(Actual2, this);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000215
216 const FunctionType *FTy =
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000217 cast<FunctionType>(cast<PointerType>(Func->getType())->getElementType());
218
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000219 assert((FTy->getNumParams() == 2 ||
Chris Lattner667a0562006-05-03 00:48:22 +0000220 (FTy->isVarArg() && FTy->getNumParams() < 2)) &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000221 "Calling a function with bad signature");
Chris Lattner667a0562006-05-03 00:48:22 +0000222 assert((0 >= FTy->getNumParams() ||
223 FTy->getParamType(0) == Actual1->getType()) &&
224 "Calling a function with a bad signature!");
225 assert((1 >= FTy->getNumParams() ||
226 FTy->getParamType(1) == Actual2->getType()) &&
227 "Calling a function with a bad signature!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000228}
229
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000230void CallInst::init(Value *Func, Value *Actual) {
231 NumOperands = 2;
232 Use *OL = OperandList = new Use[2];
233 OL[0].init(Func, this);
234 OL[1].init(Actual, this);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000235
236 const FunctionType *FTy =
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000237 cast<FunctionType>(cast<PointerType>(Func->getType())->getElementType());
238
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000239 assert((FTy->getNumParams() == 1 ||
240 (FTy->isVarArg() && FTy->getNumParams() == 0)) &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000241 "Calling a function with bad signature");
Chris Lattner667a0562006-05-03 00:48:22 +0000242 assert((0 == FTy->getNumParams() ||
243 FTy->getParamType(0) == Actual->getType()) &&
244 "Calling a function with a bad signature!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000245}
246
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000247void CallInst::init(Value *Func) {
248 NumOperands = 1;
249 Use *OL = OperandList = new Use[1];
250 OL[0].init(Func, this);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000251
252 const FunctionType *MTy =
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000253 cast<FunctionType>(cast<PointerType>(Func->getType())->getElementType());
254
255 assert(MTy->getNumParams() == 0 && "Calling a function with bad signature");
256}
257
Misha Brukmanb1c93172005-04-21 23:48:37 +0000258CallInst::CallInst(Value *Func, const std::vector<Value*> &Params,
259 const std::string &Name, Instruction *InsertBefore)
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000260 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
261 ->getElementType())->getReturnType(),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000262 Instruction::Call, 0, 0, Name, InsertBefore) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000263 init(Func, Params);
264}
265
Misha Brukmanb1c93172005-04-21 23:48:37 +0000266CallInst::CallInst(Value *Func, const std::vector<Value*> &Params,
267 const std::string &Name, BasicBlock *InsertAtEnd)
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000268 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
269 ->getElementType())->getReturnType(),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000270 Instruction::Call, 0, 0, Name, InsertAtEnd) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000271 init(Func, Params);
272}
273
274CallInst::CallInst(Value *Func, Value *Actual1, Value *Actual2,
275 const std::string &Name, Instruction *InsertBefore)
276 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
277 ->getElementType())->getReturnType(),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000278 Instruction::Call, 0, 0, Name, InsertBefore) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000279 init(Func, Actual1, Actual2);
280}
281
282CallInst::CallInst(Value *Func, Value *Actual1, Value *Actual2,
283 const std::string &Name, BasicBlock *InsertAtEnd)
284 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
285 ->getElementType())->getReturnType(),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000286 Instruction::Call, 0, 0, Name, InsertAtEnd) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000287 init(Func, Actual1, Actual2);
288}
289
290CallInst::CallInst(Value *Func, Value* Actual, const std::string &Name,
291 Instruction *InsertBefore)
292 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
293 ->getElementType())->getReturnType(),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000294 Instruction::Call, 0, 0, Name, InsertBefore) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000295 init(Func, Actual);
296}
297
298CallInst::CallInst(Value *Func, Value* Actual, const std::string &Name,
299 BasicBlock *InsertAtEnd)
300 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
301 ->getElementType())->getReturnType(),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000302 Instruction::Call, 0, 0, Name, InsertAtEnd) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000303 init(Func, Actual);
304}
305
306CallInst::CallInst(Value *Func, const std::string &Name,
307 Instruction *InsertBefore)
308 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
309 ->getElementType())->getReturnType(),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000310 Instruction::Call, 0, 0, Name, InsertBefore) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000311 init(Func);
312}
313
314CallInst::CallInst(Value *Func, const std::string &Name,
315 BasicBlock *InsertAtEnd)
316 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
317 ->getElementType())->getReturnType(),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000318 Instruction::Call, 0, 0, Name, InsertAtEnd) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000319 init(Func);
320}
321
Misha Brukmanb1c93172005-04-21 23:48:37 +0000322CallInst::CallInst(const CallInst &CI)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000323 : Instruction(CI.getType(), Instruction::Call, new Use[CI.getNumOperands()],
324 CI.getNumOperands()) {
Chris Lattnerf7b6d312005-05-06 20:26:43 +0000325 SubclassData = CI.SubclassData;
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000326 Use *OL = OperandList;
327 Use *InOL = CI.OperandList;
328 for (unsigned i = 0, e = CI.getNumOperands(); i != e; ++i)
329 OL[i].init(InOL[i], this);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000330}
331
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000332
333//===----------------------------------------------------------------------===//
334// InvokeInst Implementation
335//===----------------------------------------------------------------------===//
336
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000337InvokeInst::~InvokeInst() {
338 delete [] OperandList;
339}
340
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000341void InvokeInst::init(Value *Fn, BasicBlock *IfNormal, BasicBlock *IfException,
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000342 const std::vector<Value*> &Params) {
343 NumOperands = 3+Params.size();
344 Use *OL = OperandList = new Use[3+Params.size()];
345 OL[0].init(Fn, this);
346 OL[1].init(IfNormal, this);
347 OL[2].init(IfException, this);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000348 const FunctionType *FTy =
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000349 cast<FunctionType>(cast<PointerType>(Fn->getType())->getElementType());
Misha Brukmanb1c93172005-04-21 23:48:37 +0000350
351 assert((Params.size() == FTy->getNumParams()) ||
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000352 (FTy->isVarArg() && Params.size() > FTy->getNumParams()) &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000353 "Calling a function with bad signature");
Misha Brukmanb1c93172005-04-21 23:48:37 +0000354
Chris Lattner667a0562006-05-03 00:48:22 +0000355 for (unsigned i = 0, e = Params.size(); i != e; i++) {
356 assert((i >= FTy->getNumParams() ||
357 FTy->getParamType(i) == Params[i]->getType()) &&
358 "Invoking a function with a bad signature!");
359
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000360 OL[i+3].init(Params[i], this);
Chris Lattner667a0562006-05-03 00:48:22 +0000361 }
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000362}
363
364InvokeInst::InvokeInst(Value *Fn, BasicBlock *IfNormal,
365 BasicBlock *IfException,
366 const std::vector<Value*> &Params,
367 const std::string &Name, Instruction *InsertBefore)
368 : TerminatorInst(cast<FunctionType>(cast<PointerType>(Fn->getType())
369 ->getElementType())->getReturnType(),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000370 Instruction::Invoke, 0, 0, Name, InsertBefore) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000371 init(Fn, IfNormal, IfException, Params);
372}
373
374InvokeInst::InvokeInst(Value *Fn, BasicBlock *IfNormal,
375 BasicBlock *IfException,
376 const std::vector<Value*> &Params,
377 const std::string &Name, BasicBlock *InsertAtEnd)
378 : TerminatorInst(cast<FunctionType>(cast<PointerType>(Fn->getType())
379 ->getElementType())->getReturnType(),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000380 Instruction::Invoke, 0, 0, Name, InsertAtEnd) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000381 init(Fn, IfNormal, IfException, Params);
382}
383
Misha Brukmanb1c93172005-04-21 23:48:37 +0000384InvokeInst::InvokeInst(const InvokeInst &II)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000385 : TerminatorInst(II.getType(), Instruction::Invoke,
386 new Use[II.getNumOperands()], II.getNumOperands()) {
Chris Lattnerf7b6d312005-05-06 20:26:43 +0000387 SubclassData = II.SubclassData;
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000388 Use *OL = OperandList, *InOL = II.OperandList;
389 for (unsigned i = 0, e = II.getNumOperands(); i != e; ++i)
390 OL[i].init(InOL[i], this);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000391}
392
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000393BasicBlock *InvokeInst::getSuccessorV(unsigned idx) const {
394 return getSuccessor(idx);
395}
396unsigned InvokeInst::getNumSuccessorsV() const {
397 return getNumSuccessors();
398}
399void InvokeInst::setSuccessorV(unsigned idx, BasicBlock *B) {
400 return setSuccessor(idx, B);
401}
402
403
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000404//===----------------------------------------------------------------------===//
405// ReturnInst Implementation
406//===----------------------------------------------------------------------===//
407
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000408void ReturnInst::init(Value *retVal) {
409 if (retVal && retVal->getType() != Type::VoidTy) {
Misha Brukmanb1c93172005-04-21 23:48:37 +0000410 assert(!isa<BasicBlock>(retVal) &&
Alkis Evlogimenos531e9012004-11-17 21:02:25 +0000411 "Cannot return basic block. Probably using the incorrect ctor");
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000412 NumOperands = 1;
413 RetVal.init(retVal, this);
Alkis Evlogimenos531e9012004-11-17 21:02:25 +0000414 }
415}
416
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000417unsigned ReturnInst::getNumSuccessorsV() const {
418 return getNumSuccessors();
419}
420
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000421// Out-of-line ReturnInst method, put here so the C++ compiler can choose to
422// emit the vtable for the class in this translation unit.
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000423void ReturnInst::setSuccessorV(unsigned idx, BasicBlock *NewSucc) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000424 assert(0 && "ReturnInst has no successors!");
425}
426
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000427BasicBlock *ReturnInst::getSuccessorV(unsigned idx) const {
428 assert(0 && "ReturnInst has no successors!");
429 abort();
430 return 0;
431}
432
433
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000434//===----------------------------------------------------------------------===//
435// UnwindInst Implementation
436//===----------------------------------------------------------------------===//
437
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000438unsigned UnwindInst::getNumSuccessorsV() const {
439 return getNumSuccessors();
440}
441
442void UnwindInst::setSuccessorV(unsigned idx, BasicBlock *NewSucc) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000443 assert(0 && "UnwindInst has no successors!");
444}
445
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000446BasicBlock *UnwindInst::getSuccessorV(unsigned idx) const {
447 assert(0 && "UnwindInst has no successors!");
448 abort();
449 return 0;
450}
451
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000452//===----------------------------------------------------------------------===//
Chris Lattner5e0b9f22004-10-16 18:08:06 +0000453// UnreachableInst Implementation
454//===----------------------------------------------------------------------===//
455
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000456unsigned UnreachableInst::getNumSuccessorsV() const {
457 return getNumSuccessors();
458}
459
460void UnreachableInst::setSuccessorV(unsigned idx, BasicBlock *NewSucc) {
461 assert(0 && "UnwindInst has no successors!");
462}
463
464BasicBlock *UnreachableInst::getSuccessorV(unsigned idx) const {
465 assert(0 && "UnwindInst has no successors!");
466 abort();
467 return 0;
Chris Lattner5e0b9f22004-10-16 18:08:06 +0000468}
469
470//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000471// BranchInst Implementation
472//===----------------------------------------------------------------------===//
473
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000474void BranchInst::AssertOK() {
475 if (isConditional())
Misha Brukmanb1c93172005-04-21 23:48:37 +0000476 assert(getCondition()->getType() == Type::BoolTy &&
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000477 "May only branch on boolean predicates!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000478}
479
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000480BranchInst::BranchInst(const BranchInst &BI) :
481 TerminatorInst(Instruction::Br, Ops, BI.getNumOperands()) {
482 OperandList[0].init(BI.getOperand(0), this);
483 if (BI.getNumOperands() != 1) {
484 assert(BI.getNumOperands() == 3 && "BR can have 1 or 3 operands!");
485 OperandList[1].init(BI.getOperand(1), this);
486 OperandList[2].init(BI.getOperand(2), this);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000487 }
488}
489
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000490BasicBlock *BranchInst::getSuccessorV(unsigned idx) const {
491 return getSuccessor(idx);
492}
493unsigned BranchInst::getNumSuccessorsV() const {
494 return getNumSuccessors();
495}
496void BranchInst::setSuccessorV(unsigned idx, BasicBlock *B) {
497 setSuccessor(idx, B);
498}
499
500
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000501//===----------------------------------------------------------------------===//
502// AllocationInst Implementation
503//===----------------------------------------------------------------------===//
504
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000505static Value *getAISize(Value *Amt) {
506 if (!Amt)
507 Amt = ConstantUInt::get(Type::UIntTy, 1);
Chris Lattnerbb7ff662006-05-10 04:32:43 +0000508 else {
509 assert(!isa<BasicBlock>(Amt) &&
510 "Passed basic block into allocation size parameter! Ue other ctor");
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000511 assert(Amt->getType() == Type::UIntTy &&
512 "Malloc/Allocation array size != UIntTy!");
Chris Lattnerbb7ff662006-05-10 04:32:43 +0000513 }
Misha Brukmanb1c93172005-04-21 23:48:37 +0000514 return Amt;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000515}
516
Misha Brukmanb1c93172005-04-21 23:48:37 +0000517AllocationInst::AllocationInst(const Type *Ty, Value *ArraySize, unsigned iTy,
Nate Begeman848622f2005-11-05 09:21:28 +0000518 unsigned Align, const std::string &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000519 Instruction *InsertBefore)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000520 : UnaryInstruction(PointerType::get(Ty), iTy, getAISize(ArraySize),
Nate Begeman848622f2005-11-05 09:21:28 +0000521 Name, InsertBefore), Alignment(Align) {
Chris Lattner79b8c792005-11-05 21:57:54 +0000522 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000523 assert(Ty != Type::VoidTy && "Cannot allocate void!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000524}
525
Misha Brukmanb1c93172005-04-21 23:48:37 +0000526AllocationInst::AllocationInst(const Type *Ty, Value *ArraySize, unsigned iTy,
Nate Begeman848622f2005-11-05 09:21:28 +0000527 unsigned Align, const std::string &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000528 BasicBlock *InsertAtEnd)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000529 : UnaryInstruction(PointerType::get(Ty), iTy, getAISize(ArraySize),
Nate Begeman848622f2005-11-05 09:21:28 +0000530 Name, InsertAtEnd), Alignment(Align) {
Chris Lattner79b8c792005-11-05 21:57:54 +0000531 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000532 assert(Ty != Type::VoidTy && "Cannot allocate void!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000533}
534
535bool AllocationInst::isArrayAllocation() const {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000536 if (ConstantUInt *CUI = dyn_cast<ConstantUInt>(getOperand(0)))
537 return CUI->getValue() != 1;
538 return true;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000539}
540
541const Type *AllocationInst::getAllocatedType() const {
542 return getType()->getElementType();
543}
544
545AllocaInst::AllocaInst(const AllocaInst &AI)
546 : AllocationInst(AI.getType()->getElementType(), (Value*)AI.getOperand(0),
Nate Begeman848622f2005-11-05 09:21:28 +0000547 Instruction::Alloca, AI.getAlignment()) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000548}
549
550MallocInst::MallocInst(const MallocInst &MI)
551 : AllocationInst(MI.getType()->getElementType(), (Value*)MI.getOperand(0),
Nate Begeman848622f2005-11-05 09:21:28 +0000552 Instruction::Malloc, MI.getAlignment()) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000553}
554
555//===----------------------------------------------------------------------===//
556// FreeInst Implementation
557//===----------------------------------------------------------------------===//
558
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000559void FreeInst::AssertOK() {
560 assert(isa<PointerType>(getOperand(0)->getType()) &&
561 "Can not free something of nonpointer type!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000562}
563
564FreeInst::FreeInst(Value *Ptr, Instruction *InsertBefore)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000565 : UnaryInstruction(Type::VoidTy, Free, Ptr, "", InsertBefore) {
566 AssertOK();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000567}
568
569FreeInst::FreeInst(Value *Ptr, BasicBlock *InsertAtEnd)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000570 : UnaryInstruction(Type::VoidTy, Free, Ptr, "", InsertAtEnd) {
571 AssertOK();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000572}
573
574
575//===----------------------------------------------------------------------===//
576// LoadInst Implementation
577//===----------------------------------------------------------------------===//
578
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000579void LoadInst::AssertOK() {
Misha Brukmanb1c93172005-04-21 23:48:37 +0000580 assert(isa<PointerType>(getOperand(0)->getType()) &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000581 "Ptr must have pointer type.");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000582}
583
584LoadInst::LoadInst(Value *Ptr, const std::string &Name, Instruction *InsertBef)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000585 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
Chris Lattnerdf57a022005-02-05 01:38:38 +0000586 Load, Ptr, Name, InsertBef) {
587 setVolatile(false);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000588 AssertOK();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000589}
590
591LoadInst::LoadInst(Value *Ptr, const std::string &Name, BasicBlock *InsertAE)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000592 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
Chris Lattnerdf57a022005-02-05 01:38:38 +0000593 Load, Ptr, Name, InsertAE) {
594 setVolatile(false);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000595 AssertOK();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000596}
597
598LoadInst::LoadInst(Value *Ptr, const std::string &Name, bool isVolatile,
599 Instruction *InsertBef)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000600 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
Chris Lattnerdf57a022005-02-05 01:38:38 +0000601 Load, Ptr, Name, InsertBef) {
602 setVolatile(isVolatile);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000603 AssertOK();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000604}
605
606LoadInst::LoadInst(Value *Ptr, const std::string &Name, bool isVolatile,
607 BasicBlock *InsertAE)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000608 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
Chris Lattnerdf57a022005-02-05 01:38:38 +0000609 Load, Ptr, Name, InsertAE) {
610 setVolatile(isVolatile);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000611 AssertOK();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000612}
613
614
615//===----------------------------------------------------------------------===//
616// StoreInst Implementation
617//===----------------------------------------------------------------------===//
618
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000619void StoreInst::AssertOK() {
620 assert(isa<PointerType>(getOperand(1)->getType()) &&
621 "Ptr must have pointer type!");
622 assert(getOperand(0)->getType() ==
623 cast<PointerType>(getOperand(1)->getType())->getElementType()
Alkis Evlogimenos079fbde2004-08-06 14:33:37 +0000624 && "Ptr must be a pointer to Val type!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000625}
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000626
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000627
628StoreInst::StoreInst(Value *val, Value *addr, Instruction *InsertBefore)
Chris Lattnerdf57a022005-02-05 01:38:38 +0000629 : Instruction(Type::VoidTy, Store, Ops, 2, "", InsertBefore) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000630 Ops[0].init(val, this);
631 Ops[1].init(addr, this);
Chris Lattnerdf57a022005-02-05 01:38:38 +0000632 setVolatile(false);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000633 AssertOK();
634}
635
636StoreInst::StoreInst(Value *val, Value *addr, BasicBlock *InsertAtEnd)
Chris Lattnerdf57a022005-02-05 01:38:38 +0000637 : Instruction(Type::VoidTy, Store, Ops, 2, "", InsertAtEnd) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000638 Ops[0].init(val, this);
639 Ops[1].init(addr, this);
Chris Lattnerdf57a022005-02-05 01:38:38 +0000640 setVolatile(false);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000641 AssertOK();
642}
643
Misha Brukmanb1c93172005-04-21 23:48:37 +0000644StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000645 Instruction *InsertBefore)
Chris Lattnerdf57a022005-02-05 01:38:38 +0000646 : Instruction(Type::VoidTy, Store, Ops, 2, "", InsertBefore) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000647 Ops[0].init(val, this);
648 Ops[1].init(addr, this);
Chris Lattnerdf57a022005-02-05 01:38:38 +0000649 setVolatile(isVolatile);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000650 AssertOK();
651}
652
Misha Brukmanb1c93172005-04-21 23:48:37 +0000653StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000654 BasicBlock *InsertAtEnd)
Chris Lattnerdf57a022005-02-05 01:38:38 +0000655 : Instruction(Type::VoidTy, Store, Ops, 2, "", InsertAtEnd) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000656 Ops[0].init(val, this);
657 Ops[1].init(addr, this);
Chris Lattnerdf57a022005-02-05 01:38:38 +0000658 setVolatile(isVolatile);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000659 AssertOK();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000660}
661
662//===----------------------------------------------------------------------===//
663// GetElementPtrInst Implementation
664//===----------------------------------------------------------------------===//
665
666// checkType - Simple wrapper function to give a better assertion failure
667// message on bad indexes for a gep instruction.
668//
669static inline const Type *checkType(const Type *Ty) {
Chris Lattner47a6e632006-05-14 18:34:36 +0000670 assert(Ty && "Invalid GetElementPtrInst indices for type!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000671 return Ty;
672}
673
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000674void GetElementPtrInst::init(Value *Ptr, const std::vector<Value*> &Idx) {
675 NumOperands = 1+Idx.size();
676 Use *OL = OperandList = new Use[NumOperands];
677 OL[0].init(Ptr, this);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000678
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000679 for (unsigned i = 0, e = Idx.size(); i != e; ++i)
680 OL[i+1].init(Idx[i], this);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000681}
682
683void GetElementPtrInst::init(Value *Ptr, Value *Idx0, Value *Idx1) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000684 NumOperands = 3;
685 Use *OL = OperandList = new Use[3];
686 OL[0].init(Ptr, this);
687 OL[1].init(Idx0, this);
688 OL[2].init(Idx1, this);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000689}
690
Chris Lattner82981202005-05-03 05:43:30 +0000691void GetElementPtrInst::init(Value *Ptr, Value *Idx) {
692 NumOperands = 2;
693 Use *OL = OperandList = new Use[2];
694 OL[0].init(Ptr, this);
695 OL[1].init(Idx, this);
696}
697
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000698GetElementPtrInst::GetElementPtrInst(Value *Ptr, const std::vector<Value*> &Idx,
Misha Brukman96eb8782005-03-16 05:42:00 +0000699 const std::string &Name, Instruction *InBe)
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000700 : Instruction(PointerType::get(checkType(getIndexedType(Ptr->getType(),
701 Idx, true))),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000702 GetElementPtr, 0, 0, Name, InBe) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000703 init(Ptr, Idx);
704}
705
706GetElementPtrInst::GetElementPtrInst(Value *Ptr, const std::vector<Value*> &Idx,
Misha Brukman96eb8782005-03-16 05:42:00 +0000707 const std::string &Name, BasicBlock *IAE)
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000708 : Instruction(PointerType::get(checkType(getIndexedType(Ptr->getType(),
709 Idx, true))),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000710 GetElementPtr, 0, 0, Name, IAE) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000711 init(Ptr, Idx);
712}
713
Chris Lattner82981202005-05-03 05:43:30 +0000714GetElementPtrInst::GetElementPtrInst(Value *Ptr, Value *Idx,
715 const std::string &Name, Instruction *InBe)
716 : Instruction(PointerType::get(checkType(getIndexedType(Ptr->getType(),Idx))),
717 GetElementPtr, 0, 0, Name, InBe) {
718 init(Ptr, Idx);
719}
720
721GetElementPtrInst::GetElementPtrInst(Value *Ptr, Value *Idx,
722 const std::string &Name, BasicBlock *IAE)
723 : Instruction(PointerType::get(checkType(getIndexedType(Ptr->getType(),Idx))),
724 GetElementPtr, 0, 0, Name, IAE) {
725 init(Ptr, Idx);
726}
727
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000728GetElementPtrInst::GetElementPtrInst(Value *Ptr, Value *Idx0, Value *Idx1,
729 const std::string &Name, Instruction *InBe)
730 : Instruction(PointerType::get(checkType(getIndexedType(Ptr->getType(),
731 Idx0, Idx1, true))),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000732 GetElementPtr, 0, 0, Name, InBe) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000733 init(Ptr, Idx0, Idx1);
734}
735
736GetElementPtrInst::GetElementPtrInst(Value *Ptr, Value *Idx0, Value *Idx1,
Misha Brukman96eb8782005-03-16 05:42:00 +0000737 const std::string &Name, BasicBlock *IAE)
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000738 : Instruction(PointerType::get(checkType(getIndexedType(Ptr->getType(),
739 Idx0, Idx1, true))),
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000740 GetElementPtr, 0, 0, Name, IAE) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000741 init(Ptr, Idx0, Idx1);
742}
743
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000744GetElementPtrInst::~GetElementPtrInst() {
745 delete[] OperandList;
746}
747
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000748// getIndexedType - Returns the type of the element that would be loaded with
749// a load instruction with the specified parameters.
750//
Misha Brukmanb1c93172005-04-21 23:48:37 +0000751// A null type is returned if the indices are invalid for the specified
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000752// pointer type.
753//
Misha Brukmanb1c93172005-04-21 23:48:37 +0000754const Type* GetElementPtrInst::getIndexedType(const Type *Ptr,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000755 const std::vector<Value*> &Idx,
756 bool AllowCompositeLeaf) {
757 if (!isa<PointerType>(Ptr)) return 0; // Type isn't a pointer type!
758
759 // Handle the special case of the empty set index set...
760 if (Idx.empty())
761 if (AllowCompositeLeaf ||
762 cast<PointerType>(Ptr)->getElementType()->isFirstClassType())
763 return cast<PointerType>(Ptr)->getElementType();
764 else
765 return 0;
Misha Brukmanb1c93172005-04-21 23:48:37 +0000766
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000767 unsigned CurIdx = 0;
768 while (const CompositeType *CT = dyn_cast<CompositeType>(Ptr)) {
769 if (Idx.size() == CurIdx) {
770 if (AllowCompositeLeaf || CT->isFirstClassType()) return Ptr;
771 return 0; // Can't load a whole structure or array!?!?
772 }
773
774 Value *Index = Idx[CurIdx++];
775 if (isa<PointerType>(CT) && CurIdx != 1)
776 return 0; // Can only index into pointer types at the first index!
777 if (!CT->indexValid(Index)) return 0;
778 Ptr = CT->getTypeAtIndex(Index);
779
780 // If the new type forwards to another type, then it is in the middle
781 // of being refined to another type (and hence, may have dropped all
782 // references to what it was using before). So, use the new forwarded
783 // type.
784 if (const Type * Ty = Ptr->getForwardedType()) {
785 Ptr = Ty;
786 }
787 }
788 return CurIdx == Idx.size() ? Ptr : 0;
789}
790
Misha Brukmanb1c93172005-04-21 23:48:37 +0000791const Type* GetElementPtrInst::getIndexedType(const Type *Ptr,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000792 Value *Idx0, Value *Idx1,
793 bool AllowCompositeLeaf) {
794 const PointerType *PTy = dyn_cast<PointerType>(Ptr);
795 if (!PTy) return 0; // Type isn't a pointer type!
796
797 // Check the pointer index.
798 if (!PTy->indexValid(Idx0)) return 0;
799
800 const CompositeType *CT = dyn_cast<CompositeType>(PTy->getElementType());
801 if (!CT || !CT->indexValid(Idx1)) return 0;
802
803 const Type *ElTy = CT->getTypeAtIndex(Idx1);
804 if (AllowCompositeLeaf || ElTy->isFirstClassType())
805 return ElTy;
806 return 0;
807}
808
Chris Lattner82981202005-05-03 05:43:30 +0000809const Type* GetElementPtrInst::getIndexedType(const Type *Ptr, Value *Idx) {
810 const PointerType *PTy = dyn_cast<PointerType>(Ptr);
811 if (!PTy) return 0; // Type isn't a pointer type!
812
813 // Check the pointer index.
814 if (!PTy->indexValid(Idx)) return 0;
815
Chris Lattnerc2233332005-05-03 16:44:45 +0000816 return PTy->getElementType();
Chris Lattner82981202005-05-03 05:43:30 +0000817}
818
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000819//===----------------------------------------------------------------------===//
Robert Bocchino23004482006-01-10 19:05:34 +0000820// ExtractElementInst Implementation
821//===----------------------------------------------------------------------===//
822
823ExtractElementInst::ExtractElementInst(Value *Val, Value *Index,
Chris Lattnerbbe0a422006-04-08 01:18:18 +0000824 const std::string &Name,
825 Instruction *InsertBef)
Robert Bocchino23004482006-01-10 19:05:34 +0000826 : Instruction(cast<PackedType>(Val->getType())->getElementType(),
827 ExtractElement, Ops, 2, Name, InsertBef) {
Chris Lattner54865b32006-04-08 04:05:48 +0000828 assert(isValidOperands(Val, Index) &&
829 "Invalid extractelement instruction operands!");
Robert Bocchino23004482006-01-10 19:05:34 +0000830 Ops[0].init(Val, this);
831 Ops[1].init(Index, this);
832}
833
834ExtractElementInst::ExtractElementInst(Value *Val, Value *Index,
Chris Lattnerbbe0a422006-04-08 01:18:18 +0000835 const std::string &Name,
836 BasicBlock *InsertAE)
Robert Bocchino23004482006-01-10 19:05:34 +0000837 : Instruction(cast<PackedType>(Val->getType())->getElementType(),
838 ExtractElement, Ops, 2, Name, InsertAE) {
Chris Lattner54865b32006-04-08 04:05:48 +0000839 assert(isValidOperands(Val, Index) &&
840 "Invalid extractelement instruction operands!");
841
Robert Bocchino23004482006-01-10 19:05:34 +0000842 Ops[0].init(Val, this);
843 Ops[1].init(Index, this);
844}
845
Chris Lattner54865b32006-04-08 04:05:48 +0000846bool ExtractElementInst::isValidOperands(const Value *Val, const Value *Index) {
847 if (!isa<PackedType>(Val->getType()) || Index->getType() != Type::UIntTy)
848 return false;
849 return true;
850}
851
852
Robert Bocchino23004482006-01-10 19:05:34 +0000853//===----------------------------------------------------------------------===//
Robert Bocchinoca27f032006-01-17 20:07:22 +0000854// InsertElementInst Implementation
855//===----------------------------------------------------------------------===//
856
Chris Lattner0875d942006-04-14 22:20:32 +0000857InsertElementInst::InsertElementInst(const InsertElementInst &IE)
858 : Instruction(IE.getType(), InsertElement, Ops, 3) {
859 Ops[0].init(IE.Ops[0], this);
860 Ops[1].init(IE.Ops[1], this);
861 Ops[2].init(IE.Ops[2], this);
862}
Chris Lattner54865b32006-04-08 04:05:48 +0000863InsertElementInst::InsertElementInst(Value *Vec, Value *Elt, Value *Index,
Chris Lattnerbbe0a422006-04-08 01:18:18 +0000864 const std::string &Name,
865 Instruction *InsertBef)
Chris Lattner54865b32006-04-08 04:05:48 +0000866 : Instruction(Vec->getType(), InsertElement, Ops, 3, Name, InsertBef) {
867 assert(isValidOperands(Vec, Elt, Index) &&
868 "Invalid insertelement instruction operands!");
869 Ops[0].init(Vec, this);
Robert Bocchinoca27f032006-01-17 20:07:22 +0000870 Ops[1].init(Elt, this);
871 Ops[2].init(Index, this);
872}
873
Chris Lattner54865b32006-04-08 04:05:48 +0000874InsertElementInst::InsertElementInst(Value *Vec, Value *Elt, Value *Index,
Chris Lattnerbbe0a422006-04-08 01:18:18 +0000875 const std::string &Name,
876 BasicBlock *InsertAE)
Chris Lattner54865b32006-04-08 04:05:48 +0000877 : Instruction(Vec->getType(), InsertElement, Ops, 3, Name, InsertAE) {
878 assert(isValidOperands(Vec, Elt, Index) &&
879 "Invalid insertelement instruction operands!");
880
881 Ops[0].init(Vec, this);
Robert Bocchinoca27f032006-01-17 20:07:22 +0000882 Ops[1].init(Elt, this);
883 Ops[2].init(Index, this);
884}
885
Chris Lattner54865b32006-04-08 04:05:48 +0000886bool InsertElementInst::isValidOperands(const Value *Vec, const Value *Elt,
887 const Value *Index) {
888 if (!isa<PackedType>(Vec->getType()))
889 return false; // First operand of insertelement must be packed type.
890
891 if (Elt->getType() != cast<PackedType>(Vec->getType())->getElementType())
892 return false;// Second operand of insertelement must be packed element type.
893
894 if (Index->getType() != Type::UIntTy)
895 return false; // Third operand of insertelement must be uint.
896 return true;
897}
898
899
Robert Bocchinoca27f032006-01-17 20:07:22 +0000900//===----------------------------------------------------------------------===//
Chris Lattnerbbe0a422006-04-08 01:18:18 +0000901// ShuffleVectorInst Implementation
902//===----------------------------------------------------------------------===//
903
Chris Lattner0875d942006-04-14 22:20:32 +0000904ShuffleVectorInst::ShuffleVectorInst(const ShuffleVectorInst &SV)
905 : Instruction(SV.getType(), ShuffleVector, Ops, 3) {
906 Ops[0].init(SV.Ops[0], this);
907 Ops[1].init(SV.Ops[1], this);
908 Ops[2].init(SV.Ops[2], this);
909}
910
Chris Lattnerbbe0a422006-04-08 01:18:18 +0000911ShuffleVectorInst::ShuffleVectorInst(Value *V1, Value *V2, Value *Mask,
912 const std::string &Name,
913 Instruction *InsertBefore)
914 : Instruction(V1->getType(), ShuffleVector, Ops, 3, Name, InsertBefore) {
915 assert(isValidOperands(V1, V2, Mask) &&
916 "Invalid shuffle vector instruction operands!");
917 Ops[0].init(V1, this);
918 Ops[1].init(V2, this);
919 Ops[2].init(Mask, this);
920}
921
922ShuffleVectorInst::ShuffleVectorInst(Value *V1, Value *V2, Value *Mask,
923 const std::string &Name,
924 BasicBlock *InsertAtEnd)
925 : Instruction(V1->getType(), ShuffleVector, Ops, 3, Name, InsertAtEnd) {
926 assert(isValidOperands(V1, V2, Mask) &&
927 "Invalid shuffle vector instruction operands!");
928
929 Ops[0].init(V1, this);
930 Ops[1].init(V2, this);
931 Ops[2].init(Mask, this);
932}
933
934bool ShuffleVectorInst::isValidOperands(const Value *V1, const Value *V2,
935 const Value *Mask) {
936 if (!isa<PackedType>(V1->getType())) return false;
937 if (V1->getType() != V2->getType()) return false;
938 if (!isa<PackedType>(Mask->getType()) ||
939 cast<PackedType>(Mask->getType())->getElementType() != Type::UIntTy ||
940 cast<PackedType>(Mask->getType())->getNumElements() !=
941 cast<PackedType>(V1->getType())->getNumElements())
942 return false;
943 return true;
944}
945
946
947//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000948// BinaryOperator Class
949//===----------------------------------------------------------------------===//
950
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000951void BinaryOperator::init(BinaryOps iType)
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000952{
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000953 Value *LHS = getOperand(0), *RHS = getOperand(1);
954 assert(LHS->getType() == RHS->getType() &&
955 "Binary operator operand types must match!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000956#ifndef NDEBUG
957 switch (iType) {
958 case Add: case Sub:
959 case Mul: case Div:
960 case Rem:
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000961 assert(getType() == LHS->getType() &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000962 "Arithmetic operation should return same type as operands!");
Chris Lattnerdca56cb2005-12-21 18:22:19 +0000963 assert((getType()->isInteger() || getType()->isFloatingPoint() ||
964 isa<PackedType>(getType())) &&
Brian Gaeke02209042004-08-20 06:00:58 +0000965 "Tried to create an arithmetic operation on a non-arithmetic type!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000966 break;
967 case And: case Or:
968 case Xor:
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000969 assert(getType() == LHS->getType() &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000970 "Logical operation should return same type as operands!");
Chris Lattnerdca56cb2005-12-21 18:22:19 +0000971 assert((getType()->isIntegral() ||
972 (isa<PackedType>(getType()) &&
973 cast<PackedType>(getType())->getElementType()->isIntegral())) &&
Misha Brukman3852f652005-01-27 06:46:38 +0000974 "Tried to create a logical operation on a non-integral type!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000975 break;
976 case SetLT: case SetGT: case SetLE:
977 case SetGE: case SetEQ: case SetNE:
978 assert(getType() == Type::BoolTy && "Setcc must return bool!");
979 default:
980 break;
981 }
982#endif
983}
984
985BinaryOperator *BinaryOperator::create(BinaryOps Op, Value *S1, Value *S2,
Misha Brukman96eb8782005-03-16 05:42:00 +0000986 const std::string &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000987 Instruction *InsertBefore) {
988 assert(S1->getType() == S2->getType() &&
989 "Cannot create binary operator with two operands of differing type!");
990 switch (Op) {
991 // Binary comparison operators...
992 case SetLT: case SetGT: case SetLE:
993 case SetGE: case SetEQ: case SetNE:
994 return new SetCondInst(Op, S1, S2, Name, InsertBefore);
995
996 default:
997 return new BinaryOperator(Op, S1, S2, S1->getType(), Name, InsertBefore);
998 }
999}
1000
1001BinaryOperator *BinaryOperator::create(BinaryOps Op, Value *S1, Value *S2,
Misha Brukman96eb8782005-03-16 05:42:00 +00001002 const std::string &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001003 BasicBlock *InsertAtEnd) {
1004 BinaryOperator *Res = create(Op, S1, S2, Name);
1005 InsertAtEnd->getInstList().push_back(Res);
1006 return Res;
1007}
1008
1009BinaryOperator *BinaryOperator::createNeg(Value *Op, const std::string &Name,
1010 Instruction *InsertBefore) {
1011 if (!Op->getType()->isFloatingPoint())
1012 return new BinaryOperator(Instruction::Sub,
1013 Constant::getNullValue(Op->getType()), Op,
1014 Op->getType(), Name, InsertBefore);
1015 else
1016 return new BinaryOperator(Instruction::Sub,
1017 ConstantFP::get(Op->getType(), -0.0), Op,
1018 Op->getType(), Name, InsertBefore);
1019}
1020
1021BinaryOperator *BinaryOperator::createNeg(Value *Op, const std::string &Name,
1022 BasicBlock *InsertAtEnd) {
1023 if (!Op->getType()->isFloatingPoint())
1024 return new BinaryOperator(Instruction::Sub,
1025 Constant::getNullValue(Op->getType()), Op,
1026 Op->getType(), Name, InsertAtEnd);
1027 else
1028 return new BinaryOperator(Instruction::Sub,
1029 ConstantFP::get(Op->getType(), -0.0), Op,
1030 Op->getType(), Name, InsertAtEnd);
1031}
1032
1033BinaryOperator *BinaryOperator::createNot(Value *Op, const std::string &Name,
1034 Instruction *InsertBefore) {
Chris Lattnere8e7ac42006-03-25 21:54:21 +00001035 Constant *C;
1036 if (const PackedType *PTy = dyn_cast<PackedType>(Op->getType())) {
1037 C = ConstantIntegral::getAllOnesValue(PTy->getElementType());
1038 C = ConstantPacked::get(std::vector<Constant*>(PTy->getNumElements(), C));
1039 } else {
1040 C = ConstantIntegral::getAllOnesValue(Op->getType());
1041 }
1042
1043 return new BinaryOperator(Instruction::Xor, Op, C,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001044 Op->getType(), Name, InsertBefore);
1045}
1046
1047BinaryOperator *BinaryOperator::createNot(Value *Op, const std::string &Name,
1048 BasicBlock *InsertAtEnd) {
Chris Lattnerdca56cb2005-12-21 18:22:19 +00001049 Constant *AllOnes;
1050 if (const PackedType *PTy = dyn_cast<PackedType>(Op->getType())) {
1051 // Create a vector of all ones values.
1052 Constant *Elt = ConstantIntegral::getAllOnesValue(PTy->getElementType());
1053 AllOnes =
1054 ConstantPacked::get(std::vector<Constant*>(PTy->getNumElements(), Elt));
1055 } else {
1056 AllOnes = ConstantIntegral::getAllOnesValue(Op->getType());
1057 }
1058
1059 return new BinaryOperator(Instruction::Xor, Op, AllOnes,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001060 Op->getType(), Name, InsertAtEnd);
1061}
1062
1063
1064// isConstantAllOnes - Helper function for several functions below
1065static inline bool isConstantAllOnes(const Value *V) {
1066 return isa<ConstantIntegral>(V) &&cast<ConstantIntegral>(V)->isAllOnesValue();
1067}
1068
1069bool BinaryOperator::isNeg(const Value *V) {
1070 if (const BinaryOperator *Bop = dyn_cast<BinaryOperator>(V))
1071 if (Bop->getOpcode() == Instruction::Sub)
1072 if (!V->getType()->isFloatingPoint())
1073 return Bop->getOperand(0) == Constant::getNullValue(Bop->getType());
1074 else
1075 return Bop->getOperand(0) == ConstantFP::get(Bop->getType(), -0.0);
1076 return false;
1077}
1078
1079bool BinaryOperator::isNot(const Value *V) {
1080 if (const BinaryOperator *Bop = dyn_cast<BinaryOperator>(V))
1081 return (Bop->getOpcode() == Instruction::Xor &&
1082 (isConstantAllOnes(Bop->getOperand(1)) ||
1083 isConstantAllOnes(Bop->getOperand(0))));
1084 return false;
1085}
1086
Chris Lattner2c7d1772005-04-24 07:28:37 +00001087Value *BinaryOperator::getNegArgument(Value *BinOp) {
1088 assert(isNeg(BinOp) && "getNegArgument from non-'neg' instruction!");
1089 return cast<BinaryOperator>(BinOp)->getOperand(1);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001090}
1091
Chris Lattner2c7d1772005-04-24 07:28:37 +00001092const Value *BinaryOperator::getNegArgument(const Value *BinOp) {
1093 return getNegArgument(const_cast<Value*>(BinOp));
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001094}
1095
Chris Lattner2c7d1772005-04-24 07:28:37 +00001096Value *BinaryOperator::getNotArgument(Value *BinOp) {
1097 assert(isNot(BinOp) && "getNotArgument on non-'not' instruction!");
1098 BinaryOperator *BO = cast<BinaryOperator>(BinOp);
1099 Value *Op0 = BO->getOperand(0);
1100 Value *Op1 = BO->getOperand(1);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001101 if (isConstantAllOnes(Op0)) return Op1;
1102
1103 assert(isConstantAllOnes(Op1));
1104 return Op0;
1105}
1106
Chris Lattner2c7d1772005-04-24 07:28:37 +00001107const Value *BinaryOperator::getNotArgument(const Value *BinOp) {
1108 return getNotArgument(const_cast<Value*>(BinOp));
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001109}
1110
1111
1112// swapOperands - Exchange the two operands to this instruction. This
1113// instruction is safe to use on any binary instruction and does not
1114// modify the semantics of the instruction. If the instruction is
1115// order dependent (SetLT f.e.) the opcode is changed.
1116//
1117bool BinaryOperator::swapOperands() {
1118 if (isCommutative())
1119 ; // If the instruction is commutative, it is safe to swap the operands
1120 else if (SetCondInst *SCI = dyn_cast<SetCondInst>(this))
1121 /// FIXME: SetCC instructions shouldn't all have different opcodes.
1122 setOpcode(SCI->getSwappedCondition());
1123 else
1124 return true; // Can't commute operands
1125
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001126 std::swap(Ops[0], Ops[1]);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001127 return false;
1128}
1129
1130
1131//===----------------------------------------------------------------------===//
1132// SetCondInst Class
1133//===----------------------------------------------------------------------===//
1134
Misha Brukmanb1c93172005-04-21 23:48:37 +00001135SetCondInst::SetCondInst(BinaryOps Opcode, Value *S1, Value *S2,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001136 const std::string &Name, Instruction *InsertBefore)
1137 : BinaryOperator(Opcode, S1, S2, Type::BoolTy, Name, InsertBefore) {
1138
1139 // Make sure it's a valid type... getInverseCondition will assert out if not.
1140 assert(getInverseCondition(Opcode));
1141}
1142
Misha Brukmanb1c93172005-04-21 23:48:37 +00001143SetCondInst::SetCondInst(BinaryOps Opcode, Value *S1, Value *S2,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001144 const std::string &Name, BasicBlock *InsertAtEnd)
1145 : BinaryOperator(Opcode, S1, S2, Type::BoolTy, Name, InsertAtEnd) {
1146
1147 // Make sure it's a valid type... getInverseCondition will assert out if not.
1148 assert(getInverseCondition(Opcode));
1149}
1150
1151// getInverseCondition - Return the inverse of the current condition opcode.
1152// For example seteq -> setne, setgt -> setle, setlt -> setge, etc...
1153//
1154Instruction::BinaryOps SetCondInst::getInverseCondition(BinaryOps Opcode) {
1155 switch (Opcode) {
1156 default:
1157 assert(0 && "Unknown setcc opcode!");
1158 case SetEQ: return SetNE;
1159 case SetNE: return SetEQ;
1160 case SetGT: return SetLE;
1161 case SetLT: return SetGE;
1162 case SetGE: return SetLT;
1163 case SetLE: return SetGT;
1164 }
1165}
1166
1167// getSwappedCondition - Return the condition opcode that would be the result
1168// of exchanging the two operands of the setcc instruction without changing
1169// the result produced. Thus, seteq->seteq, setle->setge, setlt->setgt, etc.
1170//
1171Instruction::BinaryOps SetCondInst::getSwappedCondition(BinaryOps Opcode) {
1172 switch (Opcode) {
1173 default: assert(0 && "Unknown setcc instruction!");
1174 case SetEQ: case SetNE: return Opcode;
1175 case SetGT: return SetLT;
1176 case SetLT: return SetGT;
1177 case SetGE: return SetLE;
1178 case SetLE: return SetGE;
1179 }
1180}
1181
1182//===----------------------------------------------------------------------===//
1183// SwitchInst Implementation
1184//===----------------------------------------------------------------------===//
1185
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001186void SwitchInst::init(Value *Value, BasicBlock *Default, unsigned NumCases) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001187 assert(Value && Default);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001188 ReservedSpace = 2+NumCases*2;
1189 NumOperands = 2;
1190 OperandList = new Use[ReservedSpace];
1191
1192 OperandList[0].init(Value, this);
1193 OperandList[1].init(Default, this);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001194}
1195
Misha Brukmanb1c93172005-04-21 23:48:37 +00001196SwitchInst::SwitchInst(const SwitchInst &SI)
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001197 : TerminatorInst(Instruction::Switch, new Use[SI.getNumOperands()],
1198 SI.getNumOperands()) {
1199 Use *OL = OperandList, *InOL = SI.OperandList;
1200 for (unsigned i = 0, E = SI.getNumOperands(); i != E; i+=2) {
1201 OL[i].init(InOL[i], this);
1202 OL[i+1].init(InOL[i+1], this);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001203 }
1204}
1205
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001206SwitchInst::~SwitchInst() {
1207 delete [] OperandList;
1208}
1209
1210
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001211/// addCase - Add an entry to the switch instruction...
1212///
Chris Lattner47ac1872005-02-24 05:32:09 +00001213void SwitchInst::addCase(ConstantInt *OnVal, BasicBlock *Dest) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001214 unsigned OpNo = NumOperands;
1215 if (OpNo+2 > ReservedSpace)
1216 resizeOperands(0); // Get more space!
1217 // Initialize some new operands.
Chris Lattnerf711f8d2005-01-29 01:05:12 +00001218 assert(OpNo+1 < ReservedSpace && "Growing didn't work!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001219 NumOperands = OpNo+2;
1220 OperandList[OpNo].init(OnVal, this);
1221 OperandList[OpNo+1].init(Dest, this);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001222}
1223
1224/// removeCase - This method removes the specified successor from the switch
1225/// instruction. Note that this cannot be used to remove the default
1226/// destination (successor #0).
1227///
1228void SwitchInst::removeCase(unsigned idx) {
1229 assert(idx != 0 && "Cannot remove the default case!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001230 assert(idx*2 < getNumOperands() && "Successor index out of range!!!");
1231
1232 unsigned NumOps = getNumOperands();
1233 Use *OL = OperandList;
1234
1235 // Move everything after this operand down.
1236 //
1237 // FIXME: we could just swap with the end of the list, then erase. However,
1238 // client might not expect this to happen. The code as it is thrashes the
1239 // use/def lists, which is kinda lame.
1240 for (unsigned i = (idx+1)*2; i != NumOps; i += 2) {
1241 OL[i-2] = OL[i];
1242 OL[i-2+1] = OL[i+1];
1243 }
1244
1245 // Nuke the last value.
1246 OL[NumOps-2].set(0);
1247 OL[NumOps-2+1].set(0);
1248 NumOperands = NumOps-2;
1249}
1250
1251/// resizeOperands - resize operands - This adjusts the length of the operands
1252/// list according to the following behavior:
1253/// 1. If NumOps == 0, grow the operand list in response to a push_back style
1254/// of operation. This grows the number of ops by 1.5 times.
1255/// 2. If NumOps > NumOperands, reserve space for NumOps operands.
1256/// 3. If NumOps == NumOperands, trim the reserved space.
1257///
1258void SwitchInst::resizeOperands(unsigned NumOps) {
1259 if (NumOps == 0) {
Chris Lattnerf711f8d2005-01-29 01:05:12 +00001260 NumOps = getNumOperands()/2*6;
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001261 } else if (NumOps*2 > NumOperands) {
1262 // No resize needed.
1263 if (ReservedSpace >= NumOps) return;
1264 } else if (NumOps == NumOperands) {
1265 if (ReservedSpace == NumOps) return;
1266 } else {
Chris Lattnerf711f8d2005-01-29 01:05:12 +00001267 return;
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001268 }
1269
1270 ReservedSpace = NumOps;
1271 Use *NewOps = new Use[NumOps];
1272 Use *OldOps = OperandList;
1273 for (unsigned i = 0, e = getNumOperands(); i != e; ++i) {
1274 NewOps[i].init(OldOps[i], this);
1275 OldOps[i].set(0);
1276 }
1277 delete [] OldOps;
1278 OperandList = NewOps;
1279}
1280
1281
1282BasicBlock *SwitchInst::getSuccessorV(unsigned idx) const {
1283 return getSuccessor(idx);
1284}
1285unsigned SwitchInst::getNumSuccessorsV() const {
1286 return getNumSuccessors();
1287}
1288void SwitchInst::setSuccessorV(unsigned idx, BasicBlock *B) {
1289 setSuccessor(idx, B);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001290}
Chris Lattnerf22be932004-10-15 23:52:53 +00001291
1292
1293// Define these methods here so vtables don't get emitted into every translation
1294// unit that uses these classes.
1295
1296GetElementPtrInst *GetElementPtrInst::clone() const {
1297 return new GetElementPtrInst(*this);
1298}
1299
1300BinaryOperator *BinaryOperator::clone() const {
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001301 return create(getOpcode(), Ops[0], Ops[1]);
Chris Lattnerf22be932004-10-15 23:52:53 +00001302}
1303
1304MallocInst *MallocInst::clone() const { return new MallocInst(*this); }
1305AllocaInst *AllocaInst::clone() const { return new AllocaInst(*this); }
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001306FreeInst *FreeInst::clone() const { return new FreeInst(getOperand(0)); }
Chris Lattnerf22be932004-10-15 23:52:53 +00001307LoadInst *LoadInst::clone() const { return new LoadInst(*this); }
1308StoreInst *StoreInst::clone() const { return new StoreInst(*this); }
1309CastInst *CastInst::clone() const { return new CastInst(*this); }
1310CallInst *CallInst::clone() const { return new CallInst(*this); }
1311ShiftInst *ShiftInst::clone() const { return new ShiftInst(*this); }
1312SelectInst *SelectInst::clone() const { return new SelectInst(*this); }
Chris Lattnerf22be932004-10-15 23:52:53 +00001313VAArgInst *VAArgInst::clone() const { return new VAArgInst(*this); }
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001314ExtractElementInst *ExtractElementInst::clone() const {
1315 return new ExtractElementInst(*this);
1316}
1317InsertElementInst *InsertElementInst::clone() const {
1318 return new InsertElementInst(*this);
1319}
1320ShuffleVectorInst *ShuffleVectorInst::clone() const {
1321 return new ShuffleVectorInst(*this);
1322}
Chris Lattnerf22be932004-10-15 23:52:53 +00001323PHINode *PHINode::clone() const { return new PHINode(*this); }
1324ReturnInst *ReturnInst::clone() const { return new ReturnInst(*this); }
1325BranchInst *BranchInst::clone() const { return new BranchInst(*this); }
1326SwitchInst *SwitchInst::clone() const { return new SwitchInst(*this); }
1327InvokeInst *InvokeInst::clone() const { return new InvokeInst(*this); }
1328UnwindInst *UnwindInst::clone() const { return new UnwindInst(); }
Chris Lattner5e0b9f22004-10-16 18:08:06 +00001329UnreachableInst *UnreachableInst::clone() const { return new UnreachableInst();}