Coverage Report

Created: 2021-08-24 07:12

/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/lib/CodeGen/CGValue.h
Line
Count
Source (jump to first uncovered line)
1
//===-- CGValue.h - LLVM CodeGen wrappers for llvm::Value* ------*- C++ -*-===//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
//
9
// These classes implement wrappers around llvm::Value in order to
10
// fully represent the range of values for C L- and R- values.
11
//
12
//===----------------------------------------------------------------------===//
13
14
#ifndef LLVM_CLANG_LIB_CODEGEN_CGVALUE_H
15
#define LLVM_CLANG_LIB_CODEGEN_CGVALUE_H
16
17
#include "clang/AST/ASTContext.h"
18
#include "clang/AST/Type.h"
19
#include "llvm/IR/Value.h"
20
#include "llvm/IR/Type.h"
21
#include "Address.h"
22
#include "CodeGenTBAA.h"
23
24
namespace llvm {
25
  class Constant;
26
  class MDNode;
27
}
28
29
namespace clang {
30
namespace CodeGen {
31
  class AggValueSlot;
32
  class CodeGenFunction;
33
  struct CGBitFieldInfo;
34
35
/// RValue - This trivial value class is used to represent the result of an
36
/// expression that is evaluated.  It can be one of three things: either a
37
/// simple LLVM SSA value, a pair of SSA values for complex numbers, or the
38
/// address of an aggregate value in memory.
39
class RValue {
40
  enum Flavor { Scalar, Complex, Aggregate };
41
42
  // The shift to make to an aggregate's alignment to make it look
43
  // like a pointer.
44
  enum { AggAlignShift = 4 };
45
46
  // Stores first value and flavor.
47
  llvm::PointerIntPair<llvm::Value *, 2, Flavor> V1;
48
  // Stores second value and volatility.
49
  llvm::PointerIntPair<llvm::Value *, 1, bool> V2;
50
51
public:
52
4.19M
  bool isScalar() const { return V1.getInt() == Scalar; }
53
490
  bool isComplex() const { return V1.getInt() == Complex; }
54
655k
  bool isAggregate() const { return V1.getInt() == Aggregate; }
55
56
0
  bool isVolatileQualified() const { return V2.getInt(); }
57
58
  /// getScalarVal() - Return the Value* of this scalar value.
59
3.15M
  llvm::Value *getScalarVal() const {
60
3.15M
    assert(isScalar() && "Not a scalar!");
61
0
    return V1.getPointer();
62
3.15M
  }
63
64
  /// getComplexVal - Return the real/imag components of this complex value.
65
  ///
66
1.16k
  std::pair<llvm::Value *, llvm::Value *> getComplexVal() const {
67
1.16k
    return std::make_pair(V1.getPointer(), V2.getPointer());
68
1.16k
  }
69
70
  /// getAggregateAddr() - Return the Value* of the address of the aggregate.
71
5.62k
  Address getAggregateAddress() const {
72
5.62k
    assert(isAggregate() && "Not an aggregate!");
73
0
    auto align = reinterpret_cast<uintptr_t>(V2.getPointer()) >> AggAlignShift;
74
5.62k
    return Address(V1.getPointer(), CharUnits::fromQuantity(align));
75
5.62k
  }
76
200
  llvm::Value *getAggregatePointer() const {
77
200
    assert(isAggregate() && "Not an aggregate!");
78
0
    return V1.getPointer();
79
200
  }
80
81
1.53k
  static RValue getIgnored() {
82
    // FIXME: should we make this a more explicit state?
83
1.53k
    return get(nullptr);
84
1.53k
  }
85
86
3.32M
  static RValue get(llvm::Value *V) {
87
3.32M
    RValue ER;
88
3.32M
    ER.V1.setPointer(V);
89
3.32M
    ER.V1.setInt(Scalar);
90
3.32M
    ER.V2.setInt(false);
91
3.32M
    return ER;
92
3.32M
  }
93
1.62k
  static RValue getComplex(llvm::Value *V1, llvm::Value *V2) {
94
1.62k
    RValue ER;
95
1.62k
    ER.V1.setPointer(V1);
96
1.62k
    ER.V2.setPointer(V2);
97
1.62k
    ER.V1.setInt(Complex);
98
1.62k
    ER.V2.setInt(false);
99
1.62k
    return ER;
100
1.62k
  }
101
1.61k
  static RValue getComplex(const std::pair<llvm::Value *, llvm::Value *> &C) {
102
1.61k
    return getComplex(C.first, C.second);
103
1.61k
  }
104
  // FIXME: Aggregate rvalues need to retain information about whether they are
105
  // volatile or not.  Remove default to find all places that probably get this
106
  // wrong.
107
19.8k
  static RValue getAggregate(Address addr, bool isVolatile = false) {
108
19.8k
    RValue ER;
109
19.8k
    ER.V1.setPointer(addr.getPointer());
110
19.8k
    ER.V1.setInt(Aggregate);
111
112
19.8k
    auto align = static_cast<uintptr_t>(addr.getAlignment().getQuantity());
113
19.8k
    ER.V2.setPointer(reinterpret_cast<llvm::Value*>(align << AggAlignShift));
114
19.8k
    ER.V2.setInt(isVolatile);
115
19.8k
    return ER;
116
19.8k
  }
117
};
118
119
/// Does an ARC strong l-value have precise lifetime?
120
enum ARCPreciseLifetime_t {
121
  ARCImpreciseLifetime, ARCPreciseLifetime
122
};
123
124
/// The source of the alignment of an l-value; an expression of
125
/// confidence in the alignment actually matching the estimate.
126
enum class AlignmentSource {
127
  /// The l-value was an access to a declared entity or something
128
  /// equivalently strong, like the address of an array allocated by a
129
  /// language runtime.
130
  Decl,
131
132
  /// The l-value was considered opaque, so the alignment was
133
  /// determined from a type, but that type was an explicitly-aligned
134
  /// typedef.
135
  AttributedType,
136
137
  /// The l-value was considered opaque, so the alignment was
138
  /// determined from a type.
139
  Type
140
};
141
142
/// Given that the base address has the given alignment source, what's
143
/// our confidence in the alignment of the field?
144
222k
static inline AlignmentSource getFieldAlignmentSource(AlignmentSource Source) {
145
  // For now, we don't distinguish fields of opaque pointers from
146
  // top-level declarations, but maybe we should.
147
222k
  return AlignmentSource::Decl;
148
222k
}
Unexecuted instantiation: CGAtomic.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGBlocks.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGBuiltin.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGCUDANV.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGCUDARuntime.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGCXX.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGCXXABI.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGCall.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGClass.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGCleanup.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGCoroutine.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGDebugInfo.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGDecl.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGDeclCXX.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGException.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
CGExpr.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Line
Count
Source
144
222k
static inline AlignmentSource getFieldAlignmentSource(AlignmentSource Source) {
145
  // For now, we don't distinguish fields of opaque pointers from
146
  // top-level declarations, but maybe we should.
147
222k
  return AlignmentSource::Decl;
148
222k
}
Unexecuted instantiation: CGExprAgg.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGExprCXX.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGExprComplex.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGExprConstant.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGExprScalar.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGGPUBuiltin.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGNonTrivialStruct.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGObjC.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGObjCGNU.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGObjCMac.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGObjCRuntime.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGOpenCLRuntime.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGOpenMPRuntime.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGOpenMPRuntimeAMDGCN.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGOpenMPRuntimeGPU.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGOpenMPRuntimeNVPTX.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGRecordLayoutBuilder.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGStmt.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGStmtOpenMP.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGVTT.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CGVTables.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CodeGenFunction.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CodeGenModule.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CodeGenPGO.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CodeGenTypes.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: ConstantInitBuilder.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CoverageMappingGen.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: ItaniumCXXABI.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: MicrosoftCXXABI.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: ObjectFilePCHContainerOperations.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: PatternInit.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: SanitizerMetadata.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: SwiftCallingConv.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: TargetInfo.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CodeGenAction.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: ModuleBuilder.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
Unexecuted instantiation: CodeGenABITypes.cpp:clang::CodeGen::getFieldAlignmentSource(clang::CodeGen::AlignmentSource)
149
150
class LValueBaseInfo {
151
  AlignmentSource AlignSource;
152
153
public:
154
  explicit LValueBaseInfo(AlignmentSource Source = AlignmentSource::Type)
155
12.7M
    : AlignSource(Source) {}
156
234k
  AlignmentSource getAlignmentSource() const { return AlignSource; }
157
1.96k
  void setAlignmentSource(AlignmentSource Source) { AlignSource = Source; }
158
159
1.96k
  void mergeForCast(const LValueBaseInfo &Info) {
160
1.96k
    setAlignmentSource(Info.getAlignmentSource());
161
1.96k
  }
162
};
163
164
/// LValue - This represents an lvalue references.  Because C/C++ allow
165
/// bitfields, this is not a simple LLVM pointer, it may be a pointer plus a
166
/// bitrange.
167
class LValue {
168
  enum {
169
    Simple,       // This is a normal l-value, use getAddress().
170
    VectorElt,    // This is a vector element l-value (V[i]), use getVector*
171
    BitField,     // This is a bitfield l-value, use getBitfield*.
172
    ExtVectorElt, // This is an extended vector subset, use getExtVectorComp
173
    GlobalReg,    // This is a register l-value, use getGlobalReg()
174
    MatrixElt     // This is a matrix element, use getVector*
175
  } LVType;
176
177
  llvm::Value *V;
178
179
  union {
180
    // Index into a vector subscript: V[i]
181
    llvm::Value *VectorIdx;
182
183
    // ExtVector element subset: V.xyx
184
    llvm::Constant *VectorElts;
185
186
    // BitField start bit and size
187
    const CGBitFieldInfo *BitFieldInfo;
188
  };
189
190
  QualType Type;
191
192
  // 'const' is unused here
193
  Qualifiers Quals;
194
195
  // The alignment to use when accessing this lvalue.  (For vector elements,
196
  // this is the alignment of the whole vector.)
197
  unsigned Alignment;
198
199
  // objective-c's ivar
200
  bool Ivar:1;
201
202
  // objective-c's ivar is an array
203
  bool ObjIsArray:1;
204
205
  // LValue is non-gc'able for any reason, including being a parameter or local
206
  // variable.
207
  bool NonGC: 1;
208
209
  // Lvalue is a global reference of an objective-c object
210
  bool GlobalObjCRef : 1;
211
212
  // Lvalue is a thread local reference
213
  bool ThreadLocalRef : 1;
214
215
  // Lvalue has ARC imprecise lifetime.  We store this inverted to try
216
  // to make the default bitfield pattern all-zeroes.
217
  bool ImpreciseLifetime : 1;
218
219
  // This flag shows if a nontemporal load/stores should be used when accessing
220
  // this lvalue.
221
  bool Nontemporal : 1;
222
223
  LValueBaseInfo BaseInfo;
224
  TBAAAccessInfo TBAAInfo;
225
226
  Expr *BaseIvarExp;
227
228
private:
229
  void Initialize(QualType Type, Qualifiers Quals, CharUnits Alignment,
230
6.48M
                  LValueBaseInfo BaseInfo, TBAAAccessInfo TBAAInfo) {
231
6.48M
    assert((!Alignment.isZero() || Type->isIncompleteType()) &&
232
6.48M
           "initializing l-value with zero alignment!");
233
0
    this->Type = Type;
234
6.48M
    this->Quals = Quals;
235
6.48M
    const unsigned MaxAlign = 1U << 31;
236
6.48M
    this->Alignment = Alignment.getQuantity() <= MaxAlign
237
6.48M
                          ? Alignment.getQuantity()
238
6.48M
                          : 
MaxAlign0
;
239
6.48M
    assert(this->Alignment == Alignment.getQuantity() &&
240
6.48M
           "Alignment exceeds allowed max!");
241
0
    this->BaseInfo = BaseInfo;
242
6.48M
    this->TBAAInfo = TBAAInfo;
243
244
    // Initialize Objective-C flags.
245
6.48M
    this->Ivar = this->ObjIsArray = this->NonGC = this->GlobalObjCRef = false;
246
6.48M
    this->ImpreciseLifetime = false;
247
6.48M
    this->Nontemporal = false;
248
6.48M
    this->ThreadLocalRef = false;
249
6.48M
    this->BaseIvarExp = nullptr;
250
6.48M
  }
251
252
public:
253
6.35M
  bool isSimple() const { return LVType == Simple; }
254
8.74k
  bool isVectorElt() const { return LVType == VectorElt; }
255
372k
  bool isBitField() const { return LVType == BitField; }
256
7.26k
  bool isExtVectorElt() const { return LVType == ExtVectorElt; }
257
8.79k
  bool isGlobalReg() const { return LVType == GlobalReg; }
258
6.22k
  bool isMatrixElt() const { return LVType == MatrixElt; }
259
260
32.1k
  bool isVolatileQualified() const { return Quals.hasVolatile(); }
261
0
  bool isRestrictQualified() const { return Quals.hasRestrict(); }
262
224k
  unsigned getVRQualifiers() const {
263
224k
    return Quals.getCVRQualifiers() & ~Qualifiers::Const;
264
224k
  }
265
266
7.39M
  QualType getType() const { return Type; }
267
268
202k
  Qualifiers::ObjCLifetime getObjCLifetime() const {
269
202k
    return Quals.getObjCLifetime();
270
202k
  }
271
272
381
  bool isObjCIvar() const { return Ivar; }
273
298
  void setObjCIvar(bool Value) { Ivar = Value; }
274
275
122
  bool isObjCArray() const { return ObjIsArray; }
276
1.32k
  void setObjCArray(bool Value) { ObjIsArray = Value; }
277
278
280
  bool isNonGC () const { return NonGC; }
279
1.64M
  void setNonGC(bool Value) { NonGC = Value; }
280
281
263
  bool isGlobalObjCRef() const { return GlobalObjCRef; }
282
288
  void setGlobalObjCRef(bool Value) { GlobalObjCRef = Value; }
283
284
81
  bool isThreadLocalRef() const { return ThreadLocalRef; }
285
284
  void setThreadLocalRef(bool Value) { ThreadLocalRef = Value;}
286
287
83
  ARCPreciseLifetime_t isARCPreciseLifetime() const {
288
83
    return ARCPreciseLifetime_t(!ImpreciseLifetime);
289
83
  }
290
1.49M
  void setARCPreciseLifetime(ARCPreciseLifetime_t value) {
291
1.49M
    ImpreciseLifetime = (value == ARCImpreciseLifetime);
292
1.49M
  }
293
2.80M
  bool isNontemporal() const { return Nontemporal; }
294
350
  void setNontemporal(bool Value) { Nontemporal = Value; }
295
296
1.91M
  bool isObjCWeak() const {
297
1.91M
    return Quals.getObjCGCAttr() == Qualifiers::Weak;
298
1.91M
  }
299
473k
  bool isObjCStrong() const {
300
473k
    return Quals.getObjCGCAttr() == Qualifiers::Strong;
301
473k
  }
302
303
2.88M
  bool isVolatile() const {
304
2.88M
    return Quals.hasVolatile();
305
2.88M
  }
306
307
108
  Expr *getBaseIvarExp() const { return BaseIvarExp; }
308
246
  void setBaseIvarExp(Expr *V) { BaseIvarExp = V; }
309
310
3.35M
  TBAAAccessInfo getTBAAInfo() const { return TBAAInfo; }
311
43
  void setTBAAInfo(TBAAAccessInfo Info) { TBAAInfo = Info; }
312
313
29.7k
  const Qualifiers &getQuals() const { return Quals; }
314
3.84M
  Qualifiers &getQuals() { return Quals; }
315
316
317
  LangAS getAddressSpace() const { return Quals.getAddressSpace(); }
317
318
3.79M
  CharUnits getAlignment() const { return CharUnits::fromQuantity(Alignment); }
319
0
  void setAlignment(CharUnits A) { Alignment = A.getQuantity(); }
320
321
3.06M
  LValueBaseInfo getBaseInfo() const { return BaseInfo; }
322
0
  void setBaseInfo(LValueBaseInfo Info) { BaseInfo = Info; }
323
324
  // simple lvalue
325
4.06M
  llvm::Value *getPointer(CodeGenFunction &CGF) const {
326
4.06M
    assert(isSimple());
327
0
    return V;
328
4.06M
  }
329
3.52M
  Address getAddress(CodeGenFunction &CGF) const {
330
3.52M
    return Address(getPointer(CGF), getAlignment());
331
3.52M
  }
332
1.73k
  void setAddress(Address address) {
333
1.73k
    assert(isSimple());
334
0
    V = address.getPointer();
335
1.73k
    Alignment = address.getAlignment().getQuantity();
336
1.73k
  }
337
338
  // vector elt lvalue
339
1.01k
  Address getVectorAddress() const {
340
1.01k
    return Address(getVectorPointer(), getAlignment());
341
1.01k
  }
342
1.04k
  llvm::Value *getVectorPointer() const {
343
1.04k
    assert(isVectorElt());
344
0
    return V;
345
1.04k
  }
346
553
  llvm::Value *getVectorIdx() const {
347
553
    assert(isVectorElt());
348
0
    return VectorIdx;
349
553
  }
350
351
36
  Address getMatrixAddress() const {
352
36
    return Address(getMatrixPointer(), getAlignment());
353
36
  }
354
36
  llvm::Value *getMatrixPointer() const {
355
36
    assert(isMatrixElt());
356
0
    return V;
357
36
  }
358
19
  llvm::Value *getMatrixIdx() const {
359
19
    assert(isMatrixElt());
360
0
    return VectorIdx;
361
19
  }
362
363
  // extended vector elements.
364
343
  Address getExtVectorAddress() const {
365
343
    return Address(getExtVectorPointer(), getAlignment());
366
343
  }
367
375
  llvm::Value *getExtVectorPointer() const {
368
375
    assert(isExtVectorElt());
369
0
    return V;
370
375
  }
371
316
  llvm::Constant *getExtVectorElts() const {
372
316
    assert(isExtVectorElt());
373
0
    return VectorElts;
374
316
  }
375
376
  // bitfield lvalue
377
6.90k
  Address getBitFieldAddress() const {
378
6.90k
    return Address(getBitFieldPointer(), getAlignment());
379
6.90k
  }
380
7.41k
  llvm::Value *getBitFieldPointer() const { assert(isBitField()); return V; }
381
7.20k
  const CGBitFieldInfo &getBitFieldInfo() const {
382
7.20k
    assert(isBitField());
383
0
    return *BitFieldInfo;
384
7.20k
  }
385
386
  // global register lvalue
387
56
  llvm::Value *getGlobalReg() const { assert(isGlobalReg()); return V; }
388
389
  static LValue MakeAddr(Address address, QualType type, ASTContext &Context,
390
6.47M
                         LValueBaseInfo BaseInfo, TBAAAccessInfo TBAAInfo) {
391
6.47M
    Qualifiers qs = type.getQualifiers();
392
6.47M
    qs.setObjCGCAttr(Context.getObjCGCAttrKind(type));
393
394
6.47M
    LValue R;
395
6.47M
    R.LVType = Simple;
396
6.47M
    assert(address.getPointer()->getType()->isPointerTy());
397
0
    R.V = address.getPointer();
398
6.47M
    R.Initialize(type, qs, address.getAlignment(), BaseInfo, TBAAInfo);
399
6.47M
    return R;
400
6.47M
  }
401
402
  static LValue MakeVectorElt(Address vecAddress, llvm::Value *Idx,
403
                              QualType type, LValueBaseInfo BaseInfo,
404
497
                              TBAAAccessInfo TBAAInfo) {
405
497
    LValue R;
406
497
    R.LVType = VectorElt;
407
497
    R.V = vecAddress.getPointer();
408
497
    R.VectorIdx = Idx;
409
497
    R.Initialize(type, type.getQualifiers(), vecAddress.getAlignment(),
410
497
                 BaseInfo, TBAAInfo);
411
497
    return R;
412
497
  }
413
414
  static LValue MakeExtVectorElt(Address vecAddress, llvm::Constant *Elts,
415
                                 QualType type, LValueBaseInfo BaseInfo,
416
310
                                 TBAAAccessInfo TBAAInfo) {
417
310
    LValue R;
418
310
    R.LVType = ExtVectorElt;
419
310
    R.V = vecAddress.getPointer();
420
310
    R.VectorElts = Elts;
421
310
    R.Initialize(type, type.getQualifiers(), vecAddress.getAlignment(),
422
310
                 BaseInfo, TBAAInfo);
423
310
    return R;
424
310
  }
425
426
  /// Create a new object to represent a bit-field access.
427
  ///
428
  /// \param Addr - The base address of the bit-field sequence this
429
  /// bit-field refers to.
430
  /// \param Info - The information describing how to perform the bit-field
431
  /// access.
432
  static LValue MakeBitfield(Address Addr, const CGBitFieldInfo &Info,
433
                             QualType type, LValueBaseInfo BaseInfo,
434
6.83k
                             TBAAAccessInfo TBAAInfo) {
435
6.83k
    LValue R;
436
6.83k
    R.LVType = BitField;
437
6.83k
    R.V = Addr.getPointer();
438
6.83k
    R.BitFieldInfo = &Info;
439
6.83k
    R.Initialize(type, type.getQualifiers(), Addr.getAlignment(), BaseInfo,
440
6.83k
                 TBAAInfo);
441
6.83k
    return R;
442
6.83k
  }
443
444
50
  static LValue MakeGlobalReg(Address Reg, QualType type) {
445
50
    LValue R;
446
50
    R.LVType = GlobalReg;
447
50
    R.V = Reg.getPointer();
448
50
    R.Initialize(type, type.getQualifiers(), Reg.getAlignment(),
449
50
                 LValueBaseInfo(AlignmentSource::Decl), TBAAAccessInfo());
450
50
    return R;
451
50
  }
452
453
  static LValue MakeMatrixElt(Address matAddress, llvm::Value *Idx,
454
                              QualType type, LValueBaseInfo BaseInfo,
455
17
                              TBAAAccessInfo TBAAInfo) {
456
17
    LValue R;
457
17
    R.LVType = MatrixElt;
458
17
    R.V = matAddress.getPointer();
459
17
    R.VectorIdx = Idx;
460
17
    R.Initialize(type, type.getQualifiers(), matAddress.getAlignment(),
461
17
                 BaseInfo, TBAAInfo);
462
17
    return R;
463
17
  }
464
465
9.20k
  RValue asAggregateRValue(CodeGenFunction &CGF) const {
466
9.20k
    return RValue::getAggregate(getAddress(CGF), isVolatileQualified());
467
9.20k
  }
468
};
469
470
/// An aggregate value slot.
471
class AggValueSlot {
472
  /// The address.
473
  llvm::Value *Addr;
474
475
  // Qualifiers
476
  Qualifiers Quals;
477
478
  unsigned Alignment;
479
480
  /// DestructedFlag - This is set to true if some external code is
481
  /// responsible for setting up a destructor for the slot.  Otherwise
482
  /// the code which constructs it should push the appropriate cleanup.
483
  bool DestructedFlag : 1;
484
485
  /// ObjCGCFlag - This is set to true if writing to the memory in the
486
  /// slot might require calling an appropriate Objective-C GC
487
  /// barrier.  The exact interaction here is unnecessarily mysterious.
488
  bool ObjCGCFlag : 1;
489
490
  /// ZeroedFlag - This is set to true if the memory in the slot is
491
  /// known to be zero before the assignment into it.  This means that
492
  /// zero fields don't need to be set.
493
  bool ZeroedFlag : 1;
494
495
  /// AliasedFlag - This is set to true if the slot might be aliased
496
  /// and it's not undefined behavior to access it through such an
497
  /// alias.  Note that it's always undefined behavior to access a C++
498
  /// object that's under construction through an alias derived from
499
  /// outside the construction process.
500
  ///
501
  /// This flag controls whether calls that produce the aggregate
502
  /// value may be evaluated directly into the slot, or whether they
503
  /// must be evaluated into an unaliased temporary and then memcpy'ed
504
  /// over.  Since it's invalid in general to memcpy a non-POD C++
505
  /// object, it's important that this flag never be set when
506
  /// evaluating an expression which constructs such an object.
507
  bool AliasedFlag : 1;
508
509
  /// This is set to true if the tail padding of this slot might overlap
510
  /// another object that may have already been initialized (and whose
511
  /// value must be preserved by this initialization). If so, we may only
512
  /// store up to the dsize of the type. Otherwise we can widen stores to
513
  /// the size of the type.
514
  bool OverlapFlag : 1;
515
516
  /// If is set to true, sanitizer checks are already generated for this address
517
  /// or not required. For instance, if this address represents an object
518
  /// created in 'new' expression, sanitizer checks for memory is made as a part
519
  /// of 'operator new' emission and object constructor should not generate
520
  /// them.
521
  bool SanitizerCheckedFlag : 1;
522
523
public:
524
  enum IsAliased_t { IsNotAliased, IsAliased };
525
  enum IsDestructed_t { IsNotDestructed, IsDestructed };
526
  enum IsZeroed_t { IsNotZeroed, IsZeroed };
527
  enum Overlap_t { DoesNotOverlap, MayOverlap };
528
  enum NeedsGCBarriers_t { DoesNotNeedGCBarriers, NeedsGCBarriers };
529
  enum IsSanitizerChecked_t { IsNotSanitizerChecked, IsSanitizerChecked };
530
531
  /// ignored - Returns an aggregate value slot indicating that the
532
  /// aggregate value is being ignored.
533
1.13M
  static AggValueSlot ignored() {
534
1.13M
    return forAddr(Address::invalid(), Qualifiers(), IsNotDestructed,
535
1.13M
                   DoesNotNeedGCBarriers, IsNotAliased, DoesNotOverlap);
536
1.13M
  }
537
538
  /// forAddr - Make a slot for an aggregate value.
539
  ///
540
  /// \param quals - The qualifiers that dictate how the slot should
541
  /// be initialied. Only 'volatile' and the Objective-C lifetime
542
  /// qualifiers matter.
543
  ///
544
  /// \param isDestructed - true if something else is responsible
545
  ///   for calling destructors on this object
546
  /// \param needsGC - true if the slot is potentially located
547
  ///   somewhere that ObjC GC calls should be emitted for
548
  static AggValueSlot forAddr(Address addr,
549
                              Qualifiers quals,
550
                              IsDestructed_t isDestructed,
551
                              NeedsGCBarriers_t needsGC,
552
                              IsAliased_t isAliased,
553
                              Overlap_t mayOverlap,
554
                              IsZeroed_t isZeroed = IsNotZeroed,
555
1.20M
                       IsSanitizerChecked_t isChecked = IsNotSanitizerChecked) {
556
1.20M
    AggValueSlot AV;
557
1.20M
    if (addr.isValid()) {
558
70.3k
      AV.Addr = addr.getPointer();
559
70.3k
      AV.Alignment = addr.getAlignment().getQuantity();
560
1.13M
    } else {
561
1.13M
      AV.Addr = nullptr;
562
1.13M
      AV.Alignment = 0;
563
1.13M
    }
564
1.20M
    AV.Quals = quals;
565
1.20M
    AV.DestructedFlag = isDestructed;
566
1.20M
    AV.ObjCGCFlag = needsGC;
567
1.20M
    AV.ZeroedFlag = isZeroed;
568
1.20M
    AV.AliasedFlag = isAliased;
569
1.20M
    AV.OverlapFlag = mayOverlap;
570
1.20M
    AV.SanitizerCheckedFlag = isChecked;
571
1.20M
    return AV;
572
1.20M
  }
573
574
  static AggValueSlot
575
  forLValue(const LValue &LV, CodeGenFunction &CGF, IsDestructed_t isDestructed,
576
            NeedsGCBarriers_t needsGC, IsAliased_t isAliased,
577
            Overlap_t mayOverlap, IsZeroed_t isZeroed = IsNotZeroed,
578
29.7k
            IsSanitizerChecked_t isChecked = IsNotSanitizerChecked) {
579
29.7k
    return forAddr(LV.getAddress(CGF), LV.getQuals(), isDestructed, needsGC,
580
29.7k
                   isAliased, mayOverlap, isZeroed, isChecked);
581
29.7k
  }
582
583
22.2k
  IsDestructed_t isExternallyDestructed() const {
584
22.2k
    return IsDestructed_t(DestructedFlag);
585
22.2k
  }
586
7.72k
  void setExternallyDestructed(bool destructed = true) {
587
7.72k
    DestructedFlag = destructed;
588
7.72k
  }
589
590
43.9k
  Qualifiers getQualifiers() const { return Quals; }
591
592
109k
  bool isVolatile() const {
593
109k
    return Quals.hasVolatile();
594
109k
  }
595
596
7
  void setVolatile(bool flag) {
597
7
    if (flag)
598
7
      Quals.addVolatile();
599
0
    else
600
0
      Quals.removeVolatile();
601
7
  }
602
603
0
  Qualifiers::ObjCLifetime getObjCLifetime() const {
604
0
    return Quals.getObjCLifetime();
605
0
  }
606
607
10.1k
  NeedsGCBarriers_t requiresGCollection() const {
608
10.1k
    return NeedsGCBarriers_t(ObjCGCFlag);
609
10.1k
  }
610
611
200
  llvm::Value *getPointer() const {
612
200
    return Addr;
613
200
  }
614
615
253k
  Address getAddress() const {
616
253k
    return Address(Addr, getAlignment());
617
253k
  }
618
619
251k
  bool isIgnored() const {
620
251k
    return Addr == nullptr;
621
251k
  }
622
623
253k
  CharUnits getAlignment() const {
624
253k
    return CharUnits::fromQuantity(Alignment);
625
253k
  }
626
627
7.95k
  IsAliased_t isPotentiallyAliased() const {
628
7.95k
    return IsAliased_t(AliasedFlag);
629
7.95k
  }
630
631
73.7k
  Overlap_t mayOverlap() const {
632
73.7k
    return Overlap_t(OverlapFlag);
633
73.7k
  }
634
635
39.1k
  bool isSanitizerChecked() const {
636
39.1k
    return SanitizerCheckedFlag;
637
39.1k
  }
638
639
11.5k
  RValue asRValue() const {
640
11.5k
    if (isIgnored()) {
641
1.50k
      return RValue::getIgnored();
642
10.0k
    } else {
643
10.0k
      return RValue::getAggregate(getAddress(), isVolatile());
644
10.0k
    }
645
11.5k
  }
646
647
64
  void setZeroed(bool V = true) { ZeroedFlag = V; }
648
100k
  IsZeroed_t isZeroed() const {
649
100k
    return IsZeroed_t(ZeroedFlag);
650
100k
  }
651
652
  /// Get the preferred size to use when storing a value to this slot. This
653
  /// is the type size unless that might overlap another object, in which
654
  /// case it's the dsize.
655
26.5k
  CharUnits getPreferredSize(ASTContext &Ctx, QualType Type) const {
656
26.5k
    return mayOverlap() ? 
Ctx.getTypeInfoDataSizeInChars(Type).Width7.07k
657
26.5k
                        : 
Ctx.getTypeSizeInChars(Type)19.5k
;
658
26.5k
  }
659
};
660
661
}  // end namespace CodeGen
662
}  // end namespace clang
663
664
#endif