blob: 1bfc51527735d795c6231b39e7d7fba17ebe8ff0 [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 Carruthed0881b2012-12-03 16:50:05 +000016#include "LLVMContextImpl.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000017#include "llvm/IR/Constants.h"
Quentin Colombetb4c44d22013-12-17 17:47:22 +000018#include "llvm/IR/DiagnosticInfo.h"
19#include "llvm/IR/DiagnosticPrinter.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/Instruction.h"
21#include "llvm/IR/Metadata.h"
Owen Anderson1938fb12009-06-30 23:39:59 +000022#include "llvm/Support/ManagedStatic.h"
Chris Lattner1e457892010-04-07 23:40:44 +000023#include "llvm/Support/SourceMgr.h"
Nick Lewycky0de20af2010-12-19 20:43:38 +000024#include <cctype>
Owen Anderson8e66e0b2009-06-30 00:48:55 +000025using namespace llvm;
26
Owen Anderson1938fb12009-06-30 23:39:59 +000027static ManagedStatic<LLVMContext> GlobalContext;
28
Owen Anderson2a154432009-07-01 23:13:44 +000029LLVMContext& llvm::getGlobalContext() {
Owen Anderson1cf085d2009-07-01 21:22:36 +000030 return *GlobalContext;
Owen Anderson1938fb12009-06-30 23:39:59 +000031}
32
Chris Lattnerc263b422010-03-30 23:03:27 +000033LLVMContext::LLVMContext() : pImpl(new LLVMContextImpl(*this)) {
Dan Gohman41f14cf2010-09-14 21:25:10 +000034 // Create the fixed metadata kinds. This is done in the same order as the
35 // MD_* enum values so that they correspond.
36
Bob Wilsonec3ff9c2010-12-17 23:06:32 +000037 // Create the 'dbg' metadata kind.
Chris Lattnerc263b422010-03-30 23:03:27 +000038 unsigned DbgID = getMDKindID("dbg");
39 assert(DbgID == MD_dbg && "dbg kind id drifted"); (void)DbgID;
Dan Gohman41f14cf2010-09-14 21:25:10 +000040
41 // Create the 'tbaa' metadata kind.
42 unsigned TBAAID = getMDKindID("tbaa");
43 assert(TBAAID == MD_tbaa && "tbaa kind id drifted"); (void)TBAAID;
Jakub Staszak3f158fd2011-07-06 18:22:43 +000044
45 // Create the 'prof' metadata kind.
46 unsigned ProfID = getMDKindID("prof");
47 assert(ProfID == MD_prof && "prof kind id drifted"); (void)ProfID;
Peter Collingbournef7d1e7b2011-10-27 19:19:14 +000048
Duncan Sands34bd91a2012-04-14 12:36:06 +000049 // Create the 'fpmath' metadata kind.
50 unsigned FPAccuracyID = getMDKindID("fpmath");
51 assert(FPAccuracyID == MD_fpmath && "fpmath kind id drifted");
Peter Collingbournef7d1e7b2011-10-27 19:19:14 +000052 (void)FPAccuracyID;
Rafael Espindolaef9f5502012-03-24 00:14:51 +000053
54 // Create the 'range' metadata kind.
55 unsigned RangeID = getMDKindID("range");
56 assert(RangeID == MD_range && "range kind id drifted");
57 (void)RangeID;
Dan Gohman3effe812012-09-13 17:56:17 +000058
59 // Create the 'tbaa.struct' metadata kind.
60 unsigned TBAAStructID = getMDKindID("tbaa.struct");
61 assert(TBAAStructID == MD_tbaa_struct && "tbaa.struct kind id drifted");
62 (void)TBAAStructID;
Shuxin Yang408bdad2013-03-06 17:48:48 +000063
64 // Create the 'invariant.load' metadata kind.
65 unsigned InvariantLdId = getMDKindID("invariant.load");
66 assert(InvariantLdId == MD_invariant_load && "invariant.load kind id drifted");
67 (void)InvariantLdId;
Chris Lattnerc263b422010-03-30 23:03:27 +000068}
Owen Anderson8e66e0b2009-06-30 00:48:55 +000069LLVMContext::~LLVMContext() { delete pImpl; }
Owen Andersonafd0c4c2009-08-04 22:41:48 +000070
Owen Anderson8e89e412010-09-08 18:03:32 +000071void LLVMContext::addModule(Module *M) {
72 pImpl->OwnedModules.insert(M);
73}
74
75void LLVMContext::removeModule(Module *M) {
76 pImpl->OwnedModules.erase(M);
77}
78
Chris Lattner1e457892010-04-07 23:40:44 +000079//===----------------------------------------------------------------------===//
80// Recoverable Backend Errors
81//===----------------------------------------------------------------------===//
82
Bob Wilsona594fab2013-02-11 05:37:07 +000083void LLVMContext::
84setInlineAsmDiagnosticHandler(InlineAsmDiagHandlerTy DiagHandler,
85 void *DiagContext) {
86 pImpl->InlineAsmDiagHandler = DiagHandler;
87 pImpl->InlineAsmDiagContext = DiagContext;
Chris Lattner60955d42010-04-06 00:44:45 +000088}
89
Bob Wilsona594fab2013-02-11 05:37:07 +000090/// getInlineAsmDiagnosticHandler - Return the diagnostic handler set by
91/// setInlineAsmDiagnosticHandler.
92LLVMContext::InlineAsmDiagHandlerTy
93LLVMContext::getInlineAsmDiagnosticHandler() const {
94 return pImpl->InlineAsmDiagHandler;
Chris Lattner60955d42010-04-06 00:44:45 +000095}
96
Bob Wilsona594fab2013-02-11 05:37:07 +000097/// getInlineAsmDiagnosticContext - Return the diagnostic context set by
98/// setInlineAsmDiagnosticHandler.
99void *LLVMContext::getInlineAsmDiagnosticContext() const {
100 return pImpl->InlineAsmDiagContext;
Chris Lattner60955d42010-04-06 00:44:45 +0000101}
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000102
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000103void LLVMContext::setDiagnosticHandler(DiagnosticHandlerTy DiagnosticHandler,
104 void *DiagnosticContext) {
105 pImpl->DiagnosticHandler = DiagnosticHandler;
106 pImpl->DiagnosticContext = DiagnosticContext;
107}
108
109LLVMContext::DiagnosticHandlerTy LLVMContext::getDiagnosticHandler() const {
110 return pImpl->DiagnosticHandler;
111}
112
113void *LLVMContext::getDiagnosticContext() const {
114 return pImpl->DiagnosticContext;
115}
116
Chris Lattnere22e6132012-01-03 23:47:05 +0000117void LLVMContext::emitError(const Twine &ErrorStr) {
Quentin Colombetdec8d552014-02-22 00:34:11 +0000118 diagnose(DiagnosticInfoInlineAsm(ErrorStr));
Chris Lattner1e457892010-04-07 23:40:44 +0000119}
120
Bob Wilsonbfb44ef2013-02-08 21:48:29 +0000121void LLVMContext::emitError(const Instruction *I, const Twine &ErrorStr) {
Quentin Colombetdec8d552014-02-22 00:34:11 +0000122 assert (I && "Invalid instruction");
123 diagnose(DiagnosticInfoInlineAsm(*I, ErrorStr));
Chris Lattner1e457892010-04-07 23:40:44 +0000124}
125
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000126void LLVMContext::diagnose(const DiagnosticInfo &DI) {
127 // If there is a report handler, use it.
128 if (pImpl->DiagnosticHandler != 0) {
129 pImpl->DiagnosticHandler(DI, pImpl->DiagnosticContext);
130 return;
131 }
132 // Otherwise, print the message with a prefix based on the severity.
133 std::string MsgStorage;
134 raw_string_ostream Stream(MsgStorage);
135 DiagnosticPrinterRawOStream DP(Stream);
136 DI.print(DP);
137 Stream.flush();
138 switch (DI.getSeverity()) {
139 case DS_Error:
140 errs() << "error: " << MsgStorage << "\n";
141 exit(1);
142 case DS_Warning:
143 errs() << "warning: " << MsgStorage << "\n";
144 break;
Tobias Grossere8d4c9a2014-02-28 09:08:45 +0000145 case DS_Remark:
146 errs() << "remark: " << MsgStorage << "\n";
147 break;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000148 case DS_Note:
149 errs() << "note: " << MsgStorage << "\n";
150 break;
151 }
152}
153
Chris Lattnere22e6132012-01-03 23:47:05 +0000154void LLVMContext::emitError(unsigned LocCookie, const Twine &ErrorStr) {
Quentin Colombetdec8d552014-02-22 00:34:11 +0000155 diagnose(DiagnosticInfoInlineAsm(LocCookie, ErrorStr));
Chris Lattner1e457892010-04-07 23:40:44 +0000156}
157
158//===----------------------------------------------------------------------===//
159// Metadata Kind Uniquing
160//===----------------------------------------------------------------------===//
161
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000162#ifndef NDEBUG
163/// isValidName - Return true if Name is a valid custom metadata handler name.
164static bool isValidName(StringRef MDName) {
165 if (MDName.empty())
166 return false;
Bob Wilsonec3ff9c2010-12-17 23:06:32 +0000167
Guy Benyei83c74e92013-02-12 21:21:59 +0000168 if (!std::isalpha(static_cast<unsigned char>(MDName[0])))
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000169 return false;
Bob Wilsonec3ff9c2010-12-17 23:06:32 +0000170
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000171 for (StringRef::iterator I = MDName.begin() + 1, E = MDName.end(); I != E;
172 ++I) {
Guy Benyei83c74e92013-02-12 21:21:59 +0000173 if (!std::isalnum(static_cast<unsigned char>(*I)) && *I != '_' &&
174 *I != '-' && *I != '.')
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000175 return false;
176 }
177 return true;
Owen Andersonafd0c4c2009-08-04 22:41:48 +0000178}
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000179#endif
180
181/// getMDKindID - Return a unique non-zero ID for the specified metadata kind.
182unsigned LLVMContext::getMDKindID(StringRef Name) const {
183 assert(isValidName(Name) && "Invalid MDNode name");
Dan Gohman43aa8f02010-07-20 21:42:28 +0000184
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000185 // If this is new, assign it its ID.
Dan Gohman43aa8f02010-07-20 21:42:28 +0000186 return
187 pImpl->CustomMDKindNames.GetOrCreateValue(
188 Name, pImpl->CustomMDKindNames.size()).second;
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000189}
190
191/// getHandlerNames - Populate client supplied smallvector using custome
192/// metadata name and ID.
193void LLVMContext::getMDKindNames(SmallVectorImpl<StringRef> &Names) const {
Dan Gohman43aa8f02010-07-20 21:42:28 +0000194 Names.resize(pImpl->CustomMDKindNames.size());
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000195 for (StringMap<unsigned>::const_iterator I = pImpl->CustomMDKindNames.begin(),
196 E = pImpl->CustomMDKindNames.end(); I != E; ++I)
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000197 Names[I->second] = I->first();
198}