| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 1 | //===----- CGCall.h - Encapsulate calling convention details ----*- C++ -*-===// | 
 | 2 | // | 
 | 3 | //                     The LLVM Compiler Infrastructure | 
 | 4 | // | 
 | 5 | // This file is distributed under the University of Illinois Open Source | 
 | 6 | // License. See LICENSE.TXT for details. | 
 | 7 | // | 
 | 8 | //===----------------------------------------------------------------------===// | 
 | 9 | // | 
 | 10 | // These classes wrap the information about a call or function | 
 | 11 | // definition used to handle ABI compliancy. | 
 | 12 | // | 
 | 13 | //===----------------------------------------------------------------------===// | 
 | 14 |  | 
 | 15 | #ifndef CLANG_CODEGEN_CGCALL_H | 
 | 16 | #define CLANG_CODEGEN_CGCALL_H | 
 | 17 |  | 
| Anders Carlsson | 31777a2 | 2009-12-24 19:08:58 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/FoldingSet.h" | 
 | 19 | #include "llvm/Value.h" | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 20 | #include "clang/AST/Type.h" | 
 | 21 |  | 
| Daniel Dunbar | 46f45b9 | 2008-09-09 01:06:48 +0000 | [diff] [blame] | 22 | #include "CGValue.h" | 
 | 23 |  | 
