2003-02-24 20:35:45 +00:00
|
|
|
//===-- llvm/Support/CallSite.h - Abstract Call & Invoke instrs -*- C++ -*-===//
|
2005-04-21 20:48:15 +00:00
|
|
|
//
|
2003-10-20 20:19:47 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 19:59:42 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-21 20:48:15 +00:00
|
|
|
//
|
2003-10-20 20:19:47 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2003-02-24 20:35:45 +00:00
|
|
|
//
|
|
|
|
// This file defines the CallSite class, which is a handy wrapper for code that
|
|
|
|
// wants to treat Call and Invoke instructions in a generic way.
|
|
|
|
//
|
2003-11-07 19:25:22 +00:00
|
|
|
// NOTE: This class is supposed to have "value semantics". So it should be
|
|
|
|
// passed by value, not by reference; it should not be "new"ed or "delete"d. It
|
|
|
|
// is efficiently copyable, assignable and constructable, with cost equivalent
|
2004-11-13 23:28:10 +00:00
|
|
|
// to copying a pointer (notice that it has only a single data member).
|
2009-01-11 22:33:22 +00:00
|
|
|
// The internal representation carries a flag which indicates which of the two
|
|
|
|
// variants is enclosed. This allows for cheaper checks when various accessors
|
|
|
|
// of CallSite are employed.
|
2003-11-07 19:25:22 +00:00
|
|
|
//
|
2003-02-24 20:35:45 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_SUPPORT_CALLSITE_H
|
|
|
|
#define LLVM_SUPPORT_CALLSITE_H
|
|
|
|
|
2008-09-23 23:03:40 +00:00
|
|
|
#include "llvm/Attributes.h"
|
2009-01-11 22:33:22 +00:00
|
|
|
#include "llvm/ADT/PointerIntPair.h"
|
|
|
|
#include "llvm/BasicBlock.h"
|
2009-09-02 08:44:58 +00:00
|
|
|
#include "llvm/CallingConv.h"
|
2009-01-11 22:33:22 +00:00
|
|
|
#include "llvm/Instruction.h"
|
2003-02-24 20:35:45 +00:00
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
namespace llvm {
|
|
|
|
|
2003-02-24 20:35:45 +00:00
|
|
|
class CallInst;
|
|
|
|
class InvokeInst;
|
|
|
|
|
|
|
|
class CallSite {
|
2009-01-11 22:33:22 +00:00
|
|
|
PointerIntPair<Instruction*, 1, bool> I;
|
2003-02-24 20:35:45 +00:00
|
|
|
public:
|
2009-01-11 22:33:22 +00:00
|
|
|
CallSite() : I(0, false) {}
|
|
|
|
CallSite(CallInst *CI) : I(reinterpret_cast<Instruction*>(CI), true) {}
|
|
|
|
CallSite(InvokeInst *II) : I(reinterpret_cast<Instruction*>(II), false) {}
|
2008-02-18 17:32:13 +00:00
|
|
|
CallSite(Instruction *C);
|
2003-02-24 20:35:45 +00:00
|
|
|
|
2009-01-17 19:03:45 +00:00
|
|
|
bool operator==(const CallSite &CS) const { return I == CS.I; }
|
|
|
|
bool operator!=(const CallSite &CS) const { return I != CS.I; }
|
|
|
|
|
2003-06-17 22:16:59 +00:00
|
|
|
/// CallSite::get - This static method is sort of like a constructor. It will
|
|
|
|
/// create an appropriate call site for a Call or Invoke instruction, but it
|
|
|
|
/// can also create a null initialized CallSite object for something which is
|
|
|
|
/// NOT a call site.
|
|
|
|
///
|
|
|
|
static CallSite get(Value *V) {
|
|
|
|
if (Instruction *I = dyn_cast<Instruction>(V)) {
|
|
|
|
if (I->getOpcode() == Instruction::Call)
|
2005-05-15 16:13:11 +00:00
|
|
|
return CallSite(reinterpret_cast<CallInst*>(I));
|
2003-06-17 22:16:59 +00:00
|
|
|
else if (I->getOpcode() == Instruction::Invoke)
|
2005-05-15 16:13:11 +00:00
|
|
|
return CallSite(reinterpret_cast<InvokeInst*>(I));
|
2003-06-17 22:16:59 +00:00
|
|
|
}
|
|
|
|
return CallSite();
|
|
|
|
}
|
|
|
|
|
2005-05-06 20:26:26 +00:00
|
|
|
/// getCallingConv/setCallingConv - get or set the calling convention of the
|
|
|
|
/// call.
|
2009-09-02 08:44:58 +00:00
|
|
|
CallingConv::ID getCallingConv() const;
|
|
|
|
void setCallingConv(CallingConv::ID CC);
|
2005-05-06 20:26:26 +00:00
|
|
|
|
2008-09-25 21:00:45 +00:00
|
|
|
/// getAttributes/setAttributes - get or set the parameter attributes of
|
2007-11-27 13:23:08 +00:00
|
|
|
/// the call.
|
2008-09-25 21:00:45 +00:00
|
|
|
const AttrListPtr &getAttributes() const;
|
|
|
|
void setAttributes(const AttrListPtr &PAL);
|
2007-11-27 13:23:08 +00:00
|
|
|
|
2007-11-28 17:07:01 +00:00
|
|
|
/// paramHasAttr - whether the call or the callee has the given attribute.
|
2008-09-23 23:03:40 +00:00
|
|
|
bool paramHasAttr(uint16_t i, Attributes attr) const;
|
2007-11-28 17:07:01 +00:00
|
|
|
|
2008-02-22 17:49:45 +00:00
|
|
|
/// @brief Extract the alignment for a call or parameter (0=unknown).
|
|
|
|
uint16_t getParamAlignment(uint16_t i) const;
|
|
|
|
|
2010-03-25 04:49:10 +00:00
|
|
|
/// @brief Return true if the call should not be inlined.
|
|
|
|
bool isNoInline() const;
|
|
|
|
void setIsNoInline(bool Value = true);
|
|
|
|
|
2007-12-03 20:06:50 +00:00
|
|
|
/// @brief Determine if the call does not access memory.
|
|
|
|
bool doesNotAccessMemory() const;
|
2008-07-08 08:38:44 +00:00
|
|
|
void setDoesNotAccessMemory(bool doesNotAccessMemory = true);
|
2007-12-03 20:06:50 +00:00
|
|
|
|
|
|
|
/// @brief Determine if the call does not access or only reads memory.
|
|
|
|
bool onlyReadsMemory() const;
|
2008-07-08 08:38:44 +00:00
|
|
|
void setOnlyReadsMemory(bool onlyReadsMemory = true);
|
|
|
|
|
|
|
|
/// @brief Determine if the call cannot return.
|
|
|
|
bool doesNotReturn() const;
|
|
|
|
void setDoesNotReturn(bool doesNotReturn = true);
|
2007-12-03 20:06:50 +00:00
|
|
|
|
2007-12-16 15:51:49 +00:00
|
|
|
/// @brief Determine if the call cannot unwind.
|
2007-12-18 09:59:50 +00:00
|
|
|
bool doesNotThrow() const;
|
2007-12-19 21:13:37 +00:00
|
|
|
void setDoesNotThrow(bool doesNotThrow = true);
|
2007-12-16 15:51:49 +00:00
|
|
|
|
2003-11-05 20:25:33 +00:00
|
|
|
/// getType - Return the type of the instruction that generated this call site
|
|
|
|
///
|
2009-01-11 22:33:22 +00:00
|
|
|
const Type *getType() const { return getInstruction()->getType(); }
|
|
|
|
|
|
|
|
/// isCall - true if a CallInst is enclosed.
|
|
|
|
/// Note that !isCall() does not mean it is an InvokeInst enclosed,
|
|
|
|
/// it also could signify a NULL Instruction pointer.
|
|
|
|
bool isCall() const { return I.getInt(); }
|
|
|
|
|
|
|
|
/// isInvoke - true if a InvokeInst is enclosed.
|
|
|
|
///
|
|
|
|
bool isInvoke() const { return getInstruction() && !I.getInt(); }
|
2003-11-05 20:25:33 +00:00
|
|
|
|
2003-06-17 21:44:31 +00:00
|
|
|
/// getInstruction - Return the instruction this call site corresponds to
|
2003-06-17 21:44:51 +00:00
|
|
|
///
|
2009-01-11 22:33:22 +00:00
|
|
|
Instruction *getInstruction() const { return I.getPointer(); }
|
2003-06-17 21:44:31 +00:00
|
|
|
|
2004-05-23 08:02:45 +00:00
|
|
|
/// getCaller - Return the caller function for this call site
|
|
|
|
///
|
2009-01-11 22:33:22 +00:00
|
|
|
Function *getCaller() const { return getInstruction()
|
|
|
|
->getParent()->getParent(); }
|
2004-05-23 08:02:45 +00:00
|
|
|
|
2003-02-24 20:35:45 +00:00
|
|
|
/// getCalledValue - Return the pointer to function that is being called...
|
|
|
|
///
|
2003-10-23 19:33:49 +00:00
|
|
|
Value *getCalledValue() const {
|
2009-01-11 22:33:22 +00:00
|
|
|
assert(getInstruction() && "Not a call or invoke instruction!");
|
2010-03-24 13:21:49 +00:00
|
|
|
return *getCallee();
|
2003-10-23 19:33:49 +00:00
|
|
|
}
|
2003-02-24 20:35:45 +00:00
|
|
|
|
|
|
|
/// getCalledFunction - Return the function being called if this is a direct
|
|
|
|
/// call, otherwise return null (if it's an indirect call).
|
|
|
|
///
|
2004-11-18 17:46:57 +00:00
|
|
|
Function *getCalledFunction() const {
|
|
|
|
return dyn_cast<Function>(getCalledValue());
|
|
|
|
}
|
2003-02-24 20:35:45 +00:00
|
|
|
|
2003-10-10 17:42:19 +00:00
|
|
|
/// setCalledFunction - Set the callee to the specified value...
|
2003-06-17 22:16:59 +00:00
|
|
|
///
|
|
|
|
void setCalledFunction(Value *V) {
|
2009-01-11 22:33:22 +00:00
|
|
|
assert(getInstruction() && "Not a call or invoke instruction!");
|
2010-03-24 13:21:49 +00:00
|
|
|
*getCallee() = V;
|
2003-06-17 22:16:59 +00:00
|
|
|
}
|
|
|
|
|
2004-11-13 23:28:10 +00:00
|
|
|
Value *getArgument(unsigned ArgNo) const {
|
|
|
|
assert(arg_begin() + ArgNo < arg_end() && "Argument # out of range!");
|
|
|
|
return *(arg_begin()+ArgNo);
|
|
|
|
}
|
|
|
|
|
2008-02-18 00:10:55 +00:00
|
|
|
void setArgument(unsigned ArgNo, Value* newVal) {
|
2009-01-11 22:33:22 +00:00
|
|
|
assert(getInstruction() && "Not a call or invoke instruction!");
|
2008-02-18 00:10:55 +00:00
|
|
|
assert(arg_begin() + ArgNo < arg_end() && "Argument # out of range!");
|
2009-01-11 22:33:22 +00:00
|
|
|
getInstruction()->setOperand(getArgumentOffset() + ArgNo, newVal);
|
2008-02-18 00:10:55 +00:00
|
|
|
}
|
2008-07-08 08:50:32 +00:00
|
|
|
|
2010-03-24 13:21:49 +00:00
|
|
|
/// Given a value use iterator, returns the argument that corresponds to it.
|
|
|
|
/// Iterator must actually correspond to an argument.
|
|
|
|
unsigned getArgumentNo(Value::use_iterator I) const {
|
|
|
|
assert(getInstruction() && "Not a call or invoke instruction!");
|
|
|
|
assert(arg_begin() <= &I.getUse() && &I.getUse() < arg_end()
|
|
|
|
&& "Argument # out of range!");
|
|
|
|
|
|
|
|
return &I.getUse() - arg_begin();
|
|
|
|
}
|
|
|
|
|
2008-07-08 08:51:47 +00:00
|
|
|
/// Given an operand number, returns the argument that corresponds to it.
|
|
|
|
/// OperandNo must be a valid operand number that actually corresponds to an
|
|
|
|
/// argument.
|
|
|
|
unsigned getArgumentNo(unsigned OperandNo) const {
|
|
|
|
assert(OperandNo >= getArgumentOffset() && "Operand number passed was not "
|
|
|
|
"a valid argument");
|
|
|
|
return OperandNo - getArgumentOffset();
|
|
|
|
}
|
|
|
|
|
2008-06-04 16:31:12 +00:00
|
|
|
/// hasArgument - Returns true if this CallSite passes the given Value* as an
|
|
|
|
/// argument to the called function.
|
2008-06-05 08:04:58 +00:00
|
|
|
bool hasArgument(const Value *Arg) const;
|
2008-02-18 00:10:55 +00:00
|
|
|
|
2003-02-24 20:35:45 +00:00
|
|
|
/// arg_iterator - The type of iterator to use when looping over actual
|
|
|
|
/// arguments at this call site...
|
|
|
|
typedef User::op_iterator arg_iterator;
|
|
|
|
|
|
|
|
/// arg_begin/arg_end - Return iterators corresponding to the actual argument
|
|
|
|
/// list for a call site.
|
|
|
|
arg_iterator arg_begin() const {
|
2009-01-11 22:33:22 +00:00
|
|
|
assert(getInstruction() && "Not a call or invoke instruction!");
|
2009-01-11 22:39:04 +00:00
|
|
|
// Skip non-arguments
|
2009-01-11 22:33:22 +00:00
|
|
|
return getInstruction()->op_begin() + getArgumentOffset();
|
2003-02-24 20:35:45 +00:00
|
|
|
}
|
2008-07-08 08:50:32 +00:00
|
|
|
|
2010-03-24 13:21:49 +00:00
|
|
|
arg_iterator arg_end() const { return getInstruction()->op_end() - getArgumentEndOffset(); }
|
2007-10-01 16:01:23 +00:00
|
|
|
bool arg_empty() const { return arg_end() == arg_begin(); }
|
2004-06-05 00:17:13 +00:00
|
|
|
unsigned arg_size() const { return unsigned(arg_end() - arg_begin()); }
|
2003-11-02 23:04:33 +00:00
|
|
|
|
2008-05-30 22:47:19 +00:00
|
|
|
bool operator<(const CallSite &CS) const {
|
|
|
|
return getInstruction() < CS.getInstruction();
|
2003-11-02 23:04:33 +00:00
|
|
|
}
|
2008-07-08 08:50:32 +00:00
|
|
|
|
2009-01-22 21:35:57 +00:00
|
|
|
bool isCallee(Value::use_iterator UI) const {
|
2010-03-24 13:21:49 +00:00
|
|
|
return getCallee() == &UI.getUse();
|
|
|
|
}
|
2010-03-25 23:06:16 +00:00
|
|
|
bool isCallee(Value::const_use_iterator UI) const {
|
2010-03-24 13:21:49 +00:00
|
|
|
return getCallee() == &UI.getUse();
|
2009-01-22 21:35:57 +00:00
|
|
|
}
|
2008-07-08 08:50:32 +00:00
|
|
|
private:
|
|
|
|
/// Returns the operand number of the first argument
|
|
|
|
unsigned getArgumentOffset() const {
|
2009-01-11 22:33:22 +00:00
|
|
|
if (isCall())
|
2008-07-08 08:50:32 +00:00
|
|
|
return 1; // Skip Function
|
|
|
|
else
|
2010-03-24 13:21:49 +00:00
|
|
|
return 0; // Args are at the front
|
2008-07-08 08:50:32 +00:00
|
|
|
}
|
2010-03-24 13:21:49 +00:00
|
|
|
|
|
|
|
unsigned getArgumentEndOffset() const {
|
|
|
|
if (isCall())
|
|
|
|
return 0; // Unchanged
|
|
|
|
else
|
|
|
|
return 3; // Skip BB, BB, Function
|
|
|
|
}
|
|
|
|
|
|
|
|
User::op_iterator getCallee() const;
|
2003-02-24 20:35:45 +00:00
|
|
|
};
|
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
2003-02-24 20:35:45 +00:00
|
|
|
#endif
|