LLVM 19.0.0git
ConstantPools.cpp
Go to the documentation of this file.
1//===- ConstantPools.cpp - ConstantPool class -----------------------------===//
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// This file implements the ConstantPool and AssemblerConstantPools classes.
10//
11//===----------------------------------------------------------------------===//
12
14#include "llvm/MC/MCContext.h"
16#include "llvm/MC/MCExpr.h"
17#include "llvm/MC/MCStreamer.h"
19
20using namespace llvm;
21
22//
23// ConstantPool implementation
24//
25// Emit the contents of the constant pool using the provided streamer.
27 if (Entries.empty())
28 return;
30 for (const ConstantPoolEntry &Entry : Entries) {
31 Streamer.emitValueToAlignment(Align(Entry.Size)); // align naturally
32 Streamer.emitLabel(Entry.Label);
33 Streamer.emitValue(Entry.Value, Entry.Size, Entry.Loc);
34 }
36 Entries.clear();
37}
38
40 unsigned Size, SMLoc Loc) {
41 const MCConstantExpr *C = dyn_cast<MCConstantExpr>(Value);
42 const MCSymbolRefExpr *S = dyn_cast<MCSymbolRefExpr>(Value);
43
44 // Check if there is existing entry for the same constant. If so, reuse it.
45 if (C) {
46 auto CItr = CachedConstantEntries.find(C->getValue());
47 if (CItr != CachedConstantEntries.end())
48 return CItr->second;
49 }
50
51 // Check if there is existing entry for the same symbol. If so, reuse it.
52 if (S) {
53 auto SItr = CachedSymbolEntries.find(&(S->getSymbol()));
54 if (SItr != CachedSymbolEntries.end())
55 return SItr->second;
56 }
57
58 MCSymbol *CPEntryLabel = Context.createTempSymbol();
59
60 Entries.push_back(ConstantPoolEntry(CPEntryLabel, Value, Size, Loc));
61 const auto SymRef = MCSymbolRefExpr::create(CPEntryLabel, Context);
62 if (C)
63 CachedConstantEntries[C->getValue()] = SymRef;
64 if (S)
65 CachedSymbolEntries[&(S->getSymbol())] = SymRef;
66 return SymRef;
67}
68
69bool ConstantPool::empty() { return Entries.empty(); }
70
72 CachedConstantEntries.clear();
73 CachedSymbolEntries.clear();
74}
75
76//
77// AssemblerConstantPools implementation
78//
79ConstantPool *AssemblerConstantPools::getConstantPool(MCSection *Section) {
80 ConstantPoolMapTy::iterator CP = ConstantPools.find(Section);
81 if (CP == ConstantPools.end())
82 return nullptr;
83
84 return &CP->second;
85}
86
88AssemblerConstantPools::getOrCreateConstantPool(MCSection *Section) {
89 return ConstantPools[Section];
90}
91
92static void emitConstantPool(MCStreamer &Streamer, MCSection *Section,
93 ConstantPool &CP) {
94 if (!CP.empty()) {
95 Streamer.switchSection(Section);
96 CP.emitEntries(Streamer);
97 }
98}
99
101 // Dump contents of assembler constant pools.
102 for (auto &CPI : ConstantPools) {
103 MCSection *Section = CPI.first;
104 ConstantPool &CP = CPI.second;
105
106 emitConstantPool(Streamer, Section, CP);
107 }
108}
109
111 MCSection *Section = Streamer.getCurrentSectionOnly();
112 if (ConstantPool *CP = getConstantPool(Section))
113 emitConstantPool(Streamer, Section, *CP);
114}
115
117 MCSection *Section = Streamer.getCurrentSectionOnly();
118 if (ConstantPool *CP = getConstantPool(Section))
119 CP->clearCache();
120}
121
123 const MCExpr *Expr,
124 unsigned Size, SMLoc Loc) {
125 MCSection *Section = Streamer.getCurrentSectionOnly();
126 return getOrCreateConstantPool(Section).addEntry(Expr, Streamer.getContext(),
127 Size, Loc);
128}
static void emitConstantPool(MCStreamer &Streamer, MCSection *Section, ConstantPool &CP)
uint64_t Size
LLVMContext & Context
void emitAll(MCStreamer &Streamer)
void clearCacheForCurrentSection(MCStreamer &Streamer)
void emitForCurrentSection(MCStreamer &Streamer)
const MCExpr * addEntry(MCStreamer &Streamer, const MCExpr *Expr, unsigned Size, SMLoc Loc)
const MCExpr * addEntry(const MCExpr *Value, MCContext &Context, unsigned Size, SMLoc Loc)
void emitEntries(MCStreamer &Streamer)
Context object for machine code objects.
Definition: MCContext.h:76
Base class for the full range of assembler expressions which are needed for parsing.
Definition: MCExpr.h:35
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition: MCSection.h:39
Streaming machine code generation interface.
Definition: MCStreamer.h:212
MCContext & getContext() const
Definition: MCStreamer.h:297
void emitValue(const MCExpr *Value, unsigned Size, SMLoc Loc=SMLoc())
Definition: MCStreamer.cpp:180
virtual void emitLabel(MCSymbol *Symbol, SMLoc Loc=SMLoc())
Emit a label for Symbol into the current section.
Definition: MCStreamer.cpp:424
virtual void emitValueToAlignment(Align Alignment, int64_t Value=0, unsigned ValueSize=1, unsigned MaxBytesToEmit=0)
Emit some number of copies of Value until the byte alignment ByteAlignment is reached.
virtual void emitDataRegion(MCDataRegionType Kind)
Note in the output the specified region Kind.
Definition: MCStreamer.h:503
virtual void switchSection(MCSection *Section, const MCExpr *Subsection=nullptr)
Set the current section where code is being emitted to Section.
MCSection * getCurrentSectionOnly() const
Definition: MCStreamer.h:393
Represent a reference to a symbol from inside an expression.
Definition: MCExpr.h:192
const MCSymbol & getSymbol() const
Definition: MCExpr.h:410
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx)
Definition: MCExpr.h:397
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:40
typename VectorType::iterator iterator
Definition: MapVector.h:49
iterator end()
Definition: MapVector.h:71
iterator find(const KeyT &Key)
Definition: MapVector.h:167
Represents a location in source code.
Definition: SMLoc.h:23
bool empty() const
Definition: SmallVector.h:94
void push_back(const T &Elt)
Definition: SmallVector.h:426
LLVM Value Representation.
Definition: Value.h:74
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ MCDR_DataRegionEnd
.end_data_region
Definition: MCDirectives.h:66
@ MCDR_DataRegion
.data_region
Definition: MCDirectives.h:62
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition: Alignment.h:39