Changeset View
Changeset View
Standalone View
Standalone View
cfe/trunk/lib/CodeGen/CGCall.h
| Show First 20 Lines • Show All 207 Lines • ▼ Show 20 Line(s) | 107 | public: | |||
|---|---|---|---|---|---|
| 208 | } | 208 | } | ||
| 209 | 209 | | |||
| 210 | /// If this is a delayed callee computation of some sort, prepare | 210 | /// If this is a delayed callee computation of some sort, prepare | ||
| 211 | /// a concrete callee. | 211 | /// a concrete callee. | ||
| 212 | CGCallee prepareConcreteCallee(CodeGenFunction &CGF) const; | 212 | CGCallee prepareConcreteCallee(CodeGenFunction &CGF) const; | ||
| 213 | }; | 213 | }; | ||
| 214 | 214 | | |||
| 215 | struct CallArg { | 215 | struct CallArg { | ||
| 216 | private: | ||||
| 217 | union { | ||||
| 216 | RValue RV; | 218 | RValue RV; | ||
| 219 | LValue LV; /// The argument is semantically a load from this l-value. | ||||
| 220 | }; | ||||
| 221 | bool HasLV; | ||||
| 222 | | ||||
| 223 | /// A data-flow flag to make sure getRValue and/or copyInto are not | ||||
| 224 | /// called twice for duplicated IR emission. | ||||
| 225 | mutable bool IsUsed; | ||||
| 226 | | ||||
| 227 | public: | ||||
| 217 | QualType Ty; | 228 | QualType Ty; | ||
| 218 | bool NeedsCopy; | 229 | CallArg(RValue rv, QualType ty) | ||
| 219 | CallArg(RValue rv, QualType ty, bool needscopy) | 230 | : RV(rv), HasLV(false), IsUsed(false), Ty(ty) {} | ||
| 220 | : RV(rv), Ty(ty), NeedsCopy(needscopy) | 231 | CallArg(LValue lv, QualType ty) | ||
| 221 | { } | 232 | : LV(lv), HasLV(true), IsUsed(false), Ty(ty) {} | ||
| 233 | bool hasLValue() const { return HasLV; } | ||||
| 234 | QualType getType() const { return Ty; } | ||||
| 235 | | ||||
| 236 | /// \returns an independent RValue. If the CallArg contains an LValue, | ||||
| 237 | /// a temporary copy is returned. | ||||
| 238 | RValue getRValue(CodeGenFunction &CGF) const; | ||||
| 239 | | ||||
| 240 | LValue getKnownLValue() const { | ||||
| 241 | assert(HasLV && !IsUsed); | ||||
| 242 | return LV; | ||||
| 243 | } | ||||
| 244 | RValue getKnownRValue() const { | ||||
| 245 | assert(!HasLV && !IsUsed); | ||||
| 246 | return RV; | ||||
| 247 | } | ||||
| 248 | void setRValue(RValue _RV) { | ||||
| 249 | assert(!HasLV); | ||||
| 250 | RV = _RV; | ||||
| 251 | } | ||||
| 252 | | ||||
| 253 | bool isAggregate() const { return HasLV || RV.isAggregate(); } | ||||
| 254 | | ||||
| 255 | void copyInto(CodeGenFunction &CGF, Address A) const; | ||||
| 222 | }; | 256 | }; | ||
| 223 | 257 | | |||
| 224 | /// CallArgList - Type for representing both the value and type of | 258 | /// CallArgList - Type for representing both the value and type of | ||
| 225 | /// arguments in a call. | 259 | /// arguments in a call. | ||
| 226 | class CallArgList : | 260 | class CallArgList : | ||
| 227 | public SmallVector<CallArg, 16> { | 261 | public SmallVector<CallArg, 16> { | ||
| 228 | public: | 262 | public: | ||
| 229 | CallArgList() : StackBase(nullptr) {} | 263 | CallArgList() : StackBase(nullptr) {} | ||
| Show All 13 Lines | |||||
| 243 | struct CallArgCleanup { | 277 | struct CallArgCleanup { | ||
| 244 | EHScopeStack::stable_iterator Cleanup; | 278 | EHScopeStack::stable_iterator Cleanup; | ||
| 245 | 279 | | |||
| 246 | /// The "is active" insertion point. This instruction is temporary and | 280 | /// The "is active" insertion point. This instruction is temporary and | ||
| 247 | /// will be removed after insertion. | 281 | /// will be removed after insertion. | ||
| 248 | llvm::Instruction *IsActiveIP; | 282 | llvm::Instruction *IsActiveIP; | ||
| 249 | }; | 283 | }; | ||
| 250 | 284 | | |||
| 251 | void add(RValue rvalue, QualType type, bool needscopy = false) { | 285 | void add(RValue rvalue, QualType type) { push_back(CallArg(rvalue, type)); } | ||
| 252 | push_back(CallArg(rvalue, type, needscopy)); | 286 | | ||
| 287 | void addUncopiedAggregate(LValue LV, QualType type) { | ||||
| 288 | push_back(CallArg(LV, type)); | ||||
| 253 | } | 289 | } | ||
| 254 | 290 | | |||
| 255 | /// Add all the arguments from another CallArgList to this one. After doing | 291 | /// Add all the arguments from another CallArgList to this one. After doing | ||
| 256 | /// this, the old CallArgList retains its list of arguments, but must not | 292 | /// this, the old CallArgList retains its list of arguments, but must not | ||
| 257 | /// be used to emit a call. | 293 | /// be used to emit a call. | ||
| 258 | void addFrom(const CallArgList &other) { | 294 | void addFrom(const CallArgList &other) { | ||
| 259 | insert(end(), other.begin(), other.end()); | 295 | insert(end(), other.begin(), other.end()); | ||
| 260 | Writebacks.insert(Writebacks.end(), | 296 | Writebacks.insert(Writebacks.end(), | ||
| ▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines | |||||