| Daniel Dunbar | 88c2fa9 | 2009-02-03 05:31:23 +0000 | [diff] [blame] | 24 | // FIXME: Restructure so we don't have to expose so much stuff. | 
 | 25 | #include "ABIInfo.h" | 
 | 26 |  | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 27 | namespace llvm { | 
| Devang Patel | 761d7f7 | 2008-09-25 21:02:23 +0000 | [diff] [blame] | 28 |   struct AttributeWithIndex; | 
| Daniel Dunbar | 88c2fa9 | 2009-02-03 05:31:23 +0000 | [diff] [blame] | 29 |   class Function; | 
 | 30 |   class Type; | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 31 |   class Value; | 
 | 32 |  | 
 | 33 |   template<typename T, unsigned> class SmallVector; | 
 | 34 | } | 
 | 35 |  | 
 | 36 | namespace clang { | 
 | 37 |   class ASTContext; | 
 | 38 |   class Decl; | 
 | 39 |   class FunctionDecl; | 
 | 40 |   class ObjCMethodDecl; | 
| Daniel Dunbar | 7c08651 | 2008-09-09 23:14:03 +0000 | [diff] [blame] | 41 |   class VarDecl; | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 42 |  | 
 | 43 | namespace CodeGen { | 
| Devang Patel | 761d7f7 | 2008-09-25 21:02:23 +0000 | [diff] [blame] | 44 |   typedef llvm::SmallVector<llvm::AttributeWithIndex, 8> AttributeListType; | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 45 |  | 
 | 46 |   /// CallArgList - Type for representing both the value and type of | 
 | 47 |   /// arguments in a call. | 
| Daniel Dunbar | 46f45b9 | 2008-09-09 01:06:48 +0000 | [diff] [blame] | 48 |   typedef llvm::SmallVector<std::pair<RValue, QualType>, 16> CallArgList; | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 49 |  | 
| Daniel Dunbar | 7c08651 | 2008-09-09 23:14:03 +0000 | [diff] [blame] | 50 |   /// FunctionArgList - Type for representing both the decl and type | 
 | 51 |   /// of parameters to a function. The decl must be either a | 
 | 52 |   /// ParmVarDecl or ImplicitParamDecl. | 
| Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 53 |   typedef llvm::SmallVector<std::pair<const VarDecl*, QualType>, | 
| Daniel Dunbar | 7c08651 | 2008-09-09 23:14:03 +0000 | [diff] [blame] | 54 |                             16> FunctionArgList; | 
| Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 55 |  | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 56 |   /// CGFunctionInfo - Class to encapsulate the information about a | 
 | 57 |   /// function definition. | 
| Daniel Dunbar | 40a6be6 | 2009-02-03 00:07:12 +0000 | [diff] [blame] | 58 |   class CGFunctionInfo : public llvm::FoldingSetNode { | 
| Daniel Dunbar | 88c2fa9 | 2009-02-03 05:31:23 +0000 | [diff] [blame] | 59 |     struct ArgInfo { | 
 | 60 |       QualType type; | 
 | 61 |       ABIArgInfo info; | 
 | 62 |     }; | 
 | 63 |  | 
| Daniel Dunbar | ca6408c | 2009-09-12 00:59:20 +0000 | [diff] [blame] | 64 |     /// The LLVM::CallingConv to use for this function (as specified by the | 
 | 65 |     /// user). | 
| Daniel Dunbar | bac7c25 | 2009-09-11 22:24:53 +0000 | [diff] [blame] | 66 |     unsigned CallingConvention; | 
 | 67 |  | 
| Daniel Dunbar | ca6408c | 2009-09-12 00:59:20 +0000 | [diff] [blame] | 68 |     /// The LLVM::CallingConv to actually use for this function, which may | 
 | 69 |     /// depend on the ABI. | 
 | 70 |     unsigned EffectiveCallingConvention; | 
 | 71 |  | 
| Daniel Dunbar | 88c2fa9 | 2009-02-03 05:31:23 +0000 | [diff] [blame] | 72 |     unsigned NumArgs; | 
 | 73 |     ArgInfo *Args; | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 74 |  | 
 | 75 |   public: | 
| Daniel Dunbar | 88c2fa9 | 2009-02-03 05:31:23 +0000 | [diff] [blame] | 76 |     typedef const ArgInfo *const_arg_iterator; | 
 | 77 |     typedef ArgInfo *arg_iterator; | 
| Daniel Dunbar | a0a99e0 | 2009-02-02 23:43:58 +0000 | [diff] [blame] | 78 |  | 
| Daniel Dunbar | bac7c25 | 2009-09-11 22:24:53 +0000 | [diff] [blame] | 79 |     CGFunctionInfo(unsigned CallingConvention, | 
 | 80 |                    QualType ResTy, | 
| Daniel Dunbar | 541b63b | 2009-02-02 23:23:47 +0000 | [diff] [blame] | 81 |                    const llvm::SmallVector<QualType, 16> &ArgTys); | 
| Daniel Dunbar | 88c2fa9 | 2009-02-03 05:31:23 +0000 | [diff] [blame] | 82 |     ~CGFunctionInfo() { delete[] Args; } | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 83 |  | 
| Daniel Dunbar | 88c2fa9 | 2009-02-03 05:31:23 +0000 | [diff] [blame] | 84 |     const_arg_iterator arg_begin() const { return Args + 1; } | 
 | 85 |     const_arg_iterator arg_end() const { return Args + 1 + NumArgs; } | 
 | 86 |     arg_iterator arg_begin() { return Args + 1; } | 
 | 87 |     arg_iterator arg_end() { return Args + 1 + NumArgs; } | 
| Daniel Dunbar | bb36d33 | 2009-02-02 21:43:58 +0000 | [diff] [blame] | 88 |  | 
| Daniel Dunbar | 4b5f0a4 | 2009-02-04 21:17:21 +0000 | [diff] [blame] | 89 |     unsigned  arg_size() const { return NumArgs; } | 
 | 90 |  | 
| Daniel Dunbar | ca6408c | 2009-09-12 00:59:20 +0000 | [diff] [blame] | 91 |     /// getCallingConvention - Return the user specified calling | 
 | 92 |     /// convention. | 
| Daniel Dunbar | bac7c25 | 2009-09-11 22:24:53 +0000 | [diff] [blame] | 93 |     unsigned getCallingConvention() const { return CallingConvention; } | 
 | 94 |  | 
| Daniel Dunbar | ca6408c | 2009-09-12 00:59:20 +0000 | [diff] [blame] | 95 |     /// getEffectiveCallingConvention - Return the actual calling convention to | 
 | 96 |     /// use, which may depend on the ABI. | 
 | 97 |     unsigned getEffectiveCallingConvention() const { | 
 | 98 |       return EffectiveCallingConvention; | 
 | 99 |     } | 
 | 100 |     void setEffectiveCallingConvention(unsigned Value) { | 
 | 101 |       EffectiveCallingConvention = Value; | 
 | 102 |     } | 
 | 103 |  | 
| Daniel Dunbar | 88c2fa9 | 2009-02-03 05:31:23 +0000 | [diff] [blame] | 104 |     QualType getReturnType() const { return Args[0].type; } | 
 | 105 |  | 
 | 106 |     ABIArgInfo &getReturnInfo() { return Args[0].info; } | 
 | 107 |     const ABIArgInfo &getReturnInfo() const { return Args[0].info; } | 
| Daniel Dunbar | 40a6be6 | 2009-02-03 00:07:12 +0000 | [diff] [blame] | 108 |  | 
 | 109 |     void Profile(llvm::FoldingSetNodeID &ID) { | 
| Daniel Dunbar | bac7c25 | 2009-09-11 22:24:53 +0000 | [diff] [blame] | 110 |       ID.AddInteger(getCallingConvention()); | 
| Daniel Dunbar | 35e67d4 | 2009-02-05 00:00:23 +0000 | [diff] [blame] | 111 |       getReturnType().Profile(ID); | 
| Daniel Dunbar | 88c2fa9 | 2009-02-03 05:31:23 +0000 | [diff] [blame] | 112 |       for (arg_iterator it = arg_begin(), ie = arg_end(); it != ie; ++it) | 
 | 113 |         it->type.Profile(ID); | 
| Daniel Dunbar | 40a6be6 | 2009-02-03 00:07:12 +0000 | [diff] [blame] | 114 |     } | 
 | 115 |     template<class Iterator> | 
| Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 116 |     static void Profile(llvm::FoldingSetNodeID &ID, | 
| Daniel Dunbar | bac7c25 | 2009-09-11 22:24:53 +0000 | [diff] [blame] | 117 |                         unsigned CallingConvention, | 
| Daniel Dunbar | 40a6be6 | 2009-02-03 00:07:12 +0000 | [diff] [blame] | 118 |                         QualType ResTy, | 
 | 119 |                         Iterator begin, | 
 | 120 |                         Iterator end) { | 
| Daniel Dunbar | bac7c25 | 2009-09-11 22:24:53 +0000 | [diff] [blame] | 121 |       ID.AddInteger(CallingConvention); | 
| Daniel Dunbar | 40a6be6 | 2009-02-03 00:07:12 +0000 | [diff] [blame] | 122 |       ResTy.Profile(ID); | 
 | 123 |       for (; begin != end; ++begin) | 
 | 124 |         begin->Profile(ID); | 
 | 125 |     } | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 126 |   }; | 
| Anders Carlsson | 31777a2 | 2009-12-24 19:08:58 +0000 | [diff] [blame] | 127 |    | 
| Anders Carlsson | d2490a9 | 2009-12-24 20:40:36 +0000 | [diff] [blame] | 128 |   /// ReturnValueSlot - Contains the address where the return value of a  | 
 | 129 |   /// function can be stored, and whether the address is volatile or not. | 
| Anders Carlsson | 31777a2 | 2009-12-24 19:08:58 +0000 | [diff] [blame] | 130 |   class ReturnValueSlot { | 
 | 131 |     llvm::PointerIntPair<llvm::Value *, 1, bool> Value; | 
 | 132 |  | 
 | 133 |   public: | 
 | 134 |     ReturnValueSlot() {} | 
 | 135 |     ReturnValueSlot(llvm::Value *Value, bool IsVolatile) | 
 | 136 |       : Value(Value, IsVolatile) {} | 
 | 137 |  | 
 | 138 |     bool isNull() const { return !getValue(); } | 
 | 139 |      | 
 | 140 |     bool isVolatile() const { return Value.getInt(); } | 
 | 141 |     llvm::Value *getValue() const { return Value.getPointer(); } | 
 | 142 |   }; | 
 | 143 |    | 
| Daniel Dunbar | 0dbe227 | 2008-09-08 21:33:45 +0000 | [diff] [blame] | 144 | }  // end namespace CodeGen | 
 | 145 | }  // end namespace clang | 
 | 146 |  | 
 | 147 | #endif |