blob: 6569695c9963b2aae95e7669e2a220cb6a1d97b0 [file] [log] [blame]
Nick Lewyckyfca2acb2012-12-26 22:00:49 +00001//===-- LLVMContext.cpp - Implement LLVMContext ---------------------------===//
Owen Anderson8e66e0b2009-06-30 00:48:55 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Owen Anderson36f62e52009-06-30 17:06:46 +00009//
10// This file implements LLVMContext, as a wrapper around the opaque
Benjamin Kramer78c3bcb2009-08-11 17:45:13 +000011// class LLVMContextImpl.
Owen Anderson36f62e52009-06-30 17:06:46 +000012//
13//===----------------------------------------------------------------------===//
Owen Anderson8e66e0b2009-06-30 00:48:55 +000014
Chandler Carruth9fb823b2013-01-02 11:36:10 +000015#include "llvm/IR/LLVMContext.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000016#include "LLVMContextImpl.h"
Eugene Zelenko5354a8a2016-04-28 18:04:41 +000017#include "llvm/ADT/SmallVector.h"
18#include "llvm/ADT/StringMap.h"
19#include "llvm/ADT/StringRef.h"
20#include "llvm/ADT/Twine.h"
Quentin Colombetb4c44d22013-12-17 17:47:22 +000021#include "llvm/IR/DiagnosticInfo.h"
22#include "llvm/IR/DiagnosticPrinter.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000023#include "llvm/IR/Metadata.h"
Eugene Zelenko5354a8a2016-04-28 18:04:41 +000024#include "llvm/IR/Module.h"
25#include "llvm/Support/Casting.h"
26#include "llvm/Support/ErrorHandling.h"
27#include "llvm/Support/raw_ostream.h"
28#include <cassert>
29#include <cstdlib>
30#include <string>
31#include <utility>
32
Owen Anderson8e66e0b2009-06-30 00:48:55 +000033using namespace llvm;
34
Chris Lattnerc263b422010-03-30 23:03:27 +000035LLVMContext::LLVMContext() : pImpl(new LLVMContextImpl(*this)) {
Dan Gohman41f14cf2010-09-14 21:25:10 +000036 // Create the fixed metadata kinds. This is done in the same order as the
37 // MD_* enum values so that they correspond.
Peter Collingbourne6f0b4f22016-12-06 23:53:01 +000038 std::pair<unsigned, StringRef> MDKinds[] = {
39 {MD_dbg, "dbg"},
40 {MD_tbaa, "tbaa"},
41 {MD_prof, "prof"},
42 {MD_fpmath, "fpmath"},
43 {MD_range, "range"},
44 {MD_tbaa_struct, "tbaa.struct"},
45 {MD_invariant_load, "invariant.load"},
46 {MD_alias_scope, "alias.scope"},
47 {MD_noalias, "noalias"},
48 {MD_nontemporal, "nontemporal"},
49 {MD_mem_parallel_loop_access, "llvm.mem.parallel_loop_access"},
50 {MD_nonnull, "nonnull"},
51 {MD_dereferenceable, "dereferenceable"},
52 {MD_dereferenceable_or_null, "dereferenceable_or_null"},
53 {MD_make_implicit, "make.implicit"},
54 {MD_unpredictable, "unpredictable"},
55 {MD_invariant_group, "invariant.group"},
56 {MD_align, "align"},
57 {MD_loop, "llvm.loop"},
58 {MD_type, "type"},
59 {MD_section_prefix, "section_prefix"},
Peter Collingbourne235c2752016-12-08 19:01:00 +000060 {MD_absolute_symbol, "absolute_symbol"},
Evgeniy Stepanov51c962f722017-03-17 22:17:24 +000061 {MD_associated, "associated"},
Peter Collingbourne6f0b4f22016-12-06 23:53:01 +000062 };
Dan Gohman41f14cf2010-09-14 21:25:10 +000063
Peter Collingbourne6f0b4f22016-12-06 23:53:01 +000064 for (auto &MDKind : MDKinds) {
65 unsigned ID = getMDKindID(MDKind.second);
66 assert(ID == MDKind.first && "metadata kind id drifted");
67 (void)ID;
68 }
Dehao Chen302b69c2016-10-18 20:42:47 +000069
Sanjoy Dascdafd842015-11-11 21:38:02 +000070 auto *DeoptEntry = pImpl->getOrInsertBundleTag("deopt");
71 assert(DeoptEntry->second == LLVMContext::OB_deopt &&
72 "deopt operand bundle id drifted!");
73 (void)DeoptEntry;
David Majnemer3bb88c02015-12-15 21:27:27 +000074
75 auto *FuncletEntry = pImpl->getOrInsertBundleTag("funclet");
76 assert(FuncletEntry->second == LLVMContext::OB_funclet &&
77 "funclet operand bundle id drifted!");
78 (void)FuncletEntry;
Sanjoy Dasa34ce952016-01-20 19:50:25 +000079
80 auto *GCTransitionEntry = pImpl->getOrInsertBundleTag("gc-transition");
81 assert(GCTransitionEntry->second == LLVMContext::OB_gc_transition &&
82 "gc-transition operand bundle id drifted!");
83 (void)GCTransitionEntry;
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +000084
85 SyncScope::ID SingleThreadSSID =
86 pImpl->getOrInsertSyncScopeID("singlethread");
87 assert(SingleThreadSSID == SyncScope::SingleThread &&
88 "singlethread synchronization scope ID drifted!");
Konstantin Zhuravlyov878fdee2017-07-12 00:15:53 +000089 (void)SingleThreadSSID;
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +000090
91 SyncScope::ID SystemSSID =
92 pImpl->getOrInsertSyncScopeID("");
93 assert(SystemSSID == SyncScope::System &&
94 "system synchronization scope ID drifted!");
Konstantin Zhuravlyov878fdee2017-07-12 00:15:53 +000095 (void)SystemSSID;
Chris Lattnerc263b422010-03-30 23:03:27 +000096}
Eugene Zelenko5354a8a2016-04-28 18:04:41 +000097
Owen Anderson8e66e0b2009-06-30 00:48:55 +000098LLVMContext::~LLVMContext() { delete pImpl; }
Owen Andersonafd0c4c2009-08-04 22:41:48 +000099
Owen Anderson8e89e412010-09-08 18:03:32 +0000100void LLVMContext::addModule(Module *M) {
101 pImpl->OwnedModules.insert(M);
102}
103
104void LLVMContext::removeModule(Module *M) {
105 pImpl->OwnedModules.erase(M);
106}
107
Chris Lattner1e457892010-04-07 23:40:44 +0000108//===----------------------------------------------------------------------===//
109// Recoverable Backend Errors
110//===----------------------------------------------------------------------===//
111
Bob Wilsona594fab2013-02-11 05:37:07 +0000112void LLVMContext::
113setInlineAsmDiagnosticHandler(InlineAsmDiagHandlerTy DiagHandler,
114 void *DiagContext) {
115 pImpl->InlineAsmDiagHandler = DiagHandler;
116 pImpl->InlineAsmDiagContext = DiagContext;
Chris Lattner60955d42010-04-06 00:44:45 +0000117}
118
Bob Wilsona594fab2013-02-11 05:37:07 +0000119/// getInlineAsmDiagnosticHandler - Return the diagnostic handler set by
120/// setInlineAsmDiagnosticHandler.
121LLVMContext::InlineAsmDiagHandlerTy
122LLVMContext::getInlineAsmDiagnosticHandler() const {
123 return pImpl->InlineAsmDiagHandler;
Chris Lattner60955d42010-04-06 00:44:45 +0000124}
125
Bob Wilsona594fab2013-02-11 05:37:07 +0000126/// getInlineAsmDiagnosticContext - Return the diagnostic context set by
127/// setInlineAsmDiagnosticHandler.
128void *LLVMContext::getInlineAsmDiagnosticContext() const {
129 return pImpl->InlineAsmDiagContext;
Chris Lattner60955d42010-04-06 00:44:45 +0000130}
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000131
Vivek Pandyab5ab8952017-09-15 20:10:09 +0000132void LLVMContext::setDiagnosticHandlerCallBack(
133 DiagnosticHandler::DiagnosticHandlerTy DiagnosticHandler,
134 void *DiagnosticContext, bool RespectFilters) {
135 pImpl->DiagHandler->DiagHandlerCallback = DiagnosticHandler;
136 pImpl->DiagHandler->DiagnosticContext = DiagnosticContext;
137 pImpl->RespectDiagnosticFilters = RespectFilters;
138}
139
140void LLVMContext::setDiagnosticHandler(std::unique_ptr<DiagnosticHandler> &&DH,
141 bool RespectFilters) {
142 pImpl->DiagHandler = std::move(DH);
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000143 pImpl->RespectDiagnosticFilters = RespectFilters;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000144}
145
Brian Gesiak44e5f6c2017-06-30 18:13:59 +0000146void LLVMContext::setDiagnosticsHotnessRequested(bool Requested) {
147 pImpl->DiagnosticsHotnessRequested = Requested;
148}
149bool LLVMContext::getDiagnosticsHotnessRequested() const {
150 return pImpl->DiagnosticsHotnessRequested;
Adam Nemetaad81602016-07-15 17:23:20 +0000151}
152
Brian Gesiak4ef3daa2017-06-30 23:14:53 +0000153void LLVMContext::setDiagnosticsHotnessThreshold(uint64_t Threshold) {
154 pImpl->DiagnosticsHotnessThreshold = Threshold;
155}
156uint64_t LLVMContext::getDiagnosticsHotnessThreshold() const {
157 return pImpl->DiagnosticsHotnessThreshold;
158}
159
Adam Nemeta62b7e12016-09-27 20:55:07 +0000160yaml::Output *LLVMContext::getDiagnosticsOutputFile() {
161 return pImpl->DiagnosticsOutputFile.get();
162}
163
Mehdi Amini6f408362016-11-19 18:19:41 +0000164void LLVMContext::setDiagnosticsOutputFile(std::unique_ptr<yaml::Output> F) {
165 pImpl->DiagnosticsOutputFile = std::move(F);
Adam Nemeta62b7e12016-09-27 20:55:07 +0000166}
167
Vivek Pandyab5ab8952017-09-15 20:10:09 +0000168DiagnosticHandler::DiagnosticHandlerTy
169LLVMContext::getDiagnosticHandlerCallBack() const {
170 return pImpl->DiagHandler->DiagHandlerCallback;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000171}
172
173void *LLVMContext::getDiagnosticContext() const {
Vivek Pandyab5ab8952017-09-15 20:10:09 +0000174 return pImpl->DiagHandler->DiagnosticContext;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000175}
176
Juergen Ributzka34390c72014-05-16 02:33:15 +0000177void LLVMContext::setYieldCallback(YieldCallbackTy Callback, void *OpaqueHandle)
178{
179 pImpl->YieldCallback = Callback;
180 pImpl->YieldOpaqueHandle = OpaqueHandle;
181}
182
183void LLVMContext::yield() {
184 if (pImpl->YieldCallback)
185 pImpl->YieldCallback(this, pImpl->YieldOpaqueHandle);
186}
187
Chris Lattnere22e6132012-01-03 23:47:05 +0000188void LLVMContext::emitError(const Twine &ErrorStr) {
Quentin Colombetdec8d552014-02-22 00:34:11 +0000189 diagnose(DiagnosticInfoInlineAsm(ErrorStr));
Chris Lattner1e457892010-04-07 23:40:44 +0000190}
191
Bob Wilsonbfb44ef2013-02-08 21:48:29 +0000192void LLVMContext::emitError(const Instruction *I, const Twine &ErrorStr) {
Quentin Colombetdec8d552014-02-22 00:34:11 +0000193 assert (I && "Invalid instruction");
194 diagnose(DiagnosticInfoInlineAsm(*I, ErrorStr));
Chris Lattner1e457892010-04-07 23:40:44 +0000195}
196
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000197static bool isDiagnosticEnabled(const DiagnosticInfo &DI) {
Diego Novillo7f8af8b2014-05-22 14:19:46 +0000198 // Optimization remarks are selective. They need to check whether the regexp
199 // pattern, passed via one of the -pass-remarks* flags, matches the name of
200 // the pass that is emitting the diagnostic. If there is no match, ignore the
201 // diagnostic and return.
Akira Hatanakae9148dd2016-04-01 00:34:39 +0000202 if (auto *Remark = dyn_cast<DiagnosticInfoOptimizationBase>(&DI))
203 return Remark->isEnabled();
204
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000205 return true;
206}
207
Renato Golin4b9c0d42016-05-16 14:28:02 +0000208const char *
209LLVMContext::getDiagnosticMessagePrefix(DiagnosticSeverity Severity) {
Alex Lorenz735c47e2015-06-15 20:30:22 +0000210 switch (Severity) {
211 case DS_Error:
212 return "error";
213 case DS_Warning:
214 return "warning";
215 case DS_Remark:
216 return "remark";
217 case DS_Note:
218 return "note";
219 }
Aaron Ballman52204762015-06-16 13:14:59 +0000220 llvm_unreachable("Unknown DiagnosticSeverity");
Alex Lorenz735c47e2015-06-15 20:30:22 +0000221}
222
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000223void LLVMContext::diagnose(const DiagnosticInfo &DI) {
224 // If there is a report handler, use it.
Vivek Pandyab5ab8952017-09-15 20:10:09 +0000225 if (pImpl->DiagHandler &&
226 (!pImpl->RespectDiagnosticFilters || isDiagnosticEnabled(DI)) &&
227 pImpl->DiagHandler->handleDiagnostics(DI))
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000228 return;
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000229
230 if (!isDiagnosticEnabled(DI))
231 return;
Diego Novillodf655012014-04-16 16:53:41 +0000232
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000233 // Otherwise, print the message with a prefix based on the severity.
Alex Lorenz735c47e2015-06-15 20:30:22 +0000234 DiagnosticPrinterRawOStream DP(errs());
235 errs() << getDiagnosticMessagePrefix(DI.getSeverity()) << ": ";
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000236 DI.print(DP);
Alex Lorenz735c47e2015-06-15 20:30:22 +0000237 errs() << "\n";
238 if (DI.getSeverity() == DS_Error)
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000239 exit(1);
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000240}
241
Chris Lattnere22e6132012-01-03 23:47:05 +0000242void LLVMContext::emitError(unsigned LocCookie, const Twine &ErrorStr) {
Quentin Colombetdec8d552014-02-22 00:34:11 +0000243 diagnose(DiagnosticInfoInlineAsm(LocCookie, ErrorStr));
Chris Lattner1e457892010-04-07 23:40:44 +0000244}
245
246//===----------------------------------------------------------------------===//
247// Metadata Kind Uniquing
248//===----------------------------------------------------------------------===//
249
Filipe Cabecinhas1ac0d2d2015-06-02 21:25:00 +0000250/// Return a unique non-zero ID for the specified metadata kind.
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000251unsigned LLVMContext::getMDKindID(StringRef Name) const {
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000252 // If this is new, assign it its ID.
Filipe Cabecinhas1ac0d2d2015-06-02 21:25:00 +0000253 return pImpl->CustomMDKindNames.insert(
254 std::make_pair(
255 Name, pImpl->CustomMDKindNames.size()))
David Blaikie5106ce72014-11-19 05:49:42 +0000256 .first->second;
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000257}
258
Sanjay Patel41043372015-08-24 23:20:16 +0000259/// getHandlerNames - Populate client-supplied smallvector using custom
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000260/// metadata name and ID.
261void LLVMContext::getMDKindNames(SmallVectorImpl<StringRef> &Names) const {
Dan Gohman43aa8f02010-07-20 21:42:28 +0000262 Names.resize(pImpl->CustomMDKindNames.size());
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000263 for (StringMap<unsigned>::const_iterator I = pImpl->CustomMDKindNames.begin(),
264 E = pImpl->CustomMDKindNames.end(); I != E; ++I)
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000265 Names[I->second] = I->first();
266}
Sanjoy Das9303c242015-09-24 19:14:18 +0000267
268void LLVMContext::getOperandBundleTags(SmallVectorImpl<StringRef> &Tags) const {
269 pImpl->getOperandBundleTags(Tags);
270}
271
272uint32_t LLVMContext::getOperandBundleTagID(StringRef Tag) const {
273 return pImpl->getOperandBundleTagID(Tag);
274}
Mehdi Amini599ebf22016-01-08 02:28:20 +0000275
Konstantin Zhuravlyovbb80d3e2017-07-11 22:23:00 +0000276SyncScope::ID LLVMContext::getOrInsertSyncScopeID(StringRef SSN) {
277 return pImpl->getOrInsertSyncScopeID(SSN);
278}
279
280void LLVMContext::getSyncScopeNames(SmallVectorImpl<StringRef> &SSNs) const {
281 pImpl->getSyncScopeNames(SSNs);
282}
283
Mehdi Amini599ebf22016-01-08 02:28:20 +0000284void LLVMContext::setGC(const Function &Fn, std::string GCName) {
285 auto It = pImpl->GCNames.find(&Fn);
286
287 if (It == pImpl->GCNames.end()) {
288 pImpl->GCNames.insert(std::make_pair(&Fn, std::move(GCName)));
289 return;
290 }
291 It->second = std::move(GCName);
292}
Eugene Zelenko5354a8a2016-04-28 18:04:41 +0000293
Mehdi Amini599ebf22016-01-08 02:28:20 +0000294const std::string &LLVMContext::getGC(const Function &Fn) {
295 return pImpl->GCNames[&Fn];
296}
Eugene Zelenko5354a8a2016-04-28 18:04:41 +0000297
Mehdi Amini599ebf22016-01-08 02:28:20 +0000298void LLVMContext::deleteGC(const Function &Fn) {
299 pImpl->GCNames.erase(&Fn);
300}
Mehdi Amini09b4a8d2016-03-10 01:28:54 +0000301
Mehdi Aminie7090152016-04-02 03:59:58 +0000302bool LLVMContext::shouldDiscardValueNames() const {
303 return pImpl->DiscardValueNames;
304}
Mehdi Amini09b4a8d2016-03-10 01:28:54 +0000305
Duncan P. N. Exon Smithed8fdb22016-04-19 04:55:25 +0000306bool LLVMContext::isODRUniquingDebugTypes() const { return !!pImpl->DITypeMap; }
Duncan P. N. Exon Smith5ab2be02016-04-17 03:58:21 +0000307
Duncan P. N. Exon Smithed8fdb22016-04-19 04:55:25 +0000308void LLVMContext::enableDebugTypeODRUniquing() {
Duncan P. N. Exon Smith5ab2be02016-04-17 03:58:21 +0000309 if (pImpl->DITypeMap)
310 return;
311
Duncan P. N. Exon Smithe8b555c2016-04-19 16:06:50 +0000312 pImpl->DITypeMap.emplace();
Duncan P. N. Exon Smith5ab2be02016-04-17 03:58:21 +0000313}
314
Duncan P. N. Exon Smithed8fdb22016-04-19 04:55:25 +0000315void LLVMContext::disableDebugTypeODRUniquing() { pImpl->DITypeMap.reset(); }
Duncan P. N. Exon Smith5ab2be02016-04-17 03:58:21 +0000316
Mehdi Amini09b4a8d2016-03-10 01:28:54 +0000317void LLVMContext::setDiscardValueNames(bool Discard) {
318 pImpl->DiscardValueNames = Discard;
319}
Andrew Kayloraa641a52016-04-22 22:06:11 +0000320
321OptBisect &LLVMContext::getOptBisect() {
322 return pImpl->getOptBisect();
323}
Vivek Pandyab5ab8952017-09-15 20:10:09 +0000324
325const DiagnosticHandler *LLVMContext::getDiagHandlerPtr() const {
326 return pImpl->DiagHandler.get();
327}
328
329std::unique_ptr<DiagnosticHandler> LLVMContext::getDiagnosticHandler() {
330 return std::move(pImpl->DiagHandler);
331}