summaryrefslogtreecommitdiffstats
path: root/gnu/llvm/tools/clang/lib/CodeGen/ConstantEmitter.h
diff options
context:
space:
mode:
authorpatrick <patrick@openbsd.org>2020-08-03 15:06:44 +0000
committerpatrick <patrick@openbsd.org>2020-08-03 15:06:44 +0000
commitb64793999546ed8adebaeebd9d8345d18db8927d (patch)
tree4357c27b561d73b0e089727c6ed659f2ceff5f47 /gnu/llvm/tools/clang/lib/CodeGen/ConstantEmitter.h
parentAdd support for UTF-8 DISPLAY-HINTs with octet length. For now only (diff)
downloadwireguard-openbsd-b64793999546ed8adebaeebd9d8345d18db8927d.tar.xz
wireguard-openbsd-b64793999546ed8adebaeebd9d8345d18db8927d.zip
Remove LLVM 8.0.1 files.
Diffstat (limited to 'gnu/llvm/tools/clang/lib/CodeGen/ConstantEmitter.h')
-rw-r--r--gnu/llvm/tools/clang/lib/CodeGen/ConstantEmitter.h181
1 files changed, 0 insertions, 181 deletions
diff --git a/gnu/llvm/tools/clang/lib/CodeGen/ConstantEmitter.h b/gnu/llvm/tools/clang/lib/CodeGen/ConstantEmitter.h
deleted file mode 100644
index 7ad8e5d37cd..00000000000
--- a/gnu/llvm/tools/clang/lib/CodeGen/ConstantEmitter.h
+++ /dev/null
@@ -1,181 +0,0 @@
-//===--- ConstantEmitter.h - IR constant emission ---------------*- C++ -*-===//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// 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