1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
|
//===--- ConstantEmitter.h - IR constant emission ---------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// A helper class for emitting expressions and values as llvm::Constants
// and as initializers for global variables.
//
//===----------------------------------------------------------------------===//
#ifndef LLVM_CLANG_LIB_CODEGEN_CONSTANTEMITTER_H
#define LLVM_CLANG_LIB_CODEGEN_CONSTANTEMITTER_H
#include "CodeGenFunction.h"
#include "CodeGenModule.h"
namespace clang {
namespace CodeGen {
class ConstantEmitter {
public:
CodeGenModule &CGM;
CodeGenFunction *CGF;
private:
bool Abstract = false;
/// Whether non-abstract components of the emitter have been initialized.
bool InitializedNonAbstract = false;
/// Whether the emitter has been finalized.
bool Finalized = false;
/// Whether the constant-emission failed.
bool Failed = false;
/// Whether we're in a constant context.
bool InConstantContext = false;
/// The AST address space where this (non-abstract) initializer is going.
/// Used for generating appropriate placeholders.
LangAS DestAddressSpace;
llvm::SmallVector<std::pair<llvm::Constant *, llvm::GlobalVariable*>, 4>
PlaceholderAddresses;
public:
ConstantEmitter(CodeGenModule &CGM, CodeGenFunction *CGF = nullptr)
: CGM(CGM), CGF(CGF) {}
/// Initialize this emission in the context of the given function.
/// Use this if the expression might contain contextual references like
/// block addresses or PredefinedExprs.
ConstantEmitter(CodeGenFunction &CGF)
: CGM(CGF.CGM), CGF(&CGF) {}
ConstantEmitter(const ConstantEmitter &other) = delete;
ConstantEmitter &operator=(const ConstantEmitter &other) = delete;
~ConstantEmitter();
/// Is the current emission context abstract?
bool isAbstract() const {
return Abstract;
}
/// Try to emit the initiaizer of the given declaration as an abstract
/// constant. If this succeeds, the emission must be finalized.
llvm::Constant *tryEmitForInitializer(const VarDecl &D);
llvm::Constant *tryEmitForInitializer(const Expr *E, LangAS destAddrSpace,
QualType destType);
llvm::Constant *emitForInitializer(const APValue &value, LangAS destAddrSpace,
QualType destType);
void finalize(llvm::GlobalVariable *global);
// All of the "abstract" emission methods below permit the emission to
// be immediately discarded without finalizing anything. Therefore, they
// must also promise not to do anything that will, in the future, require
// finalization:
//
// - using the CGF (if present) for anything other than establishing
// semantic context; for example, an expression with ignored
// side-effects must not be emitted as an abstract expression
//
// - doing anything that would not be safe to duplicate within an
// initializer or to propagate to another context; for example,
// side effects, or emitting an initialization that requires a
// reference to its current location.
/// Try to emit the initializer of the given declaration as an abstract
/// constant.
llvm::Constant *tryEmitAbstractForInitializer(const VarDecl &D);
/// Emit the result of the given expression as an abstract constant,
/// asserting that it succeeded. This is only safe to do when the
/// expression is known to be a constant expression with either a fairly
/// simple type or a known simple form.
llvm::Constant *emitAbstract(const Expr *E, QualType T);
llvm::Constant *emitAbstract(SourceLocation loc, const APValue &value,
QualType T);
/// Try to emit the result of the given expression as an abstract constant.
llvm::Constant *tryEmitAbstract(const Expr *E, QualType T);
llvm::Constant *tryEmitAbstractForMemory(const Expr *E, QualType T);
llvm::Constant *tryEmitAbstract(const APValue &value, QualType T);
llvm::Constant *tryEmitAbstractForMemory(const APValue &value, QualType T);
llvm::Constant *emitNullForMemory(QualType T) {
return emitNullForMemory(CGM, T);
}
llvm::Constant *emitForMemory(llvm::Constant *C, QualType T) {
return emitForMemory(CGM, C, T);
}
static llvm::Constant *emitNullForMemory(CodeGenModule &CGM, QualType T);
static llvm::Constant *emitForMemory(CodeGenModule &CGM, llvm::Constant *C,
QualType T);
// These are private helper routines of the constant emitter that
// can't actually be private because things are split out into helper
// functions and classes.
llvm::Constant *tryEmitPrivateForVarInit(const VarDecl &D);
llvm::Constant *tryEmitPrivate(const Expr *E, QualType T);
llvm::Constant *tryEmitPrivateForMemory(const Expr *E, QualType T);
llvm::Constant *tryEmitPrivate(const APValue &value, QualType T);
llvm::Constant *tryEmitPrivateForMemory(const APValue &value, QualType T);
/// Get the address of the current location. This is a constant
/// that will resolve, after finalization, to the address of the
/// 'signal' value that is registered with the emitter later.
llvm::GlobalValue *getCurrentAddrPrivate();
/// Register a 'signal' value with the emitter to inform it where to
/// resolve a placeholder. The signal value must be unique in the
/// initializer; it might, for example, be the address of a global that
/// refers to the current-address value in its own initializer.
///
/// Uses of the placeholder must be properly anchored before finalizing
/// the emitter, e.g. by being installed as the initializer of a global
/// variable. That is, it must be possible to replaceAllUsesWith
/// the placeholder with the proper address of the signal.
void registerCurrentAddrPrivate(llvm::Constant *signal,
llvm::GlobalValue *placeholder);
private:
void initializeNonAbstract(LangAS destAS) {
assert(!InitializedNonAbstract);
InitializedNonAbstract = true;
DestAddressSpace = destAS;
}
llvm::Constant *markIfFailed(llvm::Constant *init) {
if (!init)
Failed = true;
return init;
}
struct AbstractState {
bool OldValue;
size_t OldPlaceholdersSize;
};
AbstractState pushAbstract() {
AbstractState saved = { Abstract, PlaceholderAddresses.size() };
Abstract = true;
return saved;
}
llvm::Constant *validateAndPopAbstract(llvm::Constant *C, AbstractState save);
};
}
}
#endif
|
