blob: 3f05561a2cb1f95ff6ae8dc11e4f232096b60931 [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"
Diego Novilloa9298b22014-04-08 16:42:34 +000018#include "llvm/IR/DebugLoc.h"
Quentin Colombetb4c44d22013-12-17 17:47:22 +000019#include "llvm/IR/DiagnosticInfo.h"
20#include "llvm/IR/DiagnosticPrinter.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000021#include "llvm/IR/Instruction.h"
22#include "llvm/IR/Metadata.h"
Owen Anderson1938fb12009-06-30 23:39:59 +000023#include "llvm/Support/ManagedStatic.h"
Chris Lattner1e457892010-04-07 23:40:44 +000024#include "llvm/Support/SourceMgr.h"
Nick Lewycky0de20af2010-12-19 20:43:38 +000025#include <cctype>
Owen Anderson8e66e0b2009-06-30 00:48:55 +000026using namespace llvm;
27
Owen Anderson1938fb12009-06-30 23:39:59 +000028static ManagedStatic<LLVMContext> GlobalContext;
29
Owen Anderson2a154432009-07-01 23:13:44 +000030LLVMContext& llvm::getGlobalContext() {
Owen Anderson1cf085d2009-07-01 21:22:36 +000031 return *GlobalContext;
Owen Anderson1938fb12009-06-30 23:39:59 +000032}
33
Chris Lattnerc263b422010-03-30 23:03:27 +000034LLVMContext::LLVMContext() : pImpl(new LLVMContextImpl(*this)) {
Dan Gohman41f14cf2010-09-14 21:25:10 +000035 // Create the fixed metadata kinds. This is done in the same order as the
36 // MD_* enum values so that they correspond.
37
Bob Wilsonec3ff9c2010-12-17 23:06:32 +000038 // Create the 'dbg' metadata kind.
Chris Lattnerc263b422010-03-30 23:03:27 +000039 unsigned DbgID = getMDKindID("dbg");
40 assert(DbgID == MD_dbg && "dbg kind id drifted"); (void)DbgID;
Dan Gohman41f14cf2010-09-14 21:25:10 +000041
42 // Create the 'tbaa' metadata kind.
43 unsigned TBAAID = getMDKindID("tbaa");
44 assert(TBAAID == MD_tbaa && "tbaa kind id drifted"); (void)TBAAID;
Jakub Staszak3f158fd2011-07-06 18:22:43 +000045
46 // Create the 'prof' metadata kind.
47 unsigned ProfID = getMDKindID("prof");
48 assert(ProfID == MD_prof && "prof kind id drifted"); (void)ProfID;
Peter Collingbournef7d1e7b2011-10-27 19:19:14 +000049
Duncan Sands34bd91a2012-04-14 12:36:06 +000050 // Create the 'fpmath' metadata kind.
51 unsigned FPAccuracyID = getMDKindID("fpmath");
52 assert(FPAccuracyID == MD_fpmath && "fpmath kind id drifted");
Peter Collingbournef7d1e7b2011-10-27 19:19:14 +000053 (void)FPAccuracyID;
Rafael Espindolaef9f5502012-03-24 00:14:51 +000054
55 // Create the 'range' metadata kind.
56 unsigned RangeID = getMDKindID("range");
57 assert(RangeID == MD_range && "range kind id drifted");
58 (void)RangeID;
Dan Gohman3effe812012-09-13 17:56:17 +000059
60 // Create the 'tbaa.struct' metadata kind.
61 unsigned TBAAStructID = getMDKindID("tbaa.struct");
62 assert(TBAAStructID == MD_tbaa_struct && "tbaa.struct kind id drifted");
63 (void)TBAAStructID;
Shuxin Yang408bdad2013-03-06 17:48:48 +000064
65 // Create the 'invariant.load' metadata kind.
66 unsigned InvariantLdId = getMDKindID("invariant.load");
67 assert(InvariantLdId == MD_invariant_load && "invariant.load kind id drifted");
68 (void)InvariantLdId;
Chris Lattnerc263b422010-03-30 23:03:27 +000069}
Owen Anderson8e66e0b2009-06-30 00:48:55 +000070LLVMContext::~LLVMContext() { delete pImpl; }
Owen Andersonafd0c4c2009-08-04 22:41:48 +000071
Owen Anderson8e89e412010-09-08 18:03:32 +000072void LLVMContext::addModule(Module *M) {
73 pImpl->OwnedModules.insert(M);
74}
75
76void LLVMContext::removeModule(Module *M) {
77 pImpl->OwnedModules.erase(M);
78}
79
Chris Lattner1e457892010-04-07 23:40:44 +000080//===----------------------------------------------------------------------===//
81// Recoverable Backend Errors
82//===----------------------------------------------------------------------===//
83
Bob Wilsona594fab2013-02-11 05:37:07 +000084void LLVMContext::
85setInlineAsmDiagnosticHandler(InlineAsmDiagHandlerTy DiagHandler,
86 void *DiagContext) {
87 pImpl->InlineAsmDiagHandler = DiagHandler;
88 pImpl->InlineAsmDiagContext = DiagContext;
Chris Lattner60955d42010-04-06 00:44:45 +000089}
90
Bob Wilsona594fab2013-02-11 05:37:07 +000091/// getInlineAsmDiagnosticHandler - Return the diagnostic handler set by
92/// setInlineAsmDiagnosticHandler.
93LLVMContext::InlineAsmDiagHandlerTy
94LLVMContext::getInlineAsmDiagnosticHandler() const {
95 return pImpl->InlineAsmDiagHandler;
Chris Lattner60955d42010-04-06 00:44:45 +000096}
97
Bob Wilsona594fab2013-02-11 05:37:07 +000098/// getInlineAsmDiagnosticContext - Return the diagnostic context set by
99/// setInlineAsmDiagnosticHandler.
100void *LLVMContext::getInlineAsmDiagnosticContext() const {
101 return pImpl->InlineAsmDiagContext;
Chris Lattner60955d42010-04-06 00:44:45 +0000102}
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000103
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000104void LLVMContext::setDiagnosticHandler(DiagnosticHandlerTy DiagnosticHandler,
105 void *DiagnosticContext) {
106 pImpl->DiagnosticHandler = DiagnosticHandler;
107 pImpl->DiagnosticContext = DiagnosticContext;
108}
109
110LLVMContext::DiagnosticHandlerTy LLVMContext::getDiagnosticHandler() const {
111 return pImpl->DiagnosticHandler;
112}
113
114void *LLVMContext::getDiagnosticContext() const {
115 return pImpl->DiagnosticContext;
116}
117
Chris Lattnere22e6132012-01-03 23:47:05 +0000118void LLVMContext::emitError(const Twine &ErrorStr) {
Quentin Colombetdec8d552014-02-22 00:34:11 +0000119 diagnose(DiagnosticInfoInlineAsm(ErrorStr));
Chris Lattner1e457892010-04-07 23:40:44 +0000120}
121
Bob Wilsonbfb44ef2013-02-08 21:48:29 +0000122void LLVMContext::emitError(const Instruction *I, const Twine &ErrorStr) {
Quentin Colombetdec8d552014-02-22 00:34:11 +0000123 assert (I && "Invalid instruction");
124 diagnose(DiagnosticInfoInlineAsm(*I, ErrorStr));
Chris Lattner1e457892010-04-07 23:40:44 +0000125}
126
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000127void LLVMContext::diagnose(const DiagnosticInfo &DI) {
128 // If there is a report handler, use it.
129 if (pImpl->DiagnosticHandler != 0) {
130 pImpl->DiagnosticHandler(DI, pImpl->DiagnosticContext);
131 return;
132 }
133 // Otherwise, print the message with a prefix based on the severity.
134 std::string MsgStorage;
135 raw_string_ostream Stream(MsgStorage);
136 DiagnosticPrinterRawOStream DP(Stream);
137 DI.print(DP);
138 Stream.flush();
139 switch (DI.getSeverity()) {
140 case DS_Error:
141 errs() << "error: " << MsgStorage << "\n";
142 exit(1);
143 case DS_Warning:
144 errs() << "warning: " << MsgStorage << "\n";
145 break;
Tobias Grossere8d4c9a2014-02-28 09:08:45 +0000146 case DS_Remark:
147 errs() << "remark: " << MsgStorage << "\n";
148 break;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000149 case DS_Note:
150 errs() << "note: " << MsgStorage << "\n";
151 break;
152 }
153}
154
Chris Lattnere22e6132012-01-03 23:47:05 +0000155void LLVMContext::emitError(unsigned LocCookie, const Twine &ErrorStr) {
Quentin Colombetdec8d552014-02-22 00:34:11 +0000156 diagnose(DiagnosticInfoInlineAsm(LocCookie, ErrorStr));
Chris Lattner1e457892010-04-07 23:40:44 +0000157}
158
Diego Novilloa9298b22014-04-08 16:42:34 +0000159void LLVMContext::emitOptimizationRemark(const char *PassName,
160 const Function &Fn,
161 const DebugLoc &DLoc,
162 const Twine &Msg) {
163 diagnose(DiagnosticInfoOptimizationRemark(PassName, Fn, DLoc, Msg));
164}
165
Chris Lattner1e457892010-04-07 23:40:44 +0000166//===----------------------------------------------------------------------===//
167// Metadata Kind Uniquing
168//===----------------------------------------------------------------------===//
169
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000170#ifndef NDEBUG
171/// isValidName - Return true if Name is a valid custom metadata handler name.
172static bool isValidName(StringRef MDName) {
173 if (MDName.empty())
174 return false;
Bob Wilsonec3ff9c2010-12-17 23:06:32 +0000175
Guy Benyei83c74e92013-02-12 21:21:59 +0000176 if (!std::isalpha(static_cast<unsigned char>(MDName[0])))
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000177 return false;
Bob Wilsonec3ff9c2010-12-17 23:06:32 +0000178
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000179 for (StringRef::iterator I = MDName.begin() + 1, E = MDName.end(); I != E;
180 ++I) {
Guy Benyei83c74e92013-02-12 21:21:59 +0000181 if (!std::isalnum(static_cast<unsigned char>(*I)) && *I != '_' &&
182 *I != '-' && *I != '.')
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000183 return false;
184 }
185 return true;
Owen Andersonafd0c4c2009-08-04 22:41:48 +0000186}
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000187#endif
188
189/// getMDKindID - Return a unique non-zero ID for the specified metadata kind.
190unsigned LLVMContext::getMDKindID(StringRef Name) const {
191 assert(isValidName(Name) && "Invalid MDNode name");
Dan Gohman43aa8f02010-07-20 21:42:28 +0000192
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000193 // If this is new, assign it its ID.
Dan Gohman43aa8f02010-07-20 21:42:28 +0000194 return
195 pImpl->CustomMDKindNames.GetOrCreateValue(
196 Name, pImpl->CustomMDKindNames.size()).second;
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000197}
198
199/// getHandlerNames - Populate client supplied smallvector using custome
200/// metadata name and ID.
201void LLVMContext::getMDKindNames(SmallVectorImpl<StringRef> &Names) const {
Dan Gohman43aa8f02010-07-20 21:42:28 +0000202 Names.resize(pImpl->CustomMDKindNames.size());
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000203 for (StringMap<unsigned>::const_iterator I = pImpl->CustomMDKindNames.begin(),
204 E = pImpl->CustomMDKindNames.end(); I != E; ++I)
Chris Lattnera3b94ba2010-03-30 20:48:48 +0000205 Names[I->second] = I->first();
206}