blob: 9c8f66c11de4ccb83c333fd719d1481936918663 [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 Carruth8cd041e2014-03-04 12:24:34 +000018#include "llvm/IR/ConstantRange.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000019#include "llvm/IR/Constants.h"
20#include "llvm/IR/DataLayout.h"
21#include "llvm/IR/DerivedTypes.h"
22#include "llvm/IR/Function.h"
23#include "llvm/IR/Module.h"
24#include "llvm/IR/Operator.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());
Craig Topperc6207612014-04-09 06:08:46 +000071 if (!ET)
Chris Lattner88107952008-12-29 00:12:50 +000072 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 }
Craig Topperc6207612014-04-09 06:08:46 +000079 return nullptr;
Chris Lattner88107952008-12-29 00:12:50 +000080}
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
Chris Lattnerafdb3de2005-01-29 00:35:16 +000096// removeIncomingValue - Remove an incoming value. This is useful if a
97// predecessor basic block is deleted.
98Value *PHINode::removeIncomingValue(unsigned Idx, bool DeletePHIIfEmpty) {
Jay Foad61ea0e42011-06-23 09:09:15 +000099 Value *Removed = getIncomingValue(Idx);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000100
101 // Move everything after this operand down.
102 //
103 // FIXME: we could just swap with the end of the list, then erase. However,
Jay Foad61ea0e42011-06-23 09:09:15 +0000104 // clients might not expect this to happen. The code as it is thrashes the
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000105 // use/def lists, which is kinda lame.
Jay Foad61ea0e42011-06-23 09:09:15 +0000106 std::copy(op_begin() + Idx + 1, op_end(), op_begin() + Idx);
107 std::copy(block_begin() + Idx + 1, block_end(), block_begin() + Idx);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000108
109 // Nuke the last value.
Craig Topperc6207612014-04-09 06:08:46 +0000110 Op<-1>().set(nullptr);
Jay Foad61ea0e42011-06-23 09:09:15 +0000111 --NumOperands;
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000112
113 // If the PHI node is dead, because it has zero entries, nuke it now.
Jay Foad61ea0e42011-06-23 09:09:15 +0000114 if (getNumOperands() == 0 && DeletePHIIfEmpty) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000115 // If anyone is using this PHI, make them use a dummy value instead...
Owen Andersonb292b8c2009-07-30 23:03:37 +0000116 replaceAllUsesWith(UndefValue::get(getType()));
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000117 eraseFromParent();
118 }
119 return Removed;
120}
121
Jay Foade98f29d2011-04-01 08:00:58 +0000122/// growOperands - grow operands - This grows the operand list in response
123/// to a push_back style of operation. This grows the number of ops by 1.5
124/// times.
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000125///
Jay Foade98f29d2011-04-01 08:00:58 +0000126void PHINode::growOperands() {
Gabor Greiff6caff662008-05-10 08:32:32 +0000127 unsigned e = getNumOperands();
Jay Foad61ea0e42011-06-23 09:09:15 +0000128 unsigned NumOps = e + e / 2;
129 if (NumOps < 2) NumOps = 2; // 2 op PHI nodes are VERY common.
130
131 Use *OldOps = op_begin();
132 BasicBlock **OldBlocks = block_begin();
Jay Foade03c05c2011-06-20 14:38:01 +0000133
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000134 ReservedSpace = NumOps;
Jay Foad61ea0e42011-06-23 09:09:15 +0000135 OperandList = allocHungoffUses(ReservedSpace);
136
137 std::copy(OldOps, OldOps + e, op_begin());
138 std::copy(OldBlocks, OldBlocks + e, block_begin());
139
Jay Foadbbb91f22011-01-16 15:30:52 +0000140 Use::zap(OldOps, OldOps + e, true);
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000141}
142
Nate Begemanb3923212005-08-04 23:24:19 +0000143/// hasConstantValue - If the specified PHI node always merges together the same
144/// value, return the value, otherwise return null.
Duncan Sands7412f6e2010-11-17 04:30:22 +0000145Value *PHINode::hasConstantValue() const {
146 // Exploit the fact that phi nodes always have at least one entry.
147 Value *ConstantValue = getIncomingValue(0);
148 for (unsigned i = 1, e = getNumIncomingValues(); i != e; ++i)
Nuno Lopes90c76df2012-07-03 17:10:28 +0000149 if (getIncomingValue(i) != ConstantValue && getIncomingValue(i) != this) {
150 if (ConstantValue != this)
Craig Topperc6207612014-04-09 06:08:46 +0000151 return nullptr; // Incoming values not all the same.
Nuno Lopes90c76df2012-07-03 17:10:28 +0000152 // The case where the first value is this PHI.
153 ConstantValue = getIncomingValue(i);
154 }
Nuno Lopes0d44a502012-07-03 21:15:40 +0000155 if (ConstantValue == this)
156 return UndefValue::get(getType());
Duncan Sands7412f6e2010-11-17 04:30:22 +0000157 return ConstantValue;
Nate Begemanb3923212005-08-04 23:24:19 +0000158}
159
Bill Wendlingfae14752011-08-12 20:24:12 +0000160//===----------------------------------------------------------------------===//
161// LandingPadInst Implementation
162//===----------------------------------------------------------------------===//
163
164LandingPadInst::LandingPadInst(Type *RetTy, Value *PersonalityFn,
165 unsigned NumReservedValues, const Twine &NameStr,
166 Instruction *InsertBefore)
Craig Topperc6207612014-04-09 06:08:46 +0000167 : Instruction(RetTy, Instruction::LandingPad, nullptr, 0, InsertBefore) {
Bill Wendlingfae14752011-08-12 20:24:12 +0000168 init(PersonalityFn, 1 + NumReservedValues, NameStr);
169}
170
171LandingPadInst::LandingPadInst(Type *RetTy, Value *PersonalityFn,
172 unsigned NumReservedValues, const Twine &NameStr,
173 BasicBlock *InsertAtEnd)
Craig Topperc6207612014-04-09 06:08:46 +0000174 : Instruction(RetTy, Instruction::LandingPad, nullptr, 0, InsertAtEnd) {
Bill Wendlingfae14752011-08-12 20:24:12 +0000175 init(PersonalityFn, 1 + NumReservedValues, NameStr);
176}
177
178LandingPadInst::LandingPadInst(const LandingPadInst &LP)
179 : Instruction(LP.getType(), Instruction::LandingPad,
180 allocHungoffUses(LP.getNumOperands()), LP.getNumOperands()),
181 ReservedSpace(LP.getNumOperands()) {
182 Use *OL = OperandList, *InOL = LP.OperandList;
183 for (unsigned I = 0, E = ReservedSpace; I != E; ++I)
184 OL[I] = InOL[I];
185
186 setCleanup(LP.isCleanup());
187}
188
Bill Wendlingfae14752011-08-12 20:24:12 +0000189LandingPadInst *LandingPadInst::Create(Type *RetTy, Value *PersonalityFn,
190 unsigned NumReservedClauses,
191 const Twine &NameStr,
192 Instruction *InsertBefore) {
193 return new LandingPadInst(RetTy, PersonalityFn, NumReservedClauses, NameStr,
194 InsertBefore);
195}
196
197LandingPadInst *LandingPadInst::Create(Type *RetTy, Value *PersonalityFn,
198 unsigned NumReservedClauses,
199 const Twine &NameStr,
200 BasicBlock *InsertAtEnd) {
201 return new LandingPadInst(RetTy, PersonalityFn, NumReservedClauses, NameStr,
202 InsertAtEnd);
203}
204
205void LandingPadInst::init(Value *PersFn, unsigned NumReservedValues,
206 const Twine &NameStr) {
207 ReservedSpace = NumReservedValues;
208 NumOperands = 1;
209 OperandList = allocHungoffUses(ReservedSpace);
Pete Coopereb31b682015-05-21 22:48:54 +0000210 Op<0>() = PersFn;
Bill Wendlingfae14752011-08-12 20:24:12 +0000211 setName(NameStr);
212 setCleanup(false);
213}
214
215/// growOperands - grow operands - This grows the operand list in response to a
216/// push_back style of operation. This grows the number of ops by 2 times.
217void LandingPadInst::growOperands(unsigned Size) {
218 unsigned e = getNumOperands();
219 if (ReservedSpace >= e + Size) return;
220 ReservedSpace = (e + Size / 2) * 2;
221
222 Use *NewOps = allocHungoffUses(ReservedSpace);
223 Use *OldOps = OperandList;
224 for (unsigned i = 0; i != e; ++i)
225 NewOps[i] = OldOps[i];
226
227 OperandList = NewOps;
228 Use::zap(OldOps, OldOps + e, true);
229}
230
Rafael Espindola4dc5dfc2014-06-04 18:51:31 +0000231void LandingPadInst::addClause(Constant *Val) {
Bill Wendlingfae14752011-08-12 20:24:12 +0000232 unsigned OpNo = getNumOperands();
233 growOperands(1);
234 assert(OpNo < ReservedSpace && "Growing didn't work!");
235 ++NumOperands;
236 OperandList[OpNo] = Val;
237}
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000238
239//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000240// CallInst Implementation
241//===----------------------------------------------------------------------===//
242
Gordon Henriksen14a55692007-12-10 02:14:30 +0000243CallInst::~CallInst() {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000244}
245
David Blaikie348de692015-04-23 21:36:23 +0000246void CallInst::init(FunctionType *FTy, Value *Func, ArrayRef<Value *> Args,
247 const Twine &NameStr) {
248 this->FTy = FTy;
Jay Foad5bd375a2011-07-15 08:37:34 +0000249 assert(NumOperands == Args.size() + 1 && "NumOperands not set up?");
Gabor Greif6d673952010-07-16 09:38:02 +0000250 Op<-1>() = Func;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000251
Jay Foad5bd375a2011-07-15 08:37:34 +0000252#ifndef NDEBUG
Jay Foad5bd375a2011-07-15 08:37:34 +0000253 assert((Args.size() == FTy->getNumParams() ||
254 (FTy->isVarArg() && Args.size() > FTy->getNumParams())) &&
Chris Lattner667a0562006-05-03 00:48:22 +0000255 "Calling a function with bad signature!");
Jay Foad5bd375a2011-07-15 08:37:34 +0000256
257 for (unsigned i = 0; i != Args.size(); ++i)
Chris Lattner667a0562006-05-03 00:48:22 +0000258 assert((i >= FTy->getNumParams() ||
Jay Foad5bd375a2011-07-15 08:37:34 +0000259 FTy->getParamType(i) == Args[i]->getType()) &&
Chris Lattner667a0562006-05-03 00:48:22 +0000260 "Calling a function with a bad signature!");
Jay Foad5bd375a2011-07-15 08:37:34 +0000261#endif
262
263 std::copy(Args.begin(), Args.end(), op_begin());
264 setName(NameStr);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000265}
266
Jay Foad5bd375a2011-07-15 08:37:34 +0000267void CallInst::init(Value *Func, const Twine &NameStr) {
David Blaikie348de692015-04-23 21:36:23 +0000268 FTy =
269 cast<FunctionType>(cast<PointerType>(Func->getType())->getElementType());
Gabor Greiff6caff662008-05-10 08:32:32 +0000270 assert(NumOperands == 1 && "NumOperands not set up?");
Gabor Greif6d673952010-07-16 09:38:02 +0000271 Op<-1>() = Func;
Misha Brukmanb1c93172005-04-21 23:48:37 +0000272
Chris Lattnerf14c76c2007-02-01 04:59:37 +0000273 assert(FTy->getNumParams() == 0 && "Calling a function with bad signature");
Jay Foad5bd375a2011-07-15 08:37:34 +0000274
275 setName(NameStr);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000276}
277
Daniel Dunbar4975db62009-07-25 04:41:11 +0000278CallInst::CallInst(Value *Func, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000279 Instruction *InsertBefore)
280 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
281 ->getElementType())->getReturnType(),
Gabor Greiff6caff662008-05-10 08:32:32 +0000282 Instruction::Call,
283 OperandTraits<CallInst>::op_end(this) - 1,
284 1, InsertBefore) {
Jay Foad5bd375a2011-07-15 08:37:34 +0000285 init(Func, Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000286}
287
Daniel Dunbar4975db62009-07-25 04:41:11 +0000288CallInst::CallInst(Value *Func, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000289 BasicBlock *InsertAtEnd)
290 : Instruction(cast<FunctionType>(cast<PointerType>(Func->getType())
291 ->getElementType())->getReturnType(),
Gabor Greiff6caff662008-05-10 08:32:32 +0000292 Instruction::Call,
293 OperandTraits<CallInst>::op_end(this) - 1,
294 1, InsertAtEnd) {
Jay Foad5bd375a2011-07-15 08:37:34 +0000295 init(Func, Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000296}
297
Misha Brukmanb1c93172005-04-21 23:48:37 +0000298CallInst::CallInst(const CallInst &CI)
David Blaikie348de692015-04-23 21:36:23 +0000299 : Instruction(CI.getType(), Instruction::Call,
300 OperandTraits<CallInst>::op_end(this) - CI.getNumOperands(),
301 CI.getNumOperands()),
302 AttributeList(CI.AttributeList), FTy(CI.FTy) {
Reid Kleckner118e1bf2014-05-06 20:08:20 +0000303 setTailCallKind(CI.getTailCallKind());
Chris Lattnerb9c86512009-12-29 02:14:09 +0000304 setCallingConv(CI.getCallingConv());
305
Jay Foad5bd375a2011-07-15 08:37:34 +0000306 std::copy(CI.op_begin(), CI.op_end(), op_begin());
Dan Gohmanc8a27f22009-08-25 22:11:20 +0000307 SubclassOptionalData = CI.SubclassOptionalData;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000308}
309
Peter Collingbourne1b97a9c2013-03-02 01:20:18 +0000310void CallInst::addAttribute(unsigned i, Attribute::AttrKind attr) {
Bill Wendlinge94d8432012-12-07 23:16:57 +0000311 AttributeSet PAL = getAttributes();
Peter Collingbourne1b97a9c2013-03-02 01:20:18 +0000312 PAL = PAL.addAttribute(getContext(), i, attr);
Devang Patel4c758ea2008-09-25 21:00:45 +0000313 setAttributes(PAL);
Eric Christopher901b1a72008-05-16 20:39:43 +0000314}
315
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000316void CallInst::removeAttribute(unsigned i, Attribute attr) {
Bill Wendlinge94d8432012-12-07 23:16:57 +0000317 AttributeSet PAL = getAttributes();
Bill Wendling430fa9b2013-01-23 00:45:55 +0000318 AttrBuilder B(attr);
319 LLVMContext &Context = getContext();
320 PAL = PAL.removeAttributes(Context, i,
321 AttributeSet::get(Context, i, B));
Devang Patel4c758ea2008-09-25 21:00:45 +0000322 setAttributes(PAL);
Duncan Sands78c88722008-07-08 08:38:44 +0000323}
324
Ramkumar Ramachandra8fcb4982015-02-14 19:37:54 +0000325void CallInst::addDereferenceableAttr(unsigned i, uint64_t Bytes) {
326 AttributeSet PAL = getAttributes();
327 PAL = PAL.addDereferenceableAttr(getContext(), i, Bytes);
328 setAttributes(PAL);
329}
330
Sanjoy Das31ea6d12015-04-16 20:29:50 +0000331void CallInst::addDereferenceableOrNullAttr(unsigned i, uint64_t Bytes) {
332 AttributeSet PAL = getAttributes();
333 PAL = PAL.addDereferenceableOrNullAttr(getContext(), i, Bytes);
334 setAttributes(PAL);
335}
336
Michael Gottesman41748d72013-06-27 00:25:01 +0000337bool CallInst::hasFnAttrImpl(Attribute::AttrKind A) const {
Bill Wendling749a43d2012-12-30 13:50:49 +0000338 if (AttributeList.hasAttribute(AttributeSet::FunctionIndex, A))
Bill Wendling375eb1f2012-10-09 00:28:54 +0000339 return true;
340 if (const Function *F = getCalledFunction())
Bill Wendling94dcaf82012-12-30 12:45:13 +0000341 return F->getAttributes().hasAttribute(AttributeSet::FunctionIndex, A);
Bill Wendling375eb1f2012-10-09 00:28:54 +0000342 return false;
343}
344
Bill Wendlingc79e42c2012-12-22 00:37:52 +0000345bool CallInst::paramHasAttr(unsigned i, Attribute::AttrKind A) const {
Bill Wendling749a43d2012-12-30 13:50:49 +0000346 if (AttributeList.hasAttribute(i, A))
Bill Wendling8baa61d2012-10-03 17:54:26 +0000347 return true;
348 if (const Function *F = getCalledFunction())
Bill Wendling94dcaf82012-12-30 12:45:13 +0000349 return F->getAttributes().hasAttribute(i, A);
Bill Wendlingdaf8e382012-10-04 07:18:12 +0000350 return false;
351}
352
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000353/// IsConstantOne - Return true only if val is constant int 1
354static bool IsConstantOne(Value *val) {
Reid Kleckner971c3ea2014-11-13 22:55:19 +0000355 assert(val && "IsConstantOne does not work with nullptr val");
Matt Arsenault69417852014-09-15 17:56:51 +0000356 const ConstantInt *CVal = dyn_cast<ConstantInt>(val);
357 return CVal && CVal->isOne();
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000358}
359
Nick Lewyckybb1410e2009-10-17 23:52:26 +0000360static Instruction *createMalloc(Instruction *InsertBefore,
Chris Lattner229907c2011-07-18 04:54:35 +0000361 BasicBlock *InsertAtEnd, Type *IntPtrTy,
362 Type *AllocTy, Value *AllocSize,
Victor Hernandezf3db9152009-11-07 00:16:28 +0000363 Value *ArraySize, Function *MallocF,
364 const Twine &Name) {
Benjamin Kramer4bf4e862009-09-10 11:31:39 +0000365 assert(((!InsertBefore && InsertAtEnd) || (InsertBefore && !InsertAtEnd)) &&
Victor Hernandez788eaab2009-09-18 19:20:02 +0000366 "createMalloc needs either InsertBefore or InsertAtEnd");
367
368 // malloc(type) becomes:
369 // bitcast (i8* malloc(typeSize)) to type*
370 // malloc(type, arraySize) becomes:
371 // bitcast (i8 *malloc(typeSize*arraySize)) to type*
Victor Hernandezf3db9152009-11-07 00:16:28 +0000372 if (!ArraySize)
373 ArraySize = ConstantInt::get(IntPtrTy, 1);
374 else if (ArraySize->getType() != IntPtrTy) {
375 if (InsertBefore)
Victor Hernandeze04ed0c2009-11-07 00:36:50 +0000376 ArraySize = CastInst::CreateIntegerCast(ArraySize, IntPtrTy, false,
377 "", InsertBefore);
Victor Hernandezf3db9152009-11-07 00:16:28 +0000378 else
Victor Hernandeze04ed0c2009-11-07 00:36:50 +0000379 ArraySize = CastInst::CreateIntegerCast(ArraySize, IntPtrTy, false,
380 "", InsertAtEnd);
Victor Hernandezf3db9152009-11-07 00:16:28 +0000381 }
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000382
Benjamin Kramer4bf4e862009-09-10 11:31:39 +0000383 if (!IsConstantOne(ArraySize)) {
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000384 if (IsConstantOne(AllocSize)) {
385 AllocSize = ArraySize; // Operand * 1 = Operand
386 } else if (Constant *CO = dyn_cast<Constant>(ArraySize)) {
387 Constant *Scale = ConstantExpr::getIntegerCast(CO, IntPtrTy,
388 false /*ZExt*/);
389 // Malloc arg is constant product of type size and array size
390 AllocSize = ConstantExpr::getMul(Scale, cast<Constant>(AllocSize));
391 } else {
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000392 // Multiply type size by the array size...
393 if (InsertBefore)
Victor Hernandez788eaab2009-09-18 19:20:02 +0000394 AllocSize = BinaryOperator::CreateMul(ArraySize, AllocSize,
395 "mallocsize", InsertBefore);
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000396 else
Victor Hernandez788eaab2009-09-18 19:20:02 +0000397 AllocSize = BinaryOperator::CreateMul(ArraySize, AllocSize,
398 "mallocsize", InsertAtEnd);
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000399 }
Benjamin Kramer4bf4e862009-09-10 11:31:39 +0000400 }
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000401
Victor Hernandez788eaab2009-09-18 19:20:02 +0000402 assert(AllocSize->getType() == IntPtrTy && "malloc arg is wrong size");
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000403 // Create the call to Malloc.
404 BasicBlock* BB = InsertBefore ? InsertBefore->getParent() : InsertAtEnd;
405 Module* M = BB->getParent()->getParent();
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000406 Type *BPTy = Type::getInt8PtrTy(BB->getContext());
Victor Hernandezbb336a12009-11-10 19:53:28 +0000407 Value *MallocFunc = MallocF;
408 if (!MallocFunc)
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000409 // prototype malloc as "void *malloc(size_t)"
Reid Kleckner971c3ea2014-11-13 22:55:19 +0000410 MallocFunc = M->getOrInsertFunction("malloc", BPTy, IntPtrTy, nullptr);
Chris Lattner229907c2011-07-18 04:54:35 +0000411 PointerType *AllocPtrType = PointerType::getUnqual(AllocTy);
Craig Topperc6207612014-04-09 06:08:46 +0000412 CallInst *MCall = nullptr;
413 Instruction *Result = nullptr;
Victor Hernandez788eaab2009-09-18 19:20:02 +0000414 if (InsertBefore) {
Victor Hernandezbb336a12009-11-10 19:53:28 +0000415 MCall = CallInst::Create(MallocFunc, AllocSize, "malloccall", InsertBefore);
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000416 Result = MCall;
417 if (Result->getType() != AllocPtrType)
418 // Create a cast instruction to convert to the right type...
Victor Hernandezf3db9152009-11-07 00:16:28 +0000419 Result = new BitCastInst(MCall, AllocPtrType, Name, InsertBefore);
Victor Hernandez788eaab2009-09-18 19:20:02 +0000420 } else {
Victor Hernandezbb336a12009-11-10 19:53:28 +0000421 MCall = CallInst::Create(MallocFunc, AllocSize, "malloccall");
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000422 Result = MCall;
423 if (Result->getType() != AllocPtrType) {
424 InsertAtEnd->getInstList().push_back(MCall);
425 // Create a cast instruction to convert to the right type...
Victor Hernandezf3db9152009-11-07 00:16:28 +0000426 Result = new BitCastInst(MCall, AllocPtrType, Name);
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000427 }
Victor Hernandez788eaab2009-09-18 19:20:02 +0000428 }
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000429 MCall->setTailCall();
Victor Hernandezbb336a12009-11-10 19:53:28 +0000430 if (Function *F = dyn_cast<Function>(MallocFunc)) {
431 MCall->setCallingConv(F->getCallingConv());
432 if (!F->doesNotAlias(0)) F->setDoesNotAlias(0);
433 }
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000434 assert(!MCall->getType()->isVoidTy() && "Malloc has void return type");
Victor Hernandez788eaab2009-09-18 19:20:02 +0000435
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000436 return Result;
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000437}
438
439/// CreateMalloc - Generate the IR for a call to malloc:
440/// 1. Compute the malloc call's argument as the specified type's size,
441/// possibly multiplied by the array size if the array size is not
442/// constant 1.
443/// 2. Call malloc with that argument.
444/// 3. Bitcast the result of the malloc call to the specified type.
Nick Lewyckybb1410e2009-10-17 23:52:26 +0000445Instruction *CallInst::CreateMalloc(Instruction *InsertBefore,
Chris Lattner229907c2011-07-18 04:54:35 +0000446 Type *IntPtrTy, Type *AllocTy,
Victor Hernandezf3db9152009-11-07 00:16:28 +0000447 Value *AllocSize, Value *ArraySize,
Duncan Sands41b4a6b2010-07-12 08:16:59 +0000448 Function * MallocF,
Victor Hernandezf3db9152009-11-07 00:16:28 +0000449 const Twine &Name) {
Craig Topperc6207612014-04-09 06:08:46 +0000450 return createMalloc(InsertBefore, nullptr, IntPtrTy, AllocTy, AllocSize,
Chris Lattner601e390a2010-07-12 00:57:28 +0000451 ArraySize, MallocF, Name);
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000452}
453
454/// CreateMalloc - Generate the IR for a call to malloc:
455/// 1. Compute the malloc call's argument as the specified type's size,
456/// possibly multiplied by the array size if the array size is not
457/// constant 1.
458/// 2. Call malloc with that argument.
459/// 3. Bitcast the result of the malloc call to the specified type.
460/// Note: This function does not add the bitcast to the basic block, that is the
461/// responsibility of the caller.
Nick Lewyckybb1410e2009-10-17 23:52:26 +0000462Instruction *CallInst::CreateMalloc(BasicBlock *InsertAtEnd,
Chris Lattner229907c2011-07-18 04:54:35 +0000463 Type *IntPtrTy, Type *AllocTy,
Victor Hernandezf3db9152009-11-07 00:16:28 +0000464 Value *AllocSize, Value *ArraySize,
465 Function *MallocF, const Twine &Name) {
Craig Topperc6207612014-04-09 06:08:46 +0000466 return createMalloc(nullptr, InsertAtEnd, IntPtrTy, AllocTy, AllocSize,
Victor Hernandezc7d6a832009-10-17 00:00:19 +0000467 ArraySize, MallocF, Name);
Evan Cheng1d9d4bd2009-09-10 04:36:43 +0000468}
Duncan Sands5208d1a2007-11-28 17:07:01 +0000469
Victor Hernandeze2971492009-10-24 04:23:03 +0000470static Instruction* createFree(Value* Source, Instruction *InsertBefore,
471 BasicBlock *InsertAtEnd) {
472 assert(((!InsertBefore && InsertAtEnd) || (InsertBefore && !InsertAtEnd)) &&
473 "createFree needs either InsertBefore or InsertAtEnd");
Duncan Sands19d0b472010-02-16 11:11:14 +0000474 assert(Source->getType()->isPointerTy() &&
Victor Hernandeze2971492009-10-24 04:23:03 +0000475 "Can not free something of nonpointer type!");
476
477 BasicBlock* BB = InsertBefore ? InsertBefore->getParent() : InsertAtEnd;
478 Module* M = BB->getParent()->getParent();
479
Chris Lattner229907c2011-07-18 04:54:35 +0000480 Type *VoidTy = Type::getVoidTy(M->getContext());
481 Type *IntPtrTy = Type::getInt8PtrTy(M->getContext());
Victor Hernandeze2971492009-10-24 04:23:03 +0000482 // prototype free as "void free(void*)"
Reid Kleckner971c3ea2014-11-13 22:55:19 +0000483 Value *FreeFunc = M->getOrInsertFunction("free", VoidTy, IntPtrTy, nullptr);
Craig Topperc6207612014-04-09 06:08:46 +0000484 CallInst* Result = nullptr;
Victor Hernandeze2971492009-10-24 04:23:03 +0000485 Value *PtrCast = Source;
486 if (InsertBefore) {
487 if (Source->getType() != IntPtrTy)
488 PtrCast = new BitCastInst(Source, IntPtrTy, "", InsertBefore);
489 Result = CallInst::Create(FreeFunc, PtrCast, "", InsertBefore);
490 } else {
491 if (Source->getType() != IntPtrTy)
492 PtrCast = new BitCastInst(Source, IntPtrTy, "", InsertAtEnd);
493 Result = CallInst::Create(FreeFunc, PtrCast, "");
494 }
495 Result->setTailCall();
Chris Lattner2156c222009-11-09 07:12:01 +0000496 if (Function *F = dyn_cast<Function>(FreeFunc))
497 Result->setCallingConv(F->getCallingConv());
Victor Hernandeze2971492009-10-24 04:23:03 +0000498
499 return Result;
500}
501
502/// CreateFree - Generate the IR for a call to the builtin free function.
Chris Lattner601e390a2010-07-12 00:57:28 +0000503Instruction * CallInst::CreateFree(Value* Source, Instruction *InsertBefore) {
Craig Topperc6207612014-04-09 06:08:46 +0000504 return createFree(Source, InsertBefore, nullptr);
Victor Hernandeze2971492009-10-24 04:23:03 +0000505}
506
507/// CreateFree - Generate the IR for a call to the builtin free function.
508/// Note: This function does not add the call to the basic block, that is the
509/// responsibility of the caller.
510Instruction* CallInst::CreateFree(Value* Source, BasicBlock *InsertAtEnd) {
Craig Topperc6207612014-04-09 06:08:46 +0000511 Instruction* FreeCall = createFree(Source, nullptr, InsertAtEnd);
Victor Hernandeze2971492009-10-24 04:23:03 +0000512 assert(FreeCall && "CreateFree did not create a CallInst");
513 return FreeCall;
514}
515
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000516//===----------------------------------------------------------------------===//
517// InvokeInst Implementation
518//===----------------------------------------------------------------------===//
519
David Blaikie3e807092015-05-13 18:35:26 +0000520void InvokeInst::init(FunctionType *FTy, Value *Fn, BasicBlock *IfNormal,
521 BasicBlock *IfException, ArrayRef<Value *> Args,
522 const Twine &NameStr) {
523 this->FTy = FTy;
David Blaikie348de692015-04-23 21:36:23 +0000524
Jay Foad5bd375a2011-07-15 08:37:34 +0000525 assert(NumOperands == 3 + Args.size() && "NumOperands not set up?");
Gabor Greifa2fbc0a2010-03-24 13:21:49 +0000526 Op<-3>() = Fn;
527 Op<-2>() = IfNormal;
528 Op<-1>() = IfException;
Jay Foad5bd375a2011-07-15 08:37:34 +0000529
530#ifndef NDEBUG
Jay Foad5bd375a2011-07-15 08:37:34 +0000531 assert(((Args.size() == FTy->getNumParams()) ||
532 (FTy->isVarArg() && Args.size() > FTy->getNumParams())) &&
Gabor Greif668d7002010-03-23 13:45:54 +0000533 "Invoking a function with bad signature");
Misha Brukmanb1c93172005-04-21 23:48:37 +0000534
Jay Foad5bd375a2011-07-15 08:37:34 +0000535 for (unsigned i = 0, e = Args.size(); i != e; i++)
Chris Lattner667a0562006-05-03 00:48:22 +0000536 assert((i >= FTy->getNumParams() ||
Chris Lattnerb5fcc282007-02-13 01:04:01 +0000537 FTy->getParamType(i) == Args[i]->getType()) &&
Chris Lattner667a0562006-05-03 00:48:22 +0000538 "Invoking a function with a bad signature!");
Jay Foad5bd375a2011-07-15 08:37:34 +0000539#endif
540
541 std::copy(Args.begin(), Args.end(), op_begin());
542 setName(NameStr);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000543}
544
Misha Brukmanb1c93172005-04-21 23:48:37 +0000545InvokeInst::InvokeInst(const InvokeInst &II)
David Blaikie348de692015-04-23 21:36:23 +0000546 : TerminatorInst(II.getType(), Instruction::Invoke,
547 OperandTraits<InvokeInst>::op_end(this) -
548 II.getNumOperands(),
549 II.getNumOperands()),
550 AttributeList(II.AttributeList), FTy(II.FTy) {
Chris Lattnerb9c86512009-12-29 02:14:09 +0000551 setCallingConv(II.getCallingConv());
Jay Foad5bd375a2011-07-15 08:37:34 +0000552 std::copy(II.op_begin(), II.op_end(), op_begin());
Dan Gohmanc8a27f22009-08-25 22:11:20 +0000553 SubclassOptionalData = II.SubclassOptionalData;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000554}
555
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000556BasicBlock *InvokeInst::getSuccessorV(unsigned idx) const {
557 return getSuccessor(idx);
558}
559unsigned InvokeInst::getNumSuccessorsV() const {
560 return getNumSuccessors();
561}
562void InvokeInst::setSuccessorV(unsigned idx, BasicBlock *B) {
563 return setSuccessor(idx, B);
564}
565
Michael Gottesman41748d72013-06-27 00:25:01 +0000566bool InvokeInst::hasFnAttrImpl(Attribute::AttrKind A) const {
Bill Wendling749a43d2012-12-30 13:50:49 +0000567 if (AttributeList.hasAttribute(AttributeSet::FunctionIndex, A))
Bill Wendling375eb1f2012-10-09 00:28:54 +0000568 return true;
569 if (const Function *F = getCalledFunction())
Bill Wendling94dcaf82012-12-30 12:45:13 +0000570 return F->getAttributes().hasAttribute(AttributeSet::FunctionIndex, A);
Bill Wendling375eb1f2012-10-09 00:28:54 +0000571 return false;
572}
573
Bill Wendlingc79e42c2012-12-22 00:37:52 +0000574bool InvokeInst::paramHasAttr(unsigned i, Attribute::AttrKind A) const {
Bill Wendling749a43d2012-12-30 13:50:49 +0000575 if (AttributeList.hasAttribute(i, A))
Bill Wendling8baa61d2012-10-03 17:54:26 +0000576 return true;
577 if (const Function *F = getCalledFunction())
Bill Wendling94dcaf82012-12-30 12:45:13 +0000578 return F->getAttributes().hasAttribute(i, A);
Bill Wendlingdaf8e382012-10-04 07:18:12 +0000579 return false;
580}
581
Peter Collingbourne1b97a9c2013-03-02 01:20:18 +0000582void InvokeInst::addAttribute(unsigned i, Attribute::AttrKind attr) {
Bill Wendlinge94d8432012-12-07 23:16:57 +0000583 AttributeSet PAL = getAttributes();
Peter Collingbourne1b97a9c2013-03-02 01:20:18 +0000584 PAL = PAL.addAttribute(getContext(), i, attr);
Devang Patel4c758ea2008-09-25 21:00:45 +0000585 setAttributes(PAL);
Eric Christopher901b1a72008-05-16 20:39:43 +0000586}
587
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000588void InvokeInst::removeAttribute(unsigned i, Attribute attr) {
Bill Wendlinge94d8432012-12-07 23:16:57 +0000589 AttributeSet PAL = getAttributes();
Bill Wendling430fa9b2013-01-23 00:45:55 +0000590 AttrBuilder B(attr);
591 PAL = PAL.removeAttributes(getContext(), i,
592 AttributeSet::get(getContext(), i, B));
Devang Patel4c758ea2008-09-25 21:00:45 +0000593 setAttributes(PAL);
Duncan Sandsaa31b922007-12-19 21:13:37 +0000594}
595
Ramkumar Ramachandra8fcb4982015-02-14 19:37:54 +0000596void InvokeInst::addDereferenceableAttr(unsigned i, uint64_t Bytes) {
597 AttributeSet PAL = getAttributes();
598 PAL = PAL.addDereferenceableAttr(getContext(), i, Bytes);
599 setAttributes(PAL);
600}
601
Sanjoy Das31ea6d12015-04-16 20:29:50 +0000602void InvokeInst::addDereferenceableOrNullAttr(unsigned i, uint64_t Bytes) {
603 AttributeSet PAL = getAttributes();
604 PAL = PAL.addDereferenceableOrNullAttr(getContext(), i, Bytes);
605 setAttributes(PAL);
606}
607
Bill Wendlingfae14752011-08-12 20:24:12 +0000608LandingPadInst *InvokeInst::getLandingPadInst() const {
609 return cast<LandingPadInst>(getUnwindDest()->getFirstNonPHI());
610}
Duncan Sands5208d1a2007-11-28 17:07:01 +0000611
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000612//===----------------------------------------------------------------------===//
613// ReturnInst Implementation
614//===----------------------------------------------------------------------===//
615
Chris Lattner2195fc42007-02-24 00:55:48 +0000616ReturnInst::ReturnInst(const ReturnInst &RI)
Owen Anderson55f1c092009-08-13 21:58:54 +0000617 : TerminatorInst(Type::getVoidTy(RI.getContext()), Instruction::Ret,
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000618 OperandTraits<ReturnInst>::op_end(this) -
619 RI.getNumOperands(),
Gabor Greiff6caff662008-05-10 08:32:32 +0000620 RI.getNumOperands()) {
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000621 if (RI.getNumOperands())
Gabor Greif2d3024d2008-05-26 21:33:52 +0000622 Op<0>() = RI.Op<0>();
Dan Gohmanc8a27f22009-08-25 22:11:20 +0000623 SubclassOptionalData = RI.SubclassOptionalData;
Chris Lattner2195fc42007-02-24 00:55:48 +0000624}
625
Owen Anderson55f1c092009-08-13 21:58:54 +0000626ReturnInst::ReturnInst(LLVMContext &C, Value *retVal, Instruction *InsertBefore)
627 : TerminatorInst(Type::getVoidTy(C), Instruction::Ret,
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000628 OperandTraits<ReturnInst>::op_end(this) - !!retVal, !!retVal,
629 InsertBefore) {
Devang Patelc38eb522008-02-26 18:49:29 +0000630 if (retVal)
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000631 Op<0>() = retVal;
Chris Lattner2195fc42007-02-24 00:55:48 +0000632}
Owen Anderson55f1c092009-08-13 21:58:54 +0000633ReturnInst::ReturnInst(LLVMContext &C, Value *retVal, BasicBlock *InsertAtEnd)
634 : TerminatorInst(Type::getVoidTy(C), Instruction::Ret,
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000635 OperandTraits<ReturnInst>::op_end(this) - !!retVal, !!retVal,
636 InsertAtEnd) {
Devang Patelc38eb522008-02-26 18:49:29 +0000637 if (retVal)
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000638 Op<0>() = retVal;
Chris Lattner2195fc42007-02-24 00:55:48 +0000639}
Owen Anderson55f1c092009-08-13 21:58:54 +0000640ReturnInst::ReturnInst(LLVMContext &Context, BasicBlock *InsertAtEnd)
641 : TerminatorInst(Type::getVoidTy(Context), Instruction::Ret,
Dan Gohmanfa1211f2008-07-23 00:34:11 +0000642 OperandTraits<ReturnInst>::op_end(this), 0, InsertAtEnd) {
Devang Patel59643e52008-02-23 00:35:18 +0000643}
644
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000645unsigned ReturnInst::getNumSuccessorsV() const {
646 return getNumSuccessors();
647}
648
Devang Patelae682fb2008-02-26 17:56:20 +0000649/// Out-of-line ReturnInst method, put here so the C++ compiler can choose to
650/// emit the vtable for the class in this translation unit.
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000651void ReturnInst::setSuccessorV(unsigned idx, BasicBlock *NewSucc) {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000652 llvm_unreachable("ReturnInst has no successors!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000653}
654
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000655BasicBlock *ReturnInst::getSuccessorV(unsigned idx) const {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000656 llvm_unreachable("ReturnInst has no successors!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000657}
658
Devang Patel59643e52008-02-23 00:35:18 +0000659ReturnInst::~ReturnInst() {
Devang Patel59643e52008-02-23 00:35:18 +0000660}
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000661
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000662//===----------------------------------------------------------------------===//
Bill Wendlingf891bf82011-07-31 06:30:59 +0000663// ResumeInst Implementation
664//===----------------------------------------------------------------------===//
665
666ResumeInst::ResumeInst(const ResumeInst &RI)
667 : TerminatorInst(Type::getVoidTy(RI.getContext()), Instruction::Resume,
668 OperandTraits<ResumeInst>::op_begin(this), 1) {
669 Op<0>() = RI.Op<0>();
670}
671
672ResumeInst::ResumeInst(Value *Exn, Instruction *InsertBefore)
673 : TerminatorInst(Type::getVoidTy(Exn->getContext()), Instruction::Resume,
674 OperandTraits<ResumeInst>::op_begin(this), 1, InsertBefore) {
675 Op<0>() = Exn;
676}
677
678ResumeInst::ResumeInst(Value *Exn, BasicBlock *InsertAtEnd)
679 : TerminatorInst(Type::getVoidTy(Exn->getContext()), Instruction::Resume,
680 OperandTraits<ResumeInst>::op_begin(this), 1, InsertAtEnd) {
681 Op<0>() = Exn;
682}
683
684unsigned ResumeInst::getNumSuccessorsV() const {
685 return getNumSuccessors();
686}
687
688void ResumeInst::setSuccessorV(unsigned idx, BasicBlock *NewSucc) {
689 llvm_unreachable("ResumeInst has no successors!");
690}
691
692BasicBlock *ResumeInst::getSuccessorV(unsigned idx) const {
693 llvm_unreachable("ResumeInst has no successors!");
Bill Wendlingf891bf82011-07-31 06:30:59 +0000694}
695
696//===----------------------------------------------------------------------===//
Chris Lattner5e0b9f22004-10-16 18:08:06 +0000697// UnreachableInst Implementation
698//===----------------------------------------------------------------------===//
699
Owen Anderson55f1c092009-08-13 21:58:54 +0000700UnreachableInst::UnreachableInst(LLVMContext &Context,
701 Instruction *InsertBefore)
702 : TerminatorInst(Type::getVoidTy(Context), Instruction::Unreachable,
Craig Topperc6207612014-04-09 06:08:46 +0000703 nullptr, 0, InsertBefore) {
Chris Lattner2195fc42007-02-24 00:55:48 +0000704}
Owen Anderson55f1c092009-08-13 21:58:54 +0000705UnreachableInst::UnreachableInst(LLVMContext &Context, BasicBlock *InsertAtEnd)
706 : TerminatorInst(Type::getVoidTy(Context), Instruction::Unreachable,
Craig Topperc6207612014-04-09 06:08:46 +0000707 nullptr, 0, InsertAtEnd) {
Chris Lattner2195fc42007-02-24 00:55:48 +0000708}
709
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000710unsigned UnreachableInst::getNumSuccessorsV() const {
711 return getNumSuccessors();
712}
713
714void UnreachableInst::setSuccessorV(unsigned idx, BasicBlock *NewSucc) {
Bill Wendling0aef16a2012-02-06 21:44:22 +0000715 llvm_unreachable("UnreachableInst has no successors!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000716}
717
718BasicBlock *UnreachableInst::getSuccessorV(unsigned idx) const {
Bill Wendling0aef16a2012-02-06 21:44:22 +0000719 llvm_unreachable("UnreachableInst has no successors!");
Chris Lattner5e0b9f22004-10-16 18:08:06 +0000720}
721
722//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000723// BranchInst Implementation
724//===----------------------------------------------------------------------===//
725
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000726void BranchInst::AssertOK() {
727 if (isConditional())
Duncan Sands9dff9be2010-02-15 16:12:20 +0000728 assert(getCondition()->getType()->isIntegerTy(1) &&
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000729 "May only branch on boolean predicates!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000730}
731
Chris Lattner2195fc42007-02-24 00:55:48 +0000732BranchInst::BranchInst(BasicBlock *IfTrue, Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +0000733 : TerminatorInst(Type::getVoidTy(IfTrue->getContext()), Instruction::Br,
Gabor Greiff6caff662008-05-10 08:32:32 +0000734 OperandTraits<BranchInst>::op_end(this) - 1,
735 1, InsertBefore) {
Craig Topper2617dcc2014-04-15 06:32:26 +0000736 assert(IfTrue && "Branch destination may not be null!");
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000737 Op<-1>() = IfTrue;
Chris Lattner2195fc42007-02-24 00:55:48 +0000738}
739BranchInst::BranchInst(BasicBlock *IfTrue, BasicBlock *IfFalse, Value *Cond,
740 Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +0000741 : TerminatorInst(Type::getVoidTy(IfTrue->getContext()), Instruction::Br,
Gabor Greiff6caff662008-05-10 08:32:32 +0000742 OperandTraits<BranchInst>::op_end(this) - 3,
743 3, InsertBefore) {
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000744 Op<-1>() = IfTrue;
745 Op<-2>() = IfFalse;
746 Op<-3>() = Cond;
Chris Lattner2195fc42007-02-24 00:55:48 +0000747#ifndef NDEBUG
748 AssertOK();
749#endif
750}
751
752BranchInst::BranchInst(BasicBlock *IfTrue, BasicBlock *InsertAtEnd)
Owen Anderson55f1c092009-08-13 21:58:54 +0000753 : TerminatorInst(Type::getVoidTy(IfTrue->getContext()), Instruction::Br,
Gabor Greiff6caff662008-05-10 08:32:32 +0000754 OperandTraits<BranchInst>::op_end(this) - 1,
755 1, InsertAtEnd) {
Craig Topper2617dcc2014-04-15 06:32:26 +0000756 assert(IfTrue && "Branch destination may not be null!");
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000757 Op<-1>() = IfTrue;
Chris Lattner2195fc42007-02-24 00:55:48 +0000758}
759
760BranchInst::BranchInst(BasicBlock *IfTrue, BasicBlock *IfFalse, Value *Cond,
761 BasicBlock *InsertAtEnd)
Owen Anderson55f1c092009-08-13 21:58:54 +0000762 : TerminatorInst(Type::getVoidTy(IfTrue->getContext()), Instruction::Br,
Gabor Greiff6caff662008-05-10 08:32:32 +0000763 OperandTraits<BranchInst>::op_end(this) - 3,
764 3, InsertAtEnd) {
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000765 Op<-1>() = IfTrue;
766 Op<-2>() = IfFalse;
767 Op<-3>() = Cond;
Chris Lattner2195fc42007-02-24 00:55:48 +0000768#ifndef NDEBUG
769 AssertOK();
770#endif
771}
772
773
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000774BranchInst::BranchInst(const BranchInst &BI) :
Owen Anderson55f1c092009-08-13 21:58:54 +0000775 TerminatorInst(Type::getVoidTy(BI.getContext()), Instruction::Br,
Gabor Greiff6caff662008-05-10 08:32:32 +0000776 OperandTraits<BranchInst>::op_end(this) - BI.getNumOperands(),
777 BI.getNumOperands()) {
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000778 Op<-1>() = BI.Op<-1>();
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000779 if (BI.getNumOperands() != 1) {
780 assert(BI.getNumOperands() == 3 && "BR can have 1 or 3 operands!");
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000781 Op<-3>() = BI.Op<-3>();
782 Op<-2>() = BI.Op<-2>();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000783 }
Dan Gohmanc8a27f22009-08-25 22:11:20 +0000784 SubclassOptionalData = BI.SubclassOptionalData;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000785}
786
Chandler Carruth3e8aa652011-10-17 01:11:57 +0000787void BranchInst::swapSuccessors() {
788 assert(isConditional() &&
789 "Cannot swap successors of an unconditional branch");
790 Op<-1>().swap(Op<-2>());
791
792 // Update profile metadata if present and it matches our structural
793 // expectations.
Duncan P. N. Exon Smithde36e802014-11-11 21:30:22 +0000794 MDNode *ProfileData = getMetadata(LLVMContext::MD_prof);
Chandler Carruth3e8aa652011-10-17 01:11:57 +0000795 if (!ProfileData || ProfileData->getNumOperands() != 3)
796 return;
797
798 // The first operand is the name. Fetch them backwards and build a new one.
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000799 Metadata *Ops[] = {ProfileData->getOperand(0), ProfileData->getOperand(2),
800 ProfileData->getOperand(1)};
Chandler Carruth3e8aa652011-10-17 01:11:57 +0000801 setMetadata(LLVMContext::MD_prof,
802 MDNode::get(ProfileData->getContext(), Ops));
803}
804
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000805BasicBlock *BranchInst::getSuccessorV(unsigned idx) const {
806 return getSuccessor(idx);
807}
808unsigned BranchInst::getNumSuccessorsV() const {
809 return getNumSuccessors();
810}
811void BranchInst::setSuccessorV(unsigned idx, BasicBlock *B) {
812 setSuccessor(idx, B);
813}
814
815
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000816//===----------------------------------------------------------------------===//
Victor Hernandez8acf2952009-10-23 21:09:37 +0000817// AllocaInst Implementation
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000818//===----------------------------------------------------------------------===//
819
Owen Andersonb6b25302009-07-14 23:09:55 +0000820static Value *getAISize(LLVMContext &Context, Value *Amt) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000821 if (!Amt)
Owen Anderson55f1c092009-08-13 21:58:54 +0000822 Amt = ConstantInt::get(Type::getInt32Ty(Context), 1);
Chris Lattnerbb7ff662006-05-10 04:32:43 +0000823 else {
824 assert(!isa<BasicBlock>(Amt) &&
Chris Lattner9b6ec772007-10-18 16:10:48 +0000825 "Passed basic block into allocation size parameter! Use other ctor");
Dan Gohman2140a742010-05-28 01:14:11 +0000826 assert(Amt->getType()->isIntegerTy() &&
827 "Allocation array size is not an integer!");
Chris Lattnerbb7ff662006-05-10 04:32:43 +0000828 }
Misha Brukmanb1c93172005-04-21 23:48:37 +0000829 return Amt;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000830}
831
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000832AllocaInst::AllocaInst(Type *Ty, const Twine &Name, Instruction *InsertBefore)
833 : AllocaInst(Ty, /*ArraySize=*/nullptr, Name, InsertBefore) {}
Victor Hernandez8acf2952009-10-23 21:09:37 +0000834
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000835AllocaInst::AllocaInst(Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd)
836 : AllocaInst(Ty, /*ArraySize=*/nullptr, Name, InsertAtEnd) {}
Victor Hernandez8acf2952009-10-23 21:09:37 +0000837
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000838AllocaInst::AllocaInst(Type *Ty, Value *ArraySize, const Twine &Name,
Victor Hernandez8acf2952009-10-23 21:09:37 +0000839 Instruction *InsertBefore)
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000840 : AllocaInst(Ty, ArraySize, /*Align=*/0, Name, InsertBefore) {}
Victor Hernandez8acf2952009-10-23 21:09:37 +0000841
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000842AllocaInst::AllocaInst(Type *Ty, Value *ArraySize, const Twine &Name,
Victor Hernandez8acf2952009-10-23 21:09:37 +0000843 BasicBlock *InsertAtEnd)
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000844 : AllocaInst(Ty, ArraySize, /*Align=*/0, Name, InsertAtEnd) {}
Victor Hernandez8acf2952009-10-23 21:09:37 +0000845
Chris Lattner229907c2011-07-18 04:54:35 +0000846AllocaInst::AllocaInst(Type *Ty, Value *ArraySize, unsigned Align,
Victor Hernandez8acf2952009-10-23 21:09:37 +0000847 const Twine &Name, Instruction *InsertBefore)
David Blaikiebf0a42a2015-04-29 23:00:35 +0000848 : UnaryInstruction(PointerType::getUnqual(Ty), Alloca,
849 getAISize(Ty->getContext(), ArraySize), InsertBefore),
850 AllocatedType(Ty) {
Dan Gohmanaa583d72008-03-24 16:55:58 +0000851 setAlignment(Align);
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000852 assert(!Ty->isVoidTy() && "Cannot allocate void!");
Chris Lattner0f048162007-02-13 07:54:42 +0000853 setName(Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000854}
855
Chris Lattner229907c2011-07-18 04:54:35 +0000856AllocaInst::AllocaInst(Type *Ty, Value *ArraySize, unsigned Align,
Victor Hernandez8acf2952009-10-23 21:09:37 +0000857 const Twine &Name, BasicBlock *InsertAtEnd)
David Blaikiebf0a42a2015-04-29 23:00:35 +0000858 : UnaryInstruction(PointerType::getUnqual(Ty), Alloca,
859 getAISize(Ty->getContext(), ArraySize), InsertAtEnd),
860 AllocatedType(Ty) {
Dan Gohmanaa583d72008-03-24 16:55:58 +0000861 setAlignment(Align);
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000862 assert(!Ty->isVoidTy() && "Cannot allocate void!");
Chris Lattner0f048162007-02-13 07:54:42 +0000863 setName(Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000864}
865
Gordon Henriksen14a55692007-12-10 02:14:30 +0000866// Out of line virtual method, so the vtable, etc has a home.
Victor Hernandez8acf2952009-10-23 21:09:37 +0000867AllocaInst::~AllocaInst() {
Gordon Henriksen14a55692007-12-10 02:14:30 +0000868}
869
Victor Hernandez8acf2952009-10-23 21:09:37 +0000870void AllocaInst::setAlignment(unsigned Align) {
Dan Gohmanaa583d72008-03-24 16:55:58 +0000871 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!");
Dan Gohmana7e5a242010-07-28 20:12:04 +0000872 assert(Align <= MaximumAlignment &&
873 "Alignment is greater than MaximumAlignment!");
Reid Kleckner436c42e2014-01-17 23:58:17 +0000874 setInstructionSubclassData((getSubclassDataFromInstruction() & ~31) |
875 (Log2_32(Align) + 1));
Dan Gohmanaa583d72008-03-24 16:55:58 +0000876 assert(getAlignment() == Align && "Alignment representation error!");
877}
878
Victor Hernandez8acf2952009-10-23 21:09:37 +0000879bool AllocaInst::isArrayAllocation() const {
Reid Spencera9e6e312007-03-01 20:27:41 +0000880 if (ConstantInt *CI = dyn_cast<ConstantInt>(getOperand(0)))
Dan Gohman9a1b8592010-09-27 15:15:44 +0000881 return !CI->isOne();
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000882 return true;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000883}
884
Chris Lattner8b291e62008-11-26 02:54:17 +0000885/// isStaticAlloca - Return true if this alloca is in the entry block of the
886/// function and is a constant size. If so, the code generator will fold it
887/// into the prolog/epilog code, so it is basically free.
888bool AllocaInst::isStaticAlloca() const {
889 // Must be constant size.
890 if (!isa<ConstantInt>(getArraySize())) return false;
891
892 // Must be in the entry block.
893 const BasicBlock *Parent = getParent();
Reid Kleckner436c42e2014-01-17 23:58:17 +0000894 return Parent == &Parent->getParent()->front() && !isUsedWithInAlloca();
Chris Lattner8b291e62008-11-26 02:54:17 +0000895}
896
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000897//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000898// LoadInst Implementation
899//===----------------------------------------------------------------------===//
900
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000901void LoadInst::AssertOK() {
Duncan Sands19d0b472010-02-16 11:11:14 +0000902 assert(getOperand(0)->getType()->isPointerTy() &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000903 "Ptr must have pointer type.");
Eli Friedman59b66882011-08-09 23:02:53 +0000904 assert(!(isAtomic() && getAlignment() == 0) &&
905 "Alignment required for atomic load");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000906}
907
Daniel Dunbar4975db62009-07-25 04:41:11 +0000908LoadInst::LoadInst(Value *Ptr, const Twine &Name, Instruction *InsertBef)
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000909 : LoadInst(Ptr, Name, /*isVolatile=*/false, InsertBef) {}
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000910
Daniel Dunbar4975db62009-07-25 04:41:11 +0000911LoadInst::LoadInst(Value *Ptr, const Twine &Name, BasicBlock *InsertAE)
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000912 : LoadInst(Ptr, Name, /*isVolatile=*/false, InsertAE) {}
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000913
David Blaikie0c28fd72015-05-20 21:46:30 +0000914LoadInst::LoadInst(Type *Ty, Value *Ptr, const Twine &Name, bool isVolatile,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000915 Instruction *InsertBef)
David Blaikie0c28fd72015-05-20 21:46:30 +0000916 : LoadInst(Ty, Ptr, Name, isVolatile, /*Align=*/0, InsertBef) {}
Eli Friedman59b66882011-08-09 23:02:53 +0000917
918LoadInst::LoadInst(Value *Ptr, const Twine &Name, bool isVolatile,
919 BasicBlock *InsertAE)
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000920 : LoadInst(Ptr, Name, isVolatile, /*Align=*/0, InsertAE) {}
Christopher Lamb84485702007-04-22 19:24:39 +0000921
David Blaikieb7a029872015-04-17 19:56:21 +0000922LoadInst::LoadInst(Type *Ty, Value *Ptr, const Twine &Name, bool isVolatile,
Christopher Lamb84485702007-04-22 19:24:39 +0000923 unsigned Align, Instruction *InsertBef)
David Blaikieb7a029872015-04-17 19:56:21 +0000924 : LoadInst(Ty, Ptr, Name, isVolatile, Align, NotAtomic, CrossThread,
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000925 InsertBef) {}
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000926
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000927LoadInst::LoadInst(Value *Ptr, const Twine &Name, bool isVolatile,
Dan Gohman68659282007-07-18 20:51:11 +0000928 unsigned Align, BasicBlock *InsertAE)
Benjamin Kramerfc165f12015-03-05 22:05:26 +0000929 : LoadInst(Ptr, Name, isVolatile, Align, NotAtomic, CrossThread, InsertAE) {
Dan Gohman68659282007-07-18 20:51:11 +0000930}
931
David Blaikie15d9a4c2015-04-06 20:59:48 +0000932LoadInst::LoadInst(Type *Ty, Value *Ptr, const Twine &Name, bool isVolatile,
Eli Friedman59b66882011-08-09 23:02:53 +0000933 unsigned Align, AtomicOrdering Order,
David Blaikie15d9a4c2015-04-06 20:59:48 +0000934 SynchronizationScope SynchScope, Instruction *InsertBef)
935 : UnaryInstruction(Ty, Load, Ptr, InsertBef) {
David Blaikie79009f82015-05-20 20:22:31 +0000936 assert(Ty == cast<PointerType>(Ptr->getType())->getElementType());
Eli Friedman59b66882011-08-09 23:02:53 +0000937 setVolatile(isVolatile);
938 setAlignment(Align);
939 setAtomic(Order, SynchScope);
940 AssertOK();
941 setName(Name);
942}
943
944LoadInst::LoadInst(Value *Ptr, const Twine &Name, bool isVolatile,
945 unsigned Align, AtomicOrdering Order,
946 SynchronizationScope SynchScope,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +0000947 BasicBlock *InsertAE)
Chris Lattnerafdb3de2005-01-29 00:35:16 +0000948 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
Chris Lattner2195fc42007-02-24 00:55:48 +0000949 Load, Ptr, InsertAE) {
Chris Lattner0f048162007-02-13 07:54:42 +0000950 setVolatile(isVolatile);
Eli Friedman59b66882011-08-09 23:02:53 +0000951 setAlignment(Align);
952 setAtomic(Order, SynchScope);
Chris Lattner0f048162007-02-13 07:54:42 +0000953 AssertOK();
954 setName(Name);
955}
956
Daniel Dunbar27096822009-08-11 18:11:15 +0000957LoadInst::LoadInst(Value *Ptr, const char *Name, Instruction *InsertBef)
958 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
959 Load, Ptr, InsertBef) {
960 setVolatile(false);
961 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +0000962 setAtomic(NotAtomic);
Daniel Dunbar27096822009-08-11 18:11:15 +0000963 AssertOK();
964 if (Name && Name[0]) setName(Name);
965}
966
967LoadInst::LoadInst(Value *Ptr, const char *Name, BasicBlock *InsertAE)
968 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
969 Load, Ptr, InsertAE) {
970 setVolatile(false);
971 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +0000972 setAtomic(NotAtomic);
Daniel Dunbar27096822009-08-11 18:11:15 +0000973 AssertOK();
974 if (Name && Name[0]) setName(Name);
975}
976
David Blaikie0c28fd72015-05-20 21:46:30 +0000977LoadInst::LoadInst(Type *Ty, Value *Ptr, const char *Name, bool isVolatile,
Daniel Dunbar27096822009-08-11 18:11:15 +0000978 Instruction *InsertBef)
David Blaikie0c28fd72015-05-20 21:46:30 +0000979 : UnaryInstruction(Ty, Load, Ptr, InsertBef) {
980 assert(Ty == cast<PointerType>(Ptr->getType())->getElementType());
Daniel Dunbar27096822009-08-11 18:11:15 +0000981 setVolatile(isVolatile);
982 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +0000983 setAtomic(NotAtomic);
Daniel Dunbar27096822009-08-11 18:11:15 +0000984 AssertOK();
985 if (Name && Name[0]) setName(Name);
986}
987
988LoadInst::LoadInst(Value *Ptr, const char *Name, bool isVolatile,
989 BasicBlock *InsertAE)
990 : UnaryInstruction(cast<PointerType>(Ptr->getType())->getElementType(),
991 Load, Ptr, InsertAE) {
992 setVolatile(isVolatile);
993 setAlignment(0);
Eli Friedman59b66882011-08-09 23:02:53 +0000994 setAtomic(NotAtomic);
Daniel Dunbar27096822009-08-11 18:11:15 +0000995 AssertOK();
996 if (Name && Name[0]) setName(Name);
997}
998
Christopher Lamb84485702007-04-22 19:24:39 +0000999void LoadInst::setAlignment(unsigned Align) {
1000 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!");
Dan Gohmana7e5a242010-07-28 20:12:04 +00001001 assert(Align <= MaximumAlignment &&
1002 "Alignment is greater than MaximumAlignment!");
Eli Friedman59b66882011-08-09 23:02:53 +00001003 setInstructionSubclassData((getSubclassDataFromInstruction() & ~(31 << 1)) |
Chris Lattnerd8eb2cf2009-12-29 02:46:09 +00001004 ((Log2_32(Align)+1)<<1));
Dan Gohmana7e5a242010-07-28 20:12:04 +00001005 assert(getAlignment() == Align && "Alignment representation error!");
Christopher Lamb84485702007-04-22 19:24:39 +00001006}
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001007
1008//===----------------------------------------------------------------------===//
1009// StoreInst Implementation
1010//===----------------------------------------------------------------------===//
1011
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001012void StoreInst::AssertOK() {
Nate Begemanfecbc8c2008-07-29 15:49:41 +00001013 assert(getOperand(0) && getOperand(1) && "Both operands must be non-null!");
Duncan Sands19d0b472010-02-16 11:11:14 +00001014 assert(getOperand(1)->getType()->isPointerTy() &&
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001015 "Ptr must have pointer type!");
1016 assert(getOperand(0)->getType() ==
1017 cast<PointerType>(getOperand(1)->getType())->getElementType()
Alkis Evlogimenos079fbde2004-08-06 14:33:37 +00001018 && "Ptr must be a pointer to Val type!");
Eli Friedman59b66882011-08-09 23:02:53 +00001019 assert(!(isAtomic() && getAlignment() == 0) &&
Mark Lacey1d7c97e2013-12-21 00:00:49 +00001020 "Alignment required for atomic store");
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001021}
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001022
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001023StoreInst::StoreInst(Value *val, Value *addr, Instruction *InsertBefore)
Benjamin Kramerfc165f12015-03-05 22:05:26 +00001024 : StoreInst(val, addr, /*isVolatile=*/false, InsertBefore) {}
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001025
1026StoreInst::StoreInst(Value *val, Value *addr, BasicBlock *InsertAtEnd)
Benjamin Kramerfc165f12015-03-05 22:05:26 +00001027 : StoreInst(val, addr, /*isVolatile=*/false, InsertAtEnd) {}
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001028
Misha Brukmanb1c93172005-04-21 23:48:37 +00001029StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001030 Instruction *InsertBefore)
Benjamin Kramerfc165f12015-03-05 22:05:26 +00001031 : StoreInst(val, addr, isVolatile, /*Align=*/0, InsertBefore) {}
Christopher Lamb84485702007-04-22 19:24:39 +00001032
1033StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
Benjamin Kramerfc165f12015-03-05 22:05:26 +00001034 BasicBlock *InsertAtEnd)
1035 : StoreInst(val, addr, isVolatile, /*Align=*/0, InsertAtEnd) {}
1036
1037StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile, unsigned Align,
1038 Instruction *InsertBefore)
1039 : StoreInst(val, addr, isVolatile, Align, NotAtomic, CrossThread,
1040 InsertBefore) {}
1041
1042StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile, unsigned Align,
1043 BasicBlock *InsertAtEnd)
1044 : StoreInst(val, addr, isVolatile, Align, NotAtomic, CrossThread,
1045 InsertAtEnd) {}
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001046
Misha Brukmanb1c93172005-04-21 23:48:37 +00001047StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
Eli Friedman59b66882011-08-09 23:02:53 +00001048 unsigned Align, AtomicOrdering Order,
1049 SynchronizationScope SynchScope,
1050 Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +00001051 : Instruction(Type::getVoidTy(val->getContext()), Store,
Gabor Greiff6caff662008-05-10 08:32:32 +00001052 OperandTraits<StoreInst>::op_begin(this),
1053 OperandTraits<StoreInst>::operands(this),
Eli Friedman59b66882011-08-09 23:02:53 +00001054 InsertBefore) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001055 Op<0>() = val;
1056 Op<1>() = addr;
Dan Gohman68659282007-07-18 20:51:11 +00001057 setVolatile(isVolatile);
1058 setAlignment(Align);
Eli Friedman59b66882011-08-09 23:02:53 +00001059 setAtomic(Order, SynchScope);
Dan Gohman68659282007-07-18 20:51:11 +00001060 AssertOK();
1061}
1062
1063StoreInst::StoreInst(Value *val, Value *addr, bool isVolatile,
Eli Friedman59b66882011-08-09 23:02:53 +00001064 unsigned Align, AtomicOrdering Order,
1065 SynchronizationScope SynchScope,
1066 BasicBlock *InsertAtEnd)
1067 : Instruction(Type::getVoidTy(val->getContext()), Store,
1068 OperandTraits<StoreInst>::op_begin(this),
1069 OperandTraits<StoreInst>::operands(this),
1070 InsertAtEnd) {
1071 Op<0>() = val;
1072 Op<1>() = addr;
1073 setVolatile(isVolatile);
1074 setAlignment(Align);
1075 setAtomic(Order, SynchScope);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001076 AssertOK();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001077}
1078
Christopher Lamb84485702007-04-22 19:24:39 +00001079void StoreInst::setAlignment(unsigned Align) {
1080 assert((Align & (Align-1)) == 0 && "Alignment is not a power of 2!");
Dan Gohmana7e5a242010-07-28 20:12:04 +00001081 assert(Align <= MaximumAlignment &&
1082 "Alignment is greater than MaximumAlignment!");
Eli Friedman59b66882011-08-09 23:02:53 +00001083 setInstructionSubclassData((getSubclassDataFromInstruction() & ~(31 << 1)) |
Chris Lattnerd8eb2cf2009-12-29 02:46:09 +00001084 ((Log2_32(Align)+1) << 1));
Dan Gohmana7e5a242010-07-28 20:12:04 +00001085 assert(getAlignment() == Align && "Alignment representation error!");
Christopher Lamb84485702007-04-22 19:24:39 +00001086}
1087
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001088//===----------------------------------------------------------------------===//
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001089// AtomicCmpXchgInst Implementation
1090//===----------------------------------------------------------------------===//
1091
1092void AtomicCmpXchgInst::Init(Value *Ptr, Value *Cmp, Value *NewVal,
Tim Northovere94a5182014-03-11 10:48:52 +00001093 AtomicOrdering SuccessOrdering,
1094 AtomicOrdering FailureOrdering,
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001095 SynchronizationScope SynchScope) {
1096 Op<0>() = Ptr;
1097 Op<1>() = Cmp;
1098 Op<2>() = NewVal;
Tim Northovere94a5182014-03-11 10:48:52 +00001099 setSuccessOrdering(SuccessOrdering);
1100 setFailureOrdering(FailureOrdering);
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001101 setSynchScope(SynchScope);
1102
1103 assert(getOperand(0) && getOperand(1) && getOperand(2) &&
1104 "All operands must be non-null!");
1105 assert(getOperand(0)->getType()->isPointerTy() &&
1106 "Ptr must have pointer type!");
1107 assert(getOperand(1)->getType() ==
1108 cast<PointerType>(getOperand(0)->getType())->getElementType()
1109 && "Ptr must be a pointer to Cmp type!");
1110 assert(getOperand(2)->getType() ==
1111 cast<PointerType>(getOperand(0)->getType())->getElementType()
1112 && "Ptr must be a pointer to NewVal type!");
Tim Northovere94a5182014-03-11 10:48:52 +00001113 assert(SuccessOrdering != NotAtomic &&
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001114 "AtomicCmpXchg instructions must be atomic!");
Tim Northovere94a5182014-03-11 10:48:52 +00001115 assert(FailureOrdering != NotAtomic &&
1116 "AtomicCmpXchg instructions must be atomic!");
1117 assert(SuccessOrdering >= FailureOrdering &&
1118 "AtomicCmpXchg success ordering must be at least as strong as fail");
1119 assert(FailureOrdering != Release && FailureOrdering != AcquireRelease &&
1120 "AtomicCmpXchg failure ordering cannot include release semantics");
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001121}
1122
1123AtomicCmpXchgInst::AtomicCmpXchgInst(Value *Ptr, Value *Cmp, Value *NewVal,
Tim Northovere94a5182014-03-11 10:48:52 +00001124 AtomicOrdering SuccessOrdering,
1125 AtomicOrdering FailureOrdering,
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001126 SynchronizationScope SynchScope,
1127 Instruction *InsertBefore)
Tim Northover420a2162014-06-13 14:24:07 +00001128 : Instruction(
1129 StructType::get(Cmp->getType(), Type::getInt1Ty(Cmp->getContext()),
1130 nullptr),
1131 AtomicCmpXchg, OperandTraits<AtomicCmpXchgInst>::op_begin(this),
1132 OperandTraits<AtomicCmpXchgInst>::operands(this), InsertBefore) {
Tim Northovere94a5182014-03-11 10:48:52 +00001133 Init(Ptr, Cmp, NewVal, SuccessOrdering, FailureOrdering, SynchScope);
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001134}
1135
1136AtomicCmpXchgInst::AtomicCmpXchgInst(Value *Ptr, Value *Cmp, Value *NewVal,
Tim Northovere94a5182014-03-11 10:48:52 +00001137 AtomicOrdering SuccessOrdering,
1138 AtomicOrdering FailureOrdering,
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001139 SynchronizationScope SynchScope,
1140 BasicBlock *InsertAtEnd)
Tim Northover420a2162014-06-13 14:24:07 +00001141 : Instruction(
1142 StructType::get(Cmp->getType(), Type::getInt1Ty(Cmp->getContext()),
1143 nullptr),
1144 AtomicCmpXchg, OperandTraits<AtomicCmpXchgInst>::op_begin(this),
1145 OperandTraits<AtomicCmpXchgInst>::operands(this), InsertAtEnd) {
Tim Northovere94a5182014-03-11 10:48:52 +00001146 Init(Ptr, Cmp, NewVal, SuccessOrdering, FailureOrdering, SynchScope);
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001147}
Tim Northover420a2162014-06-13 14:24:07 +00001148
Eli Friedmanc9a551e2011-07-28 21:48:00 +00001149//===----------------------------------------------------------------------===//
1150// AtomicRMWInst Implementation
1151//===----------------------------------------------------------------------===//
1152
1153void AtomicRMWInst::Init(BinOp Operation, Value *Ptr, Value *Val,
1154 AtomicOrdering Ordering,
1155 SynchronizationScope SynchScope) {
1156 Op<0>() = Ptr;
1157 Op<1>() = Val;
1158 setOperation(Operation);
1159 setOrdering(Ordering);
1160 setSynchScope(SynchScope);
1161
1162 assert(getOperand(0) && getOperand(1) &&
1163 "All operands must be non-null!");
1164 assert(getOperand(0)->getType()->isPointerTy() &&
1165 "Ptr must have pointer type!");
1166 assert(getOperand(1)->getType() ==
1167 cast<PointerType>(getOperand(0)->getType())->getElementType()
1168 && "Ptr must be a pointer to Val type!");
1169 assert(Ordering != NotAtomic &&
1170 "AtomicRMW instructions must be atomic!");
1171}
1172
1173AtomicRMWInst::AtomicRMWInst(BinOp Operation, Value *Ptr, Value *Val,
1174 AtomicOrdering Ordering,
1175 SynchronizationScope SynchScope,
1176 Instruction *InsertBefore)
1177 : Instruction(Val->getType(), AtomicRMW,
1178 OperandTraits<AtomicRMWInst>::op_begin(this),
1179 OperandTraits<AtomicRMWInst>::operands(this),
1180 InsertBefore) {
1181 Init(Operation, Ptr, Val, Ordering, SynchScope);
1182}
1183
1184AtomicRMWInst::AtomicRMWInst(BinOp Operation, Value *Ptr, Value *Val,
1185 AtomicOrdering Ordering,
1186 SynchronizationScope SynchScope,
1187 BasicBlock *InsertAtEnd)
1188 : Instruction(Val->getType(), AtomicRMW,
1189 OperandTraits<AtomicRMWInst>::op_begin(this),
1190 OperandTraits<AtomicRMWInst>::operands(this),
1191 InsertAtEnd) {
1192 Init(Operation, Ptr, Val, Ordering, SynchScope);
1193}
1194
1195//===----------------------------------------------------------------------===//
Eli Friedmanfee02c62011-07-25 23:16:38 +00001196// FenceInst Implementation
1197//===----------------------------------------------------------------------===//
1198
1199FenceInst::FenceInst(LLVMContext &C, AtomicOrdering Ordering,
1200 SynchronizationScope SynchScope,
1201 Instruction *InsertBefore)
Craig Topperc6207612014-04-09 06:08:46 +00001202 : Instruction(Type::getVoidTy(C), Fence, nullptr, 0, InsertBefore) {
Eli Friedmanfee02c62011-07-25 23:16:38 +00001203 setOrdering(Ordering);
1204 setSynchScope(SynchScope);
1205}
1206
1207FenceInst::FenceInst(LLVMContext &C, AtomicOrdering Ordering,
1208 SynchronizationScope SynchScope,
1209 BasicBlock *InsertAtEnd)
Craig Topperc6207612014-04-09 06:08:46 +00001210 : Instruction(Type::getVoidTy(C), Fence, nullptr, 0, InsertAtEnd) {
Eli Friedmanfee02c62011-07-25 23:16:38 +00001211 setOrdering(Ordering);
1212 setSynchScope(SynchScope);
1213}
1214
1215//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001216// GetElementPtrInst Implementation
1217//===----------------------------------------------------------------------===//
1218
Jay Foadd1b78492011-07-25 09:48:08 +00001219void GetElementPtrInst::init(Value *Ptr, ArrayRef<Value *> IdxList,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001220 const Twine &Name) {
Jay Foadd1b78492011-07-25 09:48:08 +00001221 assert(NumOperands == 1 + IdxList.size() && "NumOperands not initialized?");
Pete Coopereb31b682015-05-21 22:48:54 +00001222 Op<0>() = Ptr;
Jay Foadd1b78492011-07-25 09:48:08 +00001223 std::copy(IdxList.begin(), IdxList.end(), op_begin() + 1);
Matthijs Kooijman76d8dec2008-06-04 16:14:12 +00001224 setName(Name);
Chris Lattner82981202005-05-03 05:43:30 +00001225}
1226
Gabor Greiff6caff662008-05-10 08:32:32 +00001227GetElementPtrInst::GetElementPtrInst(const GetElementPtrInst &GEPI)
David Blaikie73cf8722015-05-05 18:03:48 +00001228 : Instruction(GEPI.getType(), GetElementPtr,
1229 OperandTraits<GetElementPtrInst>::op_end(this) -
1230 GEPI.getNumOperands(),
1231 GEPI.getNumOperands()),
David Blaikief5147ef2015-06-01 03:09:34 +00001232 SourceElementType(GEPI.SourceElementType),
1233 ResultElementType(GEPI.ResultElementType) {
Jay Foadd1b78492011-07-25 09:48:08 +00001234 std::copy(GEPI.op_begin(), GEPI.op_end(), op_begin());
Dan Gohmanc8a27f22009-08-25 22:11:20 +00001235 SubclassOptionalData = GEPI.SubclassOptionalData;
Gabor Greiff6caff662008-05-10 08:32:32 +00001236}
1237
Chris Lattner6090a422009-03-09 04:46:40 +00001238/// getIndexedType - Returns the type of the element that would be accessed with
1239/// a gep instruction with the specified parameters.
1240///
1241/// The Idxs pointer should point to a continuous piece of memory containing the
1242/// indices, either as Value* or uint64_t.
1243///
1244/// A null type is returned if the indices are invalid for the specified
1245/// pointer type.
1246///
Matthijs Kooijman04468622008-07-29 08:46:11 +00001247template <typename IndexTy>
David Blaikied288fb82015-03-30 21:41:43 +00001248static Type *getIndexedTypeInternal(Type *Agg, ArrayRef<IndexTy> IdxList) {
Chris Lattner6090a422009-03-09 04:46:40 +00001249 // Handle the special case of the empty set index set, which is always valid.
Jay Foadd1b78492011-07-25 09:48:08 +00001250 if (IdxList.empty())
Dan Gohman12fce772008-05-15 19:50:34 +00001251 return Agg;
Nadav Rotem3924cb02011-12-05 06:29:09 +00001252
Chris Lattner6090a422009-03-09 04:46:40 +00001253 // If there is at least one index, the top level type must be sized, otherwise
Chris Lattnerb1ed91f2011-07-09 17:41:24 +00001254 // it cannot be 'stepped over'.
1255 if (!Agg->isSized())
Craig Topperc6207612014-04-09 06:08:46 +00001256 return nullptr;
Misha Brukmanb1c93172005-04-21 23:48:37 +00001257
Dan Gohman1ecaf452008-05-31 00:58:22 +00001258 unsigned CurIdx = 1;
Jay Foadd1b78492011-07-25 09:48:08 +00001259 for (; CurIdx != IdxList.size(); ++CurIdx) {
Chris Lattnerb1ed91f2011-07-09 17:41:24 +00001260 CompositeType *CT = dyn_cast<CompositeType>(Agg);
Craig Topperc6207612014-04-09 06:08:46 +00001261 if (!CT || CT->isPointerTy()) return nullptr;
Jay Foadd1b78492011-07-25 09:48:08 +00001262 IndexTy Index = IdxList[CurIdx];
Craig Topperc6207612014-04-09 06:08:46 +00001263 if (!CT->indexValid(Index)) return nullptr;
Dan Gohman1ecaf452008-05-31 00:58:22 +00001264 Agg = CT->getTypeAtIndex(Index);
Dan Gohman1ecaf452008-05-31 00:58:22 +00001265 }
Craig Topperc6207612014-04-09 06:08:46 +00001266 return CurIdx == IdxList.size() ? Agg : nullptr;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001267}
1268
David Blaikied288fb82015-03-30 21:41:43 +00001269Type *GetElementPtrInst::getIndexedType(Type *Ty, ArrayRef<Value *> IdxList) {
1270 return getIndexedTypeInternal(Ty, IdxList);
Matthijs Kooijman04468622008-07-29 08:46:11 +00001271}
1272
David Blaikied288fb82015-03-30 21:41:43 +00001273Type *GetElementPtrInst::getIndexedType(Type *Ty,
Jay Foadd1b78492011-07-25 09:48:08 +00001274 ArrayRef<Constant *> IdxList) {
David Blaikied288fb82015-03-30 21:41:43 +00001275 return getIndexedTypeInternal(Ty, IdxList);
Jay Foad1d4a8fe2011-01-14 08:07:43 +00001276}
1277
David Blaikied288fb82015-03-30 21:41:43 +00001278Type *GetElementPtrInst::getIndexedType(Type *Ty, ArrayRef<uint64_t> IdxList) {
1279 return getIndexedTypeInternal(Ty, IdxList);
Matthijs Kooijman04468622008-07-29 08:46:11 +00001280}
1281
Chris Lattner45f15572007-04-14 00:12:57 +00001282/// hasAllZeroIndices - Return true if all of the indices of this GEP are
1283/// zeros. If so, the result pointer and the first operand have the same
1284/// value, just potentially different types.
1285bool GetElementPtrInst::hasAllZeroIndices() const {
1286 for (unsigned i = 1, e = getNumOperands(); i != e; ++i) {
1287 if (ConstantInt *CI = dyn_cast<ConstantInt>(getOperand(i))) {
1288 if (!CI->isZero()) return false;
1289 } else {
1290 return false;
1291 }
1292 }
1293 return true;
1294}
1295
Chris Lattner27058292007-04-27 20:35:56 +00001296/// hasAllConstantIndices - Return true if all of the indices of this GEP are
1297/// constant integers. If so, the result pointer and the first operand have
1298/// a constant offset between them.
1299bool GetElementPtrInst::hasAllConstantIndices() const {
1300 for (unsigned i = 1, e = getNumOperands(); i != e; ++i) {
1301 if (!isa<ConstantInt>(getOperand(i)))
1302 return false;
1303 }
1304 return true;
1305}
1306
Dan Gohman1b849082009-09-07 23:54:19 +00001307void GetElementPtrInst::setIsInBounds(bool B) {
1308 cast<GEPOperator>(this)->setIsInBounds(B);
1309}
Chris Lattner45f15572007-04-14 00:12:57 +00001310
Nick Lewycky28a5f252009-09-27 21:33:04 +00001311bool GetElementPtrInst::isInBounds() const {
1312 return cast<GEPOperator>(this)->isInBounds();
1313}
1314
Chandler Carruth1e140532012-12-11 10:29:10 +00001315bool GetElementPtrInst::accumulateConstantOffset(const DataLayout &DL,
1316 APInt &Offset) const {
Chandler Carruth7ec41c72012-12-11 11:05:15 +00001317 // Delegate to the generic GEPOperator implementation.
1318 return cast<GEPOperator>(this)->accumulateConstantOffset(DL, Offset);
Chandler Carruth1e140532012-12-11 10:29:10 +00001319}
1320
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001321//===----------------------------------------------------------------------===//
Robert Bocchino23004482006-01-10 19:05:34 +00001322// ExtractElementInst Implementation
1323//===----------------------------------------------------------------------===//
1324
1325ExtractElementInst::ExtractElementInst(Value *Val, Value *Index,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001326 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001327 Instruction *InsertBef)
Reid Spencerd84d35b2007-02-15 02:26:10 +00001328 : Instruction(cast<VectorType>(Val->getType())->getElementType(),
Gabor Greiff6caff662008-05-10 08:32:32 +00001329 ExtractElement,
1330 OperandTraits<ExtractElementInst>::op_begin(this),
1331 2, InsertBef) {
Chris Lattner54865b32006-04-08 04:05:48 +00001332 assert(isValidOperands(Val, Index) &&
1333 "Invalid extractelement instruction operands!");
Gabor Greif2d3024d2008-05-26 21:33:52 +00001334 Op<0>() = Val;
1335 Op<1>() = Index;
Chris Lattner2195fc42007-02-24 00:55:48 +00001336 setName(Name);
Robert Bocchino23004482006-01-10 19:05:34 +00001337}
1338
1339ExtractElementInst::ExtractElementInst(Value *Val, Value *Index,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001340 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001341 BasicBlock *InsertAE)
Reid Spencerd84d35b2007-02-15 02:26:10 +00001342 : Instruction(cast<VectorType>(Val->getType())->getElementType(),
Gabor Greiff6caff662008-05-10 08:32:32 +00001343 ExtractElement,
1344 OperandTraits<ExtractElementInst>::op_begin(this),
1345 2, InsertAE) {
Chris Lattner54865b32006-04-08 04:05:48 +00001346 assert(isValidOperands(Val, Index) &&
1347 "Invalid extractelement instruction operands!");
1348
Gabor Greif2d3024d2008-05-26 21:33:52 +00001349 Op<0>() = Val;
1350 Op<1>() = Index;
Chris Lattner2195fc42007-02-24 00:55:48 +00001351 setName(Name);
Robert Bocchino23004482006-01-10 19:05:34 +00001352}
1353
Chris Lattner65511ff2006-10-05 06:24:58 +00001354
Chris Lattner54865b32006-04-08 04:05:48 +00001355bool ExtractElementInst::isValidOperands(const Value *Val, const Value *Index) {
Michael J. Spencer1f10c5ea2014-05-01 22:12:39 +00001356 if (!Val->getType()->isVectorTy() || !Index->getType()->isIntegerTy())
Chris Lattner54865b32006-04-08 04:05:48 +00001357 return false;
1358 return true;
1359}
1360
1361
Robert Bocchino23004482006-01-10 19:05:34 +00001362//===----------------------------------------------------------------------===//
Robert Bocchinoca27f032006-01-17 20:07:22 +00001363// InsertElementInst Implementation
1364//===----------------------------------------------------------------------===//
1365
Chris Lattner54865b32006-04-08 04:05:48 +00001366InsertElementInst::InsertElementInst(Value *Vec, Value *Elt, Value *Index,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001367 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001368 Instruction *InsertBef)
Gabor Greiff6caff662008-05-10 08:32:32 +00001369 : Instruction(Vec->getType(), InsertElement,
1370 OperandTraits<InsertElementInst>::op_begin(this),
1371 3, InsertBef) {
Chris Lattner54865b32006-04-08 04:05:48 +00001372 assert(isValidOperands(Vec, Elt, Index) &&
1373 "Invalid insertelement instruction operands!");
Gabor Greif2d3024d2008-05-26 21:33:52 +00001374 Op<0>() = Vec;
1375 Op<1>() = Elt;
1376 Op<2>() = Index;
Chris Lattner2195fc42007-02-24 00:55:48 +00001377 setName(Name);
Robert Bocchinoca27f032006-01-17 20:07:22 +00001378}
1379
Chris Lattner54865b32006-04-08 04:05:48 +00001380InsertElementInst::InsertElementInst(Value *Vec, Value *Elt, Value *Index,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001381 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001382 BasicBlock *InsertAE)
Gabor Greiff6caff662008-05-10 08:32:32 +00001383 : Instruction(Vec->getType(), InsertElement,
1384 OperandTraits<InsertElementInst>::op_begin(this),
1385 3, InsertAE) {
Chris Lattner54865b32006-04-08 04:05:48 +00001386 assert(isValidOperands(Vec, Elt, Index) &&
1387 "Invalid insertelement instruction operands!");
1388
Gabor Greif2d3024d2008-05-26 21:33:52 +00001389 Op<0>() = Vec;
1390 Op<1>() = Elt;
1391 Op<2>() = Index;
Chris Lattner2195fc42007-02-24 00:55:48 +00001392 setName(Name);
Robert Bocchinoca27f032006-01-17 20:07:22 +00001393}
1394
Chris Lattner54865b32006-04-08 04:05:48 +00001395bool InsertElementInst::isValidOperands(const Value *Vec, const Value *Elt,
1396 const Value *Index) {
Duncan Sands19d0b472010-02-16 11:11:14 +00001397 if (!Vec->getType()->isVectorTy())
Reid Spencer09575ba2007-02-15 03:39:18 +00001398 return false; // First operand of insertelement must be vector type.
Chris Lattner54865b32006-04-08 04:05:48 +00001399
Reid Spencerd84d35b2007-02-15 02:26:10 +00001400 if (Elt->getType() != cast<VectorType>(Vec->getType())->getElementType())
Dan Gohmanfead7972007-05-11 21:43:24 +00001401 return false;// Second operand of insertelement must be vector element type.
Chris Lattner54865b32006-04-08 04:05:48 +00001402
Michael J. Spencer1f10c5ea2014-05-01 22:12:39 +00001403 if (!Index->getType()->isIntegerTy())
Dan Gohman4fe64de2009-06-14 23:30:43 +00001404 return false; // Third operand of insertelement must be i32.
Chris Lattner54865b32006-04-08 04:05:48 +00001405 return true;
1406}
1407
1408
Robert Bocchinoca27f032006-01-17 20:07:22 +00001409//===----------------------------------------------------------------------===//
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001410// ShuffleVectorInst Implementation
1411//===----------------------------------------------------------------------===//
1412
1413ShuffleVectorInst::ShuffleVectorInst(Value *V1, Value *V2, Value *Mask,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001414 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001415 Instruction *InsertBefore)
Owen Anderson4056ca92009-07-29 22:17:13 +00001416: Instruction(VectorType::get(cast<VectorType>(V1->getType())->getElementType(),
Mon P Wang25f01062008-11-10 04:46:22 +00001417 cast<VectorType>(Mask->getType())->getNumElements()),
1418 ShuffleVector,
1419 OperandTraits<ShuffleVectorInst>::op_begin(this),
1420 OperandTraits<ShuffleVectorInst>::operands(this),
1421 InsertBefore) {
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001422 assert(isValidOperands(V1, V2, Mask) &&
1423 "Invalid shuffle vector instruction operands!");
Gabor Greif2d3024d2008-05-26 21:33:52 +00001424 Op<0>() = V1;
1425 Op<1>() = V2;
1426 Op<2>() = Mask;
Chris Lattner2195fc42007-02-24 00:55:48 +00001427 setName(Name);
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001428}
1429
1430ShuffleVectorInst::ShuffleVectorInst(Value *V1, Value *V2, Value *Mask,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001431 const Twine &Name,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001432 BasicBlock *InsertAtEnd)
Dan Gohmane5af8cd2009-08-25 23:27:45 +00001433: Instruction(VectorType::get(cast<VectorType>(V1->getType())->getElementType(),
1434 cast<VectorType>(Mask->getType())->getNumElements()),
1435 ShuffleVector,
1436 OperandTraits<ShuffleVectorInst>::op_begin(this),
1437 OperandTraits<ShuffleVectorInst>::operands(this),
1438 InsertAtEnd) {
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001439 assert(isValidOperands(V1, V2, Mask) &&
1440 "Invalid shuffle vector instruction operands!");
1441
Gabor Greif2d3024d2008-05-26 21:33:52 +00001442 Op<0>() = V1;
1443 Op<1>() = V2;
1444 Op<2>() = Mask;
Chris Lattner2195fc42007-02-24 00:55:48 +00001445 setName(Name);
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001446}
1447
Mon P Wang25f01062008-11-10 04:46:22 +00001448bool ShuffleVectorInst::isValidOperands(const Value *V1, const Value *V2,
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001449 const Value *Mask) {
Chris Lattner1dcb6542012-01-25 23:49:49 +00001450 // V1 and V2 must be vectors of the same type.
Duncan Sands19d0b472010-02-16 11:11:14 +00001451 if (!V1->getType()->isVectorTy() || V1->getType() != V2->getType())
Chris Lattnerf724e342008-03-02 05:28:33 +00001452 return false;
1453
Chris Lattner1dcb6542012-01-25 23:49:49 +00001454 // Mask must be vector of i32.
Chris Lattner229907c2011-07-18 04:54:35 +00001455 VectorType *MaskTy = dyn_cast<VectorType>(Mask->getType());
Craig Topperc6207612014-04-09 06:08:46 +00001456 if (!MaskTy || !MaskTy->getElementType()->isIntegerTy(32))
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001457 return false;
Nate Begeman60a31c32010-08-13 00:16:46 +00001458
1459 // Check to see if Mask is valid.
Chris Lattner1dcb6542012-01-25 23:49:49 +00001460 if (isa<UndefValue>(Mask) || isa<ConstantAggregateZero>(Mask))
1461 return true;
1462
Nate Begeman60a31c32010-08-13 00:16:46 +00001463 if (const ConstantVector *MV = dyn_cast<ConstantVector>(Mask)) {
Chris Lattner1dcb6542012-01-25 23:49:49 +00001464 unsigned V1Size = cast<VectorType>(V1->getType())->getNumElements();
Benjamin Kramer3ad5c962014-03-10 15:03:06 +00001465 for (Value *Op : MV->operands()) {
1466 if (ConstantInt *CI = dyn_cast<ConstantInt>(Op)) {
Chris Lattner1dcb6542012-01-25 23:49:49 +00001467 if (CI->uge(V1Size*2))
Nate Begeman60a31c32010-08-13 00:16:46 +00001468 return false;
Benjamin Kramer3ad5c962014-03-10 15:03:06 +00001469 } else if (!isa<UndefValue>(Op)) {
Nate Begeman60a31c32010-08-13 00:16:46 +00001470 return false;
1471 }
1472 }
Chris Lattner1dcb6542012-01-25 23:49:49 +00001473 return true;
Mon P Wang6ebf4012011-10-26 00:34:48 +00001474 }
Chris Lattner1dcb6542012-01-25 23:49:49 +00001475
1476 if (const ConstantDataSequential *CDS =
1477 dyn_cast<ConstantDataSequential>(Mask)) {
1478 unsigned V1Size = cast<VectorType>(V1->getType())->getNumElements();
1479 for (unsigned i = 0, e = MaskTy->getNumElements(); i != e; ++i)
1480 if (CDS->getElementAsInteger(i) >= V1Size*2)
1481 return false;
1482 return true;
1483 }
1484
1485 // The bitcode reader can create a place holder for a forward reference
1486 // used as the shuffle mask. When this occurs, the shuffle mask will
1487 // fall into this case and fail. To avoid this error, do this bit of
1488 // ugliness to allow such a mask pass.
1489 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(Mask))
1490 if (CE->getOpcode() == Instruction::UserOp1)
1491 return true;
1492
1493 return false;
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001494}
1495
Chris Lattnerf724e342008-03-02 05:28:33 +00001496/// getMaskValue - Return the index from the shuffle mask for the specified
1497/// output result. This is either -1 if the element is undef or a number less
1498/// than 2*numelements.
Chris Lattnercf129702012-01-26 02:51:13 +00001499int ShuffleVectorInst::getMaskValue(Constant *Mask, unsigned i) {
1500 assert(i < Mask->getType()->getVectorNumElements() && "Index out of range");
1501 if (ConstantDataSequential *CDS =dyn_cast<ConstantDataSequential>(Mask))
Chris Lattner1dcb6542012-01-25 23:49:49 +00001502 return CDS->getElementAsInteger(i);
Chris Lattnercf129702012-01-26 02:51:13 +00001503 Constant *C = Mask->getAggregateElement(i);
Chris Lattner1dcb6542012-01-25 23:49:49 +00001504 if (isa<UndefValue>(C))
Chris Lattnerf724e342008-03-02 05:28:33 +00001505 return -1;
Chris Lattner1dcb6542012-01-25 23:49:49 +00001506 return cast<ConstantInt>(C)->getZExtValue();
Chris Lattnerf724e342008-03-02 05:28:33 +00001507}
1508
Chris Lattner1dcb6542012-01-25 23:49:49 +00001509/// getShuffleMask - Return the full mask for this instruction, where each
1510/// element is the element number and undef's are returned as -1.
Chris Lattnercf129702012-01-26 02:51:13 +00001511void ShuffleVectorInst::getShuffleMask(Constant *Mask,
1512 SmallVectorImpl<int> &Result) {
1513 unsigned NumElts = Mask->getType()->getVectorNumElements();
Chris Lattner1dcb6542012-01-25 23:49:49 +00001514
Chris Lattnercf129702012-01-26 02:51:13 +00001515 if (ConstantDataSequential *CDS=dyn_cast<ConstantDataSequential>(Mask)) {
Chris Lattner1dcb6542012-01-25 23:49:49 +00001516 for (unsigned i = 0; i != NumElts; ++i)
1517 Result.push_back(CDS->getElementAsInteger(i));
1518 return;
1519 }
Chris Lattner1dcb6542012-01-25 23:49:49 +00001520 for (unsigned i = 0; i != NumElts; ++i) {
1521 Constant *C = Mask->getAggregateElement(i);
1522 Result.push_back(isa<UndefValue>(C) ? -1 :
Chris Lattner3dbad4032012-01-26 00:41:50 +00001523 cast<ConstantInt>(C)->getZExtValue());
Chris Lattner1dcb6542012-01-25 23:49:49 +00001524 }
1525}
1526
1527
Dan Gohman12fce772008-05-15 19:50:34 +00001528//===----------------------------------------------------------------------===//
Dan Gohman0752bff2008-05-23 00:36:11 +00001529// InsertValueInst Class
1530//===----------------------------------------------------------------------===//
1531
Jay Foad57aa6362011-07-13 10:26:04 +00001532void InsertValueInst::init(Value *Agg, Value *Val, ArrayRef<unsigned> Idxs,
1533 const Twine &Name) {
Dan Gohman1ecaf452008-05-31 00:58:22 +00001534 assert(NumOperands == 2 && "NumOperands not initialized?");
Jay Foad57aa6362011-07-13 10:26:04 +00001535
1536 // There's no fundamental reason why we require at least one index
1537 // (other than weirdness with &*IdxBegin being invalid; see
1538 // getelementptr's init routine for example). But there's no
1539 // present need to support it.
1540 assert(Idxs.size() > 0 && "InsertValueInst must have at least one index");
1541
1542 assert(ExtractValueInst::getIndexedType(Agg->getType(), Idxs) ==
Frits van Bommel16ebe772010-12-05 20:50:26 +00001543 Val->getType() && "Inserted value must match indexed type!");
Dan Gohman1ecaf452008-05-31 00:58:22 +00001544 Op<0>() = Agg;
1545 Op<1>() = Val;
Dan Gohman0752bff2008-05-23 00:36:11 +00001546
Jay Foad57aa6362011-07-13 10:26:04 +00001547 Indices.append(Idxs.begin(), Idxs.end());
Matthijs Kooijmancfd41db2008-06-04 14:40:55 +00001548 setName(Name);
Dan Gohman0752bff2008-05-23 00:36:11 +00001549}
1550
1551InsertValueInst::InsertValueInst(const InsertValueInst &IVI)
Gabor Greife9408e62008-05-27 11:03:29 +00001552 : Instruction(IVI.getType(), InsertValue,
Dan Gohman1ecaf452008-05-31 00:58:22 +00001553 OperandTraits<InsertValueInst>::op_begin(this), 2),
1554 Indices(IVI.Indices) {
Dan Gohmand8ca05f2008-06-17 23:25:49 +00001555 Op<0>() = IVI.getOperand(0);
1556 Op<1>() = IVI.getOperand(1);
Dan Gohmanc8a27f22009-08-25 22:11:20 +00001557 SubclassOptionalData = IVI.SubclassOptionalData;
Dan Gohman0752bff2008-05-23 00:36:11 +00001558}
1559
1560//===----------------------------------------------------------------------===//
Dan Gohman12fce772008-05-15 19:50:34 +00001561// ExtractValueInst Class
1562//===----------------------------------------------------------------------===//
1563
Jay Foad57aa6362011-07-13 10:26:04 +00001564void ExtractValueInst::init(ArrayRef<unsigned> Idxs, const Twine &Name) {
Dan Gohman1ecaf452008-05-31 00:58:22 +00001565 assert(NumOperands == 1 && "NumOperands not initialized?");
Dan Gohman0752bff2008-05-23 00:36:11 +00001566
Jay Foad57aa6362011-07-13 10:26:04 +00001567 // There's no fundamental reason why we require at least one index.
1568 // But there's no present need to support it.
1569 assert(Idxs.size() > 0 && "ExtractValueInst must have at least one index");
Dan Gohman0752bff2008-05-23 00:36:11 +00001570
Jay Foad57aa6362011-07-13 10:26:04 +00001571 Indices.append(Idxs.begin(), Idxs.end());
Matthijs Kooijmancfd41db2008-06-04 14:40:55 +00001572 setName(Name);
Dan Gohman0752bff2008-05-23 00:36:11 +00001573}
1574
1575ExtractValueInst::ExtractValueInst(const ExtractValueInst &EVI)
Gabor Greif21ba1842008-06-06 20:28:12 +00001576 : UnaryInstruction(EVI.getType(), ExtractValue, EVI.getOperand(0)),
Dan Gohman1ecaf452008-05-31 00:58:22 +00001577 Indices(EVI.Indices) {
Dan Gohmanc8a27f22009-08-25 22:11:20 +00001578 SubclassOptionalData = EVI.SubclassOptionalData;
Dan Gohman0752bff2008-05-23 00:36:11 +00001579}
1580
Dan Gohman12fce772008-05-15 19:50:34 +00001581// getIndexedType - Returns the type of the element that would be extracted
1582// with an extractvalue instruction with the specified parameters.
1583//
1584// A null type is returned if the indices are invalid for the specified
1585// pointer type.
1586//
Chris Lattner229907c2011-07-18 04:54:35 +00001587Type *ExtractValueInst::getIndexedType(Type *Agg,
Jay Foad57aa6362011-07-13 10:26:04 +00001588 ArrayRef<unsigned> Idxs) {
Benjamin Kramer3ad5c962014-03-10 15:03:06 +00001589 for (unsigned Index : Idxs) {
Frits van Bommel16ebe772010-12-05 20:50:26 +00001590 // We can't use CompositeType::indexValid(Index) here.
1591 // indexValid() always returns true for arrays because getelementptr allows
1592 // out-of-bounds indices. Since we don't allow those for extractvalue and
1593 // insertvalue we need to check array indexing manually.
1594 // Since the only other types we can index into are struct types it's just
1595 // as easy to check those manually as well.
Chris Lattner229907c2011-07-18 04:54:35 +00001596 if (ArrayType *AT = dyn_cast<ArrayType>(Agg)) {
Frits van Bommel16ebe772010-12-05 20:50:26 +00001597 if (Index >= AT->getNumElements())
Craig Topperc6207612014-04-09 06:08:46 +00001598 return nullptr;
Chris Lattner229907c2011-07-18 04:54:35 +00001599 } else if (StructType *ST = dyn_cast<StructType>(Agg)) {
Frits van Bommel16ebe772010-12-05 20:50:26 +00001600 if (Index >= ST->getNumElements())
Craig Topperc6207612014-04-09 06:08:46 +00001601 return nullptr;
Frits van Bommel16ebe772010-12-05 20:50:26 +00001602 } else {
1603 // Not a valid type to index into.
Craig Topperc6207612014-04-09 06:08:46 +00001604 return nullptr;
Frits van Bommel16ebe772010-12-05 20:50:26 +00001605 }
1606
1607 Agg = cast<CompositeType>(Agg)->getTypeAtIndex(Index);
Dan Gohman12fce772008-05-15 19:50:34 +00001608 }
Chris Lattnerb1ed91f2011-07-09 17:41:24 +00001609 return const_cast<Type*>(Agg);
Dan Gohman12fce772008-05-15 19:50:34 +00001610}
Chris Lattnerbbe0a422006-04-08 01:18:18 +00001611
1612//===----------------------------------------------------------------------===//
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001613// BinaryOperator Class
1614//===----------------------------------------------------------------------===//
1615
Chris Lattner2195fc42007-02-24 00:55:48 +00001616BinaryOperator::BinaryOperator(BinaryOps iType, Value *S1, Value *S2,
Chris Lattner229907c2011-07-18 04:54:35 +00001617 Type *Ty, const Twine &Name,
Chris Lattner2195fc42007-02-24 00:55:48 +00001618 Instruction *InsertBefore)
Dan Gohmana2414ea2010-05-03 22:44:19 +00001619 : Instruction(Ty, iType,
Gabor Greiff6caff662008-05-10 08:32:32 +00001620 OperandTraits<BinaryOperator>::op_begin(this),
1621 OperandTraits<BinaryOperator>::operands(this),
1622 InsertBefore) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001623 Op<0>() = S1;
1624 Op<1>() = S2;
Dan Gohmana2414ea2010-05-03 22:44:19 +00001625 init(iType);
Chris Lattner2195fc42007-02-24 00:55:48 +00001626 setName(Name);
1627}
1628
1629BinaryOperator::BinaryOperator(BinaryOps iType, Value *S1, Value *S2,
Chris Lattner229907c2011-07-18 04:54:35 +00001630 Type *Ty, const Twine &Name,
Chris Lattner2195fc42007-02-24 00:55:48 +00001631 BasicBlock *InsertAtEnd)
Dan Gohmana2414ea2010-05-03 22:44:19 +00001632 : Instruction(Ty, iType,
Gabor Greiff6caff662008-05-10 08:32:32 +00001633 OperandTraits<BinaryOperator>::op_begin(this),
1634 OperandTraits<BinaryOperator>::operands(this),
1635 InsertAtEnd) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00001636 Op<0>() = S1;
1637 Op<1>() = S2;
Dan Gohmana2414ea2010-05-03 22:44:19 +00001638 init(iType);
Chris Lattner2195fc42007-02-24 00:55:48 +00001639 setName(Name);
1640}
1641
1642
1643void BinaryOperator::init(BinaryOps iType) {
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001644 Value *LHS = getOperand(0), *RHS = getOperand(1);
Jeffrey Yasskin9b43f332010-12-23 00:58:24 +00001645 (void)LHS; (void)RHS; // Silence warnings.
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001646 assert(LHS->getType() == RHS->getType() &&
1647 "Binary operator operand types must match!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001648#ifndef NDEBUG
1649 switch (iType) {
1650 case Add: case Sub:
Dan Gohmana5b96452009-06-04 22:49:04 +00001651 case Mul:
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001652 assert(getType() == LHS->getType() &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001653 "Arithmetic operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001654 assert(getType()->isIntOrIntVectorTy() &&
Dan Gohmana5b96452009-06-04 22:49:04 +00001655 "Tried to create an integer operation on a non-integer type!");
1656 break;
1657 case FAdd: case FSub:
1658 case FMul:
1659 assert(getType() == LHS->getType() &&
1660 "Arithmetic operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001661 assert(getType()->isFPOrFPVectorTy() &&
Dan Gohmana5b96452009-06-04 22:49:04 +00001662 "Tried to create a floating-point operation on a "
1663 "non-floating-point type!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001664 break;
Reid Spencer7e80b0b2006-10-26 06:15:43 +00001665 case UDiv:
1666 case SDiv:
1667 assert(getType() == LHS->getType() &&
1668 "Arithmetic operation should return same type as operands!");
Duncan Sands19d0b472010-02-16 11:11:14 +00001669 assert((getType()->isIntegerTy() || (getType()->isVectorTy() &&
Duncan Sands9dff9be2010-02-15 16:12:20 +00001670 cast<VectorType>(getType())->getElementType()->isIntegerTy())) &&
Reid Spencer7e80b0b2006-10-26 06:15:43 +00001671 "Incorrect operand type (not integer) for S/UDIV");
1672 break;
1673 case FDiv:
1674 assert(getType() == LHS->getType() &&
1675 "Arithmetic operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001676 assert(getType()->isFPOrFPVectorTy() &&
Dan Gohman7889f2b2009-06-15 22:25:12 +00001677 "Incorrect operand type (not floating point) for FDIV");
Reid Spencer7e80b0b2006-10-26 06:15:43 +00001678 break;
Reid Spencer7eb55b32006-11-02 01:53:59 +00001679 case URem:
1680 case SRem:
1681 assert(getType() == LHS->getType() &&
1682 "Arithmetic operation should return same type as operands!");
Duncan Sands19d0b472010-02-16 11:11:14 +00001683 assert((getType()->isIntegerTy() || (getType()->isVectorTy() &&
Duncan Sands9dff9be2010-02-15 16:12:20 +00001684 cast<VectorType>(getType())->getElementType()->isIntegerTy())) &&
Reid Spencer7eb55b32006-11-02 01:53:59 +00001685 "Incorrect operand type (not integer) for S/UREM");
1686 break;
1687 case FRem:
1688 assert(getType() == LHS->getType() &&
1689 "Arithmetic operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001690 assert(getType()->isFPOrFPVectorTy() &&
Dan Gohman7889f2b2009-06-15 22:25:12 +00001691 "Incorrect operand type (not floating point) for FREM");
Reid Spencer7eb55b32006-11-02 01:53:59 +00001692 break;
Reid Spencer2341c222007-02-02 02:16:23 +00001693 case Shl:
1694 case LShr:
1695 case AShr:
1696 assert(getType() == LHS->getType() &&
1697 "Shift operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001698 assert((getType()->isIntegerTy() ||
Duncan Sands19d0b472010-02-16 11:11:14 +00001699 (getType()->isVectorTy() &&
Duncan Sands9dff9be2010-02-15 16:12:20 +00001700 cast<VectorType>(getType())->getElementType()->isIntegerTy())) &&
Nate Begemanfecbc8c2008-07-29 15:49:41 +00001701 "Tried to create a shift operation on a non-integral type!");
Reid Spencer2341c222007-02-02 02:16:23 +00001702 break;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001703 case And: case Or:
1704 case Xor:
Chris Lattnerafdb3de2005-01-29 00:35:16 +00001705 assert(getType() == LHS->getType() &&
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001706 "Logical operation should return same type as operands!");
Duncan Sands9dff9be2010-02-15 16:12:20 +00001707 assert((getType()->isIntegerTy() ||
Duncan Sands19d0b472010-02-16 11:11:14 +00001708 (getType()->isVectorTy() &&
Duncan Sands9dff9be2010-02-15 16:12:20 +00001709 cast<VectorType>(getType())->getElementType()->isIntegerTy())) &&
Misha Brukman3852f652005-01-27 06:46:38 +00001710 "Tried to create a logical operation on a non-integral type!");
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001711 break;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001712 default:
1713 break;
1714 }
1715#endif
1716}
1717
Gabor Greife1f6e4b2008-05-16 19:29:10 +00001718BinaryOperator *BinaryOperator::Create(BinaryOps Op, Value *S1, Value *S2,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001719 const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001720 Instruction *InsertBefore) {
1721 assert(S1->getType() == S2->getType() &&
1722 "Cannot create binary operator with two operands of differing type!");
Reid Spencer266e42b2006-12-23 06:05:41 +00001723 return new BinaryOperator(Op, S1, S2, S1->getType(), Name, InsertBefore);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001724}
1725
Gabor Greife1f6e4b2008-05-16 19:29:10 +00001726BinaryOperator *BinaryOperator::Create(BinaryOps Op, Value *S1, Value *S2,
Daniel Dunbar4975db62009-07-25 04:41:11 +00001727 const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001728 BasicBlock *InsertAtEnd) {
Gabor Greife1f6e4b2008-05-16 19:29:10 +00001729 BinaryOperator *Res = Create(Op, S1, S2, Name);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001730 InsertAtEnd->getInstList().push_back(Res);
1731 return Res;
1732}
1733
Dan Gohman5476cfd2009-08-12 16:23:25 +00001734BinaryOperator *BinaryOperator::CreateNeg(Value *Op, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001735 Instruction *InsertBefore) {
Owen Anderson69c464d2009-07-27 20:59:43 +00001736 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
Reid Spencer2eadb532007-01-21 00:29:26 +00001737 return new BinaryOperator(Instruction::Sub,
1738 zero, Op,
1739 Op->getType(), Name, InsertBefore);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001740}
1741
Dan Gohman5476cfd2009-08-12 16:23:25 +00001742BinaryOperator *BinaryOperator::CreateNeg(Value *Op, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001743 BasicBlock *InsertAtEnd) {
Owen Anderson69c464d2009-07-27 20:59:43 +00001744 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
Reid Spencer2eadb532007-01-21 00:29:26 +00001745 return new BinaryOperator(Instruction::Sub,
1746 zero, Op,
1747 Op->getType(), Name, InsertAtEnd);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001748}
1749
Dan Gohman4ab44202009-12-18 02:58:50 +00001750BinaryOperator *BinaryOperator::CreateNSWNeg(Value *Op, const Twine &Name,
1751 Instruction *InsertBefore) {
1752 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
1753 return BinaryOperator::CreateNSWSub(zero, Op, Name, InsertBefore);
1754}
1755
1756BinaryOperator *BinaryOperator::CreateNSWNeg(Value *Op, const Twine &Name,
1757 BasicBlock *InsertAtEnd) {
1758 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
1759 return BinaryOperator::CreateNSWSub(zero, Op, Name, InsertAtEnd);
1760}
1761
Duncan Sandsfa5f5962010-02-02 12:53:04 +00001762BinaryOperator *BinaryOperator::CreateNUWNeg(Value *Op, const Twine &Name,
1763 Instruction *InsertBefore) {
1764 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
1765 return BinaryOperator::CreateNUWSub(zero, Op, Name, InsertBefore);
1766}
1767
1768BinaryOperator *BinaryOperator::CreateNUWNeg(Value *Op, const Twine &Name,
1769 BasicBlock *InsertAtEnd) {
1770 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
1771 return BinaryOperator::CreateNUWSub(zero, Op, Name, InsertAtEnd);
1772}
1773
Dan Gohman5476cfd2009-08-12 16:23:25 +00001774BinaryOperator *BinaryOperator::CreateFNeg(Value *Op, const Twine &Name,
Dan Gohmana5b96452009-06-04 22:49:04 +00001775 Instruction *InsertBefore) {
Owen Anderson69c464d2009-07-27 20:59:43 +00001776 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
Chris Lattner47a86bd2012-01-25 06:02:56 +00001777 return new BinaryOperator(Instruction::FSub, zero, Op,
Dan Gohmana5b96452009-06-04 22:49:04 +00001778 Op->getType(), Name, InsertBefore);
1779}
1780
Dan Gohman5476cfd2009-08-12 16:23:25 +00001781BinaryOperator *BinaryOperator::CreateFNeg(Value *Op, const Twine &Name,
Dan Gohmana5b96452009-06-04 22:49:04 +00001782 BasicBlock *InsertAtEnd) {
Owen Anderson69c464d2009-07-27 20:59:43 +00001783 Value *zero = ConstantFP::getZeroValueForNegation(Op->getType());
Chris Lattner47a86bd2012-01-25 06:02:56 +00001784 return new BinaryOperator(Instruction::FSub, zero, Op,
Dan Gohmana5b96452009-06-04 22:49:04 +00001785 Op->getType(), Name, InsertAtEnd);
1786}
1787
Dan Gohman5476cfd2009-08-12 16:23:25 +00001788BinaryOperator *BinaryOperator::CreateNot(Value *Op, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001789 Instruction *InsertBefore) {
Chris Lattner47a86bd2012-01-25 06:02:56 +00001790 Constant *C = Constant::getAllOnesValue(Op->getType());
Chris Lattnere8e7ac42006-03-25 21:54:21 +00001791 return new BinaryOperator(Instruction::Xor, Op, C,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001792 Op->getType(), Name, InsertBefore);
1793}
1794
Dan Gohman5476cfd2009-08-12 16:23:25 +00001795BinaryOperator *BinaryOperator::CreateNot(Value *Op, const Twine &Name,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001796 BasicBlock *InsertAtEnd) {
Chris Lattner47a86bd2012-01-25 06:02:56 +00001797 Constant *AllOnes = Constant::getAllOnesValue(Op->getType());
Chris Lattnerdca56cb2005-12-21 18:22:19 +00001798 return new BinaryOperator(Instruction::Xor, Op, AllOnes,
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001799 Op->getType(), Name, InsertAtEnd);
1800}
1801
1802
1803// isConstantAllOnes - Helper function for several functions below
1804static inline bool isConstantAllOnes(const Value *V) {
Chris Lattner0256be92012-01-27 03:08:05 +00001805 if (const Constant *C = dyn_cast<Constant>(V))
1806 return C->isAllOnesValue();
Chris Lattner1edec382007-06-15 06:04:24 +00001807 return false;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001808}
1809
Owen Andersonbb2501b2009-07-13 22:18:28 +00001810bool BinaryOperator::isNeg(const Value *V) {
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001811 if (const BinaryOperator *Bop = dyn_cast<BinaryOperator>(V))
1812 if (Bop->getOpcode() == Instruction::Sub)
Owen Andersonbb2501b2009-07-13 22:18:28 +00001813 if (Constant* C = dyn_cast<Constant>(Bop->getOperand(0)))
1814 return C->isNegativeZeroValue();
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001815 return false;
1816}
1817
Shuxin Yangf0537ab2013-01-09 00:13:41 +00001818bool BinaryOperator::isFNeg(const Value *V, bool IgnoreZeroSign) {
Dan Gohmana5b96452009-06-04 22:49:04 +00001819 if (const BinaryOperator *Bop = dyn_cast<BinaryOperator>(V))
1820 if (Bop->getOpcode() == Instruction::FSub)
Shuxin Yangf0537ab2013-01-09 00:13:41 +00001821 if (Constant* C = dyn_cast<Constant>(Bop->getOperand(0))) {
1822 if (!IgnoreZeroSign)
1823 IgnoreZeroSign = cast<Instruction>(V)->hasNoSignedZeros();
1824 return !IgnoreZeroSign ? C->isNegativeZeroValue() : C->isZeroValue();
1825 }
Dan Gohmana5b96452009-06-04 22:49:04 +00001826 return false;
1827}
1828
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001829bool BinaryOperator::isNot(const Value *V) {
1830 if (const BinaryOperator *Bop = dyn_cast<BinaryOperator>(V))
1831 return (Bop->getOpcode() == Instruction::Xor &&
1832 (isConstantAllOnes(Bop->getOperand(1)) ||
1833 isConstantAllOnes(Bop->getOperand(0))));
1834 return false;
1835}
1836
Chris Lattner2c7d1772005-04-24 07:28:37 +00001837Value *BinaryOperator::getNegArgument(Value *BinOp) {
Chris Lattner2c7d1772005-04-24 07:28:37 +00001838 return cast<BinaryOperator>(BinOp)->getOperand(1);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001839}
1840
Chris Lattner2c7d1772005-04-24 07:28:37 +00001841const Value *BinaryOperator::getNegArgument(const Value *BinOp) {
1842 return getNegArgument(const_cast<Value*>(BinOp));
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001843}
1844
Dan Gohmana5b96452009-06-04 22:49:04 +00001845Value *BinaryOperator::getFNegArgument(Value *BinOp) {
Dan Gohmana5b96452009-06-04 22:49:04 +00001846 return cast<BinaryOperator>(BinOp)->getOperand(1);
1847}
1848
1849const Value *BinaryOperator::getFNegArgument(const Value *BinOp) {
1850 return getFNegArgument(const_cast<Value*>(BinOp));
1851}
1852
Chris Lattner2c7d1772005-04-24 07:28:37 +00001853Value *BinaryOperator::getNotArgument(Value *BinOp) {
1854 assert(isNot(BinOp) && "getNotArgument on non-'not' instruction!");
1855 BinaryOperator *BO = cast<BinaryOperator>(BinOp);
1856 Value *Op0 = BO->getOperand(0);
1857 Value *Op1 = BO->getOperand(1);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001858 if (isConstantAllOnes(Op0)) return Op1;
1859
1860 assert(isConstantAllOnes(Op1));
1861 return Op0;
1862}
1863
Chris Lattner2c7d1772005-04-24 07:28:37 +00001864const Value *BinaryOperator::getNotArgument(const Value *BinOp) {
1865 return getNotArgument(const_cast<Value*>(BinOp));
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001866}
1867
1868
1869// swapOperands - Exchange the two operands to this instruction. This
1870// instruction is safe to use on any binary instruction and does not
1871// modify the semantics of the instruction. If the instruction is
1872// order dependent (SetLT f.e.) the opcode is changed.
1873//
1874bool BinaryOperator::swapOperands() {
Reid Spencer266e42b2006-12-23 06:05:41 +00001875 if (!isCommutative())
1876 return true; // Can't commute operands
Gabor Greif5ef74042008-05-13 22:51:52 +00001877 Op<0>().swap(Op<1>());
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00001878 return false;
1879}
1880
Dan Gohman1b849082009-09-07 23:54:19 +00001881void BinaryOperator::setHasNoUnsignedWrap(bool b) {
1882 cast<OverflowingBinaryOperator>(this)->setHasNoUnsignedWrap(b);
1883}
1884
1885void BinaryOperator::setHasNoSignedWrap(bool b) {
1886 cast<OverflowingBinaryOperator>(this)->setHasNoSignedWrap(b);
1887}
1888
1889void BinaryOperator::setIsExact(bool b) {
Chris Lattner35315d02011-02-06 21:44:57 +00001890 cast<PossiblyExactOperator>(this)->setIsExact(b);
Dan Gohman1b849082009-09-07 23:54:19 +00001891}
1892
Nick Lewycky28a5f252009-09-27 21:33:04 +00001893bool BinaryOperator::hasNoUnsignedWrap() const {
1894 return cast<OverflowingBinaryOperator>(this)->hasNoUnsignedWrap();
1895}
1896
1897bool BinaryOperator::hasNoSignedWrap() const {
1898 return cast<OverflowingBinaryOperator>(this)->hasNoSignedWrap();
1899}
1900
1901bool BinaryOperator::isExact() const {
Chris Lattner35315d02011-02-06 21:44:57 +00001902 return cast<PossiblyExactOperator>(this)->isExact();
Nick Lewycky28a5f252009-09-27 21:33:04 +00001903}
1904
Sanjay Patela982d992014-09-03 01:06:50 +00001905void BinaryOperator::copyIRFlags(const Value *V) {
Sanjay Patel5ad239e2014-09-01 18:44:57 +00001906 // Copy the wrapping flags.
1907 if (auto *OB = dyn_cast<OverflowingBinaryOperator>(V)) {
1908 setHasNoSignedWrap(OB->hasNoSignedWrap());
1909 setHasNoUnsignedWrap(OB->hasNoUnsignedWrap());
1910 }
1911
1912 // Copy the exact flag.
1913 if (auto *PE = dyn_cast<PossiblyExactOperator>(V))
1914 setIsExact(PE->isExact());
1915
1916 // Copy the fast-math flags.
1917 if (auto *FP = dyn_cast<FPMathOperator>(V))
Sanjay Patelb2325b92014-09-02 20:03:00 +00001918 copyFastMathFlags(FP->getFastMathFlags());
Sanjay Patel5ad239e2014-09-01 18:44:57 +00001919}
1920
Sanjay Patela982d992014-09-03 01:06:50 +00001921void BinaryOperator::andIRFlags(const Value *V) {
1922 if (auto *OB = dyn_cast<OverflowingBinaryOperator>(V)) {
1923 setHasNoSignedWrap(hasNoSignedWrap() & OB->hasNoSignedWrap());
1924 setHasNoUnsignedWrap(hasNoUnsignedWrap() & OB->hasNoUnsignedWrap());
1925 }
1926
1927 if (auto *PE = dyn_cast<PossiblyExactOperator>(V))
1928 setIsExact(isExact() & PE->isExact());
1929
1930 if (auto *FP = dyn_cast<FPMathOperator>(V)) {
1931 FastMathFlags FM = getFastMathFlags();
1932 FM &= FP->getFastMathFlags();
1933 copyFastMathFlags(FM);
1934 }
1935}
1936
1937
Chris Lattnerb0b8ddd2006-09-18 04:54:57 +00001938//===----------------------------------------------------------------------===//
Duncan Sands05f4df82012-04-16 16:28:59 +00001939// FPMathOperator Class
1940//===----------------------------------------------------------------------===//
1941
1942/// getFPAccuracy - Get the maximum error permitted by this operation in ULPs.
1943/// An accuracy of 0.0 means that the operation should be performed with the
Duncan Sands9af62982012-04-16 19:39:33 +00001944/// default precision.
Duncan Sands05f4df82012-04-16 16:28:59 +00001945float FPMathOperator::getFPAccuracy() const {
Duncan P. N. Exon Smithde36e802014-11-11 21:30:22 +00001946 const MDNode *MD =
1947 cast<Instruction>(this)->getMetadata(LLVMContext::MD_fpmath);
Duncan Sands05f4df82012-04-16 16:28:59 +00001948 if (!MD)
1949 return 0.0;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001950 ConstantFP *Accuracy = mdconst::extract<ConstantFP>(MD->getOperand(0));
Duncan Sands9af62982012-04-16 19:39:33 +00001951 return Accuracy->getValueAPF().convertToFloat();
Duncan Sands05f4df82012-04-16 16:28:59 +00001952}
1953
1954
1955//===----------------------------------------------------------------------===//
Chris Lattnerb0b8ddd2006-09-18 04:54:57 +00001956// CastInst Class
1957//===----------------------------------------------------------------------===//
1958
David Blaikie3a15e142011-12-01 08:00:17 +00001959void CastInst::anchor() {}
1960
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001961// Just determine if this cast only deals with integral->integral conversion.
1962bool CastInst::isIntegerCast() const {
1963 switch (getOpcode()) {
1964 default: return false;
1965 case Instruction::ZExt:
1966 case Instruction::SExt:
1967 case Instruction::Trunc:
1968 return true;
1969 case Instruction::BitCast:
Duncan Sands9dff9be2010-02-15 16:12:20 +00001970 return getOperand(0)->getType()->isIntegerTy() &&
1971 getType()->isIntegerTy();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001972 }
Chris Lattnerb0b8ddd2006-09-18 04:54:57 +00001973}
1974
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001975bool CastInst::isLosslessCast() const {
1976 // Only BitCast can be lossless, exit fast if we're not BitCast
1977 if (getOpcode() != Instruction::BitCast)
1978 return false;
1979
1980 // Identity cast is always lossless
Chris Lattner229907c2011-07-18 04:54:35 +00001981 Type* SrcTy = getOperand(0)->getType();
1982 Type* DstTy = getType();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001983 if (SrcTy == DstTy)
1984 return true;
1985
Reid Spencer8d9336d2006-12-31 05:26:44 +00001986 // Pointer to pointer is always lossless.
Duncan Sands19d0b472010-02-16 11:11:14 +00001987 if (SrcTy->isPointerTy())
1988 return DstTy->isPointerTy();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00001989 return false; // Other types have no identity values
1990}
1991
1992/// This function determines if the CastInst does not require any bits to be
1993/// changed in order to effect the cast. Essentially, it identifies cases where
1994/// no code gen is necessary for the cast, hence the name no-op cast. For
1995/// example, the following are all no-op casts:
Dan Gohmane9bc2ba2008-05-12 16:34:30 +00001996/// # bitcast i32* %x to i8*
1997/// # bitcast <2 x i32> %x to <4 x i16>
1998/// # ptrtoint i32* %x to i32 ; on 32-bit plaforms only
Dan Gohman0d7f3b82010-05-28 21:41:37 +00001999/// @brief Determine if the described cast is a no-op.
2000bool CastInst::isNoopCast(Instruction::CastOps Opcode,
Chris Lattner229907c2011-07-18 04:54:35 +00002001 Type *SrcTy,
2002 Type *DestTy,
2003 Type *IntPtrTy) {
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002004 switch (Opcode) {
Craig Topperc514b542012-02-05 22:14:15 +00002005 default: llvm_unreachable("Invalid CastOp");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002006 case Instruction::Trunc:
2007 case Instruction::ZExt:
2008 case Instruction::SExt:
2009 case Instruction::FPTrunc:
2010 case Instruction::FPExt:
2011 case Instruction::UIToFP:
2012 case Instruction::SIToFP:
2013 case Instruction::FPToUI:
2014 case Instruction::FPToSI:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002015 case Instruction::AddrSpaceCast:
2016 // TODO: Target informations may give a more accurate answer here.
2017 return false;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002018 case Instruction::BitCast:
2019 return true; // BitCast never modifies bits.
2020 case Instruction::PtrToInt:
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002021 return IntPtrTy->getScalarSizeInBits() ==
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002022 DestTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002023 case Instruction::IntToPtr:
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002024 return IntPtrTy->getScalarSizeInBits() ==
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002025 SrcTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002026 }
2027}
2028
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002029/// @brief Determine if a cast is a no-op.
Chris Lattner229907c2011-07-18 04:54:35 +00002030bool CastInst::isNoopCast(Type *IntPtrTy) const {
Dan Gohman0d7f3b82010-05-28 21:41:37 +00002031 return isNoopCast(getOpcode(), getOperand(0)->getType(), getType(), IntPtrTy);
2032}
2033
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002034bool CastInst::isNoopCast(const DataLayout &DL) const {
Craig Topperc6207612014-04-09 06:08:46 +00002035 Type *PtrOpTy = nullptr;
Matt Arsenaulta236ea52014-03-06 17:33:55 +00002036 if (getOpcode() == Instruction::PtrToInt)
2037 PtrOpTy = getOperand(0)->getType();
2038 else if (getOpcode() == Instruction::IntToPtr)
2039 PtrOpTy = getType();
2040
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002041 Type *IntPtrTy =
2042 PtrOpTy ? DL.getIntPtrType(PtrOpTy) : DL.getIntPtrType(getContext(), 0);
Matt Arsenaulta236ea52014-03-06 17:33:55 +00002043
2044 return isNoopCast(getOpcode(), getOperand(0)->getType(), getType(), IntPtrTy);
2045}
2046
2047/// This function determines if a pair of casts can be eliminated and what
2048/// opcode should be used in the elimination. This assumes that there are two
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002049/// instructions like this:
2050/// * %F = firstOpcode SrcTy %x to MidTy
2051/// * %S = secondOpcode MidTy %F to DstTy
2052/// The function returns a resultOpcode so these two casts can be replaced with:
2053/// * %Replacement = resultOpcode %SrcTy %x to DstTy
2054/// If no such cast is permited, the function returns 0.
2055unsigned CastInst::isEliminableCastPair(
2056 Instruction::CastOps firstOp, Instruction::CastOps secondOp,
Duncan Sandse2395dc2012-10-30 16:03:32 +00002057 Type *SrcTy, Type *MidTy, Type *DstTy, Type *SrcIntPtrTy, Type *MidIntPtrTy,
2058 Type *DstIntPtrTy) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002059 // Define the 144 possibilities for these two cast instructions. The values
2060 // in this matrix determine what to do in a given situation and select the
2061 // case in the switch below. The rows correspond to firstOp, the columns
2062 // correspond to secondOp. In looking at the table below, keep in mind
2063 // the following cast properties:
2064 //
2065 // Size Compare Source Destination
2066 // Operator Src ? Size Type Sign Type Sign
2067 // -------- ------------ ------------------- ---------------------
2068 // TRUNC > Integer Any Integral Any
2069 // ZEXT < Integral Unsigned Integer Any
2070 // SEXT < Integral Signed Integer Any
2071 // FPTOUI n/a FloatPt n/a Integral Unsigned
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002072 // FPTOSI n/a FloatPt n/a Integral Signed
2073 // UITOFP n/a Integral Unsigned FloatPt n/a
2074 // SITOFP n/a Integral Signed FloatPt n/a
2075 // FPTRUNC > FloatPt n/a FloatPt n/a
2076 // FPEXT < FloatPt n/a FloatPt n/a
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002077 // PTRTOINT n/a Pointer n/a Integral Unsigned
2078 // INTTOPTR n/a Integral Unsigned Pointer n/a
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002079 // BITCAST = FirstClass n/a FirstClass n/a
2080 // ADDRSPCST n/a Pointer n/a Pointer n/a
Chris Lattner6f6b4972006-12-05 23:43:59 +00002081 //
2082 // NOTE: some transforms are safe, but we consider them to be non-profitable.
Dan Gohman4fe64de2009-06-14 23:30:43 +00002083 // For example, we could merge "fptoui double to i32" + "zext i32 to i64",
2084 // into "fptoui double to i64", but this loses information about the range
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002085 // of the produced value (we no longer know the top-part is all zeros).
Chris Lattner6f6b4972006-12-05 23:43:59 +00002086 // Further this conversion is often much more expensive for typical hardware,
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002087 // and causes issues when building libgcc. We disallow fptosi+sext for the
Chris Lattner6f6b4972006-12-05 23:43:59 +00002088 // same reason.
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002089 const unsigned numCastOps =
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002090 Instruction::CastOpsEnd - Instruction::CastOpsBegin;
2091 static const uint8_t CastResults[numCastOps][numCastOps] = {
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002092 // T F F U S F F P I B A -+
2093 // R Z S P P I I T P 2 N T S |
2094 // U E E 2 2 2 2 R E I T C C +- secondOp
2095 // N X X U S F F N X N 2 V V |
2096 // C T T I I P P C T T P T T -+
2097 { 1, 0, 0,99,99, 0, 0,99,99,99, 0, 3, 0}, // Trunc -+
Fiona Glaser0d41db12015-04-21 00:05:41 +00002098 { 8, 1, 9,99,99, 2,17,99,99,99, 2, 3, 0}, // ZExt |
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002099 { 8, 0, 1,99,99, 0, 2,99,99,99, 0, 3, 0}, // SExt |
2100 { 0, 0, 0,99,99, 0, 0,99,99,99, 0, 3, 0}, // FPToUI |
2101 { 0, 0, 0,99,99, 0, 0,99,99,99, 0, 3, 0}, // FPToSI |
2102 { 99,99,99, 0, 0,99,99, 0, 0,99,99, 4, 0}, // UIToFP +- firstOp
2103 { 99,99,99, 0, 0,99,99, 0, 0,99,99, 4, 0}, // SIToFP |
Ahmed Bougacha0ea9d1e2015-05-29 00:04:30 +00002104 { 99,99,99, 0, 0,99,99, 0, 0,99,99, 4, 0}, // FPTrunc |
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002105 { 99,99,99, 2, 2,99,99,10, 2,99,99, 4, 0}, // FPExt |
2106 { 1, 0, 0,99,99, 0, 0,99,99,99, 7, 3, 0}, // PtrToInt |
2107 { 99,99,99,99,99,99,99,99,99,11,99,15, 0}, // IntToPtr |
2108 { 5, 5, 5, 6, 6, 5, 5, 6, 6,16, 5, 1,14}, // BitCast |
2109 { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13,12}, // AddrSpaceCast -+
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002110 };
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002111
Chris Lattner25eea4d2010-07-12 01:19:22 +00002112 // If either of the casts are a bitcast from scalar to vector, disallow the
Nadav Rotem5fc81ff2011-08-29 19:58:36 +00002113 // merging. However, bitcast of A->B->A are allowed.
2114 bool isFirstBitcast = (firstOp == Instruction::BitCast);
2115 bool isSecondBitcast = (secondOp == Instruction::BitCast);
2116 bool chainedBitcast = (SrcTy == DstTy && isFirstBitcast && isSecondBitcast);
2117
2118 // Check if any of the bitcasts convert scalars<->vectors.
2119 if ((isFirstBitcast && isa<VectorType>(SrcTy) != isa<VectorType>(MidTy)) ||
2120 (isSecondBitcast && isa<VectorType>(MidTy) != isa<VectorType>(DstTy)))
2121 // Unless we are bitcasing to the original type, disallow optimizations.
2122 if (!chainedBitcast) return 0;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002123
2124 int ElimCase = CastResults[firstOp-Instruction::CastOpsBegin]
2125 [secondOp-Instruction::CastOpsBegin];
2126 switch (ElimCase) {
2127 case 0:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002128 // Categorically disallowed.
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002129 return 0;
2130 case 1:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002131 // Allowed, use first cast's opcode.
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002132 return firstOp;
2133 case 2:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002134 // Allowed, use second cast's opcode.
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002135 return secondOp;
2136 case 3:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002137 // No-op cast in second op implies firstOp as long as the DestTy
Mon P Wange04b4562010-01-23 04:35:57 +00002138 // is integer and we are not converting between a vector and a
Alp Tokerf907b892013-12-05 05:44:44 +00002139 // non-vector type.
Duncan Sands19d0b472010-02-16 11:11:14 +00002140 if (!SrcTy->isVectorTy() && DstTy->isIntegerTy())
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002141 return firstOp;
2142 return 0;
2143 case 4:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002144 // No-op cast in second op implies firstOp as long as the DestTy
Chris Lattner531732b2010-01-23 04:42:42 +00002145 // is floating point.
Duncan Sands9dff9be2010-02-15 16:12:20 +00002146 if (DstTy->isFloatingPointTy())
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002147 return firstOp;
2148 return 0;
2149 case 5:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002150 // No-op cast in first op implies secondOp as long as the SrcTy
Chris Lattner531732b2010-01-23 04:42:42 +00002151 // is an integer.
Duncan Sands9dff9be2010-02-15 16:12:20 +00002152 if (SrcTy->isIntegerTy())
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002153 return secondOp;
2154 return 0;
2155 case 6:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002156 // No-op cast in first op implies secondOp as long as the SrcTy
Chris Lattner531732b2010-01-23 04:42:42 +00002157 // is a floating point.
Duncan Sands9dff9be2010-02-15 16:12:20 +00002158 if (SrcTy->isFloatingPointTy())
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002159 return secondOp;
2160 return 0;
Matt Arsenault130e0ef2013-07-30 22:27:10 +00002161 case 7: {
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002162 // Cannot simplify if address spaces are different!
2163 if (SrcTy->getPointerAddressSpace() != DstTy->getPointerAddressSpace())
2164 return 0;
2165
Matt Arsenault130e0ef2013-07-30 22:27:10 +00002166 unsigned MidSize = MidTy->getScalarSizeInBits();
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002167 // We can still fold this without knowing the actual sizes as long we
2168 // know that the intermediate pointer is the largest possible
2169 // pointer size.
2170 // FIXME: Is this always true?
2171 if (MidSize == 64)
Matt Arsenault130e0ef2013-07-30 22:27:10 +00002172 return Instruction::BitCast;
2173
2174 // ptrtoint, inttoptr -> bitcast (ptr -> ptr) if int size is >= ptr size.
Duncan Sandse2395dc2012-10-30 16:03:32 +00002175 if (!SrcIntPtrTy || DstIntPtrTy != SrcIntPtrTy)
Dan Gohman9413de12009-07-21 23:19:40 +00002176 return 0;
Duncan Sandse2395dc2012-10-30 16:03:32 +00002177 unsigned PtrSize = SrcIntPtrTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002178 if (MidSize >= PtrSize)
2179 return Instruction::BitCast;
2180 return 0;
2181 }
2182 case 8: {
2183 // ext, trunc -> bitcast, if the SrcTy and DstTy are same size
2184 // ext, trunc -> ext, if sizeof(SrcTy) < sizeof(DstTy)
2185 // ext, trunc -> trunc, if sizeof(SrcTy) > sizeof(DstTy)
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002186 unsigned SrcSize = SrcTy->getScalarSizeInBits();
2187 unsigned DstSize = DstTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002188 if (SrcSize == DstSize)
2189 return Instruction::BitCast;
2190 else if (SrcSize < DstSize)
2191 return firstOp;
2192 return secondOp;
2193 }
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002194 case 9:
2195 // zext, sext -> zext, because sext can't sign extend after zext
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002196 return Instruction::ZExt;
2197 case 10:
2198 // fpext followed by ftrunc is allowed if the bit size returned to is
2199 // the same as the original, in which case its just a bitcast
2200 if (SrcTy == DstTy)
2201 return Instruction::BitCast;
2202 return 0; // If the types are not the same we can't eliminate it.
Matt Arsenault130e0ef2013-07-30 22:27:10 +00002203 case 11: {
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002204 // inttoptr, ptrtoint -> bitcast if SrcSize<=PtrSize and SrcSize==DstSize
Duncan Sandse2395dc2012-10-30 16:03:32 +00002205 if (!MidIntPtrTy)
Dan Gohman9413de12009-07-21 23:19:40 +00002206 return 0;
Duncan Sandse2395dc2012-10-30 16:03:32 +00002207 unsigned PtrSize = MidIntPtrTy->getScalarSizeInBits();
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002208 unsigned SrcSize = SrcTy->getScalarSizeInBits();
2209 unsigned DstSize = DstTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002210 if (SrcSize <= PtrSize && SrcSize == DstSize)
2211 return Instruction::BitCast;
2212 return 0;
2213 }
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002214 case 12: {
2215 // addrspacecast, addrspacecast -> bitcast, if SrcAS == DstAS
2216 // addrspacecast, addrspacecast -> addrspacecast, if SrcAS != DstAS
2217 if (SrcTy->getPointerAddressSpace() != DstTy->getPointerAddressSpace())
2218 return Instruction::AddrSpaceCast;
2219 return Instruction::BitCast;
2220 }
2221 case 13:
2222 // FIXME: this state can be merged with (1), but the following assert
2223 // is useful to check the correcteness of the sequence due to semantic
2224 // change of bitcast.
2225 assert(
2226 SrcTy->isPtrOrPtrVectorTy() &&
2227 MidTy->isPtrOrPtrVectorTy() &&
2228 DstTy->isPtrOrPtrVectorTy() &&
2229 SrcTy->getPointerAddressSpace() != MidTy->getPointerAddressSpace() &&
2230 MidTy->getPointerAddressSpace() == DstTy->getPointerAddressSpace() &&
2231 "Illegal addrspacecast, bitcast sequence!");
2232 // Allowed, use first cast's opcode
2233 return firstOp;
2234 case 14:
Jingyue Wu77145d92014-06-06 21:52:55 +00002235 // bitcast, addrspacecast -> addrspacecast if the element type of
2236 // bitcast's source is the same as that of addrspacecast's destination.
2237 if (SrcTy->getPointerElementType() == DstTy->getPointerElementType())
2238 return Instruction::AddrSpaceCast;
2239 return 0;
2240
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002241 case 15:
2242 // FIXME: this state can be merged with (1), but the following assert
2243 // is useful to check the correcteness of the sequence due to semantic
2244 // change of bitcast.
2245 assert(
2246 SrcTy->isIntOrIntVectorTy() &&
2247 MidTy->isPtrOrPtrVectorTy() &&
2248 DstTy->isPtrOrPtrVectorTy() &&
2249 MidTy->getPointerAddressSpace() == DstTy->getPointerAddressSpace() &&
2250 "Illegal inttoptr, bitcast sequence!");
2251 // Allowed, use first cast's opcode
2252 return firstOp;
2253 case 16:
2254 // FIXME: this state can be merged with (2), but the following assert
2255 // is useful to check the correcteness of the sequence due to semantic
2256 // change of bitcast.
2257 assert(
2258 SrcTy->isPtrOrPtrVectorTy() &&
2259 MidTy->isPtrOrPtrVectorTy() &&
2260 DstTy->isIntOrIntVectorTy() &&
2261 SrcTy->getPointerAddressSpace() == MidTy->getPointerAddressSpace() &&
2262 "Illegal bitcast, ptrtoint sequence!");
2263 // Allowed, use second cast's opcode
2264 return secondOp;
Fiona Glaser0d41db12015-04-21 00:05:41 +00002265 case 17:
2266 // (sitofp (zext x)) -> (uitofp x)
2267 return Instruction::UIToFP;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002268 case 99:
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002269 // Cast combination can't happen (error in input). This is for all cases
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002270 // where the MidTy is not the same for the two cast instructions.
Craig Topperc514b542012-02-05 22:14:15 +00002271 llvm_unreachable("Invalid Cast Combination");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002272 default:
Craig Topperc514b542012-02-05 22:14:15 +00002273 llvm_unreachable("Error in CastResults table!!!");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002274 }
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002275}
2276
Chris Lattner229907c2011-07-18 04:54:35 +00002277CastInst *CastInst::Create(Instruction::CastOps op, Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002278 const Twine &Name, Instruction *InsertBefore) {
Duncan Sands7f646562011-05-18 09:21:57 +00002279 assert(castIsValid(op, S, Ty) && "Invalid cast!");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002280 // Construct and return the appropriate CastInst subclass
2281 switch (op) {
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002282 case Trunc: return new TruncInst (S, Ty, Name, InsertBefore);
2283 case ZExt: return new ZExtInst (S, Ty, Name, InsertBefore);
2284 case SExt: return new SExtInst (S, Ty, Name, InsertBefore);
2285 case FPTrunc: return new FPTruncInst (S, Ty, Name, InsertBefore);
2286 case FPExt: return new FPExtInst (S, Ty, Name, InsertBefore);
2287 case UIToFP: return new UIToFPInst (S, Ty, Name, InsertBefore);
2288 case SIToFP: return new SIToFPInst (S, Ty, Name, InsertBefore);
2289 case FPToUI: return new FPToUIInst (S, Ty, Name, InsertBefore);
2290 case FPToSI: return new FPToSIInst (S, Ty, Name, InsertBefore);
2291 case PtrToInt: return new PtrToIntInst (S, Ty, Name, InsertBefore);
2292 case IntToPtr: return new IntToPtrInst (S, Ty, Name, InsertBefore);
2293 case BitCast: return new BitCastInst (S, Ty, Name, InsertBefore);
2294 case AddrSpaceCast: return new AddrSpaceCastInst (S, Ty, Name, InsertBefore);
2295 default: llvm_unreachable("Invalid opcode provided");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002296 }
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002297}
2298
Chris Lattner229907c2011-07-18 04:54:35 +00002299CastInst *CastInst::Create(Instruction::CastOps op, Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002300 const Twine &Name, BasicBlock *InsertAtEnd) {
Duncan Sands7f646562011-05-18 09:21:57 +00002301 assert(castIsValid(op, S, Ty) && "Invalid cast!");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002302 // Construct and return the appropriate CastInst subclass
2303 switch (op) {
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002304 case Trunc: return new TruncInst (S, Ty, Name, InsertAtEnd);
2305 case ZExt: return new ZExtInst (S, Ty, Name, InsertAtEnd);
2306 case SExt: return new SExtInst (S, Ty, Name, InsertAtEnd);
2307 case FPTrunc: return new FPTruncInst (S, Ty, Name, InsertAtEnd);
2308 case FPExt: return new FPExtInst (S, Ty, Name, InsertAtEnd);
2309 case UIToFP: return new UIToFPInst (S, Ty, Name, InsertAtEnd);
2310 case SIToFP: return new SIToFPInst (S, Ty, Name, InsertAtEnd);
2311 case FPToUI: return new FPToUIInst (S, Ty, Name, InsertAtEnd);
2312 case FPToSI: return new FPToSIInst (S, Ty, Name, InsertAtEnd);
2313 case PtrToInt: return new PtrToIntInst (S, Ty, Name, InsertAtEnd);
2314 case IntToPtr: return new IntToPtrInst (S, Ty, Name, InsertAtEnd);
2315 case BitCast: return new BitCastInst (S, Ty, Name, InsertAtEnd);
2316 case AddrSpaceCast: return new AddrSpaceCastInst (S, Ty, Name, InsertAtEnd);
2317 default: llvm_unreachable("Invalid opcode provided");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002318 }
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002319}
2320
Chris Lattner229907c2011-07-18 04:54:35 +00002321CastInst *CastInst::CreateZExtOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002322 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002323 Instruction *InsertBefore) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002324 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002325 return Create(Instruction::BitCast, S, Ty, Name, InsertBefore);
2326 return Create(Instruction::ZExt, S, Ty, Name, InsertBefore);
Reid Spencer5c140882006-12-04 20:17:56 +00002327}
2328
Chris Lattner229907c2011-07-18 04:54:35 +00002329CastInst *CastInst::CreateZExtOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002330 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002331 BasicBlock *InsertAtEnd) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002332 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002333 return Create(Instruction::BitCast, S, Ty, Name, InsertAtEnd);
2334 return Create(Instruction::ZExt, S, Ty, Name, InsertAtEnd);
Reid Spencer5c140882006-12-04 20:17:56 +00002335}
2336
Chris Lattner229907c2011-07-18 04:54:35 +00002337CastInst *CastInst::CreateSExtOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002338 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002339 Instruction *InsertBefore) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002340 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002341 return Create(Instruction::BitCast, S, Ty, Name, InsertBefore);
2342 return Create(Instruction::SExt, S, Ty, Name, InsertBefore);
Reid Spencer5c140882006-12-04 20:17:56 +00002343}
2344
Chris Lattner229907c2011-07-18 04:54:35 +00002345CastInst *CastInst::CreateSExtOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002346 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002347 BasicBlock *InsertAtEnd) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002348 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002349 return Create(Instruction::BitCast, S, Ty, Name, InsertAtEnd);
2350 return Create(Instruction::SExt, S, Ty, Name, InsertAtEnd);
Reid Spencer5c140882006-12-04 20:17:56 +00002351}
2352
Chris Lattner229907c2011-07-18 04:54:35 +00002353CastInst *CastInst::CreateTruncOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002354 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002355 Instruction *InsertBefore) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002356 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002357 return Create(Instruction::BitCast, S, Ty, Name, InsertBefore);
2358 return Create(Instruction::Trunc, S, Ty, Name, InsertBefore);
Reid Spencer5c140882006-12-04 20:17:56 +00002359}
2360
Chris Lattner229907c2011-07-18 04:54:35 +00002361CastInst *CastInst::CreateTruncOrBitCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002362 const Twine &Name,
Reid Spencer5c140882006-12-04 20:17:56 +00002363 BasicBlock *InsertAtEnd) {
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002364 if (S->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002365 return Create(Instruction::BitCast, S, Ty, Name, InsertAtEnd);
2366 return Create(Instruction::Trunc, S, Ty, Name, InsertAtEnd);
Reid Spencer5c140882006-12-04 20:17:56 +00002367}
2368
Chris Lattner229907c2011-07-18 04:54:35 +00002369CastInst *CastInst::CreatePointerCast(Value *S, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002370 const Twine &Name,
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002371 BasicBlock *InsertAtEnd) {
Matt Arsenault065ced92013-07-31 00:17:33 +00002372 assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast");
2373 assert((Ty->isIntOrIntVectorTy() || Ty->isPtrOrPtrVectorTy()) &&
2374 "Invalid cast");
2375 assert(Ty->isVectorTy() == S->getType()->isVectorTy() && "Invalid cast");
Richard Trieu8dc43232013-07-31 04:07:28 +00002376 assert((!Ty->isVectorTy() ||
2377 Ty->getVectorNumElements() == S->getType()->getVectorNumElements()) &&
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002378 "Invalid cast");
2379
Matt Arsenault065ced92013-07-31 00:17:33 +00002380 if (Ty->isIntOrIntVectorTy())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002381 return Create(Instruction::PtrToInt, S, Ty, Name, InsertAtEnd);
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002382
Matt Arsenault740980e2014-07-14 17:24:35 +00002383 return CreatePointerBitCastOrAddrSpaceCast(S, Ty, Name, InsertAtEnd);
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002384}
2385
2386/// @brief Create a BitCast or a PtrToInt cast instruction
Matt Arsenault065ced92013-07-31 00:17:33 +00002387CastInst *CastInst::CreatePointerCast(Value *S, Type *Ty,
2388 const Twine &Name,
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002389 Instruction *InsertBefore) {
Evgeniy Stepanovc9bd35b2013-01-15 16:43:00 +00002390 assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast");
2391 assert((Ty->isIntOrIntVectorTy() || Ty->isPtrOrPtrVectorTy()) &&
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002392 "Invalid cast");
Matt Arsenault065ced92013-07-31 00:17:33 +00002393 assert(Ty->isVectorTy() == S->getType()->isVectorTy() && "Invalid cast");
Richard Trieu8dc43232013-07-31 04:07:28 +00002394 assert((!Ty->isVectorTy() ||
2395 Ty->getVectorNumElements() == S->getType()->getVectorNumElements()) &&
Matt Arsenault065ced92013-07-31 00:17:33 +00002396 "Invalid cast");
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002397
Evgeniy Stepanovc9bd35b2013-01-15 16:43:00 +00002398 if (Ty->isIntOrIntVectorTy())
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002399 return Create(Instruction::PtrToInt, S, Ty, Name, InsertBefore);
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002400
Matt Arsenault740980e2014-07-14 17:24:35 +00002401 return CreatePointerBitCastOrAddrSpaceCast(S, Ty, Name, InsertBefore);
2402}
2403
2404CastInst *CastInst::CreatePointerBitCastOrAddrSpaceCast(
2405 Value *S, Type *Ty,
2406 const Twine &Name,
2407 BasicBlock *InsertAtEnd) {
2408 assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast");
2409 assert(Ty->isPtrOrPtrVectorTy() && "Invalid cast");
2410
2411 if (S->getType()->getPointerAddressSpace() != Ty->getPointerAddressSpace())
2412 return Create(Instruction::AddrSpaceCast, S, Ty, Name, InsertAtEnd);
2413
2414 return Create(Instruction::BitCast, S, Ty, Name, InsertAtEnd);
2415}
2416
2417CastInst *CastInst::CreatePointerBitCastOrAddrSpaceCast(
2418 Value *S, Type *Ty,
2419 const Twine &Name,
2420 Instruction *InsertBefore) {
2421 assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast");
2422 assert(Ty->isPtrOrPtrVectorTy() && "Invalid cast");
2423
2424 if (S->getType()->getPointerAddressSpace() != Ty->getPointerAddressSpace())
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002425 return Create(Instruction::AddrSpaceCast, S, Ty, Name, InsertBefore);
2426
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002427 return Create(Instruction::BitCast, S, Ty, Name, InsertBefore);
Reid Spencerd5a3f0d2006-12-05 03:28:26 +00002428}
2429
Chandler Carruth1a3c2c42014-11-25 08:20:27 +00002430CastInst *CastInst::CreateBitOrPointerCast(Value *S, Type *Ty,
2431 const Twine &Name,
2432 Instruction *InsertBefore) {
2433 if (S->getType()->isPointerTy() && Ty->isIntegerTy())
2434 return Create(Instruction::PtrToInt, S, Ty, Name, InsertBefore);
2435 if (S->getType()->isIntegerTy() && Ty->isPointerTy())
2436 return Create(Instruction::IntToPtr, S, Ty, Name, InsertBefore);
2437
2438 return Create(Instruction::BitCast, S, Ty, Name, InsertBefore);
2439}
2440
Matt Arsenault740980e2014-07-14 17:24:35 +00002441CastInst *CastInst::CreateIntegerCast(Value *C, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002442 bool isSigned, const Twine &Name,
Reid Spencer7e933472006-12-12 00:49:44 +00002443 Instruction *InsertBefore) {
Duncan Sands9dff9be2010-02-15 16:12:20 +00002444 assert(C->getType()->isIntOrIntVectorTy() && Ty->isIntOrIntVectorTy() &&
Chris Lattner5370ae72010-01-10 20:21:42 +00002445 "Invalid integer cast");
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002446 unsigned SrcBits = C->getType()->getScalarSizeInBits();
2447 unsigned DstBits = Ty->getScalarSizeInBits();
Reid Spencer7e933472006-12-12 00:49:44 +00002448 Instruction::CastOps opcode =
2449 (SrcBits == DstBits ? Instruction::BitCast :
2450 (SrcBits > DstBits ? Instruction::Trunc :
2451 (isSigned ? Instruction::SExt : Instruction::ZExt)));
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002452 return Create(opcode, C, Ty, Name, InsertBefore);
Reid Spencer7e933472006-12-12 00:49:44 +00002453}
2454
Chris Lattner229907c2011-07-18 04:54:35 +00002455CastInst *CastInst::CreateIntegerCast(Value *C, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002456 bool isSigned, const Twine &Name,
Reid Spencer7e933472006-12-12 00:49:44 +00002457 BasicBlock *InsertAtEnd) {
Duncan Sands9dff9be2010-02-15 16:12:20 +00002458 assert(C->getType()->isIntOrIntVectorTy() && Ty->isIntOrIntVectorTy() &&
Dan Gohman7889f2b2009-06-15 22:25:12 +00002459 "Invalid cast");
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002460 unsigned SrcBits = C->getType()->getScalarSizeInBits();
2461 unsigned DstBits = Ty->getScalarSizeInBits();
Reid Spencer7e933472006-12-12 00:49:44 +00002462 Instruction::CastOps opcode =
2463 (SrcBits == DstBits ? Instruction::BitCast :
2464 (SrcBits > DstBits ? Instruction::Trunc :
2465 (isSigned ? Instruction::SExt : Instruction::ZExt)));
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002466 return Create(opcode, C, Ty, Name, InsertAtEnd);
Reid Spencer7e933472006-12-12 00:49:44 +00002467}
2468
Chris Lattner229907c2011-07-18 04:54:35 +00002469CastInst *CastInst::CreateFPCast(Value *C, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002470 const Twine &Name,
Reid Spencer7e933472006-12-12 00:49:44 +00002471 Instruction *InsertBefore) {
Duncan Sands9dff9be2010-02-15 16:12:20 +00002472 assert(C->getType()->isFPOrFPVectorTy() && Ty->isFPOrFPVectorTy() &&
Reid Spencer7e933472006-12-12 00:49:44 +00002473 "Invalid cast");
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002474 unsigned SrcBits = C->getType()->getScalarSizeInBits();
2475 unsigned DstBits = Ty->getScalarSizeInBits();
Reid Spencer7e933472006-12-12 00:49:44 +00002476 Instruction::CastOps opcode =
2477 (SrcBits == DstBits ? Instruction::BitCast :
2478 (SrcBits > DstBits ? Instruction::FPTrunc : Instruction::FPExt));
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002479 return Create(opcode, C, Ty, Name, InsertBefore);
Reid Spencer7e933472006-12-12 00:49:44 +00002480}
2481
Chris Lattner229907c2011-07-18 04:54:35 +00002482CastInst *CastInst::CreateFPCast(Value *C, Type *Ty,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002483 const Twine &Name,
Reid Spencer7e933472006-12-12 00:49:44 +00002484 BasicBlock *InsertAtEnd) {
Duncan Sands9dff9be2010-02-15 16:12:20 +00002485 assert(C->getType()->isFPOrFPVectorTy() && Ty->isFPOrFPVectorTy() &&
Reid Spencer7e933472006-12-12 00:49:44 +00002486 "Invalid cast");
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002487 unsigned SrcBits = C->getType()->getScalarSizeInBits();
2488 unsigned DstBits = Ty->getScalarSizeInBits();
Reid Spencer7e933472006-12-12 00:49:44 +00002489 Instruction::CastOps opcode =
2490 (SrcBits == DstBits ? Instruction::BitCast :
2491 (SrcBits > DstBits ? Instruction::FPTrunc : Instruction::FPExt));
Gabor Greife1f6e4b2008-05-16 19:29:10 +00002492 return Create(opcode, C, Ty, Name, InsertAtEnd);
Reid Spencer7e933472006-12-12 00:49:44 +00002493}
2494
Matt Arsenaultb4019ae2013-07-30 22:02:14 +00002495// Check whether it is valid to call getCastOpcode for these types.
2496// This routine must be kept in sync with getCastOpcode.
2497bool CastInst::isCastable(Type *SrcTy, Type *DestTy) {
2498 if (!SrcTy->isFirstClassType() || !DestTy->isFirstClassType())
2499 return false;
2500
2501 if (SrcTy == DestTy)
2502 return true;
2503
2504 if (VectorType *SrcVecTy = dyn_cast<VectorType>(SrcTy))
2505 if (VectorType *DestVecTy = dyn_cast<VectorType>(DestTy))
2506 if (SrcVecTy->getNumElements() == DestVecTy->getNumElements()) {
2507 // An element by element cast. Valid if casting the elements is valid.
2508 SrcTy = SrcVecTy->getElementType();
2509 DestTy = DestVecTy->getElementType();
2510 }
2511
2512 // Get the bit sizes, we'll need these
2513 unsigned SrcBits = SrcTy->getPrimitiveSizeInBits(); // 0 for ptr
2514 unsigned DestBits = DestTy->getPrimitiveSizeInBits(); // 0 for ptr
2515
2516 // Run through the possibilities ...
2517 if (DestTy->isIntegerTy()) { // Casting to integral
David Blaikie9965c5a2015-03-23 19:51:23 +00002518 if (SrcTy->isIntegerTy()) // Casting from integral
Matt Arsenaultb4019ae2013-07-30 22:02:14 +00002519 return true;
David Blaikie9965c5a2015-03-23 19:51:23 +00002520 if (SrcTy->isFloatingPointTy()) // Casting from floating pt
Matt Arsenaultb4019ae2013-07-30 22:02:14 +00002521 return true;
David Blaikie9965c5a2015-03-23 19:51:23 +00002522 if (SrcTy->isVectorTy()) // Casting from vector
Matt Arsenaultb4019ae2013-07-30 22:02:14 +00002523 return DestBits == SrcBits;
David Blaikie9965c5a2015-03-23 19:51:23 +00002524 // Casting from something else
2525 return SrcTy->isPointerTy();
2526 }
2527 if (DestTy->isFloatingPointTy()) { // Casting to floating pt
2528 if (SrcTy->isIntegerTy()) // Casting from integral
Matt Arsenaultb4019ae2013-07-30 22:02:14 +00002529 return true;
David Blaikie9965c5a2015-03-23 19:51:23 +00002530 if (SrcTy->isFloatingPointTy()) // Casting from floating pt
Matt Arsenaultb4019ae2013-07-30 22:02:14 +00002531 return true;
David Blaikie9965c5a2015-03-23 19:51:23 +00002532 if (SrcTy->isVectorTy()) // Casting from vector
Matt Arsenaultb4019ae2013-07-30 22:02:14 +00002533 return DestBits == SrcBits;
David Blaikie9965c5a2015-03-23 19:51:23 +00002534 // Casting from something else
Matt Arsenaultb4019ae2013-07-30 22:02:14 +00002535 return false;
2536 }
David Blaikie9965c5a2015-03-23 19:51:23 +00002537 if (DestTy->isVectorTy()) // Casting to vector
2538 return DestBits == SrcBits;
2539 if (DestTy->isPointerTy()) { // Casting to pointer
2540 if (SrcTy->isPointerTy()) // Casting from pointer
2541 return true;
2542 return SrcTy->isIntegerTy(); // Casting from integral
2543 }
2544 if (DestTy->isX86_MMXTy()) {
2545 if (SrcTy->isVectorTy())
2546 return DestBits == SrcBits; // 64-bit vector to MMX
2547 return false;
2548 } // Casting to something else
2549 return false;
Matt Arsenaultb4019ae2013-07-30 22:02:14 +00002550}
2551
Matt Arsenaultcacbb232013-07-30 20:45:05 +00002552bool CastInst::isBitCastable(Type *SrcTy, Type *DestTy) {
2553 if (!SrcTy->isFirstClassType() || !DestTy->isFirstClassType())
2554 return false;
2555
2556 if (SrcTy == DestTy)
2557 return true;
2558
2559 if (VectorType *SrcVecTy = dyn_cast<VectorType>(SrcTy)) {
2560 if (VectorType *DestVecTy = dyn_cast<VectorType>(DestTy)) {
2561 if (SrcVecTy->getNumElements() == DestVecTy->getNumElements()) {
2562 // An element by element cast. Valid if casting the elements is valid.
2563 SrcTy = SrcVecTy->getElementType();
2564 DestTy = DestVecTy->getElementType();
2565 }
2566 }
2567 }
2568
2569 if (PointerType *DestPtrTy = dyn_cast<PointerType>(DestTy)) {
2570 if (PointerType *SrcPtrTy = dyn_cast<PointerType>(SrcTy)) {
2571 return SrcPtrTy->getAddressSpace() == DestPtrTy->getAddressSpace();
2572 }
2573 }
2574
2575 unsigned SrcBits = SrcTy->getPrimitiveSizeInBits(); // 0 for ptr
2576 unsigned DestBits = DestTy->getPrimitiveSizeInBits(); // 0 for ptr
2577
2578 // Could still have vectors of pointers if the number of elements doesn't
2579 // match
2580 if (SrcBits == 0 || DestBits == 0)
2581 return false;
2582
2583 if (SrcBits != DestBits)
2584 return false;
2585
2586 if (DestTy->isX86_MMXTy() || SrcTy->isX86_MMXTy())
2587 return false;
2588
2589 return true;
2590}
2591
Chandler Carruth1a3c2c42014-11-25 08:20:27 +00002592bool CastInst::isBitOrNoopPointerCastable(Type *SrcTy, Type *DestTy,
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002593 const DataLayout &DL) {
Chandler Carruth1a3c2c42014-11-25 08:20:27 +00002594 if (auto *PtrTy = dyn_cast<PointerType>(SrcTy))
2595 if (auto *IntTy = dyn_cast<IntegerType>(DestTy))
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002596 return IntTy->getBitWidth() == DL.getPointerTypeSizeInBits(PtrTy);
Chandler Carruth1a3c2c42014-11-25 08:20:27 +00002597 if (auto *PtrTy = dyn_cast<PointerType>(DestTy))
2598 if (auto *IntTy = dyn_cast<IntegerType>(SrcTy))
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002599 return IntTy->getBitWidth() == DL.getPointerTypeSizeInBits(PtrTy);
Chandler Carruth1a3c2c42014-11-25 08:20:27 +00002600
2601 return isBitCastable(SrcTy, DestTy);
2602}
2603
Matt Arsenaultcacbb232013-07-30 20:45:05 +00002604// Provide a way to get a "cast" where the cast opcode is inferred from the
2605// types and size of the operand. This, basically, is a parallel of the
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002606// logic in the castIsValid function below. This axiom should hold:
2607// castIsValid( getCastOpcode(Val, Ty), Val, Ty)
2608// should not assert in castIsValid. In other words, this produces a "correct"
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002609// casting opcode for the arguments passed to it.
Duncan Sands55e50902008-01-06 10:12:28 +00002610// This routine must be kept in sync with isCastable.
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002611Instruction::CastOps
Reid Spencerc4dacf22006-12-04 02:43:42 +00002612CastInst::getCastOpcode(
Chris Lattner229907c2011-07-18 04:54:35 +00002613 const Value *Src, bool SrcIsSigned, Type *DestTy, bool DestIsSigned) {
2614 Type *SrcTy = Src->getType();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002615
Duncan Sands55e50902008-01-06 10:12:28 +00002616 assert(SrcTy->isFirstClassType() && DestTy->isFirstClassType() &&
2617 "Only first class types are castable!");
2618
Duncan Sandsa8514532011-05-18 07:13:41 +00002619 if (SrcTy == DestTy)
2620 return BitCast;
2621
Matt Arsenaultcacbb232013-07-30 20:45:05 +00002622 // FIXME: Check address space sizes here
Chris Lattner229907c2011-07-18 04:54:35 +00002623 if (VectorType *SrcVecTy = dyn_cast<VectorType>(SrcTy))
2624 if (VectorType *DestVecTy = dyn_cast<VectorType>(DestTy))
Duncan Sandsa8514532011-05-18 07:13:41 +00002625 if (SrcVecTy->getNumElements() == DestVecTy->getNumElements()) {
2626 // An element by element cast. Find the appropriate opcode based on the
2627 // element types.
2628 SrcTy = SrcVecTy->getElementType();
2629 DestTy = DestVecTy->getElementType();
2630 }
2631
2632 // Get the bit sizes, we'll need these
Duncan Sands7f646562011-05-18 09:21:57 +00002633 unsigned SrcBits = SrcTy->getPrimitiveSizeInBits(); // 0 for ptr
2634 unsigned DestBits = DestTy->getPrimitiveSizeInBits(); // 0 for ptr
Duncan Sandsa8514532011-05-18 07:13:41 +00002635
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002636 // Run through the possibilities ...
Duncan Sands9dff9be2010-02-15 16:12:20 +00002637 if (DestTy->isIntegerTy()) { // Casting to integral
2638 if (SrcTy->isIntegerTy()) { // Casting from integral
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002639 if (DestBits < SrcBits)
2640 return Trunc; // int -> smaller int
2641 else if (DestBits > SrcBits) { // its an extension
Reid Spencerc4dacf22006-12-04 02:43:42 +00002642 if (SrcIsSigned)
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002643 return SExt; // signed -> SEXT
2644 else
2645 return ZExt; // unsigned -> ZEXT
2646 } else {
2647 return BitCast; // Same size, No-op cast
2648 }
Duncan Sands9dff9be2010-02-15 16:12:20 +00002649 } else if (SrcTy->isFloatingPointTy()) { // Casting from floating pt
Reid Spencerc4dacf22006-12-04 02:43:42 +00002650 if (DestIsSigned)
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002651 return FPToSI; // FP -> sint
2652 else
2653 return FPToUI; // FP -> uint
Duncan Sands27bd0df2011-05-18 10:59:25 +00002654 } else if (SrcTy->isVectorTy()) {
2655 assert(DestBits == SrcBits &&
2656 "Casting vector to integer of different width");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002657 return BitCast; // Same size, no-op cast
2658 } else {
Duncan Sands19d0b472010-02-16 11:11:14 +00002659 assert(SrcTy->isPointerTy() &&
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002660 "Casting from a value that is not first-class type");
2661 return PtrToInt; // ptr -> int
2662 }
Duncan Sands9dff9be2010-02-15 16:12:20 +00002663 } else if (DestTy->isFloatingPointTy()) { // Casting to floating pt
2664 if (SrcTy->isIntegerTy()) { // Casting from integral
Reid Spencerc4dacf22006-12-04 02:43:42 +00002665 if (SrcIsSigned)
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002666 return SIToFP; // sint -> FP
2667 else
2668 return UIToFP; // uint -> FP
Duncan Sands9dff9be2010-02-15 16:12:20 +00002669 } else if (SrcTy->isFloatingPointTy()) { // Casting from floating pt
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002670 if (DestBits < SrcBits) {
2671 return FPTrunc; // FP -> smaller FP
2672 } else if (DestBits > SrcBits) {
2673 return FPExt; // FP -> larger FP
2674 } else {
2675 return BitCast; // same size, no-op cast
2676 }
Duncan Sands27bd0df2011-05-18 10:59:25 +00002677 } else if (SrcTy->isVectorTy()) {
2678 assert(DestBits == SrcBits &&
Dan Gohmanfead7972007-05-11 21:43:24 +00002679 "Casting vector to floating point of different width");
Devang Patele9432132008-11-05 01:37:40 +00002680 return BitCast; // same size, no-op cast
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002681 }
Ahmed Charles636a3d62012-02-19 11:37:01 +00002682 llvm_unreachable("Casting pointer or non-first class to float");
Duncan Sands27bd0df2011-05-18 10:59:25 +00002683 } else if (DestTy->isVectorTy()) {
2684 assert(DestBits == SrcBits &&
2685 "Illegal cast to vector (wrong type or size)");
2686 return BitCast;
Duncan Sands19d0b472010-02-16 11:11:14 +00002687 } else if (DestTy->isPointerTy()) {
2688 if (SrcTy->isPointerTy()) {
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002689 if (DestTy->getPointerAddressSpace() != SrcTy->getPointerAddressSpace())
2690 return AddrSpaceCast;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002691 return BitCast; // ptr -> ptr
Duncan Sands9dff9be2010-02-15 16:12:20 +00002692 } else if (SrcTy->isIntegerTy()) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002693 return IntToPtr; // int -> ptr
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002694 }
Ahmed Charles636a3d62012-02-19 11:37:01 +00002695 llvm_unreachable("Casting pointer to other than pointer or int");
Dale Johannesendd224d22010-09-30 23:57:10 +00002696 } else if (DestTy->isX86_MMXTy()) {
Duncan Sands27bd0df2011-05-18 10:59:25 +00002697 if (SrcTy->isVectorTy()) {
2698 assert(DestBits == SrcBits && "Casting vector of wrong width to X86_MMX");
Dale Johannesendd224d22010-09-30 23:57:10 +00002699 return BitCast; // 64-bit vector to MMX
Dale Johannesendd224d22010-09-30 23:57:10 +00002700 }
Ahmed Charles636a3d62012-02-19 11:37:01 +00002701 llvm_unreachable("Illegal cast to X86_MMX");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002702 }
Ahmed Charles636a3d62012-02-19 11:37:01 +00002703 llvm_unreachable("Casting to type that is not first-class");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002704}
2705
2706//===----------------------------------------------------------------------===//
2707// CastInst SubClass Constructors
2708//===----------------------------------------------------------------------===//
2709
2710/// Check that the construction parameters for a CastInst are correct. This
2711/// could be broken out into the separate constructors but it is useful to have
2712/// it in one place and to eliminate the redundant code for getting the sizes
2713/// of the types involved.
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002714bool
Chris Lattner229907c2011-07-18 04:54:35 +00002715CastInst::castIsValid(Instruction::CastOps op, Value *S, Type *DstTy) {
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002716
2717 // Check for type sanity on the arguments
Chris Lattner229907c2011-07-18 04:54:35 +00002718 Type *SrcTy = S->getType();
Evan Cheng098d7b72013-01-10 23:22:53 +00002719
Chris Lattner37bc78a2010-01-26 21:51:43 +00002720 if (!SrcTy->isFirstClassType() || !DstTy->isFirstClassType() ||
2721 SrcTy->isAggregateType() || DstTy->isAggregateType())
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002722 return false;
2723
2724 // Get the size of the types in bits, we'll need this later
Dan Gohman7ccc52f2009-06-15 22:12:54 +00002725 unsigned SrcBitSize = SrcTy->getScalarSizeInBits();
2726 unsigned DstBitSize = DstTy->getScalarSizeInBits();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002727
Duncan Sands7f646562011-05-18 09:21:57 +00002728 // If these are vector types, get the lengths of the vectors (using zero for
2729 // scalar types means that checking that vector lengths match also checks that
2730 // scalars are not being converted to vectors or vectors to scalars).
2731 unsigned SrcLength = SrcTy->isVectorTy() ?
2732 cast<VectorType>(SrcTy)->getNumElements() : 0;
2733 unsigned DstLength = DstTy->isVectorTy() ?
2734 cast<VectorType>(DstTy)->getNumElements() : 0;
2735
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002736 // Switch on the opcode provided
2737 switch (op) {
2738 default: return false; // This is an input error
2739 case Instruction::Trunc:
Duncan Sands7f646562011-05-18 09:21:57 +00002740 return SrcTy->isIntOrIntVectorTy() && DstTy->isIntOrIntVectorTy() &&
2741 SrcLength == DstLength && SrcBitSize > DstBitSize;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002742 case Instruction::ZExt:
Duncan Sands7f646562011-05-18 09:21:57 +00002743 return SrcTy->isIntOrIntVectorTy() && DstTy->isIntOrIntVectorTy() &&
2744 SrcLength == DstLength && SrcBitSize < DstBitSize;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002745 case Instruction::SExt:
Duncan Sands7f646562011-05-18 09:21:57 +00002746 return SrcTy->isIntOrIntVectorTy() && DstTy->isIntOrIntVectorTy() &&
2747 SrcLength == DstLength && SrcBitSize < DstBitSize;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002748 case Instruction::FPTrunc:
Duncan Sands7f646562011-05-18 09:21:57 +00002749 return SrcTy->isFPOrFPVectorTy() && DstTy->isFPOrFPVectorTy() &&
2750 SrcLength == DstLength && SrcBitSize > DstBitSize;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002751 case Instruction::FPExt:
Duncan Sands7f646562011-05-18 09:21:57 +00002752 return SrcTy->isFPOrFPVectorTy() && DstTy->isFPOrFPVectorTy() &&
2753 SrcLength == DstLength && SrcBitSize < DstBitSize;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002754 case Instruction::UIToFP:
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002755 case Instruction::SIToFP:
Duncan Sands7f646562011-05-18 09:21:57 +00002756 return SrcTy->isIntOrIntVectorTy() && DstTy->isFPOrFPVectorTy() &&
2757 SrcLength == DstLength;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002758 case Instruction::FPToUI:
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002759 case Instruction::FPToSI:
Duncan Sands7f646562011-05-18 09:21:57 +00002760 return SrcTy->isFPOrFPVectorTy() && DstTy->isIntOrIntVectorTy() &&
2761 SrcLength == DstLength;
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002762 case Instruction::PtrToInt:
Chris Lattner8a3df542012-01-25 01:32:59 +00002763 if (isa<VectorType>(SrcTy) != isa<VectorType>(DstTy))
Nadav Rotem3924cb02011-12-05 06:29:09 +00002764 return false;
Chris Lattner8a3df542012-01-25 01:32:59 +00002765 if (VectorType *VT = dyn_cast<VectorType>(SrcTy))
2766 if (VT->getNumElements() != cast<VectorType>(DstTy)->getNumElements())
2767 return false;
Nadav Rotem3924cb02011-12-05 06:29:09 +00002768 return SrcTy->getScalarType()->isPointerTy() &&
2769 DstTy->getScalarType()->isIntegerTy();
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002770 case Instruction::IntToPtr:
Chris Lattner8a3df542012-01-25 01:32:59 +00002771 if (isa<VectorType>(SrcTy) != isa<VectorType>(DstTy))
Nadav Rotem3924cb02011-12-05 06:29:09 +00002772 return false;
Chris Lattner8a3df542012-01-25 01:32:59 +00002773 if (VectorType *VT = dyn_cast<VectorType>(SrcTy))
2774 if (VT->getNumElements() != cast<VectorType>(DstTy)->getNumElements())
2775 return false;
Nadav Rotem3924cb02011-12-05 06:29:09 +00002776 return SrcTy->getScalarType()->isIntegerTy() &&
2777 DstTy->getScalarType()->isPointerTy();
Matt Arsenaultfc3c91d2014-01-22 19:21:33 +00002778 case Instruction::BitCast: {
2779 PointerType *SrcPtrTy = dyn_cast<PointerType>(SrcTy->getScalarType());
2780 PointerType *DstPtrTy = dyn_cast<PointerType>(DstTy->getScalarType());
2781
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002782 // BitCast implies a no-op cast of type only. No bits change.
2783 // However, you can't cast pointers to anything but pointers.
Matt Arsenaultfc3c91d2014-01-22 19:21:33 +00002784 if (!SrcPtrTy != !DstPtrTy)
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002785 return false;
2786
Alp Tokerf907b892013-12-05 05:44:44 +00002787 // For non-pointer cases, the cast is okay if the source and destination bit
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002788 // widths are identical.
Matt Arsenaultfc3c91d2014-01-22 19:21:33 +00002789 if (!SrcPtrTy)
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002790 return SrcTy->getPrimitiveSizeInBits() == DstTy->getPrimitiveSizeInBits();
2791
Matt Arsenaultfc3c91d2014-01-22 19:21:33 +00002792 // If both are pointers then the address spaces must match.
2793 if (SrcPtrTy->getAddressSpace() != DstPtrTy->getAddressSpace())
2794 return false;
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002795
Matt Arsenaultfc3c91d2014-01-22 19:21:33 +00002796 // A vector of pointers must have the same number of elements.
2797 if (VectorType *SrcVecTy = dyn_cast<VectorType>(SrcTy)) {
2798 if (VectorType *DstVecTy = dyn_cast<VectorType>(DstTy))
2799 return (SrcVecTy->getNumElements() == DstVecTy->getNumElements());
2800
2801 return false;
2802 }
2803
2804 return true;
2805 }
2806 case Instruction::AddrSpaceCast: {
2807 PointerType *SrcPtrTy = dyn_cast<PointerType>(SrcTy->getScalarType());
2808 if (!SrcPtrTy)
2809 return false;
2810
2811 PointerType *DstPtrTy = dyn_cast<PointerType>(DstTy->getScalarType());
2812 if (!DstPtrTy)
2813 return false;
2814
2815 if (SrcPtrTy->getAddressSpace() == DstPtrTy->getAddressSpace())
2816 return false;
2817
2818 if (VectorType *SrcVecTy = dyn_cast<VectorType>(SrcTy)) {
2819 if (VectorType *DstVecTy = dyn_cast<VectorType>(DstTy))
2820 return (SrcVecTy->getNumElements() == DstVecTy->getNumElements());
2821
2822 return false;
2823 }
2824
2825 return true;
2826 }
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002827 }
2828}
2829
2830TruncInst::TruncInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002831 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002832) : CastInst(Ty, Trunc, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002833 assert(castIsValid(getOpcode(), S, Ty) && "Illegal Trunc");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002834}
2835
2836TruncInst::TruncInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002837 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002838) : CastInst(Ty, Trunc, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002839 assert(castIsValid(getOpcode(), S, Ty) && "Illegal Trunc");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002840}
2841
2842ZExtInst::ZExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002843 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002844) : CastInst(Ty, ZExt, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002845 assert(castIsValid(getOpcode(), S, Ty) && "Illegal ZExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002846}
2847
2848ZExtInst::ZExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002849 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002850) : CastInst(Ty, ZExt, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002851 assert(castIsValid(getOpcode(), S, Ty) && "Illegal ZExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002852}
2853SExtInst::SExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002854 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002855) : CastInst(Ty, SExt, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002856 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002857}
2858
Jeff Cohencc08c832006-12-02 02:22:01 +00002859SExtInst::SExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002860 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002861) : CastInst(Ty, SExt, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002862 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002863}
2864
2865FPTruncInst::FPTruncInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002866 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002867) : CastInst(Ty, FPTrunc, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002868 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPTrunc");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002869}
2870
2871FPTruncInst::FPTruncInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002872 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002873) : CastInst(Ty, FPTrunc, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002874 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPTrunc");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002875}
2876
2877FPExtInst::FPExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002878 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002879) : CastInst(Ty, FPExt, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002880 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002881}
2882
2883FPExtInst::FPExtInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002884 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002885) : CastInst(Ty, FPExt, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002886 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPExt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002887}
2888
2889UIToFPInst::UIToFPInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002890 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002891) : CastInst(Ty, UIToFP, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002892 assert(castIsValid(getOpcode(), S, Ty) && "Illegal UIToFP");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002893}
2894
2895UIToFPInst::UIToFPInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002896 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002897) : CastInst(Ty, UIToFP, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002898 assert(castIsValid(getOpcode(), S, Ty) && "Illegal UIToFP");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002899}
2900
2901SIToFPInst::SIToFPInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002902 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002903) : CastInst(Ty, SIToFP, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002904 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SIToFP");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002905}
2906
2907SIToFPInst::SIToFPInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002908 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002909) : CastInst(Ty, SIToFP, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002910 assert(castIsValid(getOpcode(), S, Ty) && "Illegal SIToFP");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002911}
2912
2913FPToUIInst::FPToUIInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002914 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002915) : CastInst(Ty, FPToUI, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002916 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToUI");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002917}
2918
2919FPToUIInst::FPToUIInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002920 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002921) : CastInst(Ty, FPToUI, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002922 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToUI");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002923}
2924
2925FPToSIInst::FPToSIInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002926 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002927) : CastInst(Ty, FPToSI, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002928 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToSI");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002929}
2930
2931FPToSIInst::FPToSIInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002932 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002933) : CastInst(Ty, FPToSI, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002934 assert(castIsValid(getOpcode(), S, Ty) && "Illegal FPToSI");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002935}
2936
2937PtrToIntInst::PtrToIntInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002938 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002939) : CastInst(Ty, PtrToInt, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002940 assert(castIsValid(getOpcode(), S, Ty) && "Illegal PtrToInt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002941}
2942
2943PtrToIntInst::PtrToIntInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002944 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002945) : CastInst(Ty, PtrToInt, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002946 assert(castIsValid(getOpcode(), S, Ty) && "Illegal PtrToInt");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002947}
2948
2949IntToPtrInst::IntToPtrInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002950 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002951) : CastInst(Ty, IntToPtr, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002952 assert(castIsValid(getOpcode(), S, Ty) && "Illegal IntToPtr");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002953}
2954
2955IntToPtrInst::IntToPtrInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002956 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002957) : CastInst(Ty, IntToPtr, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002958 assert(castIsValid(getOpcode(), S, Ty) && "Illegal IntToPtr");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002959}
2960
2961BitCastInst::BitCastInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002962 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002963) : CastInst(Ty, BitCast, S, Name, InsertBefore) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002964 assert(castIsValid(getOpcode(), S, Ty) && "Illegal BitCast");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002965}
2966
2967BitCastInst::BitCastInst(
Chris Lattner229907c2011-07-18 04:54:35 +00002968 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002969) : CastInst(Ty, BitCast, S, Name, InsertAtEnd) {
Reid Spencer00e5e0e2007-01-17 02:46:11 +00002970 assert(castIsValid(getOpcode(), S, Ty) && "Illegal BitCast");
Reid Spencer6c38f0b2006-11-27 01:05:10 +00002971}
Chris Lattnerf16dc002006-09-17 19:29:56 +00002972
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00002973AddrSpaceCastInst::AddrSpaceCastInst(
2974 Value *S, Type *Ty, const Twine &Name, Instruction *InsertBefore
2975) : CastInst(Ty, AddrSpaceCast, S, Name, InsertBefore) {
2976 assert(castIsValid(getOpcode(), S, Ty) && "Illegal AddrSpaceCast");
2977}
2978
2979AddrSpaceCastInst::AddrSpaceCastInst(
2980 Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd
2981) : CastInst(Ty, AddrSpaceCast, S, Name, InsertAtEnd) {
2982 assert(castIsValid(getOpcode(), S, Ty) && "Illegal AddrSpaceCast");
2983}
2984
Chris Lattnerf16dc002006-09-17 19:29:56 +00002985//===----------------------------------------------------------------------===//
Reid Spencerd9436b62006-11-20 01:22:35 +00002986// CmpInst Classes
2987//===----------------------------------------------------------------------===//
2988
Craig Topper3186c012012-09-23 02:12:10 +00002989void CmpInst::anchor() {}
Chris Lattneraec33da2010-01-22 06:25:37 +00002990
Chris Lattner229907c2011-07-18 04:54:35 +00002991CmpInst::CmpInst(Type *ty, OtherOps op, unsigned short predicate,
Daniel Dunbar4975db62009-07-25 04:41:11 +00002992 Value *LHS, Value *RHS, const Twine &Name,
Nate Begemand2195702008-05-12 19:01:56 +00002993 Instruction *InsertBefore)
Nate Begeman66d0a0e2008-05-12 20:11:05 +00002994 : Instruction(ty, op,
Gabor Greiff6caff662008-05-10 08:32:32 +00002995 OperandTraits<CmpInst>::op_begin(this),
2996 OperandTraits<CmpInst>::operands(this),
2997 InsertBefore) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00002998 Op<0>() = LHS;
2999 Op<1>() = RHS;
Chris Lattnerb9c86512009-12-29 02:14:09 +00003000 setPredicate((Predicate)predicate);
Reid Spencer871a9ea2007-04-11 13:04:48 +00003001 setName(Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003002}
Gabor Greiff6caff662008-05-10 08:32:32 +00003003
Chris Lattner229907c2011-07-18 04:54:35 +00003004CmpInst::CmpInst(Type *ty, OtherOps op, unsigned short predicate,
Daniel Dunbar4975db62009-07-25 04:41:11 +00003005 Value *LHS, Value *RHS, const Twine &Name,
Nate Begemand2195702008-05-12 19:01:56 +00003006 BasicBlock *InsertAtEnd)
Nate Begeman66d0a0e2008-05-12 20:11:05 +00003007 : Instruction(ty, op,
Gabor Greiff6caff662008-05-10 08:32:32 +00003008 OperandTraits<CmpInst>::op_begin(this),
3009 OperandTraits<CmpInst>::operands(this),
3010 InsertAtEnd) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00003011 Op<0>() = LHS;
3012 Op<1>() = RHS;
Chris Lattnerb9c86512009-12-29 02:14:09 +00003013 setPredicate((Predicate)predicate);
Reid Spencer871a9ea2007-04-11 13:04:48 +00003014 setName(Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003015}
3016
3017CmpInst *
Dan Gohmanad1f0a12009-08-25 23:17:54 +00003018CmpInst::Create(OtherOps Op, unsigned short predicate,
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003019 Value *S1, Value *S2,
Daniel Dunbar4975db62009-07-25 04:41:11 +00003020 const Twine &Name, Instruction *InsertBefore) {
Reid Spencerd9436b62006-11-20 01:22:35 +00003021 if (Op == Instruction::ICmp) {
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003022 if (InsertBefore)
3023 return new ICmpInst(InsertBefore, CmpInst::Predicate(predicate),
3024 S1, S2, Name);
3025 else
Dan Gohmanad1f0a12009-08-25 23:17:54 +00003026 return new ICmpInst(CmpInst::Predicate(predicate),
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003027 S1, S2, Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003028 }
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003029
3030 if (InsertBefore)
3031 return new FCmpInst(InsertBefore, CmpInst::Predicate(predicate),
3032 S1, S2, Name);
3033 else
Dan Gohmanad1f0a12009-08-25 23:17:54 +00003034 return new FCmpInst(CmpInst::Predicate(predicate),
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003035 S1, S2, Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003036}
3037
3038CmpInst *
Gabor Greife1f6e4b2008-05-16 19:29:10 +00003039CmpInst::Create(OtherOps Op, unsigned short predicate, Value *S1, Value *S2,
Daniel Dunbar4975db62009-07-25 04:41:11 +00003040 const Twine &Name, BasicBlock *InsertAtEnd) {
Reid Spencerd9436b62006-11-20 01:22:35 +00003041 if (Op == Instruction::ICmp) {
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003042 return new ICmpInst(*InsertAtEnd, CmpInst::Predicate(predicate),
3043 S1, S2, Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003044 }
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003045 return new FCmpInst(*InsertAtEnd, CmpInst::Predicate(predicate),
3046 S1, S2, Name);
Reid Spencerd9436b62006-11-20 01:22:35 +00003047}
3048
3049void CmpInst::swapOperands() {
3050 if (ICmpInst *IC = dyn_cast<ICmpInst>(this))
3051 IC->swapOperands();
3052 else
3053 cast<FCmpInst>(this)->swapOperands();
3054}
3055
Duncan Sands95c4ecc2011-01-04 12:52:29 +00003056bool CmpInst::isCommutative() const {
3057 if (const ICmpInst *IC = dyn_cast<ICmpInst>(this))
Reid Spencerd9436b62006-11-20 01:22:35 +00003058 return IC->isCommutative();
3059 return cast<FCmpInst>(this)->isCommutative();
3060}
3061
Duncan Sands95c4ecc2011-01-04 12:52:29 +00003062bool CmpInst::isEquality() const {
3063 if (const ICmpInst *IC = dyn_cast<ICmpInst>(this))
Reid Spencerd9436b62006-11-20 01:22:35 +00003064 return IC->isEquality();
3065 return cast<FCmpInst>(this)->isEquality();
3066}
3067
3068
Dan Gohman4e724382008-05-31 02:47:54 +00003069CmpInst::Predicate CmpInst::getInversePredicate(Predicate pred) {
Reid Spencerd9436b62006-11-20 01:22:35 +00003070 switch (pred) {
Craig Topperc514b542012-02-05 22:14:15 +00003071 default: llvm_unreachable("Unknown cmp predicate!");
Reid Spencerd9436b62006-11-20 01:22:35 +00003072 case ICMP_EQ: return ICMP_NE;
3073 case ICMP_NE: return ICMP_EQ;
3074 case ICMP_UGT: return ICMP_ULE;
3075 case ICMP_ULT: return ICMP_UGE;
3076 case ICMP_UGE: return ICMP_ULT;
3077 case ICMP_ULE: return ICMP_UGT;
3078 case ICMP_SGT: return ICMP_SLE;
3079 case ICMP_SLT: return ICMP_SGE;
3080 case ICMP_SGE: return ICMP_SLT;
3081 case ICMP_SLE: return ICMP_SGT;
Reid Spencerd9436b62006-11-20 01:22:35 +00003082
Dan Gohman4e724382008-05-31 02:47:54 +00003083 case FCMP_OEQ: return FCMP_UNE;
3084 case FCMP_ONE: return FCMP_UEQ;
3085 case FCMP_OGT: return FCMP_ULE;
3086 case FCMP_OLT: return FCMP_UGE;
3087 case FCMP_OGE: return FCMP_ULT;
3088 case FCMP_OLE: return FCMP_UGT;
3089 case FCMP_UEQ: return FCMP_ONE;
3090 case FCMP_UNE: return FCMP_OEQ;
3091 case FCMP_UGT: return FCMP_OLE;
3092 case FCMP_ULT: return FCMP_OGE;
3093 case FCMP_UGE: return FCMP_OLT;
3094 case FCMP_ULE: return FCMP_OGT;
3095 case FCMP_ORD: return FCMP_UNO;
3096 case FCMP_UNO: return FCMP_ORD;
3097 case FCMP_TRUE: return FCMP_FALSE;
3098 case FCMP_FALSE: return FCMP_TRUE;
Reid Spencerd9436b62006-11-20 01:22:35 +00003099 }
3100}
3101
Reid Spencer266e42b2006-12-23 06:05:41 +00003102ICmpInst::Predicate ICmpInst::getSignedPredicate(Predicate pred) {
3103 switch (pred) {
Craig Topperc514b542012-02-05 22:14:15 +00003104 default: llvm_unreachable("Unknown icmp predicate!");
Reid Spencer266e42b2006-12-23 06:05:41 +00003105 case ICMP_EQ: case ICMP_NE:
3106 case ICMP_SGT: case ICMP_SLT: case ICMP_SGE: case ICMP_SLE:
3107 return pred;
3108 case ICMP_UGT: return ICMP_SGT;
3109 case ICMP_ULT: return ICMP_SLT;
3110 case ICMP_UGE: return ICMP_SGE;
3111 case ICMP_ULE: return ICMP_SLE;
3112 }
3113}
3114
Nick Lewycky8ea81e82008-01-28 03:48:02 +00003115ICmpInst::Predicate ICmpInst::getUnsignedPredicate(Predicate pred) {
3116 switch (pred) {
Craig Topperc514b542012-02-05 22:14:15 +00003117 default: llvm_unreachable("Unknown icmp predicate!");
Nick Lewycky8ea81e82008-01-28 03:48:02 +00003118 case ICMP_EQ: case ICMP_NE:
3119 case ICMP_UGT: case ICMP_ULT: case ICMP_UGE: case ICMP_ULE:
3120 return pred;
3121 case ICMP_SGT: return ICMP_UGT;
3122 case ICMP_SLT: return ICMP_ULT;
3123 case ICMP_SGE: return ICMP_UGE;
3124 case ICMP_SLE: return ICMP_ULE;
3125 }
3126}
3127
Reid Spencer0286bc12007-02-28 22:00:54 +00003128/// Initialize a set of values that all satisfy the condition with C.
3129///
3130ConstantRange
3131ICmpInst::makeConstantRange(Predicate pred, const APInt &C) {
3132 APInt Lower(C);
3133 APInt Upper(C);
3134 uint32_t BitWidth = C.getBitWidth();
3135 switch (pred) {
Torok Edwinfbcc6632009-07-14 16:55:14 +00003136 default: llvm_unreachable("Invalid ICmp opcode to ConstantRange ctor!");
Jakub Staszak773be0c2013-03-20 23:56:19 +00003137 case ICmpInst::ICMP_EQ: ++Upper; break;
3138 case ICmpInst::ICMP_NE: ++Lower; break;
Dan Gohmand86e2952010-01-26 16:04:20 +00003139 case ICmpInst::ICMP_ULT:
3140 Lower = APInt::getMinValue(BitWidth);
3141 // Check for an empty-set condition.
3142 if (Lower == Upper)
3143 return ConstantRange(BitWidth, /*isFullSet=*/false);
3144 break;
3145 case ICmpInst::ICMP_SLT:
3146 Lower = APInt::getSignedMinValue(BitWidth);
3147 // Check for an empty-set condition.
3148 if (Lower == Upper)
3149 return ConstantRange(BitWidth, /*isFullSet=*/false);
3150 break;
Reid Spencer0286bc12007-02-28 22:00:54 +00003151 case ICmpInst::ICMP_UGT:
Jakub Staszak773be0c2013-03-20 23:56:19 +00003152 ++Lower; Upper = APInt::getMinValue(BitWidth); // Min = Next(Max)
Dan Gohmand86e2952010-01-26 16:04:20 +00003153 // Check for an empty-set condition.
3154 if (Lower == Upper)
3155 return ConstantRange(BitWidth, /*isFullSet=*/false);
Reid Spencer0286bc12007-02-28 22:00:54 +00003156 break;
3157 case ICmpInst::ICMP_SGT:
Jakub Staszak773be0c2013-03-20 23:56:19 +00003158 ++Lower; Upper = APInt::getSignedMinValue(BitWidth); // Min = Next(Max)
Dan Gohmand86e2952010-01-26 16:04:20 +00003159 // Check for an empty-set condition.
3160 if (Lower == Upper)
3161 return ConstantRange(BitWidth, /*isFullSet=*/false);
Reid Spencer0286bc12007-02-28 22:00:54 +00003162 break;
3163 case ICmpInst::ICMP_ULE:
Jakub Staszak773be0c2013-03-20 23:56:19 +00003164 Lower = APInt::getMinValue(BitWidth); ++Upper;
Dan Gohmand86e2952010-01-26 16:04:20 +00003165 // Check for a full-set condition.
3166 if (Lower == Upper)
3167 return ConstantRange(BitWidth, /*isFullSet=*/true);
Reid Spencer0286bc12007-02-28 22:00:54 +00003168 break;
3169 case ICmpInst::ICMP_SLE:
Jakub Staszak773be0c2013-03-20 23:56:19 +00003170 Lower = APInt::getSignedMinValue(BitWidth); ++Upper;
Dan Gohmand86e2952010-01-26 16:04:20 +00003171 // Check for a full-set condition.
3172 if (Lower == Upper)
3173 return ConstantRange(BitWidth, /*isFullSet=*/true);
Reid Spencer0286bc12007-02-28 22:00:54 +00003174 break;
3175 case ICmpInst::ICMP_UGE:
3176 Upper = APInt::getMinValue(BitWidth); // Min = Next(Max)
Dan Gohmand86e2952010-01-26 16:04:20 +00003177 // Check for a full-set condition.
3178 if (Lower == Upper)
3179 return ConstantRange(BitWidth, /*isFullSet=*/true);
Reid Spencer0286bc12007-02-28 22:00:54 +00003180 break;
3181 case ICmpInst::ICMP_SGE:
3182 Upper = APInt::getSignedMinValue(BitWidth); // Min = Next(Max)
Dan Gohmand86e2952010-01-26 16:04:20 +00003183 // Check for a full-set condition.
3184 if (Lower == Upper)
3185 return ConstantRange(BitWidth, /*isFullSet=*/true);
Reid Spencer0286bc12007-02-28 22:00:54 +00003186 break;
3187 }
3188 return ConstantRange(Lower, Upper);
3189}
3190
Dan Gohman4e724382008-05-31 02:47:54 +00003191CmpInst::Predicate CmpInst::getSwappedPredicate(Predicate pred) {
Reid Spencerd9436b62006-11-20 01:22:35 +00003192 switch (pred) {
Craig Topperc514b542012-02-05 22:14:15 +00003193 default: llvm_unreachable("Unknown cmp predicate!");
Dan Gohman4e724382008-05-31 02:47:54 +00003194 case ICMP_EQ: case ICMP_NE:
3195 return pred;
3196 case ICMP_SGT: return ICMP_SLT;
3197 case ICMP_SLT: return ICMP_SGT;
3198 case ICMP_SGE: return ICMP_SLE;
3199 case ICMP_SLE: return ICMP_SGE;
3200 case ICMP_UGT: return ICMP_ULT;
3201 case ICMP_ULT: return ICMP_UGT;
3202 case ICMP_UGE: return ICMP_ULE;
3203 case ICMP_ULE: return ICMP_UGE;
3204
Reid Spencerd9436b62006-11-20 01:22:35 +00003205 case FCMP_FALSE: case FCMP_TRUE:
3206 case FCMP_OEQ: case FCMP_ONE:
3207 case FCMP_UEQ: case FCMP_UNE:
3208 case FCMP_ORD: case FCMP_UNO:
3209 return pred;
3210 case FCMP_OGT: return FCMP_OLT;
3211 case FCMP_OLT: return FCMP_OGT;
3212 case FCMP_OGE: return FCMP_OLE;
3213 case FCMP_OLE: return FCMP_OGE;
3214 case FCMP_UGT: return FCMP_ULT;
3215 case FCMP_ULT: return FCMP_UGT;
3216 case FCMP_UGE: return FCMP_ULE;
3217 case FCMP_ULE: return FCMP_UGE;
3218 }
3219}
3220
Reid Spencer266e42b2006-12-23 06:05:41 +00003221bool CmpInst::isUnsigned(unsigned short predicate) {
3222 switch (predicate) {
3223 default: return false;
3224 case ICmpInst::ICMP_ULT: case ICmpInst::ICMP_ULE: case ICmpInst::ICMP_UGT:
3225 case ICmpInst::ICMP_UGE: return true;
3226 }
3227}
3228
Nick Lewycky7494b3b2009-10-25 03:50:03 +00003229bool CmpInst::isSigned(unsigned short predicate) {
Reid Spencer266e42b2006-12-23 06:05:41 +00003230 switch (predicate) {
3231 default: return false;
3232 case ICmpInst::ICMP_SLT: case ICmpInst::ICMP_SLE: case ICmpInst::ICMP_SGT:
3233 case ICmpInst::ICMP_SGE: return true;
3234 }
3235}
3236
3237bool CmpInst::isOrdered(unsigned short predicate) {
3238 switch (predicate) {
3239 default: return false;
3240 case FCmpInst::FCMP_OEQ: case FCmpInst::FCMP_ONE: case FCmpInst::FCMP_OGT:
3241 case FCmpInst::FCMP_OLT: case FCmpInst::FCMP_OGE: case FCmpInst::FCMP_OLE:
3242 case FCmpInst::FCMP_ORD: return true;
3243 }
3244}
3245
3246bool CmpInst::isUnordered(unsigned short predicate) {
3247 switch (predicate) {
3248 default: return false;
3249 case FCmpInst::FCMP_UEQ: case FCmpInst::FCMP_UNE: case FCmpInst::FCMP_UGT:
3250 case FCmpInst::FCMP_ULT: case FCmpInst::FCMP_UGE: case FCmpInst::FCMP_ULE:
3251 case FCmpInst::FCMP_UNO: return true;
3252 }
3253}
3254
Nick Lewycky7494b3b2009-10-25 03:50:03 +00003255bool CmpInst::isTrueWhenEqual(unsigned short predicate) {
3256 switch(predicate) {
3257 default: return false;
3258 case ICMP_EQ: case ICMP_UGE: case ICMP_ULE: case ICMP_SGE: case ICMP_SLE:
3259 case FCMP_TRUE: case FCMP_UEQ: case FCMP_UGE: case FCMP_ULE: return true;
3260 }
3261}
3262
3263bool CmpInst::isFalseWhenEqual(unsigned short predicate) {
3264 switch(predicate) {
3265 case ICMP_NE: case ICMP_UGT: case ICMP_ULT: case ICMP_SGT: case ICMP_SLT:
3266 case FCMP_FALSE: case FCMP_ONE: case FCMP_OGT: case FCMP_OLT: return true;
3267 default: return false;
3268 }
3269}
3270
3271
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003272//===----------------------------------------------------------------------===//
3273// SwitchInst Implementation
3274//===----------------------------------------------------------------------===//
3275
Chris Lattnerbaf00152010-11-17 05:41:46 +00003276void SwitchInst::init(Value *Value, BasicBlock *Default, unsigned NumReserved) {
3277 assert(Value && Default && NumReserved);
3278 ReservedSpace = NumReserved;
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003279 NumOperands = 2;
Gabor Greiff6caff662008-05-10 08:32:32 +00003280 OperandList = allocHungoffUses(ReservedSpace);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003281
Pete Coopereb31b682015-05-21 22:48:54 +00003282 Op<0>() = Value;
3283 Op<1>() = Default;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003284}
3285
Chris Lattner2195fc42007-02-24 00:55:48 +00003286/// SwitchInst ctor - Create a new switch instruction, specifying a value to
3287/// switch on and a default destination. The number of additional cases can
3288/// be specified here to make memory allocation more efficient. This
3289/// constructor can also autoinsert before another instruction.
3290SwitchInst::SwitchInst(Value *Value, BasicBlock *Default, unsigned NumCases,
3291 Instruction *InsertBefore)
Owen Anderson55f1c092009-08-13 21:58:54 +00003292 : TerminatorInst(Type::getVoidTy(Value->getContext()), Instruction::Switch,
Craig Topperc6207612014-04-09 06:08:46 +00003293 nullptr, 0, InsertBefore) {
Chris Lattnerbaf00152010-11-17 05:41:46 +00003294 init(Value, Default, 2+NumCases*2);
Chris Lattner2195fc42007-02-24 00:55:48 +00003295}
3296
3297/// SwitchInst ctor - Create a new switch instruction, specifying a value to
3298/// switch on and a default destination. The number of additional cases can
3299/// be specified here to make memory allocation more efficient. This
3300/// constructor also autoinserts at the end of the specified BasicBlock.
3301SwitchInst::SwitchInst(Value *Value, BasicBlock *Default, unsigned NumCases,
3302 BasicBlock *InsertAtEnd)
Owen Anderson55f1c092009-08-13 21:58:54 +00003303 : TerminatorInst(Type::getVoidTy(Value->getContext()), Instruction::Switch,
Craig Topperc6207612014-04-09 06:08:46 +00003304 nullptr, 0, InsertAtEnd) {
Chris Lattnerbaf00152010-11-17 05:41:46 +00003305 init(Value, Default, 2+NumCases*2);
Chris Lattner2195fc42007-02-24 00:55:48 +00003306}
3307
Misha Brukmanb1c93172005-04-21 23:48:37 +00003308SwitchInst::SwitchInst(const SwitchInst &SI)
Craig Topperc6207612014-04-09 06:08:46 +00003309 : TerminatorInst(SI.getType(), Instruction::Switch, nullptr, 0) {
Chris Lattnerbaf00152010-11-17 05:41:46 +00003310 init(SI.getCondition(), SI.getDefaultDest(), SI.getNumOperands());
3311 NumOperands = SI.getNumOperands();
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003312 Use *OL = OperandList, *InOL = SI.OperandList;
Chris Lattnerbaf00152010-11-17 05:41:46 +00003313 for (unsigned i = 2, E = SI.getNumOperands(); i != E; i += 2) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00003314 OL[i] = InOL[i];
3315 OL[i+1] = InOL[i+1];
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003316 }
Dan Gohmanc8a27f22009-08-25 22:11:20 +00003317 SubclassOptionalData = SI.SubclassOptionalData;
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003318}
3319
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003320
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003321/// addCase - Add an entry to the switch instruction...
3322///
Chris Lattner47ac1872005-02-24 05:32:09 +00003323void SwitchInst::addCase(ConstantInt *OnVal, BasicBlock *Dest) {
Stepan Dyatkovskiy513aaa52012-02-01 07:49:51 +00003324 unsigned NewCaseIdx = getNumCases();
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003325 unsigned OpNo = NumOperands;
3326 if (OpNo+2 > ReservedSpace)
Jay Foade98f29d2011-04-01 08:00:58 +00003327 growOperands(); // Get more space!
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003328 // Initialize some new operands.
Chris Lattnerf711f8d2005-01-29 01:05:12 +00003329 assert(OpNo+1 < ReservedSpace && "Growing didn't work!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003330 NumOperands = OpNo+2;
Bob Wilsone4077362013-09-09 19:14:35 +00003331 CaseIt Case(this, NewCaseIdx);
3332 Case.setValue(OnVal);
Stepan Dyatkovskiy5b648af2012-03-08 07:06:20 +00003333 Case.setSuccessor(Dest);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003334}
3335
Stepan Dyatkovskiy513aaa52012-02-01 07:49:51 +00003336/// removeCase - This method removes the specified case and its successor
3337/// from the switch instruction.
Bob Wilsone4077362013-09-09 19:14:35 +00003338void SwitchInst::removeCase(CaseIt i) {
Stepan Dyatkovskiy5b648af2012-03-08 07:06:20 +00003339 unsigned idx = i.getCaseIndex();
3340
Stepan Dyatkovskiy513aaa52012-02-01 07:49:51 +00003341 assert(2 + idx*2 < getNumOperands() && "Case index out of range!!!");
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003342
3343 unsigned NumOps = getNumOperands();
3344 Use *OL = OperandList;
3345
Jay Foad14277722011-02-01 09:22:34 +00003346 // Overwrite this case with the end of the list.
Stepan Dyatkovskiy513aaa52012-02-01 07:49:51 +00003347 if (2 + (idx + 1) * 2 != NumOps) {
3348 OL[2 + idx * 2] = OL[NumOps - 2];
3349 OL[2 + idx * 2 + 1] = OL[NumOps - 1];
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003350 }
3351
3352 // Nuke the last value.
Craig Topperc6207612014-04-09 06:08:46 +00003353 OL[NumOps-2].set(nullptr);
3354 OL[NumOps-2+1].set(nullptr);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003355 NumOperands = NumOps-2;
3356}
3357
Jay Foade98f29d2011-04-01 08:00:58 +00003358/// growOperands - grow operands - This grows the operand list in response
3359/// to a push_back style of operation. This grows the number of ops by 3 times.
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003360///
Jay Foade98f29d2011-04-01 08:00:58 +00003361void SwitchInst::growOperands() {
Gabor Greiff6caff662008-05-10 08:32:32 +00003362 unsigned e = getNumOperands();
Jay Foade98f29d2011-04-01 08:00:58 +00003363 unsigned NumOps = e*3;
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003364
3365 ReservedSpace = NumOps;
Gabor Greiff6caff662008-05-10 08:32:32 +00003366 Use *NewOps = allocHungoffUses(NumOps);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003367 Use *OldOps = OperandList;
Gabor Greiff6caff662008-05-10 08:32:32 +00003368 for (unsigned i = 0; i != e; ++i) {
Gabor Greif2d3024d2008-05-26 21:33:52 +00003369 NewOps[i] = OldOps[i];
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003370 }
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003371 OperandList = NewOps;
Jay Foadbbb91f22011-01-16 15:30:52 +00003372 Use::zap(OldOps, OldOps + e, true);
Chris Lattnerafdb3de2005-01-29 00:35:16 +00003373}
3374
3375
3376BasicBlock *SwitchInst::getSuccessorV(unsigned idx) const {
3377 return getSuccessor(idx);
3378}
3379unsigned SwitchInst::getNumSuccessorsV() const {
3380 return getNumSuccessors();
3381}
3382void SwitchInst::setSuccessorV(unsigned idx, BasicBlock *B) {
3383 setSuccessor(idx, B);
Alkis Evlogimenos93a7c062004-07-29 12:33:25 +00003384}
Chris Lattnerf22be932004-10-15 23:52:53 +00003385
Chris Lattner3ed871f2009-10-27 19:13:16 +00003386//===----------------------------------------------------------------------===//
Jay Foadbbb91f22011-01-16 15:30:52 +00003387// IndirectBrInst Implementation
Chris Lattner3ed871f2009-10-27 19:13:16 +00003388//===----------------------------------------------------------------------===//
3389
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003390void IndirectBrInst::init(Value *Address, unsigned NumDests) {
Duncan Sands19d0b472010-02-16 11:11:14 +00003391 assert(Address && Address->getType()->isPointerTy() &&
Chris Lattner6747b4c2009-10-29 05:53:32 +00003392 "Address of indirectbr must be a pointer");
Chris Lattner3ed871f2009-10-27 19:13:16 +00003393 ReservedSpace = 1+NumDests;
3394 NumOperands = 1;
3395 OperandList = allocHungoffUses(ReservedSpace);
3396
Pete Coopereb31b682015-05-21 22:48:54 +00003397 Op<0>() = Address;
Chris Lattner3ed871f2009-10-27 19:13:16 +00003398}
3399
3400
Jay Foade98f29d2011-04-01 08:00:58 +00003401/// growOperands - grow operands - This grows the operand list in response
3402/// to a push_back style of operation. This grows the number of ops by 2 times.
Chris Lattner3ed871f2009-10-27 19:13:16 +00003403///
Jay Foade98f29d2011-04-01 08:00:58 +00003404void IndirectBrInst::growOperands() {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003405 unsigned e = getNumOperands();
Jay Foade98f29d2011-04-01 08:00:58 +00003406 unsigned NumOps = e*2;
Chris Lattner3ed871f2009-10-27 19:13:16 +00003407
3408 ReservedSpace = NumOps;
3409 Use *NewOps = allocHungoffUses(NumOps);
3410 Use *OldOps = OperandList;
3411 for (unsigned i = 0; i != e; ++i)
3412 NewOps[i] = OldOps[i];
3413 OperandList = NewOps;
Jay Foadbbb91f22011-01-16 15:30:52 +00003414 Use::zap(OldOps, OldOps + e, true);
Chris Lattner3ed871f2009-10-27 19:13:16 +00003415}
3416
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003417IndirectBrInst::IndirectBrInst(Value *Address, unsigned NumCases,
3418 Instruction *InsertBefore)
3419: TerminatorInst(Type::getVoidTy(Address->getContext()),Instruction::IndirectBr,
Craig Topperc6207612014-04-09 06:08:46 +00003420 nullptr, 0, InsertBefore) {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003421 init(Address, NumCases);
3422}
3423
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003424IndirectBrInst::IndirectBrInst(Value *Address, unsigned NumCases,
3425 BasicBlock *InsertAtEnd)
3426: TerminatorInst(Type::getVoidTy(Address->getContext()),Instruction::IndirectBr,
Craig Topperc6207612014-04-09 06:08:46 +00003427 nullptr, 0, InsertAtEnd) {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003428 init(Address, NumCases);
3429}
3430
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003431IndirectBrInst::IndirectBrInst(const IndirectBrInst &IBI)
3432 : TerminatorInst(Type::getVoidTy(IBI.getContext()), Instruction::IndirectBr,
Chris Lattner3ed871f2009-10-27 19:13:16 +00003433 allocHungoffUses(IBI.getNumOperands()),
3434 IBI.getNumOperands()) {
3435 Use *OL = OperandList, *InOL = IBI.OperandList;
3436 for (unsigned i = 0, E = IBI.getNumOperands(); i != E; ++i)
3437 OL[i] = InOL[i];
3438 SubclassOptionalData = IBI.SubclassOptionalData;
3439}
3440
Chris Lattner3ed871f2009-10-27 19:13:16 +00003441/// addDestination - Add a destination.
3442///
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003443void IndirectBrInst::addDestination(BasicBlock *DestBB) {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003444 unsigned OpNo = NumOperands;
3445 if (OpNo+1 > ReservedSpace)
Jay Foade98f29d2011-04-01 08:00:58 +00003446 growOperands(); // Get more space!
Chris Lattner3ed871f2009-10-27 19:13:16 +00003447 // Initialize some new operands.
3448 assert(OpNo < ReservedSpace && "Growing didn't work!");
3449 NumOperands = OpNo+1;
3450 OperandList[OpNo] = DestBB;
3451}
3452
3453/// removeDestination - This method removes the specified successor from the
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003454/// indirectbr instruction.
3455void IndirectBrInst::removeDestination(unsigned idx) {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003456 assert(idx < getNumOperands()-1 && "Successor index out of range!");
3457
3458 unsigned NumOps = getNumOperands();
3459 Use *OL = OperandList;
3460
3461 // Replace this value with the last one.
3462 OL[idx+1] = OL[NumOps-1];
3463
3464 // Nuke the last value.
Craig Topperc6207612014-04-09 06:08:46 +00003465 OL[NumOps-1].set(nullptr);
Chris Lattner3ed871f2009-10-27 19:13:16 +00003466 NumOperands = NumOps-1;
3467}
3468
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003469BasicBlock *IndirectBrInst::getSuccessorV(unsigned idx) const {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003470 return getSuccessor(idx);
3471}
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003472unsigned IndirectBrInst::getNumSuccessorsV() const {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003473 return getNumSuccessors();
3474}
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003475void IndirectBrInst::setSuccessorV(unsigned idx, BasicBlock *B) {
Chris Lattner3ed871f2009-10-27 19:13:16 +00003476 setSuccessor(idx, B);
3477}
3478
3479//===----------------------------------------------------------------------===//
Devang Patel11cf3f42009-10-27 22:16:29 +00003480// clone_impl() implementations
Chris Lattner3ed871f2009-10-27 19:13:16 +00003481//===----------------------------------------------------------------------===//
3482
Chris Lattnerf22be932004-10-15 23:52:53 +00003483// Define these methods here so vtables don't get emitted into every translation
3484// unit that uses these classes.
3485
Devang Patel11cf3f42009-10-27 22:16:29 +00003486GetElementPtrInst *GetElementPtrInst::clone_impl() const {
3487 return new (getNumOperands()) GetElementPtrInst(*this);
Chris Lattnerf22be932004-10-15 23:52:53 +00003488}
3489
Devang Patel11cf3f42009-10-27 22:16:29 +00003490BinaryOperator *BinaryOperator::clone_impl() const {
3491 return Create(getOpcode(), Op<0>(), Op<1>());
Chris Lattnerf22be932004-10-15 23:52:53 +00003492}
3493
Devang Patel11cf3f42009-10-27 22:16:29 +00003494FCmpInst* FCmpInst::clone_impl() const {
3495 return new FCmpInst(getPredicate(), Op<0>(), Op<1>());
Reid Spencerd9436b62006-11-20 01:22:35 +00003496}
3497
Devang Patel11cf3f42009-10-27 22:16:29 +00003498ICmpInst* ICmpInst::clone_impl() const {
3499 return new ICmpInst(getPredicate(), Op<0>(), Op<1>());
Dan Gohman0752bff2008-05-23 00:36:11 +00003500}
3501
Devang Patel11cf3f42009-10-27 22:16:29 +00003502ExtractValueInst *ExtractValueInst::clone_impl() const {
3503 return new ExtractValueInst(*this);
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003504}
3505
Devang Patel11cf3f42009-10-27 22:16:29 +00003506InsertValueInst *InsertValueInst::clone_impl() const {
3507 return new InsertValueInst(*this);
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003508}
3509
Devang Patel11cf3f42009-10-27 22:16:29 +00003510AllocaInst *AllocaInst::clone_impl() const {
David Majnemer6b3244c2014-04-30 16:12:21 +00003511 AllocaInst *Result = new AllocaInst(getAllocatedType(),
3512 (Value *)getOperand(0), getAlignment());
3513 Result->setUsedWithInAlloca(isUsedWithInAlloca());
3514 return Result;
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003515}
3516
Devang Patel11cf3f42009-10-27 22:16:29 +00003517LoadInst *LoadInst::clone_impl() const {
Eli Friedman59b66882011-08-09 23:02:53 +00003518 return new LoadInst(getOperand(0), Twine(), isVolatile(),
3519 getAlignment(), getOrdering(), getSynchScope());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003520}
3521
Devang Patel11cf3f42009-10-27 22:16:29 +00003522StoreInst *StoreInst::clone_impl() const {
Eli Friedmancad9f2a2011-08-10 17:39:11 +00003523 return new StoreInst(getOperand(0), getOperand(1), isVolatile(),
Eli Friedman59b66882011-08-09 23:02:53 +00003524 getAlignment(), getOrdering(), getSynchScope());
3525
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003526}
3527
Eli Friedmanc9a551e2011-07-28 21:48:00 +00003528AtomicCmpXchgInst *AtomicCmpXchgInst::clone_impl() const {
3529 AtomicCmpXchgInst *Result =
3530 new AtomicCmpXchgInst(getOperand(0), getOperand(1), getOperand(2),
Tim Northovere94a5182014-03-11 10:48:52 +00003531 getSuccessOrdering(), getFailureOrdering(),
3532 getSynchScope());
Eli Friedmanc9a551e2011-07-28 21:48:00 +00003533 Result->setVolatile(isVolatile());
Tim Northover420a2162014-06-13 14:24:07 +00003534 Result->setWeak(isWeak());
Eli Friedmanc9a551e2011-07-28 21:48:00 +00003535 return Result;
3536}
3537
3538AtomicRMWInst *AtomicRMWInst::clone_impl() const {
3539 AtomicRMWInst *Result =
3540 new AtomicRMWInst(getOperation(),getOperand(0), getOperand(1),
3541 getOrdering(), getSynchScope());
3542 Result->setVolatile(isVolatile());
3543 return Result;
3544}
3545
Eli Friedmanfee02c62011-07-25 23:16:38 +00003546FenceInst *FenceInst::clone_impl() const {
3547 return new FenceInst(getContext(), getOrdering(), getSynchScope());
3548}
3549
Devang Patel11cf3f42009-10-27 22:16:29 +00003550TruncInst *TruncInst::clone_impl() const {
3551 return new TruncInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003552}
3553
Devang Patel11cf3f42009-10-27 22:16:29 +00003554ZExtInst *ZExtInst::clone_impl() const {
3555 return new ZExtInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003556}
3557
Devang Patel11cf3f42009-10-27 22:16:29 +00003558SExtInst *SExtInst::clone_impl() const {
3559 return new SExtInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003560}
3561
Devang Patel11cf3f42009-10-27 22:16:29 +00003562FPTruncInst *FPTruncInst::clone_impl() const {
3563 return new FPTruncInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003564}
3565
Devang Patel11cf3f42009-10-27 22:16:29 +00003566FPExtInst *FPExtInst::clone_impl() const {
3567 return new FPExtInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003568}
3569
Devang Patel11cf3f42009-10-27 22:16:29 +00003570UIToFPInst *UIToFPInst::clone_impl() const {
3571 return new UIToFPInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003572}
3573
Devang Patel11cf3f42009-10-27 22:16:29 +00003574SIToFPInst *SIToFPInst::clone_impl() const {
3575 return new SIToFPInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003576}
3577
Devang Patel11cf3f42009-10-27 22:16:29 +00003578FPToUIInst *FPToUIInst::clone_impl() const {
3579 return new FPToUIInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003580}
3581
Devang Patel11cf3f42009-10-27 22:16:29 +00003582FPToSIInst *FPToSIInst::clone_impl() const {
3583 return new FPToSIInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003584}
3585
Devang Patel11cf3f42009-10-27 22:16:29 +00003586PtrToIntInst *PtrToIntInst::clone_impl() const {
3587 return new PtrToIntInst(getOperand(0), getType());
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003588}
3589
Devang Patel11cf3f42009-10-27 22:16:29 +00003590IntToPtrInst *IntToPtrInst::clone_impl() const {
3591 return new IntToPtrInst(getOperand(0), getType());
Gabor Greif697e94c2008-05-15 10:04:30 +00003592}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003593
Devang Patel11cf3f42009-10-27 22:16:29 +00003594BitCastInst *BitCastInst::clone_impl() const {
3595 return new BitCastInst(getOperand(0), getType());
Gabor Greif697e94c2008-05-15 10:04:30 +00003596}
Reid Spencer6c38f0b2006-11-27 01:05:10 +00003597
Matt Arsenaultb03bd4d2013-11-15 01:34:59 +00003598AddrSpaceCastInst *AddrSpaceCastInst::clone_impl() const {
3599 return new AddrSpaceCastInst(getOperand(0), getType());
3600}
3601
Devang Patel11cf3f42009-10-27 22:16:29 +00003602CallInst *CallInst::clone_impl() const {
3603 return new(getNumOperands()) CallInst(*this);
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003604}
3605
Devang Patel11cf3f42009-10-27 22:16:29 +00003606SelectInst *SelectInst::clone_impl() const {
3607 return SelectInst::Create(getOperand(0), getOperand(1), getOperand(2));
Chris Lattnerbbe0a422006-04-08 01:18:18 +00003608}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003609
Devang Patel11cf3f42009-10-27 22:16:29 +00003610VAArgInst *VAArgInst::clone_impl() const {
3611 return new VAArgInst(getOperand(0), getType());
Chris Lattnerbbe0a422006-04-08 01:18:18 +00003612}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003613
Devang Patel11cf3f42009-10-27 22:16:29 +00003614ExtractElementInst *ExtractElementInst::clone_impl() const {
3615 return ExtractElementInst::Create(getOperand(0), getOperand(1));
Chris Lattnerbbe0a422006-04-08 01:18:18 +00003616}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003617
Devang Patel11cf3f42009-10-27 22:16:29 +00003618InsertElementInst *InsertElementInst::clone_impl() const {
Chris Lattner1dcb6542012-01-25 23:49:49 +00003619 return InsertElementInst::Create(getOperand(0), getOperand(1), getOperand(2));
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003620}
3621
Devang Patel11cf3f42009-10-27 22:16:29 +00003622ShuffleVectorInst *ShuffleVectorInst::clone_impl() const {
Chris Lattner1dcb6542012-01-25 23:49:49 +00003623 return new ShuffleVectorInst(getOperand(0), getOperand(1), getOperand(2));
Gabor Greif697e94c2008-05-15 10:04:30 +00003624}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003625
Devang Patel11cf3f42009-10-27 22:16:29 +00003626PHINode *PHINode::clone_impl() const {
3627 return new PHINode(*this);
3628}
3629
Bill Wendlingfae14752011-08-12 20:24:12 +00003630LandingPadInst *LandingPadInst::clone_impl() const {
3631 return new LandingPadInst(*this);
3632}
3633
Devang Patel11cf3f42009-10-27 22:16:29 +00003634ReturnInst *ReturnInst::clone_impl() const {
3635 return new(getNumOperands()) ReturnInst(*this);
3636}
3637
3638BranchInst *BranchInst::clone_impl() const {
Jay Foadd81f3c92011-01-07 20:29:02 +00003639 return new(getNumOperands()) BranchInst(*this);
Gabor Greif697e94c2008-05-15 10:04:30 +00003640}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003641
Devang Patel11cf3f42009-10-27 22:16:29 +00003642SwitchInst *SwitchInst::clone_impl() const {
3643 return new SwitchInst(*this);
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003644}
3645
Chris Lattnerd04cb6d2009-10-28 00:19:10 +00003646IndirectBrInst *IndirectBrInst::clone_impl() const {
3647 return new IndirectBrInst(*this);
Chris Lattner3ed871f2009-10-27 19:13:16 +00003648}
3649
3650
Devang Patel11cf3f42009-10-27 22:16:29 +00003651InvokeInst *InvokeInst::clone_impl() const {
3652 return new(getNumOperands()) InvokeInst(*this);
Gabor Greif697e94c2008-05-15 10:04:30 +00003653}
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003654
Bill Wendlingf891bf82011-07-31 06:30:59 +00003655ResumeInst *ResumeInst::clone_impl() const {
3656 return new(1) ResumeInst(*this);
3657}
3658
Devang Patel11cf3f42009-10-27 22:16:29 +00003659UnreachableInst *UnreachableInst::clone_impl() const {
Nick Lewycky42fb7452009-09-27 07:38:41 +00003660 LLVMContext &Context = getContext();
Devang Patel11cf3f42009-10-27 22:16:29 +00003661 return new UnreachableInst(Context);
Owen Anderson1e5f00e2009-07-09 23:48:35 +00003662}