blob: 9cdc60809b40d347c2ba4f5449d977596d7f3298 [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//
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 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
Chandler Carruth9fb823b2013-01-02 11:36:10 +000015#include "llvm/IR/Instructions.h"
Devang Pateladd58652009-09-23 18:32:25 +000016#include "LLVMContextImpl.h"
Chandler Carruth219b89b2014-03-04 11:01:28 +000017#include "llvm/IR/CallSite.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000018#include "llvm/IR/Constants.h"
19#include "llvm/IR/DataLayout.h"
20#include "llvm/IR/DerivedTypes.h"
21#include "llvm/IR/Function.h"
22#include "llvm/IR/Module.h"
23#include "llvm/IR/Operator.h"
Reid Spencer0286bc12007-02-28 22:00:54 +000024#include "llvm/Support/ConstantRange.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000025#include "llvm/Support/ErrorHandling.h"
Christopher Lamb84485702007-04-22 19:24:39 +000026#include "llvm/Support/MathExtras.h"
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +000027using namespace llvm;
28
Chris Lattner3e13b8c2008-01-02 23:42:30 +000029//===----------------------------------------------------------------------===//
30// CallSite Class
31//===----------------------------------------------------------------------===//
32
Gabor Greifa2fbc0a2010-03-24 13:21:49 +000033User::op_iterator CallSite::getCallee() const {
34 Instruction *II(getInstruction());
35 return isCall()
Gabor Greif638c8232010-08-05 21:25:49 +000036 ? cast<CallInst>(II)->op_end() - 1 // Skip Callee
Gabor Greif6d673952010-07-16 09:38:02 +000037 : cast<InvokeInst>(II)->op_end() - 3; // Skip BB, BB, Callee
Gabor Greifa2fbc0a2010-03-24 13:21:49 +000038}
39
Gordon Henriksen14a55692007-12-10 02:14:30 +000040//===----------------------------------------------------------------------===//
41// TerminatorInst Class
42//===----------------------------------------------------------------------===//
43
44// Out of line virtual method, so the vtable, etc has a home.
45TerminatorInst::~TerminatorInst() {
46}
47
Gabor Greiff6caff662008-05-10 08:32:32 +000048//===----------------------------------------------------------------------===//
49// UnaryInstruction Class
50//===----------------------------------------------------------------------===//
51
Gordon Henriksen14a55692007-12-10 02:14:30 +000052// Out of line virtual method, so the vtable, etc has a home.
53UnaryInstruction::~UnaryInstruction() {
54}
55
Chris Lattnerafdb3de2005-01-29 00:35:16 +000056//===----------------------------------------------------------------------===//
Chris Lattner88107952008-12-29 00:12:50 +000057// SelectInst Class
58//===----------------------------------------------------------------------===//
59
60/// areInvalidOperands - Return a string if the specified operands are invalid
61/// for a select operation, otherwise return null.
62const char *SelectInst::areInvalidOperands(Value *Op0, Value *Op1, Value *Op2) {
63 if (Op1->getType() != Op2->getType())
64 return "both values to select must have same type";
65
Chris Lattner229907c2011-07-18 04:54:35 +000066 if (VectorType *VT = dyn_cast<VectorType>(Op0->getType())) {
Chris Lattner88107952008-12-29 00:12:50 +000067 // Vector select.
Owen Anderson55f1c092009-08-13 21:58:54 +000068 if (VT->getElementType() != Type::getInt1Ty(Op0->getContext()))
Chris Lattner88107952008-12-29 00:12:50 +000069 return "vector select condition element type must be i1";
Chris Lattner229907c2011-07-18 04:54:35 +000070 VectorType *ET = dyn_cast<VectorType>(Op1->getType());
Chris Lattner88107952008-12-29 00:12:50 +000071 if (ET == 0)
72 return "selected values for vector select must be vectors";
73 if (ET->getNumElements() != VT->getNumElements())
74 return "vector select requires selected vectors to have "
75 "the same vector length as select condition";
Owen Anderson55f1c092009-08-13 21:58:54 +000076 } else if (Op0->getType() != Type::getInt1Ty(Op0->getContext())) {
Chris Lattner88107952008-12-29 00:12:50 +000077 return "select condition must be i1 or <n x i1>";
78 }
79 return 0;
80}
81
82
83//===----------------------------------------------------------------------===//
Chris Lattnerafdb3de2005-01-29 00:35:16 +000084// PHINode Class
85//===----------------------------------------------------------------------===//
86
87PHINode::PHINode(const PHINode &PN)
88 : Instruction(PN.getType(), Instruction::PHI,
Gabor Greiff6caff662008-05-10 08:32:32 +000089 allocHungoffUses(PN.getNumOperands()), PN.getNumOperands()),
Chris Lattnerafdb3de2005-01-29 00:35:16 +000090 ReservedSpace(PN.getNumOperands()) {
Jay Foad61ea0e42011-06-23 09:09:15 +000091 std::copy(PN.op_begin(), PN.op_end(), op_begin());
92 std::copy(PN.block_begin(), PN.block_end(), block_begin());
Dan Gohmanc8a27f22009-08-25 22:11:20 +000093 SubclassOptionalData = PN.SubclassOptionalData;
Chris Lattnerafdb3de2005-01-29 00:35:16 +000094}
95
Gordon Henriksen14a55692007-12-10 02:14:30 +000096PHINode::~PHINode() {
Jay Foadbbb91f22011-01-16 15:30:52 +000097 dropHungoffUses();
Chris Lattnerafdb3de2005-01-29 00:35:16 +000098}
99
Jay Foad61ea0e42011-06-23 09:09:15 +0000100Use *PHINode::allocHungoffUses(unsigned N) const {
101 // Allocate the array of Uses of the incoming values, followed by a pointer
102 // (with bottom bit set) to the User, followed by the array of pointers to
103 // the incoming basic blocks.
104 size_t size = N * sizeof(Use) + sizeof(Use::UserRef)
105 + N * sizeof(BasicBlock*);
106 Use *Begin = static_cast<Use*>(::operator new(size));
107 Use *End = Begin + N;
108 (void) new(End) Use::UserRef(const_cast<PHINode*>(this), 1);
109 return Use::initTags(Begin, End);
110}
111
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000112// removeIncomingValue - Remove an incoming value. This is useful if a
113// predecessor basic block is deleted.
114Value *PHINode::removeIncomingValue(unsigned Idx, bool DeletePHIIfEmpty) {
Jay Foad61ea0e42011-06-23 09:09:15 +0000115 Value *Removed = getIncomingValue(Idx);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000116
117 // Move everything after this operand down.
118 //
119 // FIXME: we could just swap with the end of the list, then erase. However,
Jay Foad61ea0e42011-06-23 09:09:15 +0000120 // clients might not expect this to happen. The code as it is thrashes the
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000121 // use/def lists, which is kinda lame.
Jay Foad61ea0e42011-06-23 09:09:15 +0000122 std::copy(op_begin() + Idx + 1, op_end(), op_begin() + Idx);
123 std::copy(block_begin() + Idx + 1, block_end(), block_begin() + Idx);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000124
125 // Nuke the last value.
Jay Foad61ea0e42011-06-23 09:09:15 +0000126 Op<-1>().set(0);
127 --NumOperands;
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000128
129 // If the PHI node is dead, because it has zero entries, nuke it now.
Jay Foad61ea0e42011-06-23 09:09:15 +0000130 if (getNumOperands() == 0 && DeletePHIIfEmpty) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000131 // If anyone is using this PHI, make them use a dummy value instead...
Owen Andersonb292b8c2009-07-30 23:03:37 +0000132 replaceAllUsesWith(UndefValue::get(getType()));
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000133 eraseFromParent();
134 }
135 return Removed;
136}
137
Jay Foade98f29d2011-04-01 08:00:58 +0000138/// growOperands - grow operands - This grows the operand list in response
139/// to a push_back style of operation. This grows the number of ops by 1.5
140/// times.
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000141///
Jay Foade98f29d2011-04-01 08:00:58 +0000142void PHINode::growOperands() {
Gabor Greiff6caff662008-05-10 08:32:32 +0000143 unsigned e = getNumOperands();
Jay Foad61ea0e42011-06-23 09:09:15 +0000144 unsigned NumOps = e + e / 2;
145 if (NumOps < 2) NumOps = 2; // 2 op PHI nodes are VERY common.
146
147 Use *OldOps = op_begin();
148 BasicBlock **OldBlocks = block_begin();
Jay Foade03c05c2011-06-20 14:38:01 +0000149
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000150 ReservedSpace = NumOps;
Jay Foad61ea0e42011-06-23 09:09:15 +0000151 OperandList = allocHungoffUses(ReservedSpace);
152
153 std::copy(OldOps, OldOps + e, op_begin());
154 std::copy(OldBlocks, OldBlocks + e, block_begin());
155
Jay Foadbbb91f22011-01-16 15:30:52 +0000156 Use::zap(OldOps, OldOps + e, true);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000157}
158
Nate Begemanb3923212005-08-04 23:24:19 +0000159/// hasConstantValue - If the specified PHI node always merges together the same
160/// value, return the value, otherwise return null.
Duncan Sands7412f6e2010-11-17 04:30:22 +0000161Value *PHINode::hasConstantValue() const {
162 // Exploit the fact that phi nodes always have at least one entry.
163 Value *ConstantValue = getIncomingValue(0);
164 for (unsigned i = 1, e = getNumIncomingValues(); i != e; ++i)
Nuno Lopes90c76df2012-07-03 17:10:28 +0000165 if (getIncomingValue(i) != ConstantValue && getIncomingValue(i) != this) {
166 if (ConstantValue != this)
167 return 0; // Incoming values not all the same.
168 // The case where the first value is this PHI.
169 ConstantValue = getIncomingValue(i);
170 }
Nuno Lopes0d44a502012-07-03 21:15:40 +0000171 if (ConstantValue == this)
172 return UndefValue::get(getType());
Duncan Sands7412f6e2010-11-17 04:30:22 +0000173 return ConstantValue;
Nate Begemanb3923212005-08-04 23:24:19 +0000174}
175
Bill Wendlingfae14752011-08-12 20:24:12 +0000176//===----------------------------------------------------------------------===//
177// LandingPadInst Implementation
178//===----------------------------------------------------------------------===//
179
180LandingPadInst::LandingPadInst(Type *RetTy, Value *PersonalityFn,
181 unsigned NumReservedValues, const Twine &NameStr,
182 Instruction *InsertBefore)
183 : Instruction(RetTy, Instruction::LandingPad, 0, 0, InsertBefore) {
184 init(PersonalityFn, 1 + NumReservedValues, NameStr);
185}
186
187LandingPadInst::LandingPadInst(Type *RetTy, Value *PersonalityFn,
188 unsigned NumReservedValues, const Twine &NameStr,
189 BasicBlock *InsertAtEnd)
190 : Instruction(RetTy, Instruction::LandingPad, 0, 0, InsertAtEnd) {
191 init(PersonalityFn, 1 + NumReservedValues, NameStr);
192}
193
194LandingPadInst::LandingPadInst(const LandingPadInst &LP)
195 : Instruction(LP.getType(), Instruction::LandingPad,
196 allocHungoffUses(LP.getNumOperands()), LP.getNumOperands()),
197 ReservedSpace(LP.getNumOperands()) {
198 Use *OL = OperandList, *InOL = LP.OperandList;
199 for (unsigned I = 0, E = ReservedSpace; I != E; ++I)
200 OL[I] = InOL[I];
201
202 setCleanup(LP.isCleanup());
203}
204
205LandingPadInst::~LandingPadInst() {
206 dropHungoffUses();
207}
208
209LandingPadInst *LandingPadInst::Create(Type *RetTy, Value *PersonalityFn,
210 unsigned NumReservedClauses,
211 const Twine &NameStr,
212 Instruction *InsertBefore) {
213 return new LandingPadInst(RetTy, PersonalityFn, NumReservedClauses, NameStr,
214 InsertBefore);
215}
216
217LandingPadInst *LandingPadInst::Create(Type *RetTy, Value *PersonalityFn,
218 unsigned NumReservedClauses,
219 const Twine &NameStr,
220 BasicBlock *InsertAtEnd) {
221 return new LandingPadInst(RetTy, PersonalityFn, NumReservedClauses, NameStr,
222 InsertAtEnd);
223}
224
225void LandingPadInst::init(Value *PersFn, unsigned NumReservedValues,
226 const Twine &NameStr) {
227 ReservedSpace = NumReservedValues;
228 NumOperands = 1;
229 OperandList = allocHungoffUses(ReservedSpace);
230 OperandList[0] = PersFn;
231 setName(NameStr);
232 setCleanup(false);
233}
234
235/// growOperands - grow operands - This grows the operand list in response to a
236/// push_back style of operation. This grows the number of ops by 2 times.
237void LandingPadInst::growOperands(unsigned Size) {
238 unsigned e = getNumOperands();
239 if (ReservedSpace >= e + Size) return;
240 ReservedSpace = (e + Size / 2) * 2;
241
242 Use *NewOps = allocHungoffUses(ReservedSpace);
243 Use *OldOps = OperandList;
244 for (unsigned i = 0; i != e; ++i)
245 NewOps[i] = OldOps[i];
246
247 OperandList = NewOps;
248 Use::zap(OldOps, OldOps + e, true);
249}
250
251void LandingPadInst::addClause(Value *Val) {
252 unsigned OpNo = getNumOperands();
253 growOperands(1);
254 assert(OpNo < ReservedSpace && "Growing didn't work!");
255 ++NumOperands;
256 OperandList[OpNo] = Val;
257}
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000258
259//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000260// CallInst Implementation
261//===----------------------------------------------------------------------===//
262
Gordon Henriksen14a55692007-12-10 02:14:30 +0000263CallInst::~CallInst() {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000264}
265
Jay Foad5bd375a2011-07-15 08:37:34 +0000266void CallInst::init(Value *Func, ArrayRef<Value *> Args, const Twine &NameStr) {
267 assert(NumOperands == Args.size() + 1 && "NumOperands not set up?");
Gabor Greif6d673952010-07-16 09:38:02 +0000268 Op<-1>() = Func;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000269
Jay Foad5bd375a2011-07-15 08:37:34 +0000270#ifndef NDEBUG
Chris Lattner229907c2011-07-18 04:54:35 +0000271 FunctionType *FTy =
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000272 cast<FunctionType>(cast<PointerType>(Func->getType())->getElementType());
273
Jay Foad5bd375a2011-07-15 08:37:34 +0000274 assert((Args.size() == FTy->getNumParams() ||
275 (FTy->isVarArg() && Args.size() > FTy->getNumParams())) &&
Chris Lattner667a0562006-05-03 00:48:22 +0000276 "Calling a function with bad signature!");
Jay Foad5bd375a2011-07-15 08:37:34 +0000277
278 for (unsigned i = 0; i != Args.size(); ++i)
Chris Lattner667a0562006-05-03 00:48:22 +0000279 assert((i >= FTy->getNumParams() ||
Jay Foad5bd375a2011-07-15 08:37:34 +0000280 FTy->getParamType(i) == Args[i]->getType()) &&
Chris Lattner667a0562006-05-03 00:48:22 +0000281 "Calling a function with a bad signature!");
Jay Foad5bd375a2011-07-15 08:37:34 +0000282#endif
283
284 std::copy(Args.begin(), Args.end(), op_begin());
285 setName(NameStr);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000286}
287
Jay Foad5bd375a2011-07-15 08:37:34 +0000288void CallInst::init(Value *Func, const Twine &NameStr) {
Gabor Greiff6caff662008-05-10 08:32:32 +0000289 assert(NumOperands == 1 && "NumOperands not set up?");
Gabor Greif6d673952010-07-16 09:38:02 +0000290 Op<-1>() = Func;
Misha Brukmanb1c93172005-04-21 23:48:37 +0000291
Jay Foad5bd375a2011-07-15 08:37:34 +0000292#ifndef NDEBUG
Chris Lattner229907c2011-07-18 04:54:35 +0000293 FunctionType *FTy =
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000294 cast<FunctionType>(cast<PointerType>(Func->getType())->getElementType());
295
Chris Lattnerf14c76c2007-02-01 04:59:37 +0000296 assert(FTy->getNumParams() == 0 && "Calling a function with bad signature");
Jay Foad5bd375a2011-07-15 08:37:34 +0000297#endif
298
299 setName(NameStr);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000300}
301
Daniel Dunbar4975db62009-07-25 04:41:11 +0000302CallInst::CallInst(Value *Func, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000303 Instruction *InsertBefore)
304 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
305 ->getElementType())->getReturnType(),
Gabor Greiff6caff662008-05-10 08:32:32 +0000306 Instruction::Call,
307 OperandTraits<CallInst>::op_end(this) - 1,
308 1, InsertBefore) {
Jay Foad5bd375a2011-07-15 08:37:34 +0000309 init(Func, Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000310}
311
Daniel Dunbar4975db62009-07-25 04:41:11 +0000312CallInst::CallInst(Value *Func, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000313 BasicBlock *InsertAtEnd)
314 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
315 ->getElementType())->getReturnType(),
Gabor Greiff6caff662008-05-10 08:32:32 +0000316 Instruction::Call,
317 OperandTraits<CallInst>::op_end(this) - 1,
318 1, InsertAtEnd) {
Jay Foad5bd375a2011-07-15 08:37:34 +0000319 init(Func, Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000320}
321
Misha Brukmanb1c93172005-04-21 23:48:37 +0000322CallInst::CallInst(const CallInst &CI)
Gabor Greiff6caff662008-05-10 08:32:32 +0000323 : Instruction(CI.getType(), Instruction::Call,
324 OperandTraits<CallInst>::op_end(this) - CI.getNumOperands(),
Chris Lattner8a923e72008-03-12 17:45:29 +0000325 CI.getNumOperands()) {
Devang Patel4c758ea2008-09-25 21:00:45 +0000326 setAttributes(CI.getAttributes());
Chris Lattnerb9c86512009-12-29 02:14:09 +0000327 setTailCall(CI.isTailCall());
328 setCallingConv(CI.getCallingConv());
329
Jay Foad5bd375a2011-07-15 08:37:34 +0000330 std::copy(CI.op_begin(), CI.op_end(), op_begin());
Dan Gohmanc8a27f22009-08-25 22:11:20 +0000331 SubclassOptionalData = CI.SubclassOptionalData;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000332}
333
Peter Collingbourne1b97a9c2013-03-02 01:20:18 +0000334void CallInst::addAttribute(unsigned i, Attribute::AttrKind attr) {
Bill Wendlinge94d8432012-12-07 23:16:57 +0000335 AttributeSet PAL = getAttributes();
Peter Collingbourne1b97a9c2013-03-02 01:20:18 +0000336 PAL = PAL.addAttribute(getContext(), i, attr);
Devang Patel4c758ea2008-09-25 21:00:45 +0000337 setAttributes(PAL);
Eric Christopher901b1a72008-05-16 20:39:43 +0000338}
339
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000340void CallInst::removeAttribute(unsigned i, Attribute attr) {
Bill Wendlinge94d8432012-12-07 23:16:57 +0000341 AttributeSet PAL = getAttributes();
Bill Wendling430fa9b2013-01-23 00:45:55 +0000342 AttrBuilder B(attr);
343 LLVMContext &Context = getContext();
344 PAL = PAL.removeAttributes(Context, i,
345 AttributeSet::get(Context, i, B));
Devang Patel4c758ea2008-09-25 21:00:45 +0000346 setAttributes(PAL);
Duncan Sands78c88722008-07-08 08:38:44 +0000347}
348
Michael Gottesman41748d72013-06-27 00:25:01 +0000349bool CallInst::hasFnAttrImpl(Attribute::AttrKind A) const {
Bill Wendling749a43d2012-12-30 13:50:49 +0000350 if (AttributeList.hasAttribute(AttributeSet::FunctionIndex, A))
Bill Wendling375eb1f2012-10-09 00:28:54 +0000351 return true;
352 if (const Function *F = getCalledFunction())
Bill Wendling94dcaf82012-12-30 12:45:13 +0000353 return F->getAttributes().hasAttribute(AttributeSet::FunctionIndex, A);
Bill Wendling375eb1f2012-10-09 00:28:54 +0000354 return false;
355}
356
Bill Wendlingc79e42c2012-12-22 00:37:52 +0000357bool CallInst::paramHasAttr(unsigned i, Attribute::AttrKind A) const {
Bill Wendling749a43d2012-12-30 13:50:49 +0000358 if (AttributeList.hasAttribute(i, A))
Bill Wendling8baa61d2012-10-03 17:54:26 +0000359 return true;
360 if (const Function *F = getCalledFunction())
Bill Wendling94dcaf82012-12-30 12:45:13 +0000361 return F->getAttributes().hasAttribute(i, A);
Bill Wendlingdaf8e382012-10-04 07:18:12 +0000362 return false;
363}
364
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000365/// IsConstantOne - Return true only if val is constant int 1
366static bool IsConstantOne(Value *val) {
367 assert(val && "IsConstantOne does not work with NULL val");
368 return isa<ConstantInt>(val) && cast<ConstantInt>(val)->isOne();
369}
370
Nick Lewyckybb1410e2009-10-17 23:52:26 +0000371static Instruction *createMalloc(Instruction *InsertBefore,
Chris Lattner229907c2011-07-18 04:54:35 +0000372 BasicBlock *InsertAtEnd, Type *IntPtrTy,
373 Type *AllocTy, Value *AllocSize,
Victor Hernandezf3db9152009-11-07 00:16:28 +0000374 Value *ArraySize, Function *MallocF,
375 const Twine &Name) {
Benjamin Kramer4bf4e862009-09-10 11:31:39 +0000376 assert(((!InsertBefore && InsertAtEnd) || (InsertBefore && !InsertAtEnd)) &&
Victor Hernandez788eaab2009-09-18 19:20:02 +0000377 "createMalloc needs either InsertBefore or InsertAtEnd");
378
379 // malloc(type) becomes:
380 // bitcast (i8* malloc(typeSize)) to type*
381 // malloc(type, arraySize) becomes:
382 // bitcast (i8 *malloc(typeSize*arraySize)) to type*
Victor Hernandezf3db9152009-11-07 00:16:28 +0000383 if (!ArraySize)
384 ArraySize = ConstantInt::get(IntPtrTy, 1);
385 else if (ArraySize->getType() != IntPtrTy) {
386 if (InsertBefore)
Victor Hernandeze04ed0c2009-11-07 00:36:50 +0000387 ArraySize = CastInst::CreateIntegerCast(ArraySize, IntPtrTy, false,
388 "", InsertBefore);
Victor Hernandezf3db9152009-11-07 00:16:28 +0000389 else
Victor Hernandeze04ed0c2009-11-07 00:36:50 +0000390 ArraySize = CastInst::CreateIntegerCast(ArraySize, IntPtrTy, false,
391 "", InsertAtEnd);
Victor Hernandezf3db9152009-11-07 00:16:28 +0000392 }
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000393
Benjamin Kramer4bf4e862009-09-10 11:31:39 +0000394 if (!IsConstantOne(ArraySize)) {
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000395 if (IsConstantOne(AllocSize)) {
396 AllocSize = ArraySize; // Operand * 1 = Operand
397 } else if (Constant *CO = dyn_cast<Constant>(ArraySize)) {
398 Constant *Scale = ConstantExpr::getIntegerCast(CO, IntPtrTy,
399 false /*ZExt*/);
400 // Malloc arg is constant product of type size and array size
401 AllocSize = ConstantExpr::getMul(Scale, cast<Constant>(AllocSize));
402 } else {
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000403 // Multiply type size by the array size...
404 if (InsertBefore)
Victor Hernandez788eaab2009-09-18 19:20:02 +0000405 AllocSize = BinaryOperator::CreateMul(ArraySize, AllocSize,
406 "mallocsize", InsertBefore);
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000407 else
Victor Hernandez788eaab2009-09-18 19:20:02 +0000408 AllocSize = BinaryOperator::CreateMul(ArraySize, AllocSize,
409 "mallocsize", InsertAtEnd);
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000410 }
Benjamin Kramer4bf4e862009-09-10 11:31:39 +0000411 }
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000412
Victor Hernandez788eaab2009-09-18 19:20:02 +0000413 assert(AllocSize->getType() == IntPtrTy && "malloc arg is wrong size");
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000414 // Create the call to Malloc.
415 BasicBlock* BB = InsertBefore ? InsertBefore->getParent() : InsertAtEnd;
416 Module* M = BB->getParent()->getParent();
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000417 Type *BPTy = Type::getInt8PtrTy(BB->getContext());
Victor Hernandezbb336a12009-11-10 19:53:28 +0000418 Value *MallocFunc = MallocF;
419 if (!MallocFunc)
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000420 // prototype malloc as "void *malloc(size_t)"
Victor Hernandezbb336a12009-11-10 19:53:28 +0000421 MallocFunc = M->getOrInsertFunction("malloc", BPTy, IntPtrTy, NULL);
Chris Lattner229907c2011-07-18 04:54:35 +0000422 PointerType *AllocPtrType = PointerType::getUnqual(AllocTy);
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000423 CallInst *MCall = NULL;
Nick Lewyckybb1410e2009-10-17 23:52:26 +0000424 Instruction *Result = NULL;
Victor Hernandez788eaab2009-09-18 19:20:02 +0000425 if (InsertBefore) {
Victor Hernandezbb336a12009-11-10 19:53:28 +0000426 MCall = CallInst::Create(MallocFunc, AllocSize, "malloccall", InsertBefore);
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000427 Result = MCall;
428 if (Result->getType() != AllocPtrType)
429 // Create a cast instruction to convert to the right type...
Victor Hernandezf3db9152009-11-07 00:16:28 +0000430 Result = new BitCastInst(MCall, AllocPtrType, Name, InsertBefore);
Victor Hernandez788eaab2009-09-18 19:20:02 +0000431 } else {
Victor Hernandezbb336a12009-11-10 19:53:28 +0000432 MCall = CallInst::Create(MallocFunc, AllocSize, "malloccall");
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000433 Result = MCall;
434 if (Result->getType() != AllocPtrType) {
435 InsertAtEnd->getInstList().push_back(MCall);
436 // Create a cast instruction to convert to the right type...
Victor Hernandezf3db9152009-11-07 00:16:28 +0000437 Result = new BitCastInst(MCall, AllocPtrType, Name);
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000438 }
Victor Hernandez788eaab2009-09-18 19:20:02 +0000439 }
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000440 MCall->setTailCall();
Victor Hernandezbb336a12009-11-10 19:53:28 +0000441 if (Function *F = dyn_cast<Function>(MallocFunc)) {
442 MCall->setCallingConv(F->getCallingConv());
443 if (!F->doesNotAlias(0)) F->setDoesNotAlias(0);
444 }
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000445 assert(!MCall->getType()->isVoidTy() && "Malloc has void return type");
Victor Hernandez788eaab2009-09-18 19:20:02 +0000446
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000447 return Result;
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000448}
449
450/// CreateMalloc - Generate the IR for a call to malloc:
451/// 1. Compute the malloc call's argument as the specified type's size,
452/// possibly multiplied by the array size if the array size is not
453/// constant 1.
454/// 2. Call malloc with that argument.
455/// 3. Bitcast the result of the malloc call to the specified type.
Nick Lewyckybb1410e2009-10-17 23:52:26 +0000456Instruction *CallInst::CreateMalloc(Instruction *InsertBefore,
Chris Lattner229907c2011-07-18 04:54:35 +0000457 Type *IntPtrTy, Type *AllocTy,
Victor Hernandezf3db9152009-11-07 00:16:28 +0000458 Value *AllocSize, Value *ArraySize,
Duncan Sands41b4a6b2010-07-12 08:16:59 +0000459 Function * MallocF,
Victor Hernandezf3db9152009-11-07 00:16:28 +0000460 const Twine &Name) {
461 return createMalloc(InsertBefore, NULL, IntPtrTy, AllocTy, AllocSize,
Chris Lattner601e390a2010-07-12 00:57:28 +0000462 ArraySize, MallocF, Name);
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000463}
464
465/// CreateMalloc - Generate the IR for a call to malloc:
466/// 1. Compute the malloc call's argument as the specified type's size,
467/// possibly multiplied by the array size if the array size is not
468/// constant 1.
469/// 2. Call malloc with that argument.
470/// 3. Bitcast the result of the malloc call to the specified type.
471/// Note: This function does not add the bitcast to the basic block, that is the
472/// responsibility of the caller.
Nick Lewyckybb1410e2009-10-17 23:52:26 +0000473Instruction *CallInst::CreateMalloc(BasicBlock *InsertAtEnd,
Chris Lattner229907c2011-07-18 04:54:35 +0000474 Type *IntPtrTy, Type *AllocTy,
Victor Hernandezf3db9152009-11-07 00:16:28 +0000475 Value *AllocSize, Value *ArraySize,
476 Function *MallocF, const Twine &Name) {
477 return createMalloc(NULL, InsertAtEnd, IntPtrTy, AllocTy, AllocSize,
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000478 ArraySize, MallocF, Name);
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000479}
Duncan Sands5208d1a2007-11-28 17:07:01 +0000480
Victor Hernandeze2971492009-10-24 04:23:03 +0000481static Instruction* createFree(Value* Source, Instruction *InsertBefore,
482 BasicBlock *InsertAtEnd) {
483 assert(((!InsertBefore && InsertAtEnd) || (InsertBefore && !InsertAtEnd)) &&
484 "createFree needs either InsertBefore or InsertAtEnd");
Duncan Sands19d0b472010-02-16 11:11:14 +0000485 assert(Source->getType()->isPointerTy() &&
Victor Hernandeze2971492009-10-24 04:23:03 +0000486 "Can not free something of nonpointer type!");
487
488 BasicBlock* BB = InsertBefore ? InsertBefore->getParent() : InsertAtEnd;
489 Module* M = BB->getParent()->getParent();
490
Chris Lattner229907c2011-07-18 04:54:35 +0000491 Type *VoidTy = Type::getVoidTy(M->getContext());
492 Type *IntPtrTy = Type::getInt8PtrTy(M->getContext());
Victor Hernandeze2971492009-10-24 04:23:03 +0000493 // prototype free as "void free(void*)"
Chris Lattner2156c222009-11-09 07:12:01 +0000494 Value *FreeFunc = M->getOrInsertFunction("free", VoidTy, IntPtrTy, NULL);
Victor Hernandeze2971492009-10-24 04:23:03 +0000495 CallInst* Result = NULL;
496 Value *PtrCast = Source;
497 if (InsertBefore) {
498 if (Source->getType() != IntPtrTy)
499 PtrCast = new BitCastInst(Source, IntPtrTy, "", InsertBefore);
500 Result = CallInst::Create(FreeFunc, PtrCast, "", InsertBefore);
501 } else {
502 if (Source->getType() != IntPtrTy)
503 PtrCast = new BitCastInst(Source, IntPtrTy, "", InsertAtEnd);
504 Result = CallInst::Create(FreeFunc, PtrCast, "");
505 }
506 Result->setTailCall();
Chris Lattner2156c222009-11-09 07:12:01 +0000507 if (Function *F = dyn_cast<Function>(FreeFunc))
508 Result->setCallingConv(F->getCallingConv());
Victor Hernandeze2971492009-10-24 04:23:03 +0000509
510 return Result;
511}
512
513/// CreateFree - Generate the IR for a call to the builtin free function.
Chris Lattner601e390a2010-07-12 00:57:28 +0000514Instruction * CallInst::CreateFree(Value* Source, Instruction *InsertBefore) {
515 return createFree(Source, InsertBefore, NULL);
Victor Hernandeze2971492009-10-24 04:23:03 +0000516}
517
518/// CreateFree - Generate the IR for a call to the builtin free function.
519/// Note: This function does not add the call to the basic block, that is the
520/// responsibility of the caller.
521Instruction* CallInst::CreateFree(Value* Source, BasicBlock *InsertAtEnd) {
522 Instruction* FreeCall = createFree(Source, NULL, InsertAtEnd);
523 assert(FreeCall && "CreateFree did not create a CallInst");
524 return FreeCall;
525}
526
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000527//===----------------------------------------------------------------------===//
528// InvokeInst Implementation
529//===----------------------------------------------------------------------===//
530
531void InvokeInst::init(Value *Fn, BasicBlock *IfNormal, BasicBlock *IfException,
Jay Foad5bd375a2011-07-15 08:37:34 +0000532 ArrayRef<Value *> Args, const Twine &NameStr) {
533 assert(NumOperands == 3 + Args.size() && "NumOperands not set up?");
Gabor Greifa2fbc0a2010-03-24 13:21:49 +0000534 Op<-3>() = Fn;
535 Op<-2>() = IfNormal;
536 Op<-1>() = IfException;
Jay Foad5bd375a2011-07-15 08:37:34 +0000537
538#ifndef NDEBUG
Chris Lattner229907c2011-07-18 04:54:35 +0000539 FunctionType *FTy =
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000540 cast<FunctionType>(cast<PointerType>(Fn->getType())->getElementType());
Misha Brukmanb1c93172005-04-21 23:48:37 +0000541
Jay Foad5bd375a2011-07-15 08:37:34 +0000542 assert(((Args.size() == FTy->getNumParams()) ||
543 (FTy->isVarArg() && Args.size() > FTy->getNumParams())) &&
Gabor Greif668d7002010-03-23 13:45:54 +0000544 "Invoking a function with bad signature");
Misha Brukmanb1c93172005-04-21 23:48:37 +0000545
Jay Foad5bd375a2011-07-15 08:37:34 +0000546 for (unsigned i = 0, e = Args.size(); i != e; i++)
Chris Lattner667a0562006-05-03 00:48:22 +0000547 assert((i >= FTy->getNumParams() ||
Chris Lattnerb5fcc282007-02-13 01:04:01 +0000548 FTy->getParamType(i) == Args[i]->getType()) &&
Chris Lattner667a0562006-05-03 00:48:22 +0000549 "Invoking a function with a bad signature!");
Jay Foad5bd375a2011-07-15 08:37:34 +0000550#endif
551
552 std::copy(Args.begin(), Args.end(), op_begin());
553 setName(NameStr);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000554}
555
Misha Brukmanb1c93172005-04-21 23:48:37 +0000556InvokeInst::InvokeInst(const InvokeInst &II)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000557 : TerminatorInst(II.getType(), Instruction::Invoke,
Gabor Greif697e94c2008-05-15 10:04:30 +0000558 OperandTraits<InvokeInst>::op_end(this)
559 - II.getNumOperands(),
Gabor Greiff6caff662008-05-10 08:32:32 +0000560 II.getNumOperands()) {
Devang Patel4c758ea2008-09-25 21:00:45 +0000561 setAttributes(II.getAttributes());
Chris Lattnerb9c86512009-12-29 02:14:09 +0000562 setCallingConv(II.getCallingConv());
Jay Foad5bd375a2011-07-15 08:37:34 +0000563 std::copy(II.op_begin(), II.op_end(), op_begin());
Dan Gohmanc8a27f22009-08-25 22:11:20 +0000564 SubclassOptionalData = II.SubclassOptionalData;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000565}
566
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000567BasicBlock *InvokeInst::getSuccessorV(unsigned idx) const {
568 return getSuccessor(idx);
569}
570unsigned InvokeInst::getNumSuccessorsV() const {
571 return getNumSuccessors();
572}
573void InvokeInst::setSuccessorV(unsigned idx, BasicBlock *B) {
574 return setSuccessor(idx, B);
575}
576
Michael Gottesman41748d72013-06-27 00:25:01 +0000577bool InvokeInst::hasFnAttrImpl(Attribute::AttrKind A) const {
Bill Wendling749a43d2012-12-30 13:50:49 +0000578 if (AttributeList.hasAttribute(AttributeSet::FunctionIndex, A))
Bill Wendling375eb1f2012-10-09 00:28:54 +0000579 return true;
580 if (const Function *F = getCalledFunction())
Bill Wendling94dcaf82012-12-30 12:45:13 +0000581 return F->getAttributes().hasAttribute(AttributeSet::FunctionIndex, A);
Bill Wendling375eb1f2012-10-09 00:28:54 +0000582 return false;
583}
584
Bill Wendlingc79e42c2012-12-22 00:37:52 +0000585bool InvokeInst::paramHasAttr(unsigned i, Attribute::AttrKind A) const {
Bill Wendling749a43d2012-12-30 13:50:49 +0000586 if (AttributeList.hasAttribute(i, A))
Bill Wendling8baa61d2012-10-03 17:54:26 +0000587 return true;
588 if (const Function *F = getCalledFunction())
Bill Wendling94dcaf82012-12-30 12:45:13 +0000589 return F->getAttributes().hasAttribute(i, A);
Bill Wendlingdaf8e382012-10-04 07:18:12 +0000590 return false;
591}
592
Peter Collingbourne1b97a9c2013-03-02 01:20:18 +0000593void InvokeInst::addAttribute(unsigned i, Attribute::AttrKind attr) {
Bill Wendlinge94d8432012-12-07 23:16:57 +0000594 AttributeSet PAL = getAttributes();
Peter Collingbourne1b97a9c2013-03-02 01:20:18 +0000595 PAL = PAL.addAttribute(getContext(), i, attr);
Devang Patel4c758ea2008-09-25 21:00:45 +0000596 setAttributes(PAL);
Eric Christopher901b1a72008-05-16 20:39:43 +0000597}
598
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000599void InvokeInst::removeAttribute(unsigned i, Attribute attr) {
Bill Wendlinge94d8432012-12-07 23:16:57 +0000600 AttributeSet PAL = getAttributes();
Bill Wendling430fa9b2013-01-23 00:45:55 +0000601 AttrBuilder B(attr);
602 PAL = PAL.removeAttributes(getContext(), i,
603 AttributeSet::get(getContext(), i, B));
Devang Patel4c758ea2008-09-25 21:00:45 +0000604 setAttributes(PAL);
Duncan Sandsaa31b922007-12-19 21:13:37 +0000605}
606
Bill Wendlingfae14752011-08-12 20:24:12 +0000607LandingPadInst *InvokeInst::getLandingPadInst() const {
608 return cast<LandingPadInst>(getUnwindDest()->getFirstNonPHI());
609}
Duncan Sands5208d1a2007-11-28 17:07:01 +0000610
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000611//===----------------------------------------------------------------------===//
612// ReturnInst Implementation
613//===----------------------------------------------------------------------===//
614
Chris Lattner2195fc42007-02-24 00:55:48 +0000615ReturnInst::ReturnInst(const ReturnInst &RI)
Owen Anderson55f1c092009-08-13 21:58:54 +0000616 : TerminatorInst(Type::getVoidTy(RI.getContext()), Instruction::Ret,
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000617 OperandTraits<ReturnInst>::op_end(this) -
618 RI.getNumOperands(),
Gabor Greiff6caff662008-05-10 08:32:32 +0000619 RI.getNumOperands()) {
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000620 if (RI.getNumOperands())
Gabor Greif2d3024d2008-05-26 21:33:52 +0000621 Op<0>() = RI.Op<0>();
Dan Gohmanc8a27f22009-08-25 22:11:20 +0000622 SubclassOptionalData = RI.SubclassOptionalData;
Chris Lattner2195fc42007-02-24 00:55:48 +0000623}
624
Owen Anderson55f1c092009-08-13 21:58:54 +0000625ReturnInst::ReturnInst(LLVMContext &C, Value *retVal, Instruction *InsertBefore)
626 : TerminatorInst(Type::getVoidTy(C), Instruction::Ret,
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000627 OperandTraits<ReturnInst>::op_end(this) - !!retVal, !!retVal,
628 InsertBefore) {
Devang Patelc38eb522008-02-26 18:49:29 +0000629 if (retVal)
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000630 Op<0>() = retVal;
Chris Lattner2195fc42007-02-24 00:55:48 +0000631}
Owen Anderson55f1c092009-08-13 21:58:54 +0000632ReturnInst::ReturnInst(LLVMContext &C, Value *retVal, BasicBlock *InsertAtEnd)
633 : TerminatorInst(Type::getVoidTy(C), Instruction::Ret,
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000634 OperandTraits<ReturnInst>::op_end(this) - !!retVal, !!retVal,
635 InsertAtEnd) {
Devang Patelc38eb522008-02-26 18:49:29 +0000636 if (retVal)
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000637 Op<0>() = retVal;
Chris Lattner2195fc42007-02-24 00:55:48 +0000638}
Owen Anderson55f1c092009-08-13 21:58:54 +0000639ReturnInst::ReturnInst(LLVMContext &Context, BasicBlock *InsertAtEnd)
640 : TerminatorInst(Type::getVoidTy(Context), Instruction::Ret,
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000641 OperandTraits<ReturnInst>::op_end(this), 0, InsertAtEnd) {
Devang Patel59643e52008-02-23 00:35:18 +0000642}
643
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000644unsigned ReturnInst::getNumSuccessorsV() const {
645 return getNumSuccessors();
646}
647
Devang Patelae682fb2008-02-26 17:56:20 +0000648/// Out-of-line ReturnInst method, put here so the C++ compiler can choose to
649/// emit the vtable for the class in this translation unit.
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000650void ReturnInst::setSuccessorV(unsigned idx, BasicBlock *NewSucc) {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000651 llvm_unreachable("ReturnInst has no successors!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000652}
653
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000654BasicBlock *ReturnInst::getSuccessorV(unsigned idx) const {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000655 llvm_unreachable("ReturnInst has no successors!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000656}
657
Devang Patel59643e52008-02-23 00:35:18 +0000658ReturnInst::~ReturnInst() {
Devang Patel59643e52008-02-23 00:35:18 +0000659}
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000660
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000661//===----------------------------------------------------------------------===//
Bill Wendlingf891bf82011-07-31 06:30:59 +0000662// ResumeInst Implementation
663//===----------------------------------------------------------------------===//
664
665ResumeInst::ResumeInst(const ResumeInst &RI)
666 : TerminatorInst(Type::getVoidTy(RI.getContext()), Instruction::Resume,
667 OperandTraits<ResumeInst>::op_begin(this), 1) {
668 Op<0>() = RI.Op<0>();
669}
670
671ResumeInst::ResumeInst(Value *Exn, Instruction *InsertBefore)
672 : TerminatorInst(Type::getVoidTy(Exn->getContext()), Instruction::Resume,
673 OperandTraits<ResumeInst>::op_begin(this), 1, InsertBefore) {
674 Op<0>() = Exn;
675}
676
677ResumeInst::ResumeInst(Value *Exn, BasicBlock *InsertAtEnd)
678 : TerminatorInst(Type::getVoidTy(Exn->getContext()), Instruction::Resume,
679 OperandTraits<ResumeInst>::op_begin(this), 1, InsertAtEnd) {
680 Op<0>() = Exn;
681}
682
683unsigned ResumeInst::getNumSuccessorsV() const {
684 return getNumSuccessors();
685}
686
687void ResumeInst::setSuccessorV(unsigned idx, BasicBlock *NewSucc) {
688 llvm_unreachable("ResumeInst has no successors!");
689}
690
691BasicBlock *ResumeInst::getSuccessorV(unsigned idx) const {
692 llvm_unreachable("ResumeInst has no successors!");
Bill Wendlingf891bf82011-07-31 06:30:59 +0000693}
694
695//===----------------------------------------------------------------------===//
Chris Lattner5e0b9f22004-10-16 18:08:06 +0000696// UnreachableInst Implementation
697//===----------------------------------------------------------------------===//
698
Owen Anderson55f1c092009-08-13 21:58:54 +0000699UnreachableInst::UnreachableInst(LLVMContext &Context,
700 Instruction *InsertBefore)
701 : TerminatorInst(Type::getVoidTy(Context), Instruction::Unreachable,
702 0, 0, InsertBefore) {
Chris Lattner2195fc42007-02-24 00:55:48 +0000703}
Owen Anderson55f1c092009-08-13 21:58:54 +0000704UnreachableInst::UnreachableInst(LLVMContext &Context, BasicBlock *InsertAtEnd)
705 : TerminatorInst(Type::getVoidTy(Context), Instruction::Unreachable,
706 0, 0, InsertAtEnd) {
Chris Lattner2195fc42007-02-24 00:55:48 +0000707}
708
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000709unsigned UnreachableInst::getNumSuccessorsV() const {
710 return getNumSuccessors();
711}
712
713void UnreachableInst::setSuccessorV(unsigned idx, BasicBlock *NewSucc) {
Bill Wendling0aef16a2012-02-06 21:44:22 +0000714 llvm_unreachable("UnreachableInst has no successors!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000715}
716
717BasicBlock *UnreachableInst::getSuccessorV(unsigned idx) const {
Bill Wendling0aef16a2012-02-06 21:44:22 +0000718 llvm_unreachable("UnreachableInst has no successors!");
Chris Lattner5e0b9f22004-10-16 18:08:06 +0000719}
720
721//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000722// BranchInst Implementation
723//===----------------------------------------------------------------------===//
724
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000725void BranchInst::AssertOK() {
726 if (isConditional())
Duncan Sands9dff9be2010-02-15 16:12:20 +0000727 assert(getCondition()->getType()->isIntegerTy(1) &&
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000728 "May only branch on boolean predicates!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000729}
730
Chris Lattner2195fc42007-02-24 00:55:48 +0000731BranchInst::BranchInst(BasicBlock *IfTrue, Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +0000732 : TerminatorInst(Type::getVoidTy(IfTrue->getContext()), Instruction::Br,
Gabor Greiff6caff662008-05-10 08:32:32 +0000733 OperandTraits<BranchInst>::op_end(this) - 1,
734 1, InsertBefore) {
Chris Lattner2195fc42007-02-24 00:55:48 +0000735 assert(IfTrue != 0 && "Branch destination may not be null!");
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000736 Op<-1>() = IfTrue;
Chris Lattner2195fc42007-02-24 00:55:48 +0000737}
738BranchInst::BranchInst(BasicBlock *IfTrue, BasicBlock *IfFalse, Value *Cond,
739 Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +0000740 : TerminatorInst(Type::getVoidTy(IfTrue->getContext()), Instruction::Br,
Gabor Greiff6caff662008-05-10 08:32:32 +0000741 OperandTraits<BranchInst>::op_end(this) - 3,
742 3, InsertBefore) {
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000743 Op<-1>() = IfTrue;
744 Op<-2>() = IfFalse;
745 Op<-3>() = Cond;
Chris Lattner2195fc42007-02-24 00:55:48 +0000746#ifndef NDEBUG
747 AssertOK();
748#endif
749}
750
751BranchInst::BranchInst(BasicBlock *IfTrue, BasicBlock *InsertAtEnd)
Owen Anderson55f1c092009-08-13 21:58:54 +0000752 : TerminatorInst(Type::getVoidTy(IfTrue->getContext()), Instruction::Br,
Gabor Greiff6caff662008-05-10 08:32:32 +0000753 OperandTraits<BranchInst>::op_end(this) - 1,
754 1, InsertAtEnd) {
Chris Lattner2195fc42007-02-24 00:55:48 +0000755 assert(IfTrue != 0 && "Branch destination may not be null!");
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000756 Op<-1>() = IfTrue;
Chris Lattner2195fc42007-02-24 00:55:48 +0000757}
758
759BranchInst::BranchInst(BasicBlock *IfTrue, BasicBlock *IfFalse, Value *Cond,
760 BasicBlock *InsertAtEnd)
Owen Anderson55f1c092009-08-13 21:58:54 +0000761 : TerminatorInst(Type::getVoidTy(IfTrue->getContext()), Instruction::Br,
Gabor Greiff6caff662008-05-10 08:32:32 +0000762 OperandTraits<BranchInst>::op_end(this) - 3,
763 3, InsertAtEnd) {
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000764 Op<-1>() = IfTrue;
765 Op<-2>() = IfFalse;
766 Op<-3>() = Cond;
Chris Lattner2195fc42007-02-24 00:55:48 +0000767#ifndef NDEBUG
768 AssertOK();
769#endif
770}
771
772
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000773BranchInst::BranchInst(const BranchInst &BI) :
Owen Anderson55f1c092009-08-13 21:58:54 +0000774 TerminatorInst(Type::getVoidTy(BI.getContext()), Instruction::Br,
Gabor Greiff6caff662008-05-10 08:32:32 +0000775 OperandTraits<BranchInst>::op_end(this) - BI.getNumOperands(),
776 BI.getNumOperands()) {
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000777 Op<-1>() = BI.Op<-1>();
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000778 if (BI.getNumOperands() != 1) {
779 assert(BI.getNumOperands() == 3 && "BR can have 1 or 3 operands!");
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000780 Op<-3>() = BI.Op<-3>();
781 Op<-2>() = BI.Op<-2>();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000782 }
Dan Gohmanc8a27f22009-08-25 22:11:20 +0000783 SubclassOptionalData = BI.SubclassOptionalData;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000784}
785
Chandler Carruth3e8aa652011-10-17 01:11:57 +0000786void BranchInst::swapSuccessors() {
787 assert(isConditional() &&
788 "Cannot swap successors of an unconditional branch");
789 Op<-1>().swap(Op<-2>());
790
791 // Update profile metadata if present and it matches our structural
792 // expectations.
793 MDNode *ProfileData = getMetadata(LLVMContext::MD_prof);
794 if (!ProfileData || ProfileData->getNumOperands() != 3)
795 return;
796
797 // The first operand is the name. Fetch them backwards and build a new one.
798 Value *Ops[] = {
799 ProfileData->getOperand(0),
800 ProfileData->getOperand(2),
801 ProfileData->getOperand(1)
802 };
803 setMetadata(LLVMContext::MD_prof,
804 MDNode::get(ProfileData->getContext(), Ops));
805}
806
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000807BasicBlock *BranchInst::getSuccessorV(unsigned idx) const {
808 return getSuccessor(idx);
809}
810unsigned BranchInst::getNumSuccessorsV() const {
811 return getNumSuccessors();
812}
813void BranchInst::setSuccessorV(unsigned idx, BasicBlock *B) {
814 setSuccessor(idx, B);
815}
816
817
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000818//===----------------------------------------------------------------------===//
Victor Hernandez8acf2952009-10-23 21:09:37 +0000819// AllocaInst Implementation
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000820//===----------------------------------------------------------------------===//
821
Owen Andersonb6b25302009-07-14 23:09:55 +0000822static Value *getAISize(LLVMContext &Context, Value *Amt) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000823 if (!Amt)
Owen Anderson55f1c092009-08-13 21:58:54 +0000824 Amt = ConstantInt::get(Type::getInt32Ty(Context), 1);
Chris Lattnerbb7ff662006-05-10 04:32:43 +0000825 else {
826 assert(!isa<BasicBlock>(Amt) &&
Chris Lattner9b6ec772007-10-18 16:10:48 +0000827 "Passed basic block into allocation size parameter! Use other ctor");
Dan Gohman2140a742010-05-28 01:14:11 +0000828 assert(Amt->getType()->isIntegerTy() &&
829 "Allocation array size is not an integer!");
Chris Lattnerbb7ff662006-05-10 04:32:43 +0000830 }
Misha Brukmanb1c93172005-04-21 23:48:37 +0000831 return Amt;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000832}
833
Chris Lattner229907c2011-07-18 04:54:35 +0000834AllocaInst::AllocaInst(Type *Ty, Value *ArraySize,
Victor Hernandez8acf2952009-10-23 21:09:37 +0000835 const Twine &Name, Instruction *InsertBefore)
836 : UnaryInstruction(PointerType::getUnqual(Ty), Alloca,
837 getAISize(Ty->getContext(), ArraySize), InsertBefore) {
838 setAlignment(0);
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000839 assert(!Ty->isVoidTy() && "Cannot allocate void!");
Victor Hernandez8acf2952009-10-23 21:09:37 +0000840 setName(Name);
841}
842
Chris Lattner229907c2011-07-18 04:54:35 +0000843AllocaInst::AllocaInst(Type *Ty, Value *ArraySize,
Victor Hernandez8acf2952009-10-23 21:09:37 +0000844 const Twine &Name, BasicBlock *InsertAtEnd)
845 : UnaryInstruction(PointerType::getUnqual(Ty), Alloca,
846 getAISize(Ty->getContext(), ArraySize), InsertAtEnd) {
847 setAlignment(0);
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000848 assert(!Ty->isVoidTy() && "Cannot allocate void!");
Victor Hernandez8acf2952009-10-23 21:09:37 +0000849 setName(Name);
850}
851
Chris Lattner229907c2011-07-18 04:54:35 +0000852AllocaInst::AllocaInst(Type *Ty, const Twine &Name,
Victor Hernandez8acf2952009-10-23 21:09:37 +0000853 Instruction *InsertBefore)
854 : UnaryInstruction(PointerType::getUnqual(Ty), Alloca,
855 getAISize(Ty->getContext(), 0), InsertBefore) {
856 setAlignment(0);
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000857 assert(!Ty->isVoidTy() && "Cannot allocate void!");
Victor Hernandez8acf2952009-10-23 21:09:37 +0000858 setName(Name);
859}
860
Chris Lattner229907c2011-07-18 04:54:35 +0000861AllocaInst::AllocaInst(Type *Ty, const Twine &Name,
Victor Hernandez8acf2952009-10-23 21:09:37 +0000862 BasicBlock *InsertAtEnd)
863 : UnaryInstruction(PointerType::getUnqual(Ty), Alloca,
864 getAISize(Ty->getContext(), 0), InsertAtEnd) {
865 setAlignment(0);
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000866 assert(!Ty->isVoidTy() && "Cannot allocate void!");
Victor Hernandez8acf2952009-10-23 21:09:37 +0000867 setName(Name);
868}
869
Chris Lattner229907c2011-07-18 04:54:35 +0000870AllocaInst::AllocaInst(Type *Ty, Value *ArraySize, unsigned Align,
Victor Hernandez8acf2952009-10-23 21:09:37 +0000871 const Twine &Name, Instruction *InsertBefore)
872 : UnaryInstruction(PointerType::getUnqual(Ty), Alloca,
Owen Anderson4fdeba92009-07-15 23:53:25 +0000873 getAISize(Ty->getContext(), ArraySize), InsertBefore) {
Dan Gohmanaa583d72008-03-24 16:55:58 +0000874 setAlignment(Align);
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000875 assert(!Ty->isVoidTy() && "Cannot allocate void!");
Chris Lattner0f048162007-02-13 07:54:42 +0000876 setName(Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000877}
878
Chris Lattner229907c2011-07-18 04:54:35 +0000879AllocaInst::AllocaInst(Type *Ty, Value *ArraySize, unsigned Align,
Victor Hernandez8acf2952009-10-23 21:09:37 +0000880 const Twine &Name, BasicBlock *InsertAtEnd)
881 : UnaryInstruction(PointerType::getUnqual(Ty), Alloca,
Owen Anderson4fdeba92009-07-15 23:53:25 +0000882 getAISize(Ty->getContext(), ArraySize), InsertAtEnd) {
Dan Gohmanaa583d72008-03-24 16:55:58 +0000883 setAlignment(Align);
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000884 assert(!Ty->isVoidTy() && "Cannot allocate void!");
Chris Lattner0f048162007-02-13 07:54:42 +0000885 setName(Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000886}
887
Gordon Henriksen14a55692007-12-10 02:14:30 +0000888// Out of line virtual method, so the vtable, etc has a home.
Victor Hernandez8acf2952009-10-23 21:09:37 +0000889AllocaInst::~AllocaInst() {
Gordon Henriksen14a55692007-12-10 02:14:30 +0000890}
891
Victor Hernandez8acf2952009-10-23 21:09:37 +0000892void AllocaInst::setAlignment(unsigned Align) {
Dan Gohmanaa583d72008-03-24 16:55:58 +0000893 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!");
Dan Gohmana7e5a242010-07-28 20:12:04 +0000894 assert(Align <= MaximumAlignment &&
895 "Alignment is greater than MaximumAlignment!");
Reid Kleckner436c42e2014-01-17 23:58:17 +0000896 setInstructionSubclassData((getSubclassDataFromInstruction() & ~31) |
897 (Log2_32(Align) + 1));
Dan Gohmanaa583d72008-03-24 16:55:58 +0000898 assert(getAlignment() == Align && "Alignment representation error!");
899}
900
Victor Hernandez8acf2952009-10-23 21:09:37 +0000901bool AllocaInst::isArrayAllocation() const {
Reid Spencera9e6e312007-03-01 20:27:41 +0000902 if (ConstantInt *CI = dyn_cast<ConstantInt>(getOperand(0)))
Dan Gohman9a1b8592010-09-27 15:15:44 +0000903 return !CI->isOne();
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000904 return true;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000905}
906
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000907Type *AllocaInst::getAllocatedType() const {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000908 return getType()->getElementType();
909}
910
Chris Lattner8b291e62008-11-26 02:54:17 +0000911/// isStaticAlloca - Return true if this alloca is in the entry block of the
912/// function and is a constant size. If so, the code generator will fold it
913/// into the prolog/epilog code, so it is basically free.
914bool AllocaInst::isStaticAlloca() const {
915 // Must be constant size.
916 if (!isa<ConstantInt>(getArraySize())) return false;
917
918 // Must be in the entry block.
919 const BasicBlock *Parent = getParent();
Reid Kleckner436c42e2014-01-17 23:58:17 +0000920 return Parent == &Parent->getParent()->front() && !isUsedWithInAlloca();
Chris Lattner8b291e62008-11-26 02:54:17 +0000921}
922
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000923//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000924// LoadInst Implementation
925//===----------------------------------------------------------------------===//
926
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000927void LoadInst::AssertOK() {
Duncan Sands19d0b472010-02-16 11:11:14 +0000928 assert(getOperand(0)->getType()->isPointerTy() &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000929 "Ptr must have pointer type.");
Eli Friedman59b66882011-08-09 23:02:53 +0000930 assert(!(isAtomic() && getAlignment() == 0) &&
931 "Alignment required for atomic load");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000932}
933
Daniel Dunbar4975db62009-07-25 04:41:11 +0000934LoadInst::LoadInst(Value *Ptr, const Twine &Name, Instruction *InsertBef)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000935 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
Chris Lattner2195fc42007-02-24 00:55:48 +0000936 Load, Ptr, InsertBef) {
Chris Lattnerdf57a022005-02-05 01:38:38 +0000937 setVolatile(false);
Christopher Lamb84485702007-04-22 19:24:39 +0000938 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +0000939 setAtomic(NotAtomic);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000940 AssertOK();
Chris Lattner0f048162007-02-13 07:54:42 +0000941 setName(Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000942}
943
Daniel Dunbar4975db62009-07-25 04:41:11 +0000944LoadInst::LoadInst(Value *Ptr, const Twine &Name, BasicBlock *InsertAE)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000945 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
Chris Lattner2195fc42007-02-24 00:55:48 +0000946 Load, Ptr, InsertAE) {
Chris Lattnerdf57a022005-02-05 01:38:38 +0000947 setVolatile(false);
Christopher Lamb84485702007-04-22 19:24:39 +0000948 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +0000949 setAtomic(NotAtomic);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000950 AssertOK();
Chris Lattner0f048162007-02-13 07:54:42 +0000951 setName(Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000952}
953
Daniel Dunbar4975db62009-07-25 04:41:11 +0000954LoadInst::LoadInst(Value *Ptr, const Twine &Name, bool isVolatile,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000955 Instruction *InsertBef)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000956 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
Chris Lattner2195fc42007-02-24 00:55:48 +0000957 Load, Ptr, InsertBef) {
Chris Lattnerdf57a022005-02-05 01:38:38 +0000958 setVolatile(isVolatile);
Christopher Lamb84485702007-04-22 19:24:39 +0000959 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +0000960 setAtomic(NotAtomic);
961 AssertOK();
962 setName(Name);
963}
964
965LoadInst::LoadInst(Value *Ptr, const Twine &Name, bool isVolatile,
966 BasicBlock *InsertAE)
967 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
968 Load, Ptr, InsertAE) {
969 setVolatile(isVolatile);
970 setAlignment(0);
971 setAtomic(NotAtomic);
Christopher Lamb84485702007-04-22 19:24:39 +0000972 AssertOK();
973 setName(Name);
974}
975
Daniel Dunbar4975db62009-07-25 04:41:11 +0000976LoadInst::LoadInst(Value *Ptr, const Twine &Name, bool isVolatile,
Christopher Lamb84485702007-04-22 19:24:39 +0000977 unsigned Align, Instruction *InsertBef)
978 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
979 Load, Ptr, InsertBef) {
980 setVolatile(isVolatile);
981 setAlignment(Align);
Eli Friedman59b66882011-08-09 23:02:53 +0000982 setAtomic(NotAtomic);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000983 AssertOK();
Chris Lattner0f048162007-02-13 07:54:42 +0000984 setName(Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000985}
986
Daniel Dunbar4975db62009-07-25 04:41:11 +0000987LoadInst::LoadInst(Value *Ptr, const Twine &Name, bool isVolatile,
Dan Gohman68659282007-07-18 20:51:11 +0000988 unsigned Align, BasicBlock *InsertAE)
989 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
990 Load, Ptr, InsertAE) {
991 setVolatile(isVolatile);
992 setAlignment(Align);
Eli Friedman59b66882011-08-09 23:02:53 +0000993 setAtomic(NotAtomic);
Dan Gohman68659282007-07-18 20:51:11 +0000994 AssertOK();
995 setName(Name);
996}
997
Eli Friedman59b66882011-08-09 23:02:53 +0000998LoadInst::LoadInst(Value *Ptr, const Twine &Name, bool isVolatile,
999 unsigned Align, AtomicOrdering Order,
1000 SynchronizationScope SynchScope,
1001 Instruction *InsertBef)
1002 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
1003 Load, Ptr, InsertBef) {
1004 setVolatile(isVolatile);
1005 setAlignment(Align);
1006 setAtomic(Order, SynchScope);
1007 AssertOK();
1008 setName(Name);
1009}
1010
1011LoadInst::LoadInst(Value *Ptr, const Twine &Name, bool isVolatile,
1012 unsigned Align, AtomicOrdering Order,
1013 SynchronizationScope SynchScope,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001014 BasicBlock *InsertAE)
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001015 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
Chris Lattner2195fc42007-02-24 00:55:48 +00001016 Load, Ptr, InsertAE) {
Chris Lattner0f048162007-02-13 07:54:42 +00001017 setVolatile(isVolatile);
Eli Friedman59b66882011-08-09 23:02:53 +00001018 setAlignment(Align);
1019 setAtomic(Order, SynchScope);
Chris Lattner0f048162007-02-13 07:54:42 +00001020 AssertOK();
1021 setName(Name);
1022}
1023
Daniel Dunbar27096822009-08-11 18:11:15 +00001024LoadInst::LoadInst(Value *Ptr, const char *Name, Instruction *InsertBef)
1025 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
1026 Load, Ptr, InsertBef) {
1027 setVolatile(false);
1028 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +00001029 setAtomic(NotAtomic);
Daniel Dunbar27096822009-08-11 18:11:15 +00001030 AssertOK();
1031 if (Name && Name[0]) setName(Name);
1032}
1033
1034LoadInst::LoadInst(Value *Ptr, const char *Name, BasicBlock *InsertAE)
1035 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
1036 Load, Ptr, InsertAE) {
1037 setVolatile(false);
1038 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +00001039 setAtomic(NotAtomic);
Daniel Dunbar27096822009-08-11 18:11:15 +00001040 AssertOK();
1041 if (Name && Name[0]) setName(Name);
1042}
1043
1044LoadInst::LoadInst(Value *Ptr, const char *Name, bool isVolatile,
1045 Instruction *InsertBef)
1046: UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
1047 Load, Ptr, InsertBef) {
1048 setVolatile(isVolatile);
1049 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +00001050 setAtomic(NotAtomic);
Daniel Dunbar27096822009-08-11 18:11:15 +00001051 AssertOK();
1052 if (Name && Name[0]) setName(Name);
1053}
1054
1055LoadInst::LoadInst(Value *Ptr, const char *Name, bool isVolatile,
1056 BasicBlock *InsertAE)
1057 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
1058 Load, Ptr, InsertAE) {
1059 setVolatile(isVolatile);
1060 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +00001061 setAtomic(NotAtomic);
Daniel Dunbar27096822009-08-11 18:11:15 +00001062 AssertOK();
1063 if (Name && Name[0]) setName(Name);
1064}
1065
Christopher Lamb84485702007-04-22 19:24:39 +00001066void LoadInst::setAlignment(unsigned Align) {
1067 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!");
Dan Gohmana7e5a242010-07-28 20:12:04 +00001068 assert(Align <= MaximumAlignment &&
1069 "Alignment is greater than MaximumAlignment!");
Eli Friedman59b66882011-08-09 23:02:53 +00001070 setInstructionSubclassData((getSubclassDataFromInstruction() & ~(31 << 1)) |
Chris Lattnerd8eb2cf2009-12-29 02:46:09 +00001071 ((Log2_32(Align)+1)<<1));
Dan Gohmana7e5a242010-07-28 20:12:04 +00001072 assert(getAlignment() == Align && "Alignment representation error!");
Christopher Lamb84485702007-04-22 19:24:39 +00001073}
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001074
1075//===----------------------------------------------------------------------===//
1076// StoreInst Implementation
1077//===----------------------------------------------------------------------===//
1078
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001079void StoreInst::AssertOK() {
Nate Begemanfecbc8c2008-07-29 15:49:41 +00001080 assert(getOperand(0) && getOperand(1) && "Both operands must be non-null!");
Duncan Sands19d0b472010-02-16 11:11:14 +00001081 assert(getOperand(1)->getType()->isPointerTy() &&
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001082 "Ptr must have pointer type!");
1083 assert(getOperand(0)->getType() ==
1084 cast<PointerType>(getOperand(1)->getType())->getElementType()
Alkis Evlogimenos079fbde2004-08-06 14:33:37 +00001085 && "Ptr must be a pointer to Val type!");
Eli Friedman59b66882011-08-09 23:02:53 +00001086 assert(!(isAtomic() && getAlignment() == 0) &&
Mark Lacey1d7c97e2013-12-21 00:00:49 +00001087 "Alignment required for atomic store");
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001088}
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001089
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001090
1091StoreInst::StoreInst(Value *val, Value *addr, Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +00001092 : Instruction(Type::getVoidTy(val->getContext()), Store,
Gabor Greiff6caff662008-05-10 08:32:32 +00001093 OperandTraits<StoreInst>::op_begin(this),
1094 OperandTraits<StoreInst>::operands(this),
1095 InsertBefore) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001096 Op<0>() = val;
1097 Op<1>() = addr;
Chris Lattnerdf57a022005-02-05 01:38:38 +00001098 setVolatile(false);
Christopher Lamb84485702007-04-22 19:24:39 +00001099 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +00001100 setAtomic(NotAtomic);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001101 AssertOK();
1102}
1103
1104StoreInst::StoreInst(Value *val, Value *addr, BasicBlock *InsertAtEnd)
Owen Anderson55f1c092009-08-13 21:58:54 +00001105 : Instruction(Type::getVoidTy(val->getContext()), Store,
Gabor Greiff6caff662008-05-10 08:32:32 +00001106 OperandTraits<StoreInst>::op_begin(this),
1107 OperandTraits<StoreInst>::operands(this),
1108 InsertAtEnd) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001109 Op<0>() = val;
1110 Op<1>() = addr;
Chris Lattnerdf57a022005-02-05 01:38:38 +00001111 setVolatile(false);
Christopher Lamb84485702007-04-22 19:24:39 +00001112 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +00001113 setAtomic(NotAtomic);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001114 AssertOK();
1115}
1116
Misha Brukmanb1c93172005-04-21 23:48:37 +00001117StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001118 Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +00001119 : Instruction(Type::getVoidTy(val->getContext()), Store,
Gabor Greiff6caff662008-05-10 08:32:32 +00001120 OperandTraits<StoreInst>::op_begin(this),
1121 OperandTraits<StoreInst>::operands(this),
1122 InsertBefore) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001123 Op<0>() = val;
1124 Op<1>() = addr;
Chris Lattnerdf57a022005-02-05 01:38:38 +00001125 setVolatile(isVolatile);
Christopher Lamb84485702007-04-22 19:24:39 +00001126 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +00001127 setAtomic(NotAtomic);
Christopher Lamb84485702007-04-22 19:24:39 +00001128 AssertOK();
1129}
1130
1131StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
1132 unsigned Align, Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +00001133 : Instruction(Type::getVoidTy(val->getContext()), Store,
Gabor Greiff6caff662008-05-10 08:32:32 +00001134 OperandTraits<StoreInst>::op_begin(this),
1135 OperandTraits<StoreInst>::operands(this),
1136 InsertBefore) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001137 Op<0>() = val;
1138 Op<1>() = addr;
Christopher Lamb84485702007-04-22 19:24:39 +00001139 setVolatile(isVolatile);
1140 setAlignment(Align);
Eli Friedman59b66882011-08-09 23:02:53 +00001141 setAtomic(NotAtomic);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001142 AssertOK();
1143}
1144
Misha Brukmanb1c93172005-04-21 23:48:37 +00001145StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
Eli Friedman59b66882011-08-09 23:02:53 +00001146 unsigned Align, AtomicOrdering Order,
1147 SynchronizationScope SynchScope,
1148 Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +00001149 : Instruction(Type::getVoidTy(val->getContext()), Store,
Gabor Greiff6caff662008-05-10 08:32:32 +00001150 OperandTraits<StoreInst>::op_begin(this),
1151 OperandTraits<StoreInst>::operands(this),
Eli Friedman59b66882011-08-09 23:02:53 +00001152 InsertBefore) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001153 Op<0>() = val;
1154 Op<1>() = addr;
Dan Gohman68659282007-07-18 20:51:11 +00001155 setVolatile(isVolatile);
1156 setAlignment(Align);
Eli Friedman59b66882011-08-09 23:02:53 +00001157 setAtomic(Order, SynchScope);
Dan Gohman68659282007-07-18 20:51:11 +00001158 AssertOK();
1159}
1160
1161StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001162 BasicBlock *InsertAtEnd)
Owen Anderson55f1c092009-08-13 21:58:54 +00001163 : Instruction(Type::getVoidTy(val->getContext()), Store,
Gabor Greiff6caff662008-05-10 08:32:32 +00001164 OperandTraits<StoreInst>::op_begin(this),
1165 OperandTraits<StoreInst>::operands(this),
1166 InsertAtEnd) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001167 Op<0>() = val;
1168 Op<1>() = addr;
Chris Lattnerdf57a022005-02-05 01:38:38 +00001169 setVolatile(isVolatile);
Christopher Lamb84485702007-04-22 19:24:39 +00001170 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +00001171 setAtomic(NotAtomic);
1172 AssertOK();
1173}
1174
1175StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
1176 unsigned Align, BasicBlock *InsertAtEnd)
1177 : Instruction(Type::getVoidTy(val->getContext()), Store,
1178 OperandTraits<StoreInst>::op_begin(this),
1179 OperandTraits<StoreInst>::operands(this),
1180 InsertAtEnd) {
1181 Op<0>() = val;
1182 Op<1>() = addr;
1183 setVolatile(isVolatile);
1184 setAlignment(Align);
1185 setAtomic(NotAtomic);
1186 AssertOK();
1187}
1188
1189StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
1190 unsigned Align, AtomicOrdering Order,
1191 SynchronizationScope SynchScope,
1192 BasicBlock *InsertAtEnd)
1193 : Instruction(Type::getVoidTy(val->getContext()), Store,
1194 OperandTraits<StoreInst>::op_begin(this),
1195 OperandTraits<StoreInst>::operands(this),
1196 InsertAtEnd) {
1197 Op<0>() = val;
1198 Op<1>() = addr;
1199 setVolatile(isVolatile);
1200 setAlignment(Align);
1201 setAtomic(Order, SynchScope);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001202 AssertOK();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001203}
1204
Christopher Lamb84485702007-04-22 19:24:39 +00001205void StoreInst::setAlignment(unsigned Align) {
1206 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!");
Dan Gohmana7e5a242010-07-28 20:12:04 +00001207 assert(Align <= MaximumAlignment &&
1208 "Alignment is greater than MaximumAlignment!");
Eli Friedman59b66882011-08-09 23:02:53 +00001209 setInstructionSubclassData((getSubclassDataFromInstruction() & ~(31 << 1)) |
Chris Lattnerd8eb2cf2009-12-29 02:46:09 +00001210 ((Log2_32(Align)+1) << 1));
Dan Gohmana7e5a242010-07-28 20:12:04 +00001211 assert(getAlignment() == Align && "Alignment representation error!");
Christopher Lamb84485702007-04-22 19:24:39 +00001212}
1213
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001214//===----------------------------------------------------------------------===//
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001215// AtomicCmpXchgInst Implementation
1216//===----------------------------------------------------------------------===//
1217
1218void AtomicCmpXchgInst::Init(Value *Ptr, Value *Cmp, Value *NewVal,
1219 AtomicOrdering Ordering,
1220 SynchronizationScope SynchScope) {
1221 Op<0>() = Ptr;
1222 Op<1>() = Cmp;
1223 Op<2>() = NewVal;
1224 setOrdering(Ordering);
1225 setSynchScope(SynchScope);
1226
1227 assert(getOperand(0) && getOperand(1) && getOperand(2) &&
1228 "All operands must be non-null!");
1229 assert(getOperand(0)->getType()->isPointerTy() &&
1230 "Ptr must have pointer type!");
1231 assert(getOperand(1)->getType() ==
1232 cast<PointerType>(getOperand(0)->getType())->getElementType()
1233 && "Ptr must be a pointer to Cmp type!");
1234 assert(getOperand(2)->getType() ==
1235 cast<PointerType>(getOperand(0)->getType())->getElementType()
1236 && "Ptr must be a pointer to NewVal type!");
1237 assert(Ordering != NotAtomic &&
1238 "AtomicCmpXchg instructions must be atomic!");
1239}
1240
1241AtomicCmpXchgInst::AtomicCmpXchgInst(Value *Ptr, Value *Cmp, Value *NewVal,
1242 AtomicOrdering Ordering,
1243 SynchronizationScope SynchScope,
1244 Instruction *InsertBefore)
1245 : Instruction(Cmp->getType(), AtomicCmpXchg,
1246 OperandTraits<AtomicCmpXchgInst>::op_begin(this),
1247 OperandTraits<AtomicCmpXchgInst>::operands(this),
1248 InsertBefore) {
1249 Init(Ptr, Cmp, NewVal, Ordering, SynchScope);
1250}
1251
1252AtomicCmpXchgInst::AtomicCmpXchgInst(Value *Ptr, Value *Cmp, Value *NewVal,
1253 AtomicOrdering Ordering,
1254 SynchronizationScope SynchScope,
1255 BasicBlock *InsertAtEnd)
1256 : Instruction(Cmp->getType(), AtomicCmpXchg,
1257 OperandTraits<AtomicCmpXchgInst>::op_begin(this),
1258 OperandTraits<AtomicCmpXchgInst>::operands(this),
1259 InsertAtEnd) {
1260 Init(Ptr, Cmp, NewVal, Ordering, SynchScope);
1261}
1262
1263//===----------------------------------------------------------------------===//
1264// AtomicRMWInst Implementation
1265//===----------------------------------------------------------------------===//
1266
1267void AtomicRMWInst::Init(BinOp Operation, Value *Ptr, Value *Val,
1268 AtomicOrdering Ordering,
1269 SynchronizationScope SynchScope) {
1270 Op<0>() = Ptr;
1271 Op<1>() = Val;
1272 setOperation(Operation);
1273 setOrdering(Ordering);
1274 setSynchScope(SynchScope);
1275
1276 assert(getOperand(0) && getOperand(1) &&
1277 "All operands must be non-null!");
1278 assert(getOperand(0)->getType()->isPointerTy() &&
1279 "Ptr must have pointer type!");
1280 assert(getOperand(1)->getType() ==
1281 cast<PointerType>(getOperand(0)->getType())->getElementType()
1282 && "Ptr must be a pointer to Val type!");
1283 assert(Ordering != NotAtomic &&
1284 "AtomicRMW instructions must be atomic!");
1285}
1286
1287AtomicRMWInst::AtomicRMWInst(BinOp Operation, Value *Ptr, Value *Val,
1288 AtomicOrdering Ordering,
1289 SynchronizationScope SynchScope,
1290 Instruction *InsertBefore)
1291 : Instruction(Val->getType(), AtomicRMW,
1292 OperandTraits<AtomicRMWInst>::op_begin(this),
1293 OperandTraits<AtomicRMWInst>::operands(this),
1294 InsertBefore) {
1295 Init(Operation, Ptr, Val, Ordering, SynchScope);
1296}
1297
1298AtomicRMWInst::AtomicRMWInst(BinOp Operation, Value *Ptr, Value *Val,
1299 AtomicOrdering Ordering,
1300 SynchronizationScope SynchScope,
1301 BasicBlock *InsertAtEnd)
1302 : Instruction(Val->getType(), AtomicRMW,
1303 OperandTraits<AtomicRMWInst>::op_begin(this),
1304 OperandTraits<AtomicRMWInst>::operands(this),
1305 InsertAtEnd) {
1306 Init(Operation, Ptr, Val, Ordering, SynchScope);
1307}
1308
1309//===----------------------------------------------------------------------===//
Eli Friedmanfee02c62011-07-25 23:16:38 +00001310// FenceInst Implementation
1311//===----------------------------------------------------------------------===//
1312
1313FenceInst::FenceInst(LLVMContext &C, AtomicOrdering Ordering,
1314 SynchronizationScope SynchScope,
1315 Instruction *InsertBefore)
1316 : Instruction(Type::getVoidTy(C), Fence, 0, 0, InsertBefore) {
1317 setOrdering(Ordering);
1318 setSynchScope(SynchScope);
1319}
1320
1321FenceInst::FenceInst(LLVMContext &C, AtomicOrdering Ordering,
1322 SynchronizationScope SynchScope,
1323 BasicBlock *InsertAtEnd)
1324 : Instruction(Type::getVoidTy(C), Fence, 0, 0, InsertAtEnd) {
1325 setOrdering(Ordering);
1326 setSynchScope(SynchScope);
1327}
1328
1329//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001330// GetElementPtrInst Implementation
1331//===----------------------------------------------------------------------===//
1332
Jay Foadd1b78492011-07-25 09:48:08 +00001333void GetElementPtrInst::init(Value *Ptr, ArrayRef<Value *> IdxList,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001334 const Twine &Name) {
Jay Foadd1b78492011-07-25 09:48:08 +00001335 assert(NumOperands == 1 + IdxList.size() && "NumOperands not initialized?");
1336 OperandList[0] = Ptr;
1337 std::copy(IdxList.begin(), IdxList.end(), op_begin() + 1);
Matthijs Kooijman76d8dec2008-06-04 16:14:12 +00001338 setName(Name);
Chris Lattner82981202005-05-03 05:43:30 +00001339}
1340
Gabor Greiff6caff662008-05-10 08:32:32 +00001341GetElementPtrInst::GetElementPtrInst(const GetElementPtrInst &GEPI)
Gabor Greife9408e62008-05-27 11:03:29 +00001342 : Instruction(GEPI.getType(), GetElementPtr,
Gabor Greif697e94c2008-05-15 10:04:30 +00001343 OperandTraits<GetElementPtrInst>::op_end(this)
1344 - GEPI.getNumOperands(),
Gabor Greiff6caff662008-05-10 08:32:32 +00001345 GEPI.getNumOperands()) {
Jay Foadd1b78492011-07-25 09:48:08 +00001346 std::copy(GEPI.op_begin(), GEPI.op_end(), op_begin());
Dan Gohmanc8a27f22009-08-25 22:11:20 +00001347 SubclassOptionalData = GEPI.SubclassOptionalData;
Gabor Greiff6caff662008-05-10 08:32:32 +00001348}
1349
Chris Lattner6090a422009-03-09 04:46:40 +00001350/// getIndexedType - Returns the type of the element that would be accessed with
1351/// a gep instruction with the specified parameters.
1352///
1353/// The Idxs pointer should point to a continuous piece of memory containing the
1354/// indices, either as Value* or uint64_t.
1355///
1356/// A null type is returned if the indices are invalid for the specified
1357/// pointer type.
1358///
Matthijs Kooijman04468622008-07-29 08:46:11 +00001359template <typename IndexTy>
Jay Foadd1b78492011-07-25 09:48:08 +00001360static Type *getIndexedTypeInternal(Type *Ptr, ArrayRef<IndexTy> IdxList) {
Duncan Sandse6beec62012-11-13 12:59:33 +00001361 PointerType *PTy = dyn_cast<PointerType>(Ptr->getScalarType());
Dan Gohman12fce772008-05-15 19:50:34 +00001362 if (!PTy) return 0; // Type isn't a pointer type!
Chris Lattnerb1ed91f2011-07-09 17:41:24 +00001363 Type *Agg = PTy->getElementType();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001364
Chris Lattner6090a422009-03-09 04:46:40 +00001365 // Handle the special case of the empty set index set, which is always valid.
Jay Foadd1b78492011-07-25 09:48:08 +00001366 if (IdxList.empty())
Dan Gohman12fce772008-05-15 19:50:34 +00001367 return Agg;
Nadav Rotem3924cb02011-12-05 06:29:09 +00001368
Chris Lattner6090a422009-03-09 04:46:40 +00001369 // If there is at least one index, the top level type must be sized, otherwise
Chris Lattnerb1ed91f2011-07-09 17:41:24 +00001370 // it cannot be 'stepped over'.
1371 if (!Agg->isSized())
Chris Lattner6090a422009-03-09 04:46:40 +00001372 return 0;
Misha Brukmanb1c93172005-04-21 23:48:37 +00001373
Dan Gohman1ecaf452008-05-31 00:58:22 +00001374 unsigned CurIdx = 1;
Jay Foadd1b78492011-07-25 09:48:08 +00001375 for (; CurIdx != IdxList.size(); ++CurIdx) {
Chris Lattnerb1ed91f2011-07-09 17:41:24 +00001376 CompositeType *CT = dyn_cast<CompositeType>(Agg);
Duncan Sands19d0b472010-02-16 11:11:14 +00001377 if (!CT || CT->isPointerTy()) return 0;
Jay Foadd1b78492011-07-25 09:48:08 +00001378 IndexTy Index = IdxList[CurIdx];
Dan Gohman1ecaf452008-05-31 00:58:22 +00001379 if (!CT->indexValid(Index)) return 0;
1380 Agg = CT->getTypeAtIndex(Index);
Dan Gohman1ecaf452008-05-31 00:58:22 +00001381 }
Jay Foadd1b78492011-07-25 09:48:08 +00001382 return CurIdx == IdxList.size() ? Agg : 0;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001383}
1384
Jay Foadd1b78492011-07-25 09:48:08 +00001385Type *GetElementPtrInst::getIndexedType(Type *Ptr, ArrayRef<Value *> IdxList) {
1386 return getIndexedTypeInternal(Ptr, IdxList);
Matthijs Kooijman04468622008-07-29 08:46:11 +00001387}
1388
Chris Lattner229907c2011-07-18 04:54:35 +00001389Type *GetElementPtrInst::getIndexedType(Type *Ptr,
Jay Foadd1b78492011-07-25 09:48:08 +00001390 ArrayRef<Constant *> IdxList) {
1391 return getIndexedTypeInternal(Ptr, IdxList);
Jay Foad1d4a8fe2011-01-14 08:07:43 +00001392}
1393
Jay Foadd1b78492011-07-25 09:48:08 +00001394Type *GetElementPtrInst::getIndexedType(Type *Ptr, ArrayRef<uint64_t> IdxList) {
1395 return getIndexedTypeInternal(Ptr, IdxList);
Matthijs Kooijman04468622008-07-29 08:46:11 +00001396}
1397
Chris Lattner45f15572007-04-14 00:12:57 +00001398/// hasAllZeroIndices - Return true if all of the indices of this GEP are
1399/// zeros. If so, the result pointer and the first operand have the same
1400/// value, just potentially different types.
1401bool GetElementPtrInst::hasAllZeroIndices() const {
1402 for (unsigned i = 1, e = getNumOperands(); i != e; ++i) {
1403 if (ConstantInt *CI = dyn_cast<ConstantInt>(getOperand(i))) {
1404 if (!CI->isZero()) return false;
1405 } else {
1406 return false;
1407 }
1408 }
1409 return true;
1410}
1411
Chris Lattner27058292007-04-27 20:35:56 +00001412/// hasAllConstantIndices - Return true if all of the indices of this GEP are
1413/// constant integers. If so, the result pointer and the first operand have
1414/// a constant offset between them.
1415bool GetElementPtrInst::hasAllConstantIndices() const {
1416 for (unsigned i = 1, e = getNumOperands(); i != e; ++i) {
1417 if (!isa<ConstantInt>(getOperand(i)))
1418 return false;
1419 }
1420 return true;
1421}
1422
Dan Gohman1b849082009-09-07 23:54:19 +00001423void GetElementPtrInst::setIsInBounds(bool B) {
1424 cast<GEPOperator>(this)->setIsInBounds(B);
1425}
Chris Lattner45f15572007-04-14 00:12:57 +00001426
Nick Lewycky28a5f252009-09-27 21:33:04 +00001427bool GetElementPtrInst::isInBounds() const {
1428 return cast<GEPOperator>(this)->isInBounds();
1429}
1430
Chandler Carruth1e140532012-12-11 10:29:10 +00001431bool GetElementPtrInst::accumulateConstantOffset(const DataLayout &DL,
1432 APInt &Offset) const {
Chandler Carruth7ec41c72012-12-11 11:05:15 +00001433 // Delegate to the generic GEPOperator implementation.
1434 return cast<GEPOperator>(this)->accumulateConstantOffset(DL, Offset);
Chandler Carruth1e140532012-12-11 10:29:10 +00001435}
1436
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001437//===----------------------------------------------------------------------===//
Robert Bocchino23004482006-01-10 19:05:34 +00001438// ExtractElementInst Implementation
1439//===----------------------------------------------------------------------===//
1440
1441ExtractElementInst::ExtractElementInst(Value *Val, Value *Index,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001442 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001443 Instruction *InsertBef)
Reid Spencerd84d35b2007-02-15 02:26:10 +00001444 : Instruction(cast<VectorType>(Val->getType())->getElementType(),
Gabor Greiff6caff662008-05-10 08:32:32 +00001445 ExtractElement,
1446 OperandTraits<ExtractElementInst>::op_begin(this),
1447 2, InsertBef) {
Chris Lattner54865b32006-04-08 04:05:48 +00001448 assert(isValidOperands(Val, Index) &&
1449 "Invalid extractelement instruction operands!");
Gabor Greif2d3024d2008-05-26 21:33:52 +00001450 Op<0>() = Val;
1451 Op<1>() = Index;
Chris Lattner2195fc42007-02-24 00:55:48 +00001452 setName(Name);
Robert Bocchino23004482006-01-10 19:05:34 +00001453}
1454
1455ExtractElementInst::ExtractElementInst(Value *Val, Value *Index,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001456 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001457 BasicBlock *InsertAE)
Reid Spencerd84d35b2007-02-15 02:26:10 +00001458 : Instruction(cast<VectorType>(Val->getType())->getElementType(),
Gabor Greiff6caff662008-05-10 08:32:32 +00001459 ExtractElement,
1460 OperandTraits<ExtractElementInst>::op_begin(this),
1461 2, InsertAE) {
Chris Lattner54865b32006-04-08 04:05:48 +00001462 assert(isValidOperands(Val, Index) &&
1463 "Invalid extractelement instruction operands!");
1464
Gabor Greif2d3024d2008-05-26 21:33:52 +00001465 Op<0>() = Val;
1466 Op<1>() = Index;
Chris Lattner2195fc42007-02-24 00:55:48 +00001467 setName(Name);
Robert Bocchino23004482006-01-10 19:05:34 +00001468}
1469
Chris Lattner65511ff2006-10-05 06:24:58 +00001470
Chris Lattner54865b32006-04-08 04:05:48 +00001471bool ExtractElementInst::isValidOperands(const Value *Val, const Value *Index) {
Duncan Sands19d0b472010-02-16 11:11:14 +00001472 if (!Val->getType()->isVectorTy() || !Index->getType()->isIntegerTy(32))
Chris Lattner54865b32006-04-08 04:05:48 +00001473 return false;
1474 return true;
1475}
1476
1477
Robert Bocchino23004482006-01-10 19:05:34 +00001478//===----------------------------------------------------------------------===//
Robert Bocchinoca27f032006-01-17 20:07:22 +00001479// InsertElementInst Implementation
1480//===----------------------------------------------------------------------===//
1481
Chris Lattner54865b32006-04-08 04:05:48 +00001482InsertElementInst::InsertElementInst(Value *Vec, Value *Elt, Value *Index,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001483 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001484 Instruction *InsertBef)
Gabor Greiff6caff662008-05-10 08:32:32 +00001485 : Instruction(Vec->getType(), InsertElement,
1486 OperandTraits<InsertElementInst>::op_begin(this),
1487 3, InsertBef) {
Chris Lattner54865b32006-04-08 04:05:48 +00001488 assert(isValidOperands(Vec, Elt, Index) &&
1489 "Invalid insertelement instruction operands!");
Gabor Greif2d3024d2008-05-26 21:33:52 +00001490 Op<0>() = Vec;
1491 Op<1>() = Elt;
1492 Op<2>() = Index;
Chris Lattner2195fc42007-02-24 00:55:48 +00001493 setName(Name);
Robert Bocchinoca27f032006-01-17 20:07:22 +00001494}
1495
Chris Lattner54865b32006-04-08 04:05:48 +00001496InsertElementInst::InsertElementInst(Value *Vec, Value *Elt, Value *Index,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001497 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001498 BasicBlock *InsertAE)
Gabor Greiff6caff662008-05-10 08:32:32 +00001499 : Instruction(Vec->getType(), InsertElement,
1500 OperandTraits<InsertElementInst>::op_begin(this),
1501 3, InsertAE) {
Chris Lattner54865b32006-04-08 04:05:48 +00001502 assert(isValidOperands(Vec, Elt, Index) &&
1503 "Invalid insertelement instruction operands!");
1504
Gabor Greif2d3024d2008-05-26 21:33:52 +00001505 Op<0>() = Vec;
1506 Op<1>() = Elt;
1507 Op<2>() = Index;
Chris Lattner2195fc42007-02-24 00:55:48 +00001508 setName(Name);
Robert Bocchinoca27f032006-01-17 20:07:22 +00001509}
1510
Chris Lattner54865b32006-04-08 04:05:48 +00001511bool InsertElementInst::isValidOperands(const Value *Vec, const Value *Elt,
1512 const Value *Index) {
Duncan Sands19d0b472010-02-16 11:11:14 +00001513 if (!Vec->getType()->isVectorTy())
Reid Spencer09575ba2007-02-15 03:39:18 +00001514 return false; // First operand of insertelement must be vector type.
Chris Lattner54865b32006-04-08 04:05:48 +00001515
Reid Spencerd84d35b2007-02-15 02:26:10 +00001516 if (Elt->getType() != cast<VectorType>(Vec->getType())->getElementType())
Dan Gohmanfead7972007-05-11 21:43:24 +00001517 return false;// Second operand of insertelement must be vector element type.
Chris Lattner54865b32006-04-08 04:05:48 +00001518
Duncan Sands9dff9be2010-02-15 16:12:20 +00001519 if (!Index->getType()->isIntegerTy(32))
Dan Gohman4fe64de2009-06-14 23:30:43 +00001520 return false; // Third operand of insertelement must be i32.
Chris Lattner54865b32006-04-08 04:05:48 +00001521 return true;
1522}
1523
1524
Robert Bocchinoca27f032006-01-17 20:07:22 +00001525//===----------------------------------------------------------------------===//
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001526// ShuffleVectorInst Implementation
1527//===----------------------------------------------------------------------===//
1528
1529ShuffleVectorInst::ShuffleVectorInst(Value *V1, Value *V2, Value *Mask,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001530 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001531 Instruction *InsertBefore)
Owen Anderson4056ca92009-07-29 22:17:13 +00001532: Instruction(VectorType::get(cast<VectorType>(V1->getType())->getElementType(),
Mon P Wang25f01062008-11-10 04:46:22 +00001533 cast<VectorType>(Mask->getType())->getNumElements()),
1534 ShuffleVector,
1535 OperandTraits<ShuffleVectorInst>::op_begin(this),
1536 OperandTraits<ShuffleVectorInst>::operands(this),
1537 InsertBefore) {
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001538 assert(isValidOperands(V1, V2, Mask) &&
1539 "Invalid shuffle vector instruction operands!");
Gabor Greif2d3024d2008-05-26 21:33:52 +00001540 Op<0>() = V1;
1541 Op<1>() = V2;
1542 Op<2>() = Mask;
Chris Lattner2195fc42007-02-24 00:55:48 +00001543 setName(Name);
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001544}
1545
1546ShuffleVectorInst::ShuffleVectorInst(Value *V1, Value *V2, Value *Mask,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001547 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001548 BasicBlock *InsertAtEnd)
Dan Gohmane5af8cd2009-08-25 23:27:45 +00001549: Instruction(VectorType::get(cast<VectorType>(V1->getType())->getElementType(),
1550 cast<VectorType>(Mask->getType())->getNumElements()),
1551 ShuffleVector,
1552 OperandTraits<ShuffleVectorInst>::op_begin(this),
1553 OperandTraits<ShuffleVectorInst>::operands(this),
1554 InsertAtEnd) {
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001555 assert(isValidOperands(V1, V2, Mask) &&
1556 "Invalid shuffle vector instruction operands!");
1557
Gabor Greif2d3024d2008-05-26 21:33:52 +00001558 Op<0>() = V1;
1559 Op<1>() = V2;
1560 Op<2>() = Mask;
Chris Lattner2195fc42007-02-24 00:55:48 +00001561 setName(Name);
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001562}
1563
Mon P Wang25f01062008-11-10 04:46:22 +00001564bool ShuffleVectorInst::isValidOperands(const Value *V1, const Value *V2,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001565 const Value *Mask) {
Chris Lattner1dcb6542012-01-25 23:49:49 +00001566 // V1 and V2 must be vectors of the same type.
Duncan Sands19d0b472010-02-16 11:11:14 +00001567 if (!V1->getType()->isVectorTy() || V1->getType() != V2->getType())
Chris Lattnerf724e342008-03-02 05:28:33 +00001568 return false;
1569
Chris Lattner1dcb6542012-01-25 23:49:49 +00001570 // Mask must be vector of i32.
Chris Lattner229907c2011-07-18 04:54:35 +00001571 VectorType *MaskTy = dyn_cast<VectorType>(Mask->getType());
Nate Begeman60a31c32010-08-13 00:16:46 +00001572 if (MaskTy == 0 || !MaskTy->getElementType()->isIntegerTy(32))
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001573 return false;
Nate Begeman60a31c32010-08-13 00:16:46 +00001574
1575 // Check to see if Mask is valid.
Chris Lattner1dcb6542012-01-25 23:49:49 +00001576 if (isa<UndefValue>(Mask) || isa<ConstantAggregateZero>(Mask))
1577 return true;
1578
Nate Begeman60a31c32010-08-13 00:16:46 +00001579 if (const ConstantVector *MV = dyn_cast<ConstantVector>(Mask)) {
Chris Lattner1dcb6542012-01-25 23:49:49 +00001580 unsigned V1Size = cast<VectorType>(V1->getType())->getNumElements();
Nate Begeman60a31c32010-08-13 00:16:46 +00001581 for (unsigned i = 0, e = MV->getNumOperands(); i != e; ++i) {
Chris Lattner1dcb6542012-01-25 23:49:49 +00001582 if (ConstantInt *CI = dyn_cast<ConstantInt>(MV->getOperand(i))) {
1583 if (CI->uge(V1Size*2))
Nate Begeman60a31c32010-08-13 00:16:46 +00001584 return false;
1585 } else if (!isa<UndefValue>(MV->getOperand(i))) {
1586 return false;
1587 }
1588 }
Chris Lattner1dcb6542012-01-25 23:49:49 +00001589 return true;
Mon P Wang6ebf4012011-10-26 00:34:48 +00001590 }
Chris Lattner1dcb6542012-01-25 23:49:49 +00001591
1592 if (const ConstantDataSequential *CDS =
1593 dyn_cast<ConstantDataSequential>(Mask)) {
1594 unsigned V1Size = cast<VectorType>(V1->getType())->getNumElements();
1595 for (unsigned i = 0, e = MaskTy->getNumElements(); i != e; ++i)
1596 if (CDS->getElementAsInteger(i) >= V1Size*2)
1597 return false;
1598 return true;
1599 }
1600
1601 // The bitcode reader can create a place holder for a forward reference
1602 // used as the shuffle mask. When this occurs, the shuffle mask will
1603 // fall into this case and fail. To avoid this error, do this bit of
1604 // ugliness to allow such a mask pass.
1605 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(Mask))
1606 if (CE->getOpcode() == Instruction::UserOp1)
1607 return true;
1608
1609 return false;
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001610}
1611
Chris Lattnerf724e342008-03-02 05:28:33 +00001612/// getMaskValue - Return the index from the shuffle mask for the specified
1613/// output result. This is either -1 if the element is undef or a number less
1614/// than 2*numelements.
Chris Lattnercf129702012-01-26 02:51:13 +00001615int ShuffleVectorInst::getMaskValue(Constant *Mask, unsigned i) {
1616 assert(i < Mask->getType()->getVectorNumElements() && "Index out of range");
1617 if (ConstantDataSequential *CDS =dyn_cast<ConstantDataSequential>(Mask))
Chris Lattner1dcb6542012-01-25 23:49:49 +00001618 return CDS->getElementAsInteger(i);
Chris Lattnercf129702012-01-26 02:51:13 +00001619 Constant *C = Mask->getAggregateElement(i);
Chris Lattner1dcb6542012-01-25 23:49:49 +00001620 if (isa<UndefValue>(C))
Chris Lattnerf724e342008-03-02 05:28:33 +00001621 return -1;
Chris Lattner1dcb6542012-01-25 23:49:49 +00001622 return cast<ConstantInt>(C)->getZExtValue();
Chris Lattnerf724e342008-03-02 05:28:33 +00001623}
1624
Chris Lattner1dcb6542012-01-25 23:49:49 +00001625/// getShuffleMask - Return the full mask for this instruction, where each
1626/// element is the element number and undef's are returned as -1.
Chris Lattnercf129702012-01-26 02:51:13 +00001627void ShuffleVectorInst::getShuffleMask(Constant *Mask,
1628 SmallVectorImpl<int> &Result) {
1629 unsigned NumElts = Mask->getType()->getVectorNumElements();
Chris Lattner1dcb6542012-01-25 23:49:49 +00001630
Chris Lattnercf129702012-01-26 02:51:13 +00001631 if (ConstantDataSequential *CDS=dyn_cast<ConstantDataSequential>(Mask)) {
Chris Lattner1dcb6542012-01-25 23:49:49 +00001632 for (unsigned i = 0; i != NumElts; ++i)
1633 Result.push_back(CDS->getElementAsInteger(i));
1634 return;
1635 }
Chris Lattner1dcb6542012-01-25 23:49:49 +00001636 for (unsigned i = 0; i != NumElts; ++i) {
1637 Constant *C = Mask->getAggregateElement(i);
1638 Result.push_back(isa<UndefValue>(C) ? -1 :
Chris Lattner3dbad4032012-01-26 00:41:50 +00001639 cast<ConstantInt>(C)->getZExtValue());
Chris Lattner1dcb6542012-01-25 23:49:49 +00001640 }
1641}
1642
1643
Dan Gohman12fce772008-05-15 19:50:34 +00001644//===----------------------------------------------------------------------===//
Dan Gohman0752bff2008-05-23 00:36:11 +00001645// InsertValueInst Class
1646//===----------------------------------------------------------------------===//
1647
Jay Foad57aa6362011-07-13 10:26:04 +00001648void InsertValueInst::init(Value *Agg, Value *Val, ArrayRef<unsigned> Idxs,
1649 const Twine &Name) {
Dan Gohman1ecaf452008-05-31 00:58:22 +00001650 assert(NumOperands == 2 && "NumOperands not initialized?");
Jay Foad57aa6362011-07-13 10:26:04 +00001651
1652 // There's no fundamental reason why we require at least one index
1653 // (other than weirdness with &*IdxBegin being invalid; see
1654 // getelementptr's init routine for example). But there's no
1655 // present need to support it.
1656 assert(Idxs.size() > 0 && "InsertValueInst must have at least one index");
1657
1658 assert(ExtractValueInst::getIndexedType(Agg->getType(), Idxs) ==
Frits van Bommel16ebe772010-12-05 20:50:26 +00001659 Val->getType() && "Inserted value must match indexed type!");
Dan Gohman1ecaf452008-05-31 00:58:22 +00001660 Op<0>() = Agg;
1661 Op<1>() = Val;
Dan Gohman0752bff2008-05-23 00:36:11 +00001662
Jay Foad57aa6362011-07-13 10:26:04 +00001663 Indices.append(Idxs.begin(), Idxs.end());
Matthijs Kooijmancfd41db2008-06-04 14:40:55 +00001664 setName(Name);
Dan Gohman0752bff2008-05-23 00:36:11 +00001665}
1666
1667InsertValueInst::InsertValueInst(const InsertValueInst &IVI)
Gabor Greife9408e62008-05-27 11:03:29 +00001668 : Instruction(IVI.getType(), InsertValue,
Dan Gohman1ecaf452008-05-31 00:58:22 +00001669 OperandTraits<InsertValueInst>::op_begin(this), 2),
1670 Indices(IVI.Indices) {
Dan Gohmand8ca05f2008-06-17 23:25:49 +00001671 Op<0>() = IVI.getOperand(0);
1672 Op<1>() = IVI.getOperand(1);
Dan Gohmanc8a27f22009-08-25 22:11:20 +00001673 SubclassOptionalData = IVI.SubclassOptionalData;
Dan Gohman0752bff2008-05-23 00:36:11 +00001674}
1675
1676//===----------------------------------------------------------------------===//
Dan Gohman12fce772008-05-15 19:50:34 +00001677// ExtractValueInst Class
1678//===----------------------------------------------------------------------===//
1679
Jay Foad57aa6362011-07-13 10:26:04 +00001680void ExtractValueInst::init(ArrayRef<unsigned> Idxs, const Twine &Name) {
Dan Gohman1ecaf452008-05-31 00:58:22 +00001681 assert(NumOperands == 1 && "NumOperands not initialized?");
Dan Gohman0752bff2008-05-23 00:36:11 +00001682
Jay Foad57aa6362011-07-13 10:26:04 +00001683 // There's no fundamental reason why we require at least one index.
1684 // But there's no present need to support it.
1685 assert(Idxs.size() > 0 && "ExtractValueInst must have at least one index");
Dan Gohman0752bff2008-05-23 00:36:11 +00001686
Jay Foad57aa6362011-07-13 10:26:04 +00001687 Indices.append(Idxs.begin(), Idxs.end());
Matthijs Kooijmancfd41db2008-06-04 14:40:55 +00001688 setName(Name);
Dan Gohman0752bff2008-05-23 00:36:11 +00001689}
1690
1691ExtractValueInst::ExtractValueInst(const ExtractValueInst &EVI)
Gabor Greif21ba1842008-06-06 20:28:12 +00001692 : UnaryInstruction(EVI.getType(), ExtractValue, EVI.getOperand(0)),
Dan Gohman1ecaf452008-05-31 00:58:22 +00001693 Indices(EVI.Indices) {
Dan Gohmanc8a27f22009-08-25 22:11:20 +00001694 SubclassOptionalData = EVI.SubclassOptionalData;
Dan Gohman0752bff2008-05-23 00:36:11 +00001695}
1696
Dan Gohman12fce772008-05-15 19:50:34 +00001697// getIndexedType - Returns the type of the element that would be extracted
1698// with an extractvalue instruction with the specified parameters.
1699//
1700// A null type is returned if the indices are invalid for the specified
1701// pointer type.
1702//
Chris Lattner229907c2011-07-18 04:54:35 +00001703Type *ExtractValueInst::getIndexedType(Type *Agg,
Jay Foad57aa6362011-07-13 10:26:04 +00001704 ArrayRef<unsigned> Idxs) {
1705 for (unsigned CurIdx = 0; CurIdx != Idxs.size(); ++CurIdx) {
Dan Gohman1ecaf452008-05-31 00:58:22 +00001706 unsigned Index = Idxs[CurIdx];
Frits van Bommel16ebe772010-12-05 20:50:26 +00001707 // We can't use CompositeType::indexValid(Index) here.
1708 // indexValid() always returns true for arrays because getelementptr allows
1709 // out-of-bounds indices. Since we don't allow those for extractvalue and
1710 // insertvalue we need to check array indexing manually.
1711 // Since the only other types we can index into are struct types it's just
1712 // as easy to check those manually as well.
Chris Lattner229907c2011-07-18 04:54:35 +00001713 if (ArrayType *AT = dyn_cast<ArrayType>(Agg)) {
Frits van Bommel16ebe772010-12-05 20:50:26 +00001714 if (Index >= AT->getNumElements())
1715 return 0;
Chris Lattner229907c2011-07-18 04:54:35 +00001716 } else if (StructType *ST = dyn_cast<StructType>(Agg)) {
Frits van Bommel16ebe772010-12-05 20:50:26 +00001717 if (Index >= ST->getNumElements())
1718 return 0;
1719 } else {
1720 // Not a valid type to index into.
1721 return 0;
1722 }
1723
1724 Agg = cast<CompositeType>(Agg)->getTypeAtIndex(Index);
Dan Gohman12fce772008-05-15 19:50:34 +00001725 }
Chris Lattnerb1ed91f2011-07-09 17:41:24 +00001726 return const_cast<Type*>(Agg);
Dan Gohman12fce772008-05-15 19:50:34 +00001727}
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001728
1729//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001730// BinaryOperator Class
1731//===----------------------------------------------------------------------===//
1732
Chris Lattner2195fc42007-02-24 00:55:48 +00001733BinaryOperator::BinaryOperator(BinaryOps iType, Value *S1, Value *S2,
Chris Lattner229907c2011-07-18 04:54:35 +00001734 Type *Ty, const Twine &Name,
Chris Lattner2195fc42007-02-24 00:55:48 +00001735 Instruction *InsertBefore)
Dan Gohmana2414ea2010-05-03 22:44:19 +00001736 : Instruction(Ty, iType,
Gabor Greiff6caff662008-05-10 08:32:32 +00001737 OperandTraits<BinaryOperator>::op_begin(this),
1738 OperandTraits<BinaryOperator>::operands(this),
1739 InsertBefore) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001740 Op<0>() = S1;
1741 Op<1>() = S2;
Dan Gohmana2414ea2010-05-03 22:44:19 +00001742 init(iType);
Chris Lattner2195fc42007-02-24 00:55:48 +00001743 setName(Name);
1744}
1745
1746BinaryOperator::BinaryOperator(BinaryOps iType, Value *S1, Value *S2,
Chris Lattner229907c2011-07-18 04:54:35 +00001747 Type *Ty, const Twine &Name,
Chris Lattner2195fc42007-02-24 00:55:48 +00001748 BasicBlock *InsertAtEnd)
Dan Gohmana2414ea2010-05-03 22:44:19 +00001749 : Instruction(Ty, iType,
Gabor Greiff6caff662008-05-10 08:32:32 +00001750 OperandTraits<BinaryOperator>::op_begin(this),
1751 OperandTraits<BinaryOperator>::operands(this),
1752 InsertAtEnd) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001753 Op<0>() = S1;
1754 Op<1>() = S2;
Dan Gohmana2414ea2010-05-03 22:44:19 +00001755 init(iType);
Chris Lattner2195fc42007-02-24 00:55:48 +00001756 setName(Name);
1757}
1758
1759
1760void BinaryOperator::init(BinaryOps iType) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001761 Value *LHS = getOperand(0), *RHS = getOperand(1);
Jeffrey Yasskin9b43f332010-12-23 00:58:24 +00001762 (void)LHS; (void)RHS; // Silence warnings.
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001763 assert(LHS->getType() == RHS->getType() &&
1764 "Binary operator operand types must match!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001765#ifndef NDEBUG
1766 switch (iType) {
1767 case Add: case Sub:
Dan Gohmana5b96452009-06-04 22:49:04 +00001768 case Mul:
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001769 assert(getType() == LHS->getType() &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001770 "Arithmetic operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001771 assert(getType()->isIntOrIntVectorTy() &&
Dan Gohmana5b96452009-06-04 22:49:04 +00001772 "Tried to create an integer operation on a non-integer type!");
1773 break;
1774 case FAdd: case FSub:
1775 case FMul:
1776 assert(getType() == LHS->getType() &&
1777 "Arithmetic operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001778 assert(getType()->isFPOrFPVectorTy() &&
Dan Gohmana5b96452009-06-04 22:49:04 +00001779 "Tried to create a floating-point operation on a "
1780 "non-floating-point type!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001781 break;
Reid Spencer7e80b0b2006-10-26 06:15:43 +00001782 case UDiv:
1783 case SDiv:
1784 assert(getType() == LHS->getType() &&
1785 "Arithmetic operation should return same type as operands!");
Duncan Sands19d0b472010-02-16 11:11:14 +00001786 assert((getType()->isIntegerTy() || (getType()->isVectorTy() &&
Duncan Sands9dff9be2010-02-15 16:12:20 +00001787 cast<VectorType>(getType())->getElementType()->isIntegerTy())) &&
Reid Spencer7e80b0b2006-10-26 06:15:43 +00001788 "Incorrect operand type (not integer) for S/UDIV");
1789 break;
1790 case FDiv:
1791 assert(getType() == LHS->getType() &&
1792 "Arithmetic operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001793 assert(getType()->isFPOrFPVectorTy() &&
Dan Gohman7889f2b2009-06-15 22:25:12 +00001794 "Incorrect operand type (not floating point) for FDIV");
Reid Spencer7e80b0b2006-10-26 06:15:43 +00001795 break;
Reid Spencer7eb55b32006-11-02 01:53:59 +00001796 case URem:
1797 case SRem:
1798 assert(getType() == LHS->getType() &&
1799 "Arithmetic operation should return same type as operands!");
Duncan Sands19d0b472010-02-16 11:11:14 +00001800 assert((getType()->isIntegerTy() || (getType()->isVectorTy() &&
Duncan Sands9dff9be2010-02-15 16:12:20 +00001801 cast<VectorType>(getType())->getElementType()->isIntegerTy())) &&
Reid Spencer7eb55b32006-11-02 01:53:59 +00001802 "Incorrect operand type (not integer) for S/UREM");
1803 break;
1804 case FRem:
1805 assert(getType() == LHS->getType() &&
1806 "Arithmetic operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001807 assert(getType()->isFPOrFPVectorTy() &&
Dan Gohman7889f2b2009-06-15 22:25:12 +00001808 "Incorrect operand type (not floating point) for FREM");
Reid Spencer7eb55b32006-11-02 01:53:59 +00001809 break;
Reid Spencer2341c222007-02-02 02:16:23 +00001810 case Shl:
1811 case LShr:
1812 case AShr:
1813 assert(getType() == LHS->getType() &&
1814 "Shift operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001815 assert((getType()->isIntegerTy() ||
Duncan Sands19d0b472010-02-16 11:11:14 +00001816 (getType()->isVectorTy() &&
Duncan Sands9dff9be2010-02-15 16:12:20 +00001817 cast<VectorType>(getType())->getElementType()->isIntegerTy())) &&
Nate Begemanfecbc8c2008-07-29 15:49:41 +00001818 "Tried to create a shift operation on a non-integral type!");
Reid Spencer2341c222007-02-02 02:16:23 +00001819 break;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001820 case And: case Or:
1821 case Xor:
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001822 assert(getType() == LHS->getType() &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001823 "Logical operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001824 assert((getType()->isIntegerTy() ||
Duncan Sands19d0b472010-02-16 11:11:14 +00001825 (getType()->isVectorTy() &&
Duncan Sands9dff9be2010-02-15 16:12:20 +00001826 cast<VectorType>(getType())->getElementType()->isIntegerTy())) &&
Misha Brukman3852f652005-01-27 06:46:38 +00001827 "Tried to create a logical operation on a non-integral type!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001828 break;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001829 default:
1830 break;
1831 }
1832#endif
1833}
1834
Gabor Greife1f6e4b2008-05-16 19:29:10 +00001835BinaryOperator *BinaryOperator::Create(BinaryOps Op, Value *S1, Value *S2,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001836 const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001837 Instruction *InsertBefore) {
1838 assert(S1->getType() == S2->getType() &&
1839 "Cannot create binary operator with two operands of differing type!");
Reid Spencer266e42b2006-12-23 06:05:41 +00001840 return new BinaryOperator(Op, S1, S2, S1->getType(), Name, InsertBefore);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001841}
1842
Gabor Greife1f6e4b2008-05-16 19:29:10 +00001843BinaryOperator *BinaryOperator::Create(BinaryOps Op, Value *S1, Value *S2,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001844 const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001845 BasicBlock *InsertAtEnd) {
Gabor Greife1f6e4b2008-05-16 19:29:10 +00001846 BinaryOperator *Res = Create(Op, S1, S2, Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001847 InsertAtEnd->getInstList().push_back(Res);
1848 return Res;
1849}
1850
Dan Gohman5476cfd2009-08-12 16:23:25 +00001851BinaryOperator *BinaryOperator::CreateNeg(Value *Op, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001852 Instruction *InsertBefore) {
Owen Anderson69c464d2009-07-27 20:59:43 +00001853 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
Reid Spencer2eadb532007-01-21 00:29:26 +00001854 return new BinaryOperator(Instruction::Sub,
1855 zero, Op,
1856 Op->getType(), Name, InsertBefore);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001857}
1858
Dan Gohman5476cfd2009-08-12 16:23:25 +00001859BinaryOperator *BinaryOperator::CreateNeg(Value *Op, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001860 BasicBlock *InsertAtEnd) {
Owen Anderson69c464d2009-07-27 20:59:43 +00001861 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
Reid Spencer2eadb532007-01-21 00:29:26 +00001862 return new BinaryOperator(Instruction::Sub,
1863 zero, Op,
1864 Op->getType(), Name, InsertAtEnd);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001865}
1866
Dan Gohman4ab44202009-12-18 02:58:50 +00001867BinaryOperator *BinaryOperator::CreateNSWNeg(Value *Op, const Twine &Name,
1868 Instruction *InsertBefore) {
1869 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
1870 return BinaryOperator::CreateNSWSub(zero, Op, Name, InsertBefore);
1871}
1872
1873BinaryOperator *BinaryOperator::CreateNSWNeg(Value *Op, const Twine &Name,
1874 BasicBlock *InsertAtEnd) {
1875 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
1876 return BinaryOperator::CreateNSWSub(zero, Op, Name, InsertAtEnd);
1877}
1878
Duncan Sandsfa5f5962010-02-02 12:53:04 +00001879BinaryOperator *BinaryOperator::CreateNUWNeg(Value *Op, const Twine &Name,
1880 Instruction *InsertBefore) {
1881 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
1882 return BinaryOperator::CreateNUWSub(zero, Op, Name, InsertBefore);
1883}
1884
1885BinaryOperator *BinaryOperator::CreateNUWNeg(Value *Op, const Twine &Name,
1886 BasicBlock *InsertAtEnd) {
1887 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
1888 return BinaryOperator::CreateNUWSub(zero, Op, Name, InsertAtEnd);
1889}
1890
Dan Gohman5476cfd2009-08-12 16:23:25 +00001891BinaryOperator *BinaryOperator::CreateFNeg(Value *Op, const Twine &Name,
Dan Gohmana5b96452009-06-04 22:49:04 +00001892 Instruction *InsertBefore) {
Owen Anderson69c464d2009-07-27 20:59:43 +00001893 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
Chris Lattner47a86bd2012-01-25 06:02:56 +00001894 return new BinaryOperator(Instruction::FSub, zero, Op,
Dan Gohmana5b96452009-06-04 22:49:04 +00001895 Op->getType(), Name, InsertBefore);
1896}
1897
Dan Gohman5476cfd2009-08-12 16:23:25 +00001898BinaryOperator *BinaryOperator::CreateFNeg(Value *Op, const Twine &Name,
Dan Gohmana5b96452009-06-04 22:49:04 +00001899 BasicBlock *InsertAtEnd) {
Owen Anderson69c464d2009-07-27 20:59:43 +00001900 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
Chris Lattner47a86bd2012-01-25 06:02:56 +00001901 return new BinaryOperator(Instruction::FSub, zero, Op,
Dan Gohmana5b96452009-06-04 22:49:04 +00001902 Op->getType(), Name, InsertAtEnd);
1903}
1904
Dan Gohman5476cfd2009-08-12 16:23:25 +00001905BinaryOperator *BinaryOperator::CreateNot(Value *Op, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001906 Instruction *InsertBefore) {
Chris Lattner47a86bd2012-01-25 06:02:56 +00001907 Constant *C = Constant::getAllOnesValue(Op->getType());
Chris Lattnere8e7ac42006-03-25 21:54:21 +00001908 return new BinaryOperator(Instruction::Xor, Op, C,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001909 Op->getType(), Name, InsertBefore);
1910}
1911
Dan Gohman5476cfd2009-08-12 16:23:25 +00001912BinaryOperator *BinaryOperator::CreateNot(Value *Op, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001913 BasicBlock *InsertAtEnd) {
Chris Lattner47a86bd2012-01-25 06:02:56 +00001914 Constant *AllOnes = Constant::getAllOnesValue(Op->getType());
Chris Lattnerdca56cb2005-12-21 18:22:19 +00001915 return new BinaryOperator(Instruction::Xor, Op, AllOnes,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001916 Op->getType(), Name, InsertAtEnd);
1917}
1918
1919
1920// isConstantAllOnes - Helper function for several functions below
1921static inline bool isConstantAllOnes(const Value *V) {
Chris Lattner0256be92012-01-27 03:08:05 +00001922 if (const Constant *C = dyn_cast<Constant>(V))
1923 return C->isAllOnesValue();
Chris Lattner1edec382007-06-15 06:04:24 +00001924 return false;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001925}
1926
Owen Andersonbb2501b2009-07-13 22:18:28 +00001927bool BinaryOperator::isNeg(const Value *V) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001928 if (const BinaryOperator *Bop = dyn_cast<BinaryOperator>(V))
1929 if (Bop->getOpcode() == Instruction::Sub)
Owen Andersonbb2501b2009-07-13 22:18:28 +00001930 if (Constant* C = dyn_cast<Constant>(Bop->getOperand(0)))
1931 return C->isNegativeZeroValue();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001932 return false;
1933}
1934
Shuxin Yangf0537ab2013-01-09 00:13:41 +00001935bool BinaryOperator::isFNeg(const Value *V, bool IgnoreZeroSign) {
Dan Gohmana5b96452009-06-04 22:49:04 +00001936 if (const BinaryOperator *Bop = dyn_cast<BinaryOperator>(V))
1937 if (Bop->getOpcode() == Instruction::FSub)
Shuxin Yangf0537ab2013-01-09 00:13:41 +00001938 if (Constant* C = dyn_cast<Constant>(Bop->getOperand(0))) {
1939 if (!IgnoreZeroSign)
1940 IgnoreZeroSign = cast<Instruction>(V)->hasNoSignedZeros();
1941 return !IgnoreZeroSign ? C->isNegativeZeroValue() : C->isZeroValue();
1942 }
Dan Gohmana5b96452009-06-04 22:49:04 +00001943 return false;
1944}
1945
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001946bool BinaryOperator::isNot(const Value *V) {
1947 if (const BinaryOperator *Bop = dyn_cast<BinaryOperator>(V))
1948 return (Bop->getOpcode() == Instruction::Xor &&
1949 (isConstantAllOnes(Bop->getOperand(1)) ||
1950 isConstantAllOnes(Bop->getOperand(0))));
1951 return false;
1952}
1953
Chris Lattner2c7d1772005-04-24 07:28:37 +00001954Value *BinaryOperator::getNegArgument(Value *BinOp) {
Chris Lattner2c7d1772005-04-24 07:28:37 +00001955 return cast<BinaryOperator>(BinOp)->getOperand(1);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001956}
1957
Chris Lattner2c7d1772005-04-24 07:28:37 +00001958const Value *BinaryOperator::getNegArgument(const Value *BinOp) {
1959 return getNegArgument(const_cast<Value*>(BinOp));
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001960}
1961
Dan Gohmana5b96452009-06-04 22:49:04 +00001962Value *BinaryOperator::getFNegArgument(Value *BinOp) {
Dan Gohmana5b96452009-06-04 22:49:04 +00001963 return cast<BinaryOperator>(BinOp)->getOperand(1);
1964}
1965
1966const Value *BinaryOperator::getFNegArgument(const Value *BinOp) {
1967 return getFNegArgument(const_cast<Value*>(BinOp));
1968}
1969
Chris Lattner2c7d1772005-04-24 07:28:37 +00001970Value *BinaryOperator::getNotArgument(Value *BinOp) {
1971 assert(isNot(BinOp) && "getNotArgument on non-'not' instruction!");
1972 BinaryOperator *BO = cast<BinaryOperator>(BinOp);
1973 Value *Op0 = BO->getOperand(0);
1974 Value *Op1 = BO->getOperand(1);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001975 if (isConstantAllOnes(Op0)) return Op1;
1976
1977 assert(isConstantAllOnes(Op1));
1978 return Op0;
1979}
1980
Chris Lattner2c7d1772005-04-24 07:28:37 +00001981const Value *BinaryOperator::getNotArgument(const Value *BinOp) {
1982 return getNotArgument(const_cast<Value*>(BinOp));
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001983}
1984
1985
1986// swapOperands - Exchange the two operands to this instruction. This
1987// instruction is safe to use on any binary instruction and does not
1988// modify the semantics of the instruction. If the instruction is
1989// order dependent (SetLT f.e.) the opcode is changed.
1990//
1991bool BinaryOperator::swapOperands() {
Reid Spencer266e42b2006-12-23 06:05:41 +00001992 if (!isCommutative())
1993 return true; // Can't commute operands
Gabor Greif5ef74042008-05-13 22:51:52 +00001994 Op<0>().swap(Op<1>());
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001995 return false;
1996}
1997
Dan Gohman1b849082009-09-07 23:54:19 +00001998void BinaryOperator::setHasNoUnsignedWrap(bool b) {
1999 cast<OverflowingBinaryOperator>(this)->setHasNoUnsignedWrap(b);
2000}
2001
2002void BinaryOperator::setHasNoSignedWrap(bool b) {
2003 cast<OverflowingBinaryOperator>(this)->setHasNoSignedWrap(b);
2004}
2005
2006void BinaryOperator::setIsExact(bool b) {
Chris Lattner35315d02011-02-06 21:44:57 +00002007 cast<PossiblyExactOperator>(this)->setIsExact(b);
Dan Gohman1b849082009-09-07 23:54:19 +00002008}
2009
Nick Lewycky28a5f252009-09-27 21:33:04 +00002010bool BinaryOperator::hasNoUnsignedWrap() const {
2011 return cast<OverflowingBinaryOperator>(this)->hasNoUnsignedWrap();
2012}
2013
2014bool BinaryOperator::hasNoSignedWrap() const {
2015 return cast<OverflowingBinaryOperator>(this)->hasNoSignedWrap();
2016}
2017
2018bool BinaryOperator::isExact() const {
Chris Lattner35315d02011-02-06 21:44:57 +00002019 return cast<PossiblyExactOperator>(this)->isExact();
Nick Lewycky28a5f252009-09-27 21:33:04 +00002020}
2021
Chris Lattnerb0b8ddd2006-09-18 04:54:57 +00002022//===----------------------------------------------------------------------===//
Duncan Sands05f4df82012-04-16 16:28:59 +00002023// FPMathOperator Class
2024//===----------------------------------------------------------------------===//
2025
2026/// getFPAccuracy - Get the maximum error permitted by this operation in ULPs.
2027/// An accuracy of 0.0 means that the operation should be performed with the
Duncan Sands9af62982012-04-16 19:39:33 +00002028/// default precision.
Duncan Sands05f4df82012-04-16 16:28:59 +00002029float FPMathOperator::getFPAccuracy() const {
2030 const MDNode *MD =
2031 cast<Instruction>(this)->getMetadata(LLVMContext::MD_fpmath);
2032 if (!MD)
2033 return 0.0;
Duncan Sands9af62982012-04-16 19:39:33 +00002034 ConstantFP *Accuracy = cast<ConstantFP>(MD->getOperand(0));
2035 return Accuracy->getValueAPF().convertToFloat();
Duncan Sands05f4df82012-04-16 16:28:59 +00002036}
2037
2038
2039//===----------------------------------------------------------------------===//
Chris Lattnerb0b8ddd2006-09-18 04:54:57 +00002040// CastInst Class
2041//===----------------------------------------------------------------------===//
2042
David Blaikie3a15e142011-12-01 08:00:17 +00002043void CastInst::anchor() {}
2044
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002045// Just determine if this cast only deals with integral->integral conversion.
2046bool CastInst::isIntegerCast() const {
2047 switch (getOpcode()) {
2048 default: return false;
2049 case Instruction::ZExt:
2050 case Instruction::SExt:
2051 case Instruction::Trunc:
2052 return true;
2053 case Instruction::BitCast:
Duncan Sands9dff9be2010-02-15 16:12:20 +00002054 return getOperand(0)->getType()->isIntegerTy() &&
2055 getType()->isIntegerTy();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002056 }
Chris Lattnerb0b8ddd2006-09-18 04:54:57 +00002057}
2058
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002059bool CastInst::isLosslessCast() const {
2060 // Only BitCast can be lossless, exit fast if we're not BitCast
2061 if (getOpcode() != Instruction::BitCast)
2062 return false;
2063
2064 // Identity cast is always lossless
Chris Lattner229907c2011-07-18 04:54:35 +00002065 Type* SrcTy = getOperand(0)->getType();
2066 Type* DstTy = getType();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002067 if (SrcTy == DstTy)
2068 return true;
2069
Reid Spencer8d9336d2006-12-31 05:26:44 +00002070 // Pointer to pointer is always lossless.
Duncan Sands19d0b472010-02-16 11:11:14 +00002071 if (SrcTy->isPointerTy())
2072 return DstTy->isPointerTy();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002073 return false; // Other types have no identity values
2074}
2075
2076/// This function determines if the CastInst does not require any bits to be
2077/// changed in order to effect the cast. Essentially, it identifies cases where
2078/// no code gen is necessary for the cast, hence the name no-op cast. For
2079/// example, the following are all no-op casts:
Dan Gohmane9bc2ba2008-05-12 16:34:30 +00002080/// # bitcast i32* %x to i8*
2081/// # bitcast <2 x i32> %x to <4 x i16>
2082/// # ptrtoint i32* %x to i32 ; on 32-bit plaforms only
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002083/// @brief Determine if the described cast is a no-op.
2084bool CastInst::isNoopCast(Instruction::CastOps Opcode,
Chris Lattner229907c2011-07-18 04:54:35 +00002085 Type *SrcTy,
2086 Type *DestTy,
2087 Type *IntPtrTy) {
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002088 switch (Opcode) {
Craig Topperc514b542012-02-05 22:14:15 +00002089 default: llvm_unreachable("Invalid CastOp");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002090 case Instruction::Trunc:
2091 case Instruction::ZExt:
2092 case Instruction::SExt:
2093 case Instruction::FPTrunc:
2094 case Instruction::FPExt:
2095 case Instruction::UIToFP:
2096 case Instruction::SIToFP:
2097 case Instruction::FPToUI:
2098 case Instruction::FPToSI:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002099 case Instruction::AddrSpaceCast:
2100 // TODO: Target informations may give a more accurate answer here.
2101 return false;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002102 case Instruction::BitCast:
2103 return true; // BitCast never modifies bits.
2104 case Instruction::PtrToInt:
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002105 return IntPtrTy->getScalarSizeInBits() ==
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002106 DestTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002107 case Instruction::IntToPtr:
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002108 return IntPtrTy->getScalarSizeInBits() ==
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002109 SrcTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002110 }
2111}
2112
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002113/// @brief Determine if a cast is a no-op.
Chris Lattner229907c2011-07-18 04:54:35 +00002114bool CastInst::isNoopCast(Type *IntPtrTy) const {
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002115 return isNoopCast(getOpcode(), getOperand(0)->getType(), getType(), IntPtrTy);
2116}
2117
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002118/// This function determines if a pair of casts can be eliminated and what
2119/// opcode should be used in the elimination. This assumes that there are two
2120/// instructions like this:
2121/// * %F = firstOpcode SrcTy %x to MidTy
2122/// * %S = secondOpcode MidTy %F to DstTy
2123/// The function returns a resultOpcode so these two casts can be replaced with:
2124/// * %Replacement = resultOpcode %SrcTy %x to DstTy
2125/// If no such cast is permited, the function returns 0.
2126unsigned CastInst::isEliminableCastPair(
2127 Instruction::CastOps firstOp, Instruction::CastOps secondOp,
Duncan Sandse2395dc2012-10-30 16:03:32 +00002128 Type *SrcTy, Type *MidTy, Type *DstTy, Type *SrcIntPtrTy, Type *MidIntPtrTy,
2129 Type *DstIntPtrTy) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002130 // Define the 144 possibilities for these two cast instructions. The values
2131 // in this matrix determine what to do in a given situation and select the
2132 // case in the switch below. The rows correspond to firstOp, the columns
2133 // correspond to secondOp. In looking at the table below, keep in mind
2134 // the following cast properties:
2135 //
2136 // Size Compare Source Destination
2137 // Operator Src ? Size Type Sign Type Sign
2138 // -------- ------------ ------------------- ---------------------
2139 // TRUNC > Integer Any Integral Any
2140 // ZEXT < Integral Unsigned Integer Any
2141 // SEXT < Integral Signed Integer Any
2142 // FPTOUI n/a FloatPt n/a Integral Unsigned
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002143 // FPTOSI n/a FloatPt n/a Integral Signed
2144 // UITOFP n/a Integral Unsigned FloatPt n/a
2145 // SITOFP n/a Integral Signed FloatPt n/a
2146 // FPTRUNC > FloatPt n/a FloatPt n/a
2147 // FPEXT < FloatPt n/a FloatPt n/a
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002148 // PTRTOINT n/a Pointer n/a Integral Unsigned
2149 // INTTOPTR n/a Integral Unsigned Pointer n/a
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002150 // BITCAST = FirstClass n/a FirstClass n/a
2151 // ADDRSPCST n/a Pointer n/a Pointer n/a
Chris Lattner6f6b4972006-12-05 23:43:59 +00002152 //
2153 // NOTE: some transforms are safe, but we consider them to be non-profitable.
Dan Gohman4fe64de2009-06-14 23:30:43 +00002154 // For example, we could merge "fptoui double to i32" + "zext i32 to i64",
2155 // into "fptoui double to i64", but this loses information about the range
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002156 // of the produced value (we no longer know the top-part is all zeros).
Chris Lattner6f6b4972006-12-05 23:43:59 +00002157 // Further this conversion is often much more expensive for typical hardware,
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002158 // and causes issues when building libgcc. We disallow fptosi+sext for the
Chris Lattner6f6b4972006-12-05 23:43:59 +00002159 // same reason.
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002160 const unsigned numCastOps =
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002161 Instruction::CastOpsEnd - Instruction::CastOpsBegin;
2162 static const uint8_t CastResults[numCastOps][numCastOps] = {
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002163 // T F F U S F F P I B A -+
2164 // R Z S P P I I T P 2 N T S |
2165 // U E E 2 2 2 2 R E I T C C +- secondOp
2166 // N X X U S F F N X N 2 V V |
2167 // C T T I I P P C T T P T T -+
2168 { 1, 0, 0,99,99, 0, 0,99,99,99, 0, 3, 0}, // Trunc -+
2169 { 8, 1, 9,99,99, 2, 0,99,99,99, 2, 3, 0}, // ZExt |
2170 { 8, 0, 1,99,99, 0, 2,99,99,99, 0, 3, 0}, // SExt |
2171 { 0, 0, 0,99,99, 0, 0,99,99,99, 0, 3, 0}, // FPToUI |
2172 { 0, 0, 0,99,99, 0, 0,99,99,99, 0, 3, 0}, // FPToSI |
2173 { 99,99,99, 0, 0,99,99, 0, 0,99,99, 4, 0}, // UIToFP +- firstOp
2174 { 99,99,99, 0, 0,99,99, 0, 0,99,99, 4, 0}, // SIToFP |
2175 { 99,99,99, 0, 0,99,99, 1, 0,99,99, 4, 0}, // FPTrunc |
2176 { 99,99,99, 2, 2,99,99,10, 2,99,99, 4, 0}, // FPExt |
2177 { 1, 0, 0,99,99, 0, 0,99,99,99, 7, 3, 0}, // PtrToInt |
2178 { 99,99,99,99,99,99,99,99,99,11,99,15, 0}, // IntToPtr |
2179 { 5, 5, 5, 6, 6, 5, 5, 6, 6,16, 5, 1,14}, // BitCast |
2180 { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13,12}, // AddrSpaceCast -+
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002181 };
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002182
Chris Lattner25eea4d2010-07-12 01:19:22 +00002183 // If either of the casts are a bitcast from scalar to vector, disallow the
Nadav Rotem5fc81ff2011-08-29 19:58:36 +00002184 // merging. However, bitcast of A->B->A are allowed.
2185 bool isFirstBitcast = (firstOp == Instruction::BitCast);
2186 bool isSecondBitcast = (secondOp == Instruction::BitCast);
2187 bool chainedBitcast = (SrcTy == DstTy && isFirstBitcast && isSecondBitcast);
2188
2189 // Check if any of the bitcasts convert scalars<->vectors.
2190 if ((isFirstBitcast && isa<VectorType>(SrcTy) != isa<VectorType>(MidTy)) ||
2191 (isSecondBitcast && isa<VectorType>(MidTy) != isa<VectorType>(DstTy)))
2192 // Unless we are bitcasing to the original type, disallow optimizations.
2193 if (!chainedBitcast) return 0;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002194
2195 int ElimCase = CastResults[firstOp-Instruction::CastOpsBegin]
2196 [secondOp-Instruction::CastOpsBegin];
2197 switch (ElimCase) {
2198 case 0:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002199 // Categorically disallowed.
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002200 return 0;
2201 case 1:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002202 // Allowed, use first cast's opcode.
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002203 return firstOp;
2204 case 2:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002205 // Allowed, use second cast's opcode.
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002206 return secondOp;
2207 case 3:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002208 // No-op cast in second op implies firstOp as long as the DestTy
Mon P Wange04b4562010-01-23 04:35:57 +00002209 // is integer and we are not converting between a vector and a
Alp Tokerf907b892013-12-05 05:44:44 +00002210 // non-vector type.
Duncan Sands19d0b472010-02-16 11:11:14 +00002211 if (!SrcTy->isVectorTy() && DstTy->isIntegerTy())
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002212 return firstOp;
2213 return 0;
2214 case 4:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002215 // No-op cast in second op implies firstOp as long as the DestTy
Chris Lattner531732b2010-01-23 04:42:42 +00002216 // is floating point.
Duncan Sands9dff9be2010-02-15 16:12:20 +00002217 if (DstTy->isFloatingPointTy())
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002218 return firstOp;
2219 return 0;
2220 case 5:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002221 // No-op cast in first op implies secondOp as long as the SrcTy
Chris Lattner531732b2010-01-23 04:42:42 +00002222 // is an integer.
Duncan Sands9dff9be2010-02-15 16:12:20 +00002223 if (SrcTy->isIntegerTy())
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002224 return secondOp;
2225 return 0;
2226 case 6:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002227 // No-op cast in first op implies secondOp as long as the SrcTy
Chris Lattner531732b2010-01-23 04:42:42 +00002228 // is a floating point.
Duncan Sands9dff9be2010-02-15 16:12:20 +00002229 if (SrcTy->isFloatingPointTy())
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002230 return secondOp;
2231 return 0;
Matt Arsenault130e0ef2013-07-30 22:27:10 +00002232 case 7: {
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002233 // Cannot simplify if address spaces are different!
2234 if (SrcTy->getPointerAddressSpace() != DstTy->getPointerAddressSpace())
2235 return 0;
2236
Matt Arsenault130e0ef2013-07-30 22:27:10 +00002237 unsigned MidSize = MidTy->getScalarSizeInBits();
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002238 // We can still fold this without knowing the actual sizes as long we
2239 // know that the intermediate pointer is the largest possible
2240 // pointer size.
2241 // FIXME: Is this always true?
2242 if (MidSize == 64)
Matt Arsenault130e0ef2013-07-30 22:27:10 +00002243 return Instruction::BitCast;
2244
2245 // ptrtoint, inttoptr -> bitcast (ptr -> ptr) if int size is >= ptr size.
Duncan Sandse2395dc2012-10-30 16:03:32 +00002246 if (!SrcIntPtrTy || DstIntPtrTy != SrcIntPtrTy)
Dan Gohman9413de12009-07-21 23:19:40 +00002247 return 0;
Duncan Sandse2395dc2012-10-30 16:03:32 +00002248 unsigned PtrSize = SrcIntPtrTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002249 if (MidSize >= PtrSize)
2250 return Instruction::BitCast;
2251 return 0;
2252 }
2253 case 8: {
2254 // ext, trunc -> bitcast, if the SrcTy and DstTy are same size
2255 // ext, trunc -> ext, if sizeof(SrcTy) < sizeof(DstTy)
2256 // ext, trunc -> trunc, if sizeof(SrcTy) > sizeof(DstTy)
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002257 unsigned SrcSize = SrcTy->getScalarSizeInBits();
2258 unsigned DstSize = DstTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002259 if (SrcSize == DstSize)
2260 return Instruction::BitCast;
2261 else if (SrcSize < DstSize)
2262 return firstOp;
2263 return secondOp;
2264 }
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002265 case 9:
2266 // zext, sext -> zext, because sext can't sign extend after zext
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002267 return Instruction::ZExt;
2268 case 10:
2269 // fpext followed by ftrunc is allowed if the bit size returned to is
2270 // the same as the original, in which case its just a bitcast
2271 if (SrcTy == DstTy)
2272 return Instruction::BitCast;
2273 return 0; // If the types are not the same we can't eliminate it.
Matt Arsenault130e0ef2013-07-30 22:27:10 +00002274 case 11: {
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002275 // inttoptr, ptrtoint -> bitcast if SrcSize<=PtrSize and SrcSize==DstSize
Duncan Sandse2395dc2012-10-30 16:03:32 +00002276 if (!MidIntPtrTy)
Dan Gohman9413de12009-07-21 23:19:40 +00002277 return 0;
Duncan Sandse2395dc2012-10-30 16:03:32 +00002278 unsigned PtrSize = MidIntPtrTy->getScalarSizeInBits();
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002279 unsigned SrcSize = SrcTy->getScalarSizeInBits();
2280 unsigned DstSize = DstTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002281 if (SrcSize <= PtrSize && SrcSize == DstSize)
2282 return Instruction::BitCast;
2283 return 0;
2284 }
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002285 case 12: {
2286 // addrspacecast, addrspacecast -> bitcast, if SrcAS == DstAS
2287 // addrspacecast, addrspacecast -> addrspacecast, if SrcAS != DstAS
2288 if (SrcTy->getPointerAddressSpace() != DstTy->getPointerAddressSpace())
2289 return Instruction::AddrSpaceCast;
2290 return Instruction::BitCast;
2291 }
2292 case 13:
2293 // FIXME: this state can be merged with (1), but the following assert
2294 // is useful to check the correcteness of the sequence due to semantic
2295 // change of bitcast.
2296 assert(
2297 SrcTy->isPtrOrPtrVectorTy() &&
2298 MidTy->isPtrOrPtrVectorTy() &&
2299 DstTy->isPtrOrPtrVectorTy() &&
2300 SrcTy->getPointerAddressSpace() != MidTy->getPointerAddressSpace() &&
2301 MidTy->getPointerAddressSpace() == DstTy->getPointerAddressSpace() &&
2302 "Illegal addrspacecast, bitcast sequence!");
2303 // Allowed, use first cast's opcode
2304 return firstOp;
2305 case 14:
2306 // FIXME: this state can be merged with (2), but the following assert
2307 // is useful to check the correcteness of the sequence due to semantic
2308 // change of bitcast.
2309 assert(
2310 SrcTy->isPtrOrPtrVectorTy() &&
2311 MidTy->isPtrOrPtrVectorTy() &&
2312 DstTy->isPtrOrPtrVectorTy() &&
2313 SrcTy->getPointerAddressSpace() == MidTy->getPointerAddressSpace() &&
2314 MidTy->getPointerAddressSpace() != DstTy->getPointerAddressSpace() &&
2315 "Illegal bitcast, addrspacecast sequence!");
2316 // Allowed, use second cast's opcode
2317 return secondOp;
2318 case 15:
2319 // FIXME: this state can be merged with (1), but the following assert
2320 // is useful to check the correcteness of the sequence due to semantic
2321 // change of bitcast.
2322 assert(
2323 SrcTy->isIntOrIntVectorTy() &&
2324 MidTy->isPtrOrPtrVectorTy() &&
2325 DstTy->isPtrOrPtrVectorTy() &&
2326 MidTy->getPointerAddressSpace() == DstTy->getPointerAddressSpace() &&
2327 "Illegal inttoptr, bitcast sequence!");
2328 // Allowed, use first cast's opcode
2329 return firstOp;
2330 case 16:
2331 // FIXME: this state can be merged with (2), but the following assert
2332 // is useful to check the correcteness of the sequence due to semantic
2333 // change of bitcast.
2334 assert(
2335 SrcTy->isPtrOrPtrVectorTy() &&
2336 MidTy->isPtrOrPtrVectorTy() &&
2337 DstTy->isIntOrIntVectorTy() &&
2338 SrcTy->getPointerAddressSpace() == MidTy->getPointerAddressSpace() &&
2339 "Illegal bitcast, ptrtoint sequence!");
2340 // Allowed, use second cast's opcode
2341 return secondOp;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002342 case 99:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002343 // Cast combination can't happen (error in input). This is for all cases
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002344 // where the MidTy is not the same for the two cast instructions.
Craig Topperc514b542012-02-05 22:14:15 +00002345 llvm_unreachable("Invalid Cast Combination");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002346 default:
Craig Topperc514b542012-02-05 22:14:15 +00002347 llvm_unreachable("Error in CastResults table!!!");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002348 }
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002349}
2350
Chris Lattner229907c2011-07-18 04:54:35 +00002351CastInst *CastInst::Create(Instruction::CastOps op, Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002352 const Twine &Name, Instruction *InsertBefore) {
Duncan Sands7f646562011-05-18 09:21:57 +00002353 assert(castIsValid(op, S, Ty) && "Invalid cast!");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002354 // Construct and return the appropriate CastInst subclass
2355 switch (op) {
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002356 case Trunc: return new TruncInst (S, Ty, Name, InsertBefore);
2357 case ZExt: return new ZExtInst (S, Ty, Name, InsertBefore);
2358 case SExt: return new SExtInst (S, Ty, Name, InsertBefore);
2359 case FPTrunc: return new FPTruncInst (S, Ty, Name, InsertBefore);
2360 case FPExt: return new FPExtInst (S, Ty, Name, InsertBefore);
2361 case UIToFP: return new UIToFPInst (S, Ty, Name, InsertBefore);
2362 case SIToFP: return new SIToFPInst (S, Ty, Name, InsertBefore);
2363 case FPToUI: return new FPToUIInst (S, Ty, Name, InsertBefore);
2364 case FPToSI: return new FPToSIInst (S, Ty, Name, InsertBefore);
2365 case PtrToInt: return new PtrToIntInst (S, Ty, Name, InsertBefore);
2366 case IntToPtr: return new IntToPtrInst (S, Ty, Name, InsertBefore);
2367 case BitCast: return new BitCastInst (S, Ty, Name, InsertBefore);
2368 case AddrSpaceCast: return new AddrSpaceCastInst (S, Ty, Name, InsertBefore);
2369 default: llvm_unreachable("Invalid opcode provided");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002370 }
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002371}
2372
Chris Lattner229907c2011-07-18 04:54:35 +00002373CastInst *CastInst::Create(Instruction::CastOps op, Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002374 const Twine &Name, BasicBlock *InsertAtEnd) {
Duncan Sands7f646562011-05-18 09:21:57 +00002375 assert(castIsValid(op, S, Ty) && "Invalid cast!");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002376 // Construct and return the appropriate CastInst subclass
2377 switch (op) {
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002378 case Trunc: return new TruncInst (S, Ty, Name, InsertAtEnd);
2379 case ZExt: return new ZExtInst (S, Ty, Name, InsertAtEnd);
2380 case SExt: return new SExtInst (S, Ty, Name, InsertAtEnd);
2381 case FPTrunc: return new FPTruncInst (S, Ty, Name, InsertAtEnd);
2382 case FPExt: return new FPExtInst (S, Ty, Name, InsertAtEnd);
2383 case UIToFP: return new UIToFPInst (S, Ty, Name, InsertAtEnd);
2384 case SIToFP: return new SIToFPInst (S, Ty, Name, InsertAtEnd);
2385 case FPToUI: return new FPToUIInst (S, Ty, Name, InsertAtEnd);
2386 case FPToSI: return new FPToSIInst (S, Ty, Name, InsertAtEnd);
2387 case PtrToInt: return new PtrToIntInst (S, Ty, Name, InsertAtEnd);
2388 case IntToPtr: return new IntToPtrInst (S, Ty, Name, InsertAtEnd);
2389 case BitCast: return new BitCastInst (S, Ty, Name, InsertAtEnd);
2390 case AddrSpaceCast: return new AddrSpaceCastInst (S, Ty, Name, InsertAtEnd);
2391 default: llvm_unreachable("Invalid opcode provided");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002392 }
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002393}
2394
Chris Lattner229907c2011-07-18 04:54:35 +00002395CastInst *CastInst::CreateZExtOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002396 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002397 Instruction *InsertBefore) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002398 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002399 return Create(Instruction::BitCast, S, Ty, Name, InsertBefore);
2400 return Create(Instruction::ZExt, S, Ty, Name, InsertBefore);
Reid Spencer5c140882006-12-04 20:17:56 +00002401}
2402
Chris Lattner229907c2011-07-18 04:54:35 +00002403CastInst *CastInst::CreateZExtOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002404 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002405 BasicBlock *InsertAtEnd) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002406 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002407 return Create(Instruction::BitCast, S, Ty, Name, InsertAtEnd);
2408 return Create(Instruction::ZExt, S, Ty, Name, InsertAtEnd);
Reid Spencer5c140882006-12-04 20:17:56 +00002409}
2410
Chris Lattner229907c2011-07-18 04:54:35 +00002411CastInst *CastInst::CreateSExtOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002412 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002413 Instruction *InsertBefore) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002414 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002415 return Create(Instruction::BitCast, S, Ty, Name, InsertBefore);
2416 return Create(Instruction::SExt, S, Ty, Name, InsertBefore);
Reid Spencer5c140882006-12-04 20:17:56 +00002417}
2418
Chris Lattner229907c2011-07-18 04:54:35 +00002419CastInst *CastInst::CreateSExtOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002420 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002421 BasicBlock *InsertAtEnd) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002422 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002423 return Create(Instruction::BitCast, S, Ty, Name, InsertAtEnd);
2424 return Create(Instruction::SExt, S, Ty, Name, InsertAtEnd);
Reid Spencer5c140882006-12-04 20:17:56 +00002425}
2426
Chris Lattner229907c2011-07-18 04:54:35 +00002427CastInst *CastInst::CreateTruncOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002428 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002429 Instruction *InsertBefore) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002430 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002431 return Create(Instruction::BitCast, S, Ty, Name, InsertBefore);
2432 return Create(Instruction::Trunc, S, Ty, Name, InsertBefore);
Reid Spencer5c140882006-12-04 20:17:56 +00002433}
2434
Chris Lattner229907c2011-07-18 04:54:35 +00002435CastInst *CastInst::CreateTruncOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002436 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002437 BasicBlock *InsertAtEnd) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002438 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002439 return Create(Instruction::BitCast, S, Ty, Name, InsertAtEnd);
2440 return Create(Instruction::Trunc, S, Ty, Name, InsertAtEnd);
Reid Spencer5c140882006-12-04 20:17:56 +00002441}
2442
Chris Lattner229907c2011-07-18 04:54:35 +00002443CastInst *CastInst::CreatePointerCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002444 const Twine &Name,
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002445 BasicBlock *InsertAtEnd) {
Matt Arsenault065ced92013-07-31 00:17:33 +00002446 assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast");
2447 assert((Ty->isIntOrIntVectorTy() || Ty->isPtrOrPtrVectorTy()) &&
2448 "Invalid cast");
2449 assert(Ty->isVectorTy() == S->getType()->isVectorTy() && "Invalid cast");
Richard Trieu8dc43232013-07-31 04:07:28 +00002450 assert((!Ty->isVectorTy() ||
2451 Ty->getVectorNumElements() == S->getType()->getVectorNumElements()) &&
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002452 "Invalid cast");
2453
Matt Arsenault065ced92013-07-31 00:17:33 +00002454 if (Ty->isIntOrIntVectorTy())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002455 return Create(Instruction::PtrToInt, S, Ty, Name, InsertAtEnd);
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002456
2457 Type *STy = S->getType();
2458 if (STy->getPointerAddressSpace() != Ty->getPointerAddressSpace())
2459 return Create(Instruction::AddrSpaceCast, S, Ty, Name, InsertAtEnd);
2460
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002461 return Create(Instruction::BitCast, S, Ty, Name, InsertAtEnd);
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002462}
2463
2464/// @brief Create a BitCast or a PtrToInt cast instruction
Matt Arsenault065ced92013-07-31 00:17:33 +00002465CastInst *CastInst::CreatePointerCast(Value *S, Type *Ty,
2466 const Twine &Name,
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002467 Instruction *InsertBefore) {
Evgeniy Stepanovc9bd35b2013-01-15 16:43:00 +00002468 assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast");
2469 assert((Ty->isIntOrIntVectorTy() || Ty->isPtrOrPtrVectorTy()) &&
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002470 "Invalid cast");
Matt Arsenault065ced92013-07-31 00:17:33 +00002471 assert(Ty->isVectorTy() == S->getType()->isVectorTy() && "Invalid cast");
Richard Trieu8dc43232013-07-31 04:07:28 +00002472 assert((!Ty->isVectorTy() ||
2473 Ty->getVectorNumElements() == S->getType()->getVectorNumElements()) &&
Matt Arsenault065ced92013-07-31 00:17:33 +00002474 "Invalid cast");
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002475
Evgeniy Stepanovc9bd35b2013-01-15 16:43:00 +00002476 if (Ty->isIntOrIntVectorTy())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002477 return Create(Instruction::PtrToInt, S, Ty, Name, InsertBefore);
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002478
2479 Type *STy = S->getType();
2480 if (STy->getPointerAddressSpace() != Ty->getPointerAddressSpace())
2481 return Create(Instruction::AddrSpaceCast, S, Ty, Name, InsertBefore);
2482
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002483 return Create(Instruction::BitCast, S, Ty, Name, InsertBefore);
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002484}
2485
Chris Lattner229907c2011-07-18 04:54:35 +00002486CastInst *CastInst::CreateIntegerCast(Value *C, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002487 bool isSigned, const Twine &Name,
Reid Spencer7e933472006-12-12 00:49:44 +00002488 Instruction *InsertBefore) {
Duncan Sands9dff9be2010-02-15 16:12:20 +00002489 assert(C->getType()->isIntOrIntVectorTy() && Ty->isIntOrIntVectorTy() &&
Chris Lattner5370ae72010-01-10 20:21:42 +00002490 "Invalid integer cast");
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002491 unsigned SrcBits = C->getType()->getScalarSizeInBits();
2492 unsigned DstBits = Ty->getScalarSizeInBits();
Reid Spencer7e933472006-12-12 00:49:44 +00002493 Instruction::CastOps opcode =
2494 (SrcBits == DstBits ? Instruction::BitCast :
2495 (SrcBits > DstBits ? Instruction::Trunc :
2496 (isSigned ? Instruction::SExt : Instruction::ZExt)));
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002497 return Create(opcode, C, Ty, Name, InsertBefore);
Reid Spencer7e933472006-12-12 00:49:44 +00002498}
2499
Chris Lattner229907c2011-07-18 04:54:35 +00002500CastInst *CastInst::CreateIntegerCast(Value *C, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002501 bool isSigned, const Twine &Name,
Reid Spencer7e933472006-12-12 00:49:44 +00002502 BasicBlock *InsertAtEnd) {
Duncan Sands9dff9be2010-02-15 16:12:20 +00002503 assert(C->getType()->isIntOrIntVectorTy() && Ty->isIntOrIntVectorTy() &&
Dan Gohman7889f2b2009-06-15 22:25:12 +00002504 "Invalid cast");
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002505 unsigned SrcBits = C->getType()->getScalarSizeInBits();
2506 unsigned DstBits = Ty->getScalarSizeInBits();
Reid Spencer7e933472006-12-12 00:49:44 +00002507 Instruction::CastOps opcode =
2508 (SrcBits == DstBits ? Instruction::BitCast :
2509 (SrcBits > DstBits ? Instruction::Trunc :
2510 (isSigned ? Instruction::SExt : Instruction::ZExt)));
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002511 return Create(opcode, C, Ty, Name, InsertAtEnd);
Reid Spencer7e933472006-12-12 00:49:44 +00002512}
2513
Chris Lattner229907c2011-07-18 04:54:35 +00002514CastInst *CastInst::CreateFPCast(Value *C, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002515 const Twine &Name,
Reid Spencer7e933472006-12-12 00:49:44 +00002516 Instruction *InsertBefore) {
Duncan Sands9dff9be2010-02-15 16:12:20 +00002517 assert(C->getType()->isFPOrFPVectorTy() && Ty->isFPOrFPVectorTy() &&
Reid Spencer7e933472006-12-12 00:49:44 +00002518 "Invalid cast");
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002519 unsigned SrcBits = C->getType()->getScalarSizeInBits();
2520 unsigned DstBits = Ty->getScalarSizeInBits();
Reid Spencer7e933472006-12-12 00:49:44 +00002521 Instruction::CastOps opcode =
2522 (SrcBits == DstBits ? Instruction::BitCast :
2523 (SrcBits > DstBits ? Instruction::FPTrunc : Instruction::FPExt));
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002524 return Create(opcode, C, Ty, Name, InsertBefore);
Reid Spencer7e933472006-12-12 00:49:44 +00002525}
2526
Chris Lattner229907c2011-07-18 04:54:35 +00002527CastInst *CastInst::CreateFPCast(Value *C, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002528 const Twine &Name,
Reid Spencer7e933472006-12-12 00:49:44 +00002529 BasicBlock *InsertAtEnd) {
Duncan Sands9dff9be2010-02-15 16:12:20 +00002530 assert(C->getType()->isFPOrFPVectorTy() && Ty->isFPOrFPVectorTy() &&
Reid Spencer7e933472006-12-12 00:49:44 +00002531 "Invalid cast");
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002532 unsigned SrcBits = C->getType()->getScalarSizeInBits();
2533 unsigned DstBits = Ty->getScalarSizeInBits();
Reid Spencer7e933472006-12-12 00:49:44 +00002534 Instruction::CastOps opcode =
2535 (SrcBits == DstBits ? Instruction::BitCast :
2536 (SrcBits > DstBits ? Instruction::FPTrunc : Instruction::FPExt));
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002537 return Create(opcode, C, Ty, Name, InsertAtEnd);
Reid Spencer7e933472006-12-12 00:49:44 +00002538}
2539
Matt Arsenaultb4019ae2013-07-30 22:02:14 +00002540// Check whether it is valid to call getCastOpcode for these types.
2541// This routine must be kept in sync with getCastOpcode.
2542bool CastInst::isCastable(Type *SrcTy, Type *DestTy) {
2543 if (!SrcTy->isFirstClassType() || !DestTy->isFirstClassType())
2544 return false;
2545
2546 if (SrcTy == DestTy)
2547 return true;
2548
2549 if (VectorType *SrcVecTy = dyn_cast<VectorType>(SrcTy))
2550 if (VectorType *DestVecTy = dyn_cast<VectorType>(DestTy))
2551 if (SrcVecTy->getNumElements() == DestVecTy->getNumElements()) {
2552 // An element by element cast. Valid if casting the elements is valid.
2553 SrcTy = SrcVecTy->getElementType();
2554 DestTy = DestVecTy->getElementType();
2555 }
2556
2557 // Get the bit sizes, we'll need these
2558 unsigned SrcBits = SrcTy->getPrimitiveSizeInBits(); // 0 for ptr
2559 unsigned DestBits = DestTy->getPrimitiveSizeInBits(); // 0 for ptr
2560
2561 // Run through the possibilities ...
2562 if (DestTy->isIntegerTy()) { // Casting to integral
2563 if (SrcTy->isIntegerTy()) { // Casting from integral
2564 return true;
2565 } else if (SrcTy->isFloatingPointTy()) { // Casting from floating pt
2566 return true;
2567 } else if (SrcTy->isVectorTy()) { // Casting from vector
2568 return DestBits == SrcBits;
2569 } else { // Casting from something else
2570 return SrcTy->isPointerTy();
2571 }
2572 } else if (DestTy->isFloatingPointTy()) { // Casting to floating pt
2573 if (SrcTy->isIntegerTy()) { // Casting from integral
2574 return true;
2575 } else if (SrcTy->isFloatingPointTy()) { // Casting from floating pt
2576 return true;
2577 } else if (SrcTy->isVectorTy()) { // Casting from vector
2578 return DestBits == SrcBits;
2579 } else { // Casting from something else
2580 return false;
2581 }
2582 } else if (DestTy->isVectorTy()) { // Casting to vector
2583 return DestBits == SrcBits;
2584 } else if (DestTy->isPointerTy()) { // Casting to pointer
2585 if (SrcTy->isPointerTy()) { // Casting from pointer
2586 return true;
2587 } else if (SrcTy->isIntegerTy()) { // Casting from integral
2588 return true;
2589 } else { // Casting from something else
2590 return false;
2591 }
2592 } else if (DestTy->isX86_MMXTy()) {
2593 if (SrcTy->isVectorTy()) {
2594 return DestBits == SrcBits; // 64-bit vector to MMX
2595 } else {
2596 return false;
2597 }
2598 } else { // Casting to something else
2599 return false;
2600 }
2601}
2602
Matt Arsenaultcacbb232013-07-30 20:45:05 +00002603bool CastInst::isBitCastable(Type *SrcTy, Type *DestTy) {
2604 if (!SrcTy->isFirstClassType() || !DestTy->isFirstClassType())
2605 return false;
2606
2607 if (SrcTy == DestTy)
2608 return true;
2609
2610 if (VectorType *SrcVecTy = dyn_cast<VectorType>(SrcTy)) {
2611 if (VectorType *DestVecTy = dyn_cast<VectorType>(DestTy)) {
2612 if (SrcVecTy->getNumElements() == DestVecTy->getNumElements()) {
2613 // An element by element cast. Valid if casting the elements is valid.
2614 SrcTy = SrcVecTy->getElementType();
2615 DestTy = DestVecTy->getElementType();
2616 }
2617 }
2618 }
2619
2620 if (PointerType *DestPtrTy = dyn_cast<PointerType>(DestTy)) {
2621 if (PointerType *SrcPtrTy = dyn_cast<PointerType>(SrcTy)) {
2622 return SrcPtrTy->getAddressSpace() == DestPtrTy->getAddressSpace();
2623 }
2624 }
2625
2626 unsigned SrcBits = SrcTy->getPrimitiveSizeInBits(); // 0 for ptr
2627 unsigned DestBits = DestTy->getPrimitiveSizeInBits(); // 0 for ptr
2628
2629 // Could still have vectors of pointers if the number of elements doesn't
2630 // match
2631 if (SrcBits == 0 || DestBits == 0)
2632 return false;
2633
2634 if (SrcBits != DestBits)
2635 return false;
2636
2637 if (DestTy->isX86_MMXTy() || SrcTy->isX86_MMXTy())
2638 return false;
2639
2640 return true;
2641}
2642
2643// Provide a way to get a "cast" where the cast opcode is inferred from the
2644// types and size of the operand. This, basically, is a parallel of the
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002645// logic in the castIsValid function below. This axiom should hold:
2646// castIsValid( getCastOpcode(Val, Ty), Val, Ty)
2647// should not assert in castIsValid. In other words, this produces a "correct"
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002648// casting opcode for the arguments passed to it.
Duncan Sands55e50902008-01-06 10:12:28 +00002649// This routine must be kept in sync with isCastable.
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002650Instruction::CastOps
Reid Spencerc4dacf22006-12-04 02:43:42 +00002651CastInst::getCastOpcode(
Chris Lattner229907c2011-07-18 04:54:35 +00002652 const Value *Src, bool SrcIsSigned, Type *DestTy, bool DestIsSigned) {
2653 Type *SrcTy = Src->getType();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002654
Duncan Sands55e50902008-01-06 10:12:28 +00002655 assert(SrcTy->isFirstClassType() && DestTy->isFirstClassType() &&
2656 "Only first class types are castable!");
2657
Duncan Sandsa8514532011-05-18 07:13:41 +00002658 if (SrcTy == DestTy)
2659 return BitCast;
2660
Matt Arsenaultcacbb232013-07-30 20:45:05 +00002661 // FIXME: Check address space sizes here
Chris Lattner229907c2011-07-18 04:54:35 +00002662 if (VectorType *SrcVecTy = dyn_cast<VectorType>(SrcTy))
2663 if (VectorType *DestVecTy = dyn_cast<VectorType>(DestTy))
Duncan Sandsa8514532011-05-18 07:13:41 +00002664 if (SrcVecTy->getNumElements() == DestVecTy->getNumElements()) {
2665 // An element by element cast. Find the appropriate opcode based on the
2666 // element types.
2667 SrcTy = SrcVecTy->getElementType();
2668 DestTy = DestVecTy->getElementType();
2669 }
2670
2671 // Get the bit sizes, we'll need these
Duncan Sands7f646562011-05-18 09:21:57 +00002672 unsigned SrcBits = SrcTy->getPrimitiveSizeInBits(); // 0 for ptr
2673 unsigned DestBits = DestTy->getPrimitiveSizeInBits(); // 0 for ptr
Duncan Sandsa8514532011-05-18 07:13:41 +00002674
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002675 // Run through the possibilities ...
Duncan Sands9dff9be2010-02-15 16:12:20 +00002676 if (DestTy->isIntegerTy()) { // Casting to integral
2677 if (SrcTy->isIntegerTy()) { // Casting from integral
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002678 if (DestBits < SrcBits)
2679 return Trunc; // int -> smaller int
2680 else if (DestBits > SrcBits) { // its an extension
Reid Spencerc4dacf22006-12-04 02:43:42 +00002681 if (SrcIsSigned)
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002682 return SExt; // signed -> SEXT
2683 else
2684 return ZExt; // unsigned -> ZEXT
2685 } else {
2686 return BitCast; // Same size, No-op cast
2687 }
Duncan Sands9dff9be2010-02-15 16:12:20 +00002688 } else if (SrcTy->isFloatingPointTy()) { // Casting from floating pt
Reid Spencerc4dacf22006-12-04 02:43:42 +00002689 if (DestIsSigned)
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002690 return FPToSI; // FP -> sint
2691 else
2692 return FPToUI; // FP -> uint
Duncan Sands27bd0df2011-05-18 10:59:25 +00002693 } else if (SrcTy->isVectorTy()) {
2694 assert(DestBits == SrcBits &&
2695 "Casting vector to integer of different width");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002696 return BitCast; // Same size, no-op cast
2697 } else {
Duncan Sands19d0b472010-02-16 11:11:14 +00002698 assert(SrcTy->isPointerTy() &&
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002699 "Casting from a value that is not first-class type");
2700 return PtrToInt; // ptr -> int
2701 }
Duncan Sands9dff9be2010-02-15 16:12:20 +00002702 } else if (DestTy->isFloatingPointTy()) { // Casting to floating pt
2703 if (SrcTy->isIntegerTy()) { // Casting from integral
Reid Spencerc4dacf22006-12-04 02:43:42 +00002704 if (SrcIsSigned)
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002705 return SIToFP; // sint -> FP
2706 else
2707 return UIToFP; // uint -> FP
Duncan Sands9dff9be2010-02-15 16:12:20 +00002708 } else if (SrcTy->isFloatingPointTy()) { // Casting from floating pt
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002709 if (DestBits < SrcBits) {
2710 return FPTrunc; // FP -> smaller FP
2711 } else if (DestBits > SrcBits) {
2712 return FPExt; // FP -> larger FP
2713 } else {
2714 return BitCast; // same size, no-op cast
2715 }
Duncan Sands27bd0df2011-05-18 10:59:25 +00002716 } else if (SrcTy->isVectorTy()) {
2717 assert(DestBits == SrcBits &&
Dan Gohmanfead7972007-05-11 21:43:24 +00002718 "Casting vector to floating point of different width");
Devang Patele9432132008-11-05 01:37:40 +00002719 return BitCast; // same size, no-op cast
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002720 }
Ahmed Charles636a3d62012-02-19 11:37:01 +00002721 llvm_unreachable("Casting pointer or non-first class to float");
Duncan Sands27bd0df2011-05-18 10:59:25 +00002722 } else if (DestTy->isVectorTy()) {
2723 assert(DestBits == SrcBits &&
2724 "Illegal cast to vector (wrong type or size)");
2725 return BitCast;
Duncan Sands19d0b472010-02-16 11:11:14 +00002726 } else if (DestTy->isPointerTy()) {
2727 if (SrcTy->isPointerTy()) {
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002728 if (DestTy->getPointerAddressSpace() != SrcTy->getPointerAddressSpace())
2729 return AddrSpaceCast;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002730 return BitCast; // ptr -> ptr
Duncan Sands9dff9be2010-02-15 16:12:20 +00002731 } else if (SrcTy->isIntegerTy()) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002732 return IntToPtr; // int -> ptr
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002733 }
Ahmed Charles636a3d62012-02-19 11:37:01 +00002734 llvm_unreachable("Casting pointer to other than pointer or int");
Dale Johannesendd224d22010-09-30 23:57:10 +00002735 } else if (DestTy->isX86_MMXTy()) {
Duncan Sands27bd0df2011-05-18 10:59:25 +00002736 if (SrcTy->isVectorTy()) {
2737 assert(DestBits == SrcBits && "Casting vector of wrong width to X86_MMX");
Dale Johannesendd224d22010-09-30 23:57:10 +00002738 return BitCast; // 64-bit vector to MMX
Dale Johannesendd224d22010-09-30 23:57:10 +00002739 }
Ahmed Charles636a3d62012-02-19 11:37:01 +00002740 llvm_unreachable("Illegal cast to X86_MMX");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002741 }
Ahmed Charles636a3d62012-02-19 11:37:01 +00002742 llvm_unreachable("Casting to type that is not first-class");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002743}
2744
2745//===----------------------------------------------------------------------===//
2746// CastInst SubClass Constructors
2747//===----------------------------------------------------------------------===//
2748
2749/// Check that the construction parameters for a CastInst are correct. This
2750/// could be broken out into the separate constructors but it is useful to have
2751/// it in one place and to eliminate the redundant code for getting the sizes
2752/// of the types involved.
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002753bool
Chris Lattner229907c2011-07-18 04:54:35 +00002754CastInst::castIsValid(Instruction::CastOps op, Value *S, Type *DstTy) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002755
2756 // Check for type sanity on the arguments
Chris Lattner229907c2011-07-18 04:54:35 +00002757 Type *SrcTy = S->getType();
Evan Cheng098d7b72013-01-10 23:22:53 +00002758
2759 // If this is a cast to the same type then it's trivially true.
2760 if (SrcTy == DstTy)
2761 return true;
2762
Chris Lattner37bc78a2010-01-26 21:51:43 +00002763 if (!SrcTy->isFirstClassType() || !DstTy->isFirstClassType() ||
2764 SrcTy->isAggregateType() || DstTy->isAggregateType())
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002765 return false;
2766
2767 // Get the size of the types in bits, we'll need this later
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002768 unsigned SrcBitSize = SrcTy->getScalarSizeInBits();
2769 unsigned DstBitSize = DstTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002770
Duncan Sands7f646562011-05-18 09:21:57 +00002771 // If these are vector types, get the lengths of the vectors (using zero for
2772 // scalar types means that checking that vector lengths match also checks that
2773 // scalars are not being converted to vectors or vectors to scalars).
2774 unsigned SrcLength = SrcTy->isVectorTy() ?
2775 cast<VectorType>(SrcTy)->getNumElements() : 0;
2776 unsigned DstLength = DstTy->isVectorTy() ?
2777 cast<VectorType>(DstTy)->getNumElements() : 0;
2778
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002779 // Switch on the opcode provided
2780 switch (op) {
2781 default: return false; // This is an input error
2782 case Instruction::Trunc:
Duncan Sands7f646562011-05-18 09:21:57 +00002783 return SrcTy->isIntOrIntVectorTy() && DstTy->isIntOrIntVectorTy() &&
2784 SrcLength == DstLength && SrcBitSize > DstBitSize;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002785 case Instruction::ZExt:
Duncan Sands7f646562011-05-18 09:21:57 +00002786 return SrcTy->isIntOrIntVectorTy() && DstTy->isIntOrIntVectorTy() &&
2787 SrcLength == DstLength && SrcBitSize < DstBitSize;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002788 case Instruction::SExt:
Duncan Sands7f646562011-05-18 09:21:57 +00002789 return SrcTy->isIntOrIntVectorTy() && DstTy->isIntOrIntVectorTy() &&
2790 SrcLength == DstLength && SrcBitSize < DstBitSize;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002791 case Instruction::FPTrunc:
Duncan Sands7f646562011-05-18 09:21:57 +00002792 return SrcTy->isFPOrFPVectorTy() && DstTy->isFPOrFPVectorTy() &&
2793 SrcLength == DstLength && SrcBitSize > DstBitSize;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002794 case Instruction::FPExt:
Duncan Sands7f646562011-05-18 09:21:57 +00002795 return SrcTy->isFPOrFPVectorTy() && DstTy->isFPOrFPVectorTy() &&
2796 SrcLength == DstLength && SrcBitSize < DstBitSize;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002797 case Instruction::UIToFP:
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002798 case Instruction::SIToFP:
Duncan Sands7f646562011-05-18 09:21:57 +00002799 return SrcTy->isIntOrIntVectorTy() && DstTy->isFPOrFPVectorTy() &&
2800 SrcLength == DstLength;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002801 case Instruction::FPToUI:
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002802 case Instruction::FPToSI:
Duncan Sands7f646562011-05-18 09:21:57 +00002803 return SrcTy->isFPOrFPVectorTy() && DstTy->isIntOrIntVectorTy() &&
2804 SrcLength == DstLength;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002805 case Instruction::PtrToInt:
Chris Lattner8a3df542012-01-25 01:32:59 +00002806 if (isa<VectorType>(SrcTy) != isa<VectorType>(DstTy))
Nadav Rotem3924cb02011-12-05 06:29:09 +00002807 return false;
Chris Lattner8a3df542012-01-25 01:32:59 +00002808 if (VectorType *VT = dyn_cast<VectorType>(SrcTy))
2809 if (VT->getNumElements() != cast<VectorType>(DstTy)->getNumElements())
2810 return false;
Nadav Rotem3924cb02011-12-05 06:29:09 +00002811 return SrcTy->getScalarType()->isPointerTy() &&
2812 DstTy->getScalarType()->isIntegerTy();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002813 case Instruction::IntToPtr:
Chris Lattner8a3df542012-01-25 01:32:59 +00002814 if (isa<VectorType>(SrcTy) != isa<VectorType>(DstTy))
Nadav Rotem3924cb02011-12-05 06:29:09 +00002815 return false;
Chris Lattner8a3df542012-01-25 01:32:59 +00002816 if (VectorType *VT = dyn_cast<VectorType>(SrcTy))
2817 if (VT->getNumElements() != cast<VectorType>(DstTy)->getNumElements())
2818 return false;
Nadav Rotem3924cb02011-12-05 06:29:09 +00002819 return SrcTy->getScalarType()->isIntegerTy() &&
2820 DstTy->getScalarType()->isPointerTy();
Matt Arsenaultfc3c91d2014-01-22 19:21:33 +00002821 case Instruction::BitCast: {
2822 PointerType *SrcPtrTy = dyn_cast<PointerType>(SrcTy->getScalarType());
2823 PointerType *DstPtrTy = dyn_cast<PointerType>(DstTy->getScalarType());
2824
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002825 // BitCast implies a no-op cast of type only. No bits change.
2826 // However, you can't cast pointers to anything but pointers.
Matt Arsenaultfc3c91d2014-01-22 19:21:33 +00002827 if (!SrcPtrTy != !DstPtrTy)
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002828 return false;
2829
Alp Tokerf907b892013-12-05 05:44:44 +00002830 // For non-pointer cases, the cast is okay if the source and destination bit
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002831 // widths are identical.
Matt Arsenaultfc3c91d2014-01-22 19:21:33 +00002832 if (!SrcPtrTy)
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002833 return SrcTy->getPrimitiveSizeInBits() == DstTy->getPrimitiveSizeInBits();
2834
Matt Arsenaultfc3c91d2014-01-22 19:21:33 +00002835 // If both are pointers then the address spaces must match.
2836 if (SrcPtrTy->getAddressSpace() != DstPtrTy->getAddressSpace())
2837 return false;
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002838
Matt Arsenaultfc3c91d2014-01-22 19:21:33 +00002839 // A vector of pointers must have the same number of elements.
2840 if (VectorType *SrcVecTy = dyn_cast<VectorType>(SrcTy)) {
2841 if (VectorType *DstVecTy = dyn_cast<VectorType>(DstTy))
2842 return (SrcVecTy->getNumElements() == DstVecTy->getNumElements());
2843
2844 return false;
2845 }
2846
2847 return true;
2848 }
2849 case Instruction::AddrSpaceCast: {
2850 PointerType *SrcPtrTy = dyn_cast<PointerType>(SrcTy->getScalarType());
2851 if (!SrcPtrTy)
2852 return false;
2853
2854 PointerType *DstPtrTy = dyn_cast<PointerType>(DstTy->getScalarType());
2855 if (!DstPtrTy)
2856 return false;
2857
2858 if (SrcPtrTy->getAddressSpace() == DstPtrTy->getAddressSpace())
2859 return false;
2860
2861 if (VectorType *SrcVecTy = dyn_cast<VectorType>(SrcTy)) {
2862 if (VectorType *DstVecTy = dyn_cast<VectorType>(DstTy))
2863 return (SrcVecTy->getNumElements() == DstVecTy->getNumElements());
2864
2865 return false;
2866 }
2867
2868 return true;
2869 }
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002870 }
2871}
2872
2873TruncInst::TruncInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002874 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002875) : CastInst(Ty, Trunc, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002876 assert(castIsValid(getOpcode(), S, Ty) && "Illegal Trunc");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002877}
2878
2879TruncInst::TruncInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002880 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002881) : CastInst(Ty, Trunc, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002882 assert(castIsValid(getOpcode(), S, Ty) && "Illegal Trunc");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002883}
2884
2885ZExtInst::ZExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002886 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002887) : CastInst(Ty, ZExt, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002888 assert(castIsValid(getOpcode(), S, Ty) && "Illegal ZExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002889}
2890
2891ZExtInst::ZExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002892 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002893) : CastInst(Ty, ZExt, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002894 assert(castIsValid(getOpcode(), S, Ty) && "Illegal ZExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002895}
2896SExtInst::SExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002897 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002898) : CastInst(Ty, SExt, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002899 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002900}
2901
Jeff Cohencc08c832006-12-02 02:22:01 +00002902SExtInst::SExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002903 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002904) : CastInst(Ty, SExt, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002905 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002906}
2907
2908FPTruncInst::FPTruncInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002909 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002910) : CastInst(Ty, FPTrunc, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002911 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPTrunc");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002912}
2913
2914FPTruncInst::FPTruncInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002915 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002916) : CastInst(Ty, FPTrunc, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002917 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPTrunc");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002918}
2919
2920FPExtInst::FPExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002921 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002922) : CastInst(Ty, FPExt, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002923 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002924}
2925
2926FPExtInst::FPExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002927 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002928) : CastInst(Ty, FPExt, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002929 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002930}
2931
2932UIToFPInst::UIToFPInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002933 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002934) : CastInst(Ty, UIToFP, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002935 assert(castIsValid(getOpcode(), S, Ty) && "Illegal UIToFP");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002936}
2937
2938UIToFPInst::UIToFPInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002939 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002940) : CastInst(Ty, UIToFP, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002941 assert(castIsValid(getOpcode(), S, Ty) && "Illegal UIToFP");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002942}
2943
2944SIToFPInst::SIToFPInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002945 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002946) : CastInst(Ty, SIToFP, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002947 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SIToFP");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002948}
2949
2950SIToFPInst::SIToFPInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002951 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002952) : CastInst(Ty, SIToFP, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002953 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SIToFP");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002954}
2955
2956FPToUIInst::FPToUIInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002957 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002958) : CastInst(Ty, FPToUI, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002959 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToUI");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002960}
2961
2962FPToUIInst::FPToUIInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002963 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002964) : CastInst(Ty, FPToUI, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002965 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToUI");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002966}
2967
2968FPToSIInst::FPToSIInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002969 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002970) : CastInst(Ty, FPToSI, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002971 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToSI");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002972}
2973
2974FPToSIInst::FPToSIInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002975 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002976) : CastInst(Ty, FPToSI, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002977 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToSI");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002978}
2979
2980PtrToIntInst::PtrToIntInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002981 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002982) : CastInst(Ty, PtrToInt, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002983 assert(castIsValid(getOpcode(), S, Ty) && "Illegal PtrToInt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002984}
2985
2986PtrToIntInst::PtrToIntInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002987 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002988) : CastInst(Ty, PtrToInt, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002989 assert(castIsValid(getOpcode(), S, Ty) && "Illegal PtrToInt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002990}
2991
2992IntToPtrInst::IntToPtrInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002993 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002994) : CastInst(Ty, IntToPtr, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002995 assert(castIsValid(getOpcode(), S, Ty) && "Illegal IntToPtr");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002996}
2997
2998IntToPtrInst::IntToPtrInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002999 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00003000) : CastInst(Ty, IntToPtr, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00003001 assert(castIsValid(getOpcode(), S, Ty) && "Illegal IntToPtr");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00003002}
3003
3004BitCastInst::BitCastInst(
Chris Lattner229907c2011-07-18 04:54:35 +00003005 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00003006) : CastInst(Ty, BitCast, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00003007 assert(castIsValid(getOpcode(), S, Ty) && "Illegal BitCast");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00003008}
3009
3010BitCastInst::BitCastInst(
Chris Lattner229907c2011-07-18 04:54:35 +00003011 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00003012) : CastInst(Ty, BitCast, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00003013 assert(castIsValid(getOpcode(), S, Ty) && "Illegal BitCast");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00003014}
Chris Lattnerf16dc002006-09-17 19:29:56 +00003015
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00003016AddrSpaceCastInst::AddrSpaceCastInst(
3017 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
3018) : CastInst(Ty, AddrSpaceCast, S, Name, InsertBefore) {
3019 assert(castIsValid(getOpcode(), S, Ty) && "Illegal AddrSpaceCast");
3020}
3021
3022AddrSpaceCastInst::AddrSpaceCastInst(
3023 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
3024) : CastInst(Ty, AddrSpaceCast, S, Name, InsertAtEnd) {
3025 assert(castIsValid(getOpcode(), S, Ty) && "Illegal AddrSpaceCast");
3026}
3027
Chris Lattnerf16dc002006-09-17 19:29:56 +00003028//===----------------------------------------------------------------------===//
Reid Spencerd9436b62006-11-20 01:22:35 +00003029// CmpInst Classes
3030//===----------------------------------------------------------------------===//
3031
Craig Topper3186c012012-09-23 02:12:10 +00003032void CmpInst::anchor() {}
Chris Lattneraec33da2010-01-22 06:25:37 +00003033
Chris Lattner229907c2011-07-18 04:54:35 +00003034CmpInst::CmpInst(Type *ty, OtherOps op, unsigned short predicate,
Daniel Dunbar4975db62009-07-25 04:41:11 +00003035 Value *LHS, Value *RHS, const Twine &Name,
Nate Begemand2195702008-05-12 19:01:56 +00003036 Instruction *InsertBefore)
Nate Begeman66d0a0e2008-05-12 20:11:05 +00003037 : Instruction(ty, op,
Gabor Greiff6caff662008-05-10 08:32:32 +00003038 OperandTraits<CmpInst>::op_begin(this),
3039 OperandTraits<CmpInst>::operands(this),
3040 InsertBefore) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00003041 Op<0>() = LHS;
3042 Op<1>() = RHS;
Chris Lattnerb9c86512009-12-29 02:14:09 +00003043 setPredicate((Predicate)predicate);
Reid Spencer871a9ea2007-04-11 13:04:48 +00003044 setName(Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003045}
Gabor Greiff6caff662008-05-10 08:32:32 +00003046
Chris Lattner229907c2011-07-18 04:54:35 +00003047CmpInst::CmpInst(Type *ty, OtherOps op, unsigned short predicate,
Daniel Dunbar4975db62009-07-25 04:41:11 +00003048 Value *LHS, Value *RHS, const Twine &Name,
Nate Begemand2195702008-05-12 19:01:56 +00003049 BasicBlock *InsertAtEnd)
Nate Begeman66d0a0e2008-05-12 20:11:05 +00003050 : Instruction(ty, op,
Gabor Greiff6caff662008-05-10 08:32:32 +00003051 OperandTraits<CmpInst>::op_begin(this),
3052 OperandTraits<CmpInst>::operands(this),
3053 InsertAtEnd) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00003054 Op<0>() = LHS;
3055 Op<1>() = RHS;
Chris Lattnerb9c86512009-12-29 02:14:09 +00003056 setPredicate((Predicate)predicate);
Reid Spencer871a9ea2007-04-11 13:04:48 +00003057 setName(Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003058}
3059
3060CmpInst *
Dan Gohmanad1f0a12009-08-25 23:17:54 +00003061CmpInst::Create(OtherOps Op, unsigned short predicate,
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003062 Value *S1, Value *S2,
Daniel Dunbar4975db62009-07-25 04:41:11 +00003063 const Twine &Name, Instruction *InsertBefore) {
Reid Spencerd9436b62006-11-20 01:22:35 +00003064 if (Op == Instruction::ICmp) {
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003065 if (InsertBefore)
3066 return new ICmpInst(InsertBefore, CmpInst::Predicate(predicate),
3067 S1, S2, Name);
3068 else
Dan Gohmanad1f0a12009-08-25 23:17:54 +00003069 return new ICmpInst(CmpInst::Predicate(predicate),
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003070 S1, S2, Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003071 }
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003072
3073 if (InsertBefore)
3074 return new FCmpInst(InsertBefore, CmpInst::Predicate(predicate),
3075 S1, S2, Name);
3076 else
Dan Gohmanad1f0a12009-08-25 23:17:54 +00003077 return new FCmpInst(CmpInst::Predicate(predicate),
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003078 S1, S2, Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003079}
3080
3081CmpInst *
Gabor Greife1f6e4b2008-05-16 19:29:10 +00003082CmpInst::Create(OtherOps Op, unsigned short predicate, Value *S1, Value *S2,
Daniel Dunbar4975db62009-07-25 04:41:11 +00003083 const Twine &Name, BasicBlock *InsertAtEnd) {
Reid Spencerd9436b62006-11-20 01:22:35 +00003084 if (Op == Instruction::ICmp) {
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003085 return new ICmpInst(*InsertAtEnd, CmpInst::Predicate(predicate),
3086 S1, S2, Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003087 }
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003088 return new FCmpInst(*InsertAtEnd, CmpInst::Predicate(predicate),
3089 S1, S2, Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003090}
3091
3092void CmpInst::swapOperands() {
3093 if (ICmpInst *IC = dyn_cast<ICmpInst>(this))
3094 IC->swapOperands();
3095 else
3096 cast<FCmpInst>(this)->swapOperands();
3097}
3098
Duncan Sands95c4ecc2011-01-04 12:52:29 +00003099bool CmpInst::isCommutative() const {
3100 if (const ICmpInst *IC = dyn_cast<ICmpInst>(this))
Reid Spencerd9436b62006-11-20 01:22:35 +00003101 return IC->isCommutative();
3102 return cast<FCmpInst>(this)->isCommutative();
3103}
3104
Duncan Sands95c4ecc2011-01-04 12:52:29 +00003105bool CmpInst::isEquality() const {
3106 if (const ICmpInst *IC = dyn_cast<ICmpInst>(this))
Reid Spencerd9436b62006-11-20 01:22:35 +00003107 return IC->isEquality();
3108 return cast<FCmpInst>(this)->isEquality();
3109}
3110
3111
Dan Gohman4e724382008-05-31 02:47:54 +00003112CmpInst::Predicate CmpInst::getInversePredicate(Predicate pred) {
Reid Spencerd9436b62006-11-20 01:22:35 +00003113 switch (pred) {
Craig Topperc514b542012-02-05 22:14:15 +00003114 default: llvm_unreachable("Unknown cmp predicate!");
Reid Spencerd9436b62006-11-20 01:22:35 +00003115 case ICMP_EQ: return ICMP_NE;
3116 case ICMP_NE: return ICMP_EQ;
3117 case ICMP_UGT: return ICMP_ULE;
3118 case ICMP_ULT: return ICMP_UGE;
3119 case ICMP_UGE: return ICMP_ULT;
3120 case ICMP_ULE: return ICMP_UGT;
3121 case ICMP_SGT: return ICMP_SLE;
3122 case ICMP_SLT: return ICMP_SGE;
3123 case ICMP_SGE: return ICMP_SLT;
3124 case ICMP_SLE: return ICMP_SGT;
Reid Spencerd9436b62006-11-20 01:22:35 +00003125
Dan Gohman4e724382008-05-31 02:47:54 +00003126 case FCMP_OEQ: return FCMP_UNE;
3127 case FCMP_ONE: return FCMP_UEQ;
3128 case FCMP_OGT: return FCMP_ULE;
3129 case FCMP_OLT: return FCMP_UGE;
3130 case FCMP_OGE: return FCMP_ULT;
3131 case FCMP_OLE: return FCMP_UGT;
3132 case FCMP_UEQ: return FCMP_ONE;
3133 case FCMP_UNE: return FCMP_OEQ;
3134 case FCMP_UGT: return FCMP_OLE;
3135 case FCMP_ULT: return FCMP_OGE;
3136 case FCMP_UGE: return FCMP_OLT;
3137 case FCMP_ULE: return FCMP_OGT;
3138 case FCMP_ORD: return FCMP_UNO;
3139 case FCMP_UNO: return FCMP_ORD;
3140 case FCMP_TRUE: return FCMP_FALSE;
3141 case FCMP_FALSE: return FCMP_TRUE;
Reid Spencerd9436b62006-11-20 01:22:35 +00003142 }
3143}
3144
Reid Spencer266e42b2006-12-23 06:05:41 +00003145ICmpInst::Predicate ICmpInst::getSignedPredicate(Predicate pred) {
3146 switch (pred) {
Craig Topperc514b542012-02-05 22:14:15 +00003147 default: llvm_unreachable("Unknown icmp predicate!");
Reid Spencer266e42b2006-12-23 06:05:41 +00003148 case ICMP_EQ: case ICMP_NE:
3149 case ICMP_SGT: case ICMP_SLT: case ICMP_SGE: case ICMP_SLE:
3150 return pred;
3151 case ICMP_UGT: return ICMP_SGT;
3152 case ICMP_ULT: return ICMP_SLT;
3153 case ICMP_UGE: return ICMP_SGE;
3154 case ICMP_ULE: return ICMP_SLE;
3155 }
3156}
3157
Nick Lewycky8ea81e82008-01-28 03:48:02 +00003158ICmpInst::Predicate ICmpInst::getUnsignedPredicate(Predicate pred) {
3159 switch (pred) {
Craig Topperc514b542012-02-05 22:14:15 +00003160 default: llvm_unreachable("Unknown icmp predicate!");
Nick Lewycky8ea81e82008-01-28 03:48:02 +00003161 case ICMP_EQ: case ICMP_NE:
3162 case ICMP_UGT: case ICMP_ULT: case ICMP_UGE: case ICMP_ULE:
3163 return pred;
3164 case ICMP_SGT: return ICMP_UGT;
3165 case ICMP_SLT: return ICMP_ULT;
3166 case ICMP_SGE: return ICMP_UGE;
3167 case ICMP_SLE: return ICMP_ULE;
3168 }
3169}
3170
Reid Spencer0286bc12007-02-28 22:00:54 +00003171/// Initialize a set of values that all satisfy the condition with C.
3172///
3173ConstantRange
3174ICmpInst::makeConstantRange(Predicate pred, const APInt &C) {
3175 APInt Lower(C);
3176 APInt Upper(C);
3177 uint32_t BitWidth = C.getBitWidth();
3178 switch (pred) {
Torok Edwinfbcc6632009-07-14 16:55:14 +00003179 default: llvm_unreachable("Invalid ICmp opcode to ConstantRange ctor!");
Jakub Staszak773be0c2013-03-20 23:56:19 +00003180 case ICmpInst::ICMP_EQ: ++Upper; break;
3181 case ICmpInst::ICMP_NE: ++Lower; break;
Dan Gohmand86e2952010-01-26 16:04:20 +00003182 case ICmpInst::ICMP_ULT:
3183 Lower = APInt::getMinValue(BitWidth);
3184 // Check for an empty-set condition.
3185 if (Lower == Upper)
3186 return ConstantRange(BitWidth, /*isFullSet=*/false);
3187 break;
3188 case ICmpInst::ICMP_SLT:
3189 Lower = APInt::getSignedMinValue(BitWidth);
3190 // Check for an empty-set condition.
3191 if (Lower == Upper)
3192 return ConstantRange(BitWidth, /*isFullSet=*/false);
3193 break;
Reid Spencer0286bc12007-02-28 22:00:54 +00003194 case ICmpInst::ICMP_UGT:
Jakub Staszak773be0c2013-03-20 23:56:19 +00003195 ++Lower; Upper = APInt::getMinValue(BitWidth); // Min = Next(Max)
Dan Gohmand86e2952010-01-26 16:04:20 +00003196 // Check for an empty-set condition.
3197 if (Lower == Upper)
3198 return ConstantRange(BitWidth, /*isFullSet=*/false);
Reid Spencer0286bc12007-02-28 22:00:54 +00003199 break;
3200 case ICmpInst::ICMP_SGT:
Jakub Staszak773be0c2013-03-20 23:56:19 +00003201 ++Lower; Upper = APInt::getSignedMinValue(BitWidth); // Min = Next(Max)
Dan Gohmand86e2952010-01-26 16:04:20 +00003202 // Check for an empty-set condition.
3203 if (Lower == Upper)
3204 return ConstantRange(BitWidth, /*isFullSet=*/false);
Reid Spencer0286bc12007-02-28 22:00:54 +00003205 break;
3206 case ICmpInst::ICMP_ULE:
Jakub Staszak773be0c2013-03-20 23:56:19 +00003207 Lower = APInt::getMinValue(BitWidth); ++Upper;
Dan Gohmand86e2952010-01-26 16:04:20 +00003208 // Check for a full-set condition.
3209 if (Lower == Upper)
3210 return ConstantRange(BitWidth, /*isFullSet=*/true);
Reid Spencer0286bc12007-02-28 22:00:54 +00003211 break;
3212 case ICmpInst::ICMP_SLE:
Jakub Staszak773be0c2013-03-20 23:56:19 +00003213 Lower = APInt::getSignedMinValue(BitWidth); ++Upper;
Dan Gohmand86e2952010-01-26 16:04:20 +00003214 // Check for a full-set condition.
3215 if (Lower == Upper)
3216 return ConstantRange(BitWidth, /*isFullSet=*/true);
Reid Spencer0286bc12007-02-28 22:00:54 +00003217 break;
3218 case ICmpInst::ICMP_UGE:
3219 Upper = APInt::getMinValue(BitWidth); // Min = Next(Max)
Dan Gohmand86e2952010-01-26 16:04:20 +00003220 // Check for a full-set condition.
3221 if (Lower == Upper)
3222 return ConstantRange(BitWidth, /*isFullSet=*/true);
Reid Spencer0286bc12007-02-28 22:00:54 +00003223 break;
3224 case ICmpInst::ICMP_SGE:
3225 Upper = APInt::getSignedMinValue(BitWidth); // Min = Next(Max)
Dan Gohmand86e2952010-01-26 16:04:20 +00003226 // Check for a full-set condition.
3227 if (Lower == Upper)
3228 return ConstantRange(BitWidth, /*isFullSet=*/true);
Reid Spencer0286bc12007-02-28 22:00:54 +00003229 break;
3230 }
3231 return ConstantRange(Lower, Upper);
3232}
3233
Dan Gohman4e724382008-05-31 02:47:54 +00003234CmpInst::Predicate CmpInst::getSwappedPredicate(Predicate pred) {
Reid Spencerd9436b62006-11-20 01:22:35 +00003235 switch (pred) {
Craig Topperc514b542012-02-05 22:14:15 +00003236 default: llvm_unreachable("Unknown cmp predicate!");
Dan Gohman4e724382008-05-31 02:47:54 +00003237 case ICMP_EQ: case ICMP_NE:
3238 return pred;
3239 case ICMP_SGT: return ICMP_SLT;
3240 case ICMP_SLT: return ICMP_SGT;
3241 case ICMP_SGE: return ICMP_SLE;
3242 case ICMP_SLE: return ICMP_SGE;
3243 case ICMP_UGT: return ICMP_ULT;
3244 case ICMP_ULT: return ICMP_UGT;
3245 case ICMP_UGE: return ICMP_ULE;
3246 case ICMP_ULE: return ICMP_UGE;
3247
Reid Spencerd9436b62006-11-20 01:22:35 +00003248 case FCMP_FALSE: case FCMP_TRUE:
3249 case FCMP_OEQ: case FCMP_ONE:
3250 case FCMP_UEQ: case FCMP_UNE:
3251 case FCMP_ORD: case FCMP_UNO:
3252 return pred;
3253 case FCMP_OGT: return FCMP_OLT;
3254 case FCMP_OLT: return FCMP_OGT;
3255 case FCMP_OGE: return FCMP_OLE;
3256 case FCMP_OLE: return FCMP_OGE;
3257 case FCMP_UGT: return FCMP_ULT;
3258 case FCMP_ULT: return FCMP_UGT;
3259 case FCMP_UGE: return FCMP_ULE;
3260 case FCMP_ULE: return FCMP_UGE;
3261 }
3262}
3263
Reid Spencer266e42b2006-12-23 06:05:41 +00003264bool CmpInst::isUnsigned(unsigned short predicate) {
3265 switch (predicate) {
3266 default: return false;
3267 case ICmpInst::ICMP_ULT: case ICmpInst::ICMP_ULE: case ICmpInst::ICMP_UGT:
3268 case ICmpInst::ICMP_UGE: return true;
3269 }
3270}
3271
Nick Lewycky7494b3b2009-10-25 03:50:03 +00003272bool CmpInst::isSigned(unsigned short predicate) {
Reid Spencer266e42b2006-12-23 06:05:41 +00003273 switch (predicate) {
3274 default: return false;
3275 case ICmpInst::ICMP_SLT: case ICmpInst::ICMP_SLE: case ICmpInst::ICMP_SGT:
3276 case ICmpInst::ICMP_SGE: return true;
3277 }
3278}
3279
3280bool CmpInst::isOrdered(unsigned short predicate) {
3281 switch (predicate) {
3282 default: return false;
3283 case FCmpInst::FCMP_OEQ: case FCmpInst::FCMP_ONE: case FCmpInst::FCMP_OGT:
3284 case FCmpInst::FCMP_OLT: case FCmpInst::FCMP_OGE: case FCmpInst::FCMP_OLE:
3285 case FCmpInst::FCMP_ORD: return true;
3286 }
3287}
3288
3289bool CmpInst::isUnordered(unsigned short predicate) {
3290 switch (predicate) {
3291 default: return false;
3292 case FCmpInst::FCMP_UEQ: case FCmpInst::FCMP_UNE: case FCmpInst::FCMP_UGT:
3293 case FCmpInst::FCMP_ULT: case FCmpInst::FCMP_UGE: case FCmpInst::FCMP_ULE:
3294 case FCmpInst::FCMP_UNO: return true;
3295 }
3296}
3297
Nick Lewycky7494b3b2009-10-25 03:50:03 +00003298bool CmpInst::isTrueWhenEqual(unsigned short predicate) {
3299 switch(predicate) {
3300 default: return false;
3301 case ICMP_EQ: case ICMP_UGE: case ICMP_ULE: case ICMP_SGE: case ICMP_SLE:
3302 case FCMP_TRUE: case FCMP_UEQ: case FCMP_UGE: case FCMP_ULE: return true;
3303 }
3304}
3305
3306bool CmpInst::isFalseWhenEqual(unsigned short predicate) {
3307 switch(predicate) {
3308 case ICMP_NE: case ICMP_UGT: case ICMP_ULT: case ICMP_SGT: case ICMP_SLT:
3309 case FCMP_FALSE: case FCMP_ONE: case FCMP_OGT: case FCMP_OLT: return true;
3310 default: return false;
3311 }
3312}
3313
3314
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003315//===----------------------------------------------------------------------===//
3316// SwitchInst Implementation
3317//===----------------------------------------------------------------------===//
3318
Chris Lattnerbaf00152010-11-17 05:41:46 +00003319void SwitchInst::init(Value *Value, BasicBlock *Default, unsigned NumReserved) {
3320 assert(Value && Default && NumReserved);
3321 ReservedSpace = NumReserved;
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003322 NumOperands = 2;
Gabor Greiff6caff662008-05-10 08:32:32 +00003323 OperandList = allocHungoffUses(ReservedSpace);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003324
Gabor Greif2d3024d2008-05-26 21:33:52 +00003325 OperandList[0] = Value;
3326 OperandList[1] = Default;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003327}
3328
Chris Lattner2195fc42007-02-24 00:55:48 +00003329/// SwitchInst ctor - Create a new switch instruction, specifying a value to
3330/// switch on and a default destination. The number of additional cases can
3331/// be specified here to make memory allocation more efficient. This
3332/// constructor can also autoinsert before another instruction.
3333SwitchInst::SwitchInst(Value *Value, BasicBlock *Default, unsigned NumCases,
3334 Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +00003335 : TerminatorInst(Type::getVoidTy(Value->getContext()), Instruction::Switch,
3336 0, 0, InsertBefore) {
Chris Lattnerbaf00152010-11-17 05:41:46 +00003337 init(Value, Default, 2+NumCases*2);
Chris Lattner2195fc42007-02-24 00:55:48 +00003338}
3339
3340/// SwitchInst ctor - Create a new switch instruction, specifying a value to
3341/// switch on and a default destination. The number of additional cases can
3342/// be specified here to make memory allocation more efficient. This
3343/// constructor also autoinserts at the end of the specified BasicBlock.
3344SwitchInst::SwitchInst(Value *Value, BasicBlock *Default, unsigned NumCases,
3345 BasicBlock *InsertAtEnd)
Owen Anderson55f1c092009-08-13 21:58:54 +00003346 : TerminatorInst(Type::getVoidTy(Value->getContext()), Instruction::Switch,
3347 0, 0, InsertAtEnd) {
Chris Lattnerbaf00152010-11-17 05:41:46 +00003348 init(Value, Default, 2+NumCases*2);
Chris Lattner2195fc42007-02-24 00:55:48 +00003349}
3350
Misha Brukmanb1c93172005-04-21 23:48:37 +00003351SwitchInst::SwitchInst(const SwitchInst &SI)
Chris Lattnerbaf00152010-11-17 05:41:46 +00003352 : TerminatorInst(SI.getType(), Instruction::Switch, 0, 0) {
3353 init(SI.getCondition(), SI.getDefaultDest(), SI.getNumOperands());
3354 NumOperands = SI.getNumOperands();
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003355 Use *OL = OperandList, *InOL = SI.OperandList;
Chris Lattnerbaf00152010-11-17 05:41:46 +00003356 for (unsigned i = 2, E = SI.getNumOperands(); i != E; i += 2) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00003357 OL[i] = InOL[i];
3358 OL[i+1] = InOL[i+1];
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003359 }
Dan Gohmanc8a27f22009-08-25 22:11:20 +00003360 SubclassOptionalData = SI.SubclassOptionalData;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003361}
3362
Gordon Henriksen14a55692007-12-10 02:14:30 +00003363SwitchInst::~SwitchInst() {
Jay Foadbbb91f22011-01-16 15:30:52 +00003364 dropHungoffUses();
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003365}
3366
3367
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003368/// addCase - Add an entry to the switch instruction...
3369///
Chris Lattner47ac1872005-02-24 05:32:09 +00003370void SwitchInst::addCase(ConstantInt *OnVal, BasicBlock *Dest) {
Stepan Dyatkovskiy513aaa52012-02-01 07:49:51 +00003371 unsigned NewCaseIdx = getNumCases();
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003372 unsigned OpNo = NumOperands;
3373 if (OpNo+2 > ReservedSpace)
Jay Foade98f29d2011-04-01 08:00:58 +00003374 growOperands(); // Get more space!
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003375 // Initialize some new operands.
Chris Lattnerf711f8d2005-01-29 01:05:12 +00003376 assert(OpNo+1 < ReservedSpace && "Growing didn't work!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003377 NumOperands = OpNo+2;
Bob Wilsone4077362013-09-09 19:14:35 +00003378 CaseIt Case(this, NewCaseIdx);
3379 Case.setValue(OnVal);
Stepan Dyatkovskiy5b648af2012-03-08 07:06:20 +00003380 Case.setSuccessor(Dest);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003381}
3382
Stepan Dyatkovskiy513aaa52012-02-01 07:49:51 +00003383/// removeCase - This method removes the specified case and its successor
3384/// from the switch instruction.
Bob Wilsone4077362013-09-09 19:14:35 +00003385void SwitchInst::removeCase(CaseIt i) {
Stepan Dyatkovskiy5b648af2012-03-08 07:06:20 +00003386 unsigned idx = i.getCaseIndex();
3387
Stepan Dyatkovskiy513aaa52012-02-01 07:49:51 +00003388 assert(2 + idx*2 < getNumOperands() && "Case index out of range!!!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003389
3390 unsigned NumOps = getNumOperands();
3391 Use *OL = OperandList;
3392
Jay Foad14277722011-02-01 09:22:34 +00003393 // Overwrite this case with the end of the list.
Stepan Dyatkovskiy513aaa52012-02-01 07:49:51 +00003394 if (2 + (idx + 1) * 2 != NumOps) {
3395 OL[2 + idx * 2] = OL[NumOps - 2];
3396 OL[2 + idx * 2 + 1] = OL[NumOps - 1];
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003397 }
3398
3399 // Nuke the last value.
3400 OL[NumOps-2].set(0);
3401 OL[NumOps-2+1].set(0);
3402 NumOperands = NumOps-2;
3403}
3404
Jay Foade98f29d2011-04-01 08:00:58 +00003405/// growOperands - grow operands - This grows the operand list in response
3406/// to a push_back style of operation. This grows the number of ops by 3 times.
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003407///
Jay Foade98f29d2011-04-01 08:00:58 +00003408void SwitchInst::growOperands() {
Gabor Greiff6caff662008-05-10 08:32:32 +00003409 unsigned e = getNumOperands();
Jay Foade98f29d2011-04-01 08:00:58 +00003410 unsigned NumOps = e*3;
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003411
3412 ReservedSpace = NumOps;
Gabor Greiff6caff662008-05-10 08:32:32 +00003413 Use *NewOps = allocHungoffUses(NumOps);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003414 Use *OldOps = OperandList;
Gabor Greiff6caff662008-05-10 08:32:32 +00003415 for (unsigned i = 0; i != e; ++i) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00003416 NewOps[i] = OldOps[i];
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003417 }
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003418 OperandList = NewOps;
Jay Foadbbb91f22011-01-16 15:30:52 +00003419 Use::zap(OldOps, OldOps + e, true);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003420}
3421
3422
3423BasicBlock *SwitchInst::getSuccessorV(unsigned idx) const {
3424 return getSuccessor(idx);
3425}
3426unsigned SwitchInst::getNumSuccessorsV() const {
3427 return getNumSuccessors();
3428}
3429void SwitchInst::setSuccessorV(unsigned idx, BasicBlock *B) {
3430 setSuccessor(idx, B);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003431}
Chris Lattnerf22be932004-10-15 23:52:53 +00003432
Chris Lattner3ed871f2009-10-27 19:13:16 +00003433//===----------------------------------------------------------------------===//
Jay Foadbbb91f22011-01-16 15:30:52 +00003434// IndirectBrInst Implementation
Chris Lattner3ed871f2009-10-27 19:13:16 +00003435//===----------------------------------------------------------------------===//
3436
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003437void IndirectBrInst::init(Value *Address, unsigned NumDests) {
Duncan Sands19d0b472010-02-16 11:11:14 +00003438 assert(Address && Address->getType()->isPointerTy() &&
Chris Lattner6747b4c2009-10-29 05:53:32 +00003439 "Address of indirectbr must be a pointer");
Chris Lattner3ed871f2009-10-27 19:13:16 +00003440 ReservedSpace = 1+NumDests;
3441 NumOperands = 1;
3442 OperandList = allocHungoffUses(ReservedSpace);
3443
3444 OperandList[0] = Address;
3445}
3446
3447
Jay Foade98f29d2011-04-01 08:00:58 +00003448/// growOperands - grow operands - This grows the operand list in response
3449/// to a push_back style of operation. This grows the number of ops by 2 times.
Chris Lattner3ed871f2009-10-27 19:13:16 +00003450///
Jay Foade98f29d2011-04-01 08:00:58 +00003451void IndirectBrInst::growOperands() {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003452 unsigned e = getNumOperands();
Jay Foade98f29d2011-04-01 08:00:58 +00003453 unsigned NumOps = e*2;
Chris Lattner3ed871f2009-10-27 19:13:16 +00003454
3455 ReservedSpace = NumOps;
3456 Use *NewOps = allocHungoffUses(NumOps);
3457 Use *OldOps = OperandList;
3458 for (unsigned i = 0; i != e; ++i)
3459 NewOps[i] = OldOps[i];
3460 OperandList = NewOps;
Jay Foadbbb91f22011-01-16 15:30:52 +00003461 Use::zap(OldOps, OldOps + e, true);
Chris Lattner3ed871f2009-10-27 19:13:16 +00003462}
3463
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003464IndirectBrInst::IndirectBrInst(Value *Address, unsigned NumCases,
3465 Instruction *InsertBefore)
3466: TerminatorInst(Type::getVoidTy(Address->getContext()),Instruction::IndirectBr,
Chris Lattner3ed871f2009-10-27 19:13:16 +00003467 0, 0, InsertBefore) {
3468 init(Address, NumCases);
3469}
3470
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003471IndirectBrInst::IndirectBrInst(Value *Address, unsigned NumCases,
3472 BasicBlock *InsertAtEnd)
3473: TerminatorInst(Type::getVoidTy(Address->getContext()),Instruction::IndirectBr,
Chris Lattner3ed871f2009-10-27 19:13:16 +00003474 0, 0, InsertAtEnd) {
3475 init(Address, NumCases);
3476}
3477
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003478IndirectBrInst::IndirectBrInst(const IndirectBrInst &IBI)
3479 : TerminatorInst(Type::getVoidTy(IBI.getContext()), Instruction::IndirectBr,
Chris Lattner3ed871f2009-10-27 19:13:16 +00003480 allocHungoffUses(IBI.getNumOperands()),
3481 IBI.getNumOperands()) {
3482 Use *OL = OperandList, *InOL = IBI.OperandList;
3483 for (unsigned i = 0, E = IBI.getNumOperands(); i != E; ++i)
3484 OL[i] = InOL[i];
3485 SubclassOptionalData = IBI.SubclassOptionalData;
3486}
3487
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003488IndirectBrInst::~IndirectBrInst() {
Jay Foadbbb91f22011-01-16 15:30:52 +00003489 dropHungoffUses();
Chris Lattner3ed871f2009-10-27 19:13:16 +00003490}
3491
3492/// addDestination - Add a destination.
3493///
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003494void IndirectBrInst::addDestination(BasicBlock *DestBB) {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003495 unsigned OpNo = NumOperands;
3496 if (OpNo+1 > ReservedSpace)
Jay Foade98f29d2011-04-01 08:00:58 +00003497 growOperands(); // Get more space!
Chris Lattner3ed871f2009-10-27 19:13:16 +00003498 // Initialize some new operands.
3499 assert(OpNo < ReservedSpace && "Growing didn't work!");
3500 NumOperands = OpNo+1;
3501 OperandList[OpNo] = DestBB;
3502}
3503
3504/// removeDestination - This method removes the specified successor from the
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003505/// indirectbr instruction.
3506void IndirectBrInst::removeDestination(unsigned idx) {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003507 assert(idx < getNumOperands()-1 && "Successor index out of range!");
3508
3509 unsigned NumOps = getNumOperands();
3510 Use *OL = OperandList;
3511
3512 // Replace this value with the last one.
3513 OL[idx+1] = OL[NumOps-1];
3514
3515 // Nuke the last value.
3516 OL[NumOps-1].set(0);
3517 NumOperands = NumOps-1;
3518}
3519
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003520BasicBlock *IndirectBrInst::getSuccessorV(unsigned idx) const {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003521 return getSuccessor(idx);
3522}
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003523unsigned IndirectBrInst::getNumSuccessorsV() const {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003524 return getNumSuccessors();
3525}
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003526void IndirectBrInst::setSuccessorV(unsigned idx, BasicBlock *B) {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003527 setSuccessor(idx, B);
3528}
3529
3530//===----------------------------------------------------------------------===//
Devang Patel11cf3f42009-10-27 22:16:29 +00003531// clone_impl() implementations
Chris Lattner3ed871f2009-10-27 19:13:16 +00003532//===----------------------------------------------------------------------===//
3533
Chris Lattnerf22be932004-10-15 23:52:53 +00003534// Define these methods here so vtables don't get emitted into every translation
3535// unit that uses these classes.
3536
Devang Patel11cf3f42009-10-27 22:16:29 +00003537GetElementPtrInst *GetElementPtrInst::clone_impl() const {
3538 return new (getNumOperands()) GetElementPtrInst(*this);
Chris Lattnerf22be932004-10-15 23:52:53 +00003539}
3540
Devang Patel11cf3f42009-10-27 22:16:29 +00003541BinaryOperator *BinaryOperator::clone_impl() const {
3542 return Create(getOpcode(), Op<0>(), Op<1>());
Chris Lattnerf22be932004-10-15 23:52:53 +00003543}
3544
Devang Patel11cf3f42009-10-27 22:16:29 +00003545FCmpInst* FCmpInst::clone_impl() const {
3546 return new FCmpInst(getPredicate(), Op<0>(), Op<1>());
Reid Spencerd9436b62006-11-20 01:22:35 +00003547}
3548
Devang Patel11cf3f42009-10-27 22:16:29 +00003549ICmpInst* ICmpInst::clone_impl() const {
3550 return new ICmpInst(getPredicate(), Op<0>(), Op<1>());
Dan Gohman0752bff2008-05-23 00:36:11 +00003551}
3552
Devang Patel11cf3f42009-10-27 22:16:29 +00003553ExtractValueInst *ExtractValueInst::clone_impl() const {
3554 return new ExtractValueInst(*this);
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003555}
3556
Devang Patel11cf3f42009-10-27 22:16:29 +00003557InsertValueInst *InsertValueInst::clone_impl() const {
3558 return new InsertValueInst(*this);
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003559}
3560
Devang Patel11cf3f42009-10-27 22:16:29 +00003561AllocaInst *AllocaInst::clone_impl() const {
3562 return new AllocaInst(getAllocatedType(),
3563 (Value*)getOperand(0),
3564 getAlignment());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003565}
3566
Devang Patel11cf3f42009-10-27 22:16:29 +00003567LoadInst *LoadInst::clone_impl() const {
Eli Friedman59b66882011-08-09 23:02:53 +00003568 return new LoadInst(getOperand(0), Twine(), isVolatile(),
3569 getAlignment(), getOrdering(), getSynchScope());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003570}
3571
Devang Patel11cf3f42009-10-27 22:16:29 +00003572StoreInst *StoreInst::clone_impl() const {
Eli Friedmancad9f2a2011-08-10 17:39:11 +00003573 return new StoreInst(getOperand(0), getOperand(1), isVolatile(),
Eli Friedman59b66882011-08-09 23:02:53 +00003574 getAlignment(), getOrdering(), getSynchScope());
3575
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003576}
3577
Eli Friedmanc9a551e2011-07-28 21:48:00 +00003578AtomicCmpXchgInst *AtomicCmpXchgInst::clone_impl() const {
3579 AtomicCmpXchgInst *Result =
3580 new AtomicCmpXchgInst(getOperand(0), getOperand(1), getOperand(2),
3581 getOrdering(), getSynchScope());
3582 Result->setVolatile(isVolatile());
3583 return Result;
3584}
3585
3586AtomicRMWInst *AtomicRMWInst::clone_impl() const {
3587 AtomicRMWInst *Result =
3588 new AtomicRMWInst(getOperation(),getOperand(0), getOperand(1),
3589 getOrdering(), getSynchScope());
3590 Result->setVolatile(isVolatile());
3591 return Result;
3592}
3593
Eli Friedmanfee02c62011-07-25 23:16:38 +00003594FenceInst *FenceInst::clone_impl() const {
3595 return new FenceInst(getContext(), getOrdering(), getSynchScope());
3596}
3597
Devang Patel11cf3f42009-10-27 22:16:29 +00003598TruncInst *TruncInst::clone_impl() const {
3599 return new TruncInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003600}
3601
Devang Patel11cf3f42009-10-27 22:16:29 +00003602ZExtInst *ZExtInst::clone_impl() const {
3603 return new ZExtInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003604}
3605
Devang Patel11cf3f42009-10-27 22:16:29 +00003606SExtInst *SExtInst::clone_impl() const {
3607 return new SExtInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003608}
3609
Devang Patel11cf3f42009-10-27 22:16:29 +00003610FPTruncInst *FPTruncInst::clone_impl() const {
3611 return new FPTruncInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003612}
3613
Devang Patel11cf3f42009-10-27 22:16:29 +00003614FPExtInst *FPExtInst::clone_impl() const {
3615 return new FPExtInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003616}
3617
Devang Patel11cf3f42009-10-27 22:16:29 +00003618UIToFPInst *UIToFPInst::clone_impl() const {
3619 return new UIToFPInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003620}
3621
Devang Patel11cf3f42009-10-27 22:16:29 +00003622SIToFPInst *SIToFPInst::clone_impl() const {
3623 return new SIToFPInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003624}
3625
Devang Patel11cf3f42009-10-27 22:16:29 +00003626FPToUIInst *FPToUIInst::clone_impl() const {
3627 return new FPToUIInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003628}
3629
Devang Patel11cf3f42009-10-27 22:16:29 +00003630FPToSIInst *FPToSIInst::clone_impl() const {
3631 return new FPToSIInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003632}
3633
Devang Patel11cf3f42009-10-27 22:16:29 +00003634PtrToIntInst *PtrToIntInst::clone_impl() const {
3635 return new PtrToIntInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003636}
3637
Devang Patel11cf3f42009-10-27 22:16:29 +00003638IntToPtrInst *IntToPtrInst::clone_impl() const {
3639 return new IntToPtrInst(getOperand(0), getType());
Gabor Greif697e94c2008-05-15 10:04:30 +00003640}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003641
Devang Patel11cf3f42009-10-27 22:16:29 +00003642BitCastInst *BitCastInst::clone_impl() const {
3643 return new BitCastInst(getOperand(0), getType());
Gabor Greif697e94c2008-05-15 10:04:30 +00003644}
Reid Spencer6c38f0b2006-11-27 01:05:10 +00003645
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00003646AddrSpaceCastInst *AddrSpaceCastInst::clone_impl() const {
3647 return new AddrSpaceCastInst(getOperand(0), getType());
3648}
3649
Devang Patel11cf3f42009-10-27 22:16:29 +00003650CallInst *CallInst::clone_impl() const {
3651 return new(getNumOperands()) CallInst(*this);
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003652}
3653
Devang Patel11cf3f42009-10-27 22:16:29 +00003654SelectInst *SelectInst::clone_impl() const {
3655 return SelectInst::Create(getOperand(0), getOperand(1), getOperand(2));
Chris Lattnerbbe0a422006-04-08 01:18:18 +00003656}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003657
Devang Patel11cf3f42009-10-27 22:16:29 +00003658VAArgInst *VAArgInst::clone_impl() const {
3659 return new VAArgInst(getOperand(0), getType());
Chris Lattnerbbe0a422006-04-08 01:18:18 +00003660}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003661
Devang Patel11cf3f42009-10-27 22:16:29 +00003662ExtractElementInst *ExtractElementInst::clone_impl() const {
3663 return ExtractElementInst::Create(getOperand(0), getOperand(1));
Chris Lattnerbbe0a422006-04-08 01:18:18 +00003664}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003665
Devang Patel11cf3f42009-10-27 22:16:29 +00003666InsertElementInst *InsertElementInst::clone_impl() const {
Chris Lattner1dcb6542012-01-25 23:49:49 +00003667 return InsertElementInst::Create(getOperand(0), getOperand(1), getOperand(2));
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003668}
3669
Devang Patel11cf3f42009-10-27 22:16:29 +00003670ShuffleVectorInst *ShuffleVectorInst::clone_impl() const {
Chris Lattner1dcb6542012-01-25 23:49:49 +00003671 return new ShuffleVectorInst(getOperand(0), getOperand(1), getOperand(2));
Gabor Greif697e94c2008-05-15 10:04:30 +00003672}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003673
Devang Patel11cf3f42009-10-27 22:16:29 +00003674PHINode *PHINode::clone_impl() const {
3675 return new PHINode(*this);
3676}
3677
Bill Wendlingfae14752011-08-12 20:24:12 +00003678LandingPadInst *LandingPadInst::clone_impl() const {
3679 return new LandingPadInst(*this);
3680}
3681
Devang Patel11cf3f42009-10-27 22:16:29 +00003682ReturnInst *ReturnInst::clone_impl() const {
3683 return new(getNumOperands()) ReturnInst(*this);
3684}
3685
3686BranchInst *BranchInst::clone_impl() const {
Jay Foadd81f3c92011-01-07 20:29:02 +00003687 return new(getNumOperands()) BranchInst(*this);
Gabor Greif697e94c2008-05-15 10:04:30 +00003688}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003689
Devang Patel11cf3f42009-10-27 22:16:29 +00003690SwitchInst *SwitchInst::clone_impl() const {
3691 return new SwitchInst(*this);
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003692}
3693
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003694IndirectBrInst *IndirectBrInst::clone_impl() const {
3695 return new IndirectBrInst(*this);
Chris Lattner3ed871f2009-10-27 19:13:16 +00003696}
3697
3698
Devang Patel11cf3f42009-10-27 22:16:29 +00003699InvokeInst *InvokeInst::clone_impl() const {
3700 return new(getNumOperands()) InvokeInst(*this);
Gabor Greif697e94c2008-05-15 10:04:30 +00003701}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003702
Bill Wendlingf891bf82011-07-31 06:30:59 +00003703ResumeInst *ResumeInst::clone_impl() const {
3704 return new(1) ResumeInst(*this);
3705}
3706
Devang Patel11cf3f42009-10-27 22:16:29 +00003707UnreachableInst *UnreachableInst::clone_impl() const {
Nick Lewycky42fb7452009-09-27 07:38:41 +00003708 LLVMContext &Context = getContext();
Devang Patel11cf3f42009-10-27 22:16:29 +00003709 return new UnreachableInst(Context);
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003710}