X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fllvm%2FArgument.h;h=e457595f8ba2d03f15f1bb47ed37999a6de6705c;hb=39cd0c8e477255a7296b2bd1dc67193f8d38c003;hp=cd05ca4d5bd6d025495abaa02e8ff7f92fb636b6;hpb=6c7fd1f4142223c188bc1bd5a99046e1ba6c61cf;p=oota-llvm.git diff --git a/include/llvm/Argument.h b/include/llvm/Argument.h index cd05ca4d5bd..e457595f8ba 100644 --- a/include/llvm/Argument.h +++ b/include/llvm/Argument.h @@ -1,40 +1,91 @@ -//===-- llvm/Argument.h - Definition of the Argument class -------*- C++ -*--=// +//===-- llvm/Argument.h - Definition of the Argument class ------*- C++ -*-===// // -// This file defines the Argument class, which represents and incoming formal -// argument to a function. +// The LLVM Compiler Infrastructure +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +// +// This file declares the Argument class. // //===----------------------------------------------------------------------===// #ifndef LLVM_ARGUMENT_H #define LLVM_ARGUMENT_H +#include "llvm/ADT/Twine.h" +#include "llvm/ADT/ilist_node.h" +#include "llvm/Attributes.h" #include "llvm/Value.h" -class Argument : public Value { // Defined in the InstrType.cpp file +namespace llvm { + +template + class SymbolTableListTraits; + +/// A class to represent an incoming formal argument to a Function. An argument +/// is a very simple Value. It is essentially a named (optional) type. When used +/// in the body of a function, it represents the value of the actual argument +/// the function was called with. +/// @brief LLVM Argument representation +class Argument : public Value, public ilist_node { + virtual void anchor(); Function *Parent; - friend class ValueHolder; - inline void setParent(Function *parent) { Parent = parent; } + friend class SymbolTableListTraits; + void setParent(Function *parent); public: - Argument(const Type *Ty, const std::string &Name = "") - : Value(Ty, Value::ArgumentVal, Name) { - Parent = 0; - } - - // Specialize setName to handle symbol table majik... - virtual void setName(const std::string &name, SymbolTable *ST = 0); + /// Argument ctor - If Function argument is specified, this argument is + /// inserted at the end of the argument list for the function. + /// + explicit Argument(Type *Ty, const Twine &Name = "", Function *F = 0); inline const Function *getParent() const { return Parent; } inline Function *getParent() { return Parent; } - virtual void print(std::ostream &OS) const; + /// getArgNo - Return the index of this formal argument in its containing + /// function. For example in "void foo(int a, float b)" a is 0 and b is 1. + unsigned getArgNo() const; + + /// hasByValAttr - Return true if this argument has the byval attribute on it + /// in its containing function. + bool hasByValAttr() const; + + /// getParamAlignment - If this is a byval argument, return its alignment. + unsigned getParamAlignment() const; + + /// hasNestAttr - Return true if this argument has the nest attribute on + /// it in its containing function. + bool hasNestAttr() const; - // Methods for support type inquiry through isa, cast, and dyn_cast: - static inline bool classof(const Argument *) { return true; } + /// hasNoAliasAttr - Return true if this argument has the noalias attribute on + /// it in its containing function. + bool hasNoAliasAttr() const; + + /// hasNoCaptureAttr - Return true if this argument has the nocapture + /// attribute on it in its containing function. + bool hasNoCaptureAttr() const; + + /// hasStructRetAttr - Return true if this argument has the sret attribute on + /// it in its containing function. + bool hasStructRetAttr() const; + + /// addAttr - Add a Attribute to an argument + void addAttr(Attribute); + + /// removeAttr - Remove a Attribute from an argument + void removeAttr(Attribute); + + /// classof - Methods for support type inquiry through isa, cast, and + /// dyn_cast: + /// static inline bool classof(const Value *V) { - return V->getValueType() == ArgumentVal; + return V->getValueID() == ArgumentVal; } }; +} // End llvm namespace + #endif