blob: faa5dc69b8b1bdb6fb37f2f6939c7454c5f04b5f [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- SourceLocation.h - Compact identifier for Source Files -*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file defines the SourceLocation class.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_CLANG_SOURCELOCATION_H
15#define LLVM_CLANG_SOURCELOCATION_H
16
Chris Lattner9dc1f532007-07-20 16:37:10 +000017#include <cassert>
Ted Kremenek0a449ee2007-10-25 18:27:10 +000018#include "llvm/Bitcode/SerializationFwd.h"
Chris Lattner9dc1f532007-07-20 16:37:10 +000019
Ted Kremenek9c728dc2007-12-12 22:39:36 +000020namespace llvm {
21class MemoryBuffer;
22}
23
Reid Spencer5f016e22007-07-11 17:01:13 +000024namespace clang {
Ted Kremeneka9793ed2007-12-12 18:16:46 +000025
26class SourceManager;
Ted Kremenek9c728dc2007-12-12 22:39:36 +000027class FileEntry;
Reid Spencer5f016e22007-07-11 17:01:13 +000028
29/// SourceLocation - This is a carefully crafted 32-bit identifier that encodes
30/// a full include stack, line and column number information for a position in
31/// an input translation unit.
32class SourceLocation {
33 unsigned ID;
34public:
35 enum {
Chris Lattnerb7489d82007-11-09 23:52:16 +000036 // FileID Layout:
37 // bit 31: 0 -> FileID, 1 -> MacroID (invalid for FileID)
38 // 30...17 -> FileID of source location, index into SourceManager table.
Reid Spencer5f016e22007-07-11 17:01:13 +000039 FileIDBits = 14,
Chris Lattnerb7489d82007-11-09 23:52:16 +000040 // 0...16 -> Index into the chunk of the specified FileID.
Chris Lattner9dc1f532007-07-20 16:37:10 +000041 FilePosBits = 32-1-FileIDBits,
42
Chris Lattnerb7489d82007-11-09 23:52:16 +000043 // MacroID Layout:
44 // bit 31: 1 -> MacroID, 0 -> FileID (invalid for MacroID)
45
Chris Lattnerf8484542008-02-03 08:24:13 +000046 // bit 29,30: unused.
47
Chris Lattnerb7489d82007-11-09 23:52:16 +000048 // bits 28...9 -> MacroID number.
Chris Lattnerd1623a82007-07-21 06:41:57 +000049 MacroIDBits = 20,
Chris Lattnerb7489d82007-11-09 23:52:16 +000050 // bits 8...0 -> Macro Physical offset
Chris Lattner31bb8be2007-07-20 18:00:12 +000051 MacroPhysOffsBits = 9,
Chris Lattner2c64b7b2007-10-16 21:07:07 +000052
Chris Lattnerb7489d82007-11-09 23:52:16 +000053
54 // Useful constants.
Chris Lattner2c64b7b2007-10-16 21:07:07 +000055 ChunkSize = (1 << FilePosBits)
Reid Spencer5f016e22007-07-11 17:01:13 +000056 };
57
58 SourceLocation() : ID(0) {} // 0 is an invalid FileID.
59
Chris Lattner9dc1f532007-07-20 16:37:10 +000060 bool isFileID() const { return (ID >> 31) == 0; }
61 bool isMacroID() const { return (ID >> 31) != 0; }
62
Chris Lattnerb7489d82007-11-09 23:52:16 +000063 /// isValid - Return true if this is a valid SourceLocation object. Invalid
64 /// SourceLocations are often used when events have no corresponding location
65 /// in the source (e.g. a diagnostic is required for a command line option).
66 ///
67 bool isValid() const { return ID != 0; }
68 bool isInvalid() const { return ID == 0; }
69
Chris Lattner9dc1f532007-07-20 16:37:10 +000070 static SourceLocation getFileLoc(unsigned FileID, unsigned FilePos) {
71 SourceLocation L;
Reid Spencer5f016e22007-07-11 17:01:13 +000072 // If a FilePos is larger than (1<<FilePosBits), the SourceManager makes
73 // enough consequtive FileIDs that we have one for each chunk.
Chris Lattner2c64b7b2007-10-16 21:07:07 +000074 if (FilePos >= ChunkSize) {
Reid Spencer5f016e22007-07-11 17:01:13 +000075 FileID += FilePos >> FilePosBits;
Chris Lattner2c64b7b2007-10-16 21:07:07 +000076 FilePos &= ChunkSize-1;
Reid Spencer5f016e22007-07-11 17:01:13 +000077 }
78
79 // FIXME: Find a way to handle out of FileID bits! Maybe MaxFileID is an
80 // escape of some sort?
Chris Lattner4cabcfe2007-08-02 04:14:33 +000081 assert(FileID < (1 << FileIDBits) && "Out of fileid's");
Reid Spencer5f016e22007-07-11 17:01:13 +000082
Chris Lattner9dc1f532007-07-20 16:37:10 +000083 L.ID = (FileID << FilePosBits) | FilePos;
84 return L;
Reid Spencer5f016e22007-07-11 17:01:13 +000085 }
86
Chris Lattnerd1623a82007-07-21 06:41:57 +000087 static bool isValidMacroPhysOffs(int Val) {
88 if (Val >= 0)
89 return Val < (1 << (MacroPhysOffsBits-1));
90 return -Val < (1 << (MacroPhysOffsBits-1));
91 }
92
Chris Lattnerf8484542008-02-03 08:24:13 +000093 static SourceLocation getMacroLoc(unsigned MacroID, int PhysOffs){
Chris Lattner9dc1f532007-07-20 16:37:10 +000094 assert(MacroID < (1 << MacroIDBits) && "Too many macros!");
Chris Lattnerd1623a82007-07-21 06:41:57 +000095 assert(isValidMacroPhysOffs(PhysOffs) && "Physoffs too large!");
Chris Lattner9dc1f532007-07-20 16:37:10 +000096
Chris Lattnerb7489d82007-11-09 23:52:16 +000097 // Mask off sign bits.
Chris Lattnerd1623a82007-07-21 06:41:57 +000098 PhysOffs &= (1 << MacroPhysOffsBits)-1;
99
100 SourceLocation L;
Chris Lattnerb7489d82007-11-09 23:52:16 +0000101 L.ID = (1 << 31) |
Chris Lattnerb7489d82007-11-09 23:52:16 +0000102 (MacroID << MacroPhysOffsBits) |
103 PhysOffs;
Chris Lattner9dc1f532007-07-20 16:37:10 +0000104 return L;
105 }
106
107
Reid Spencer5f016e22007-07-11 17:01:13 +0000108 /// getFileID - Return the file identifier for this SourceLocation. This
109 /// FileID can be used with the SourceManager object to obtain an entire
110 /// include stack for a file position reference.
Chris Lattner9dc1f532007-07-20 16:37:10 +0000111 unsigned getFileID() const {
112 assert(isFileID() && "can't get the file id of a non-file sloc!");
113 return ID >> FilePosBits;
114 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000115
116 /// getRawFilePos - Return the byte offset from the start of the file-chunk
117 /// referred to by FileID. This method should not be used to get the offset
118 /// from the start of the file, instead you should use
Ted Kremenek9f68fa52008-03-18 20:13:06 +0000119 /// SourceManager::getDecomposedFileLoc. This method will be
120 // incorrect for large files.
Chris Lattner9dc1f532007-07-20 16:37:10 +0000121 unsigned getRawFilePos() const {
122 assert(isFileID() && "can't get the file id of a non-file sloc!");
Chris Lattner2c64b7b2007-10-16 21:07:07 +0000123 return ID & (ChunkSize-1);
Chris Lattner9dc1f532007-07-20 16:37:10 +0000124 }
125
126 unsigned getMacroID() const {
127 assert(isMacroID() && "Is not a macro id!");
Chris Lattnerb7489d82007-11-09 23:52:16 +0000128 return (ID >> MacroPhysOffsBits) & ((1 << MacroIDBits)-1);
Chris Lattner9dc1f532007-07-20 16:37:10 +0000129 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000130
Chris Lattnerd1623a82007-07-21 06:41:57 +0000131 int getMacroPhysOffs() const {
Chris Lattner9dc1f532007-07-20 16:37:10 +0000132 assert(isMacroID() && "Is not a macro id!");
Chris Lattnerb7489d82007-11-09 23:52:16 +0000133 int Val = ID & ((1 << MacroPhysOffsBits)-1);
Chris Lattnerd1623a82007-07-21 06:41:57 +0000134 // Sign extend it properly.
135 unsigned ShAmt = sizeof(int)*8 - MacroPhysOffsBits;
136 return (Val << ShAmt) >> ShAmt;
Chris Lattner9dc1f532007-07-20 16:37:10 +0000137 }
138
Chris Lattner9dc1f532007-07-20 16:37:10 +0000139 /// getFileLocWithOffset - Return a source location with the specified offset
140 /// from this file SourceLocation.
Chris Lattnerd1623a82007-07-21 06:41:57 +0000141 SourceLocation getFileLocWithOffset(int Offset) const {
Chris Lattner2c64b7b2007-10-16 21:07:07 +0000142 unsigned FileID = getFileID();
143 Offset += getRawFilePos();
144 // Handle negative offsets correctly.
145 while (Offset < 0) {
146 --FileID;
147 Offset += ChunkSize;
148 }
149 return getFileLoc(FileID, Offset);
Chris Lattner9dc1f532007-07-20 16:37:10 +0000150 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000151
152 /// getRawEncoding - When a SourceLocation itself cannot be used, this returns
153 /// an (opaque) 32-bit integer encoding for it. This should only be passed
154 /// to SourceLocation::getFromRawEncoding, it should not be inspected
155 /// directly.
156 unsigned getRawEncoding() const { return ID; }
157
158 /// getFromRawEncoding - Turn a raw encoding of a SourceLocation object into
159 /// a real SourceLocation.
160 static SourceLocation getFromRawEncoding(unsigned Encoding) {
161 SourceLocation X;
162 X.ID = Encoding;
163 return X;
164 }
Ted Kremenekbeb77132007-11-01 22:25:41 +0000165
166 /// Emit - Emit this SourceLocation object to Bitcode.
167 void Emit(llvm::Serializer& S) const;
168
169 /// ReadVal - Read a SourceLocation object from Bitcode.
170 static SourceLocation ReadVal(llvm::Deserializer& D);
Reid Spencer5f016e22007-07-11 17:01:13 +0000171};
172
173inline bool operator==(const SourceLocation &LHS, const SourceLocation &RHS) {
174 return LHS.getRawEncoding() == RHS.getRawEncoding();
175}
176
177inline bool operator!=(const SourceLocation &LHS, const SourceLocation &RHS) {
178 return !(LHS == RHS);
179}
180
181/// SourceRange - a trival tuple used to represent a source range.
182class SourceRange {
183 SourceLocation B;
184 SourceLocation E;
185public:
186 SourceRange(): B(SourceLocation()), E(SourceLocation()) {}
187 SourceRange(SourceLocation loc) : B(loc), E(loc) {}
188 SourceRange(SourceLocation begin, SourceLocation end) : B(begin), E(end) {}
189
Chris Lattner311ff022007-10-16 22:36:42 +0000190 SourceLocation getBegin() const { return B; }
191 SourceLocation getEnd() const { return E; }
Reid Spencer5f016e22007-07-11 17:01:13 +0000192
Chris Lattnere80a59c2007-07-25 00:24:17 +0000193 void setBegin(SourceLocation b) { B = b; }
194 void setEnd(SourceLocation e) { E = e; }
195
Reid Spencer5f016e22007-07-11 17:01:13 +0000196 bool isValid() const { return B.isValid() && E.isValid(); }
Ted Kremenekbeb77132007-11-01 22:25:41 +0000197
198 /// Emit - Emit this SourceRange object to Bitcode.
199 void Emit(llvm::Serializer& S) const;
200
201 /// ReadVal - Read a SourceRange object from Bitcode.
202 static SourceRange ReadVal(llvm::Deserializer& D);
Reid Spencer5f016e22007-07-11 17:01:13 +0000203};
204
Ted Kremeneke03a2f32007-12-12 18:32:04 +0000205/// FullSourceLoc - A tuple containing both a SourceLocation
Ted Kremeneka9793ed2007-12-12 18:16:46 +0000206/// and its associated SourceManager. Useful for argument passing to functions
207/// that expect both objects.
Ted Kremeneke03a2f32007-12-12 18:32:04 +0000208class FullSourceLoc {
Ted Kremeneka9793ed2007-12-12 18:16:46 +0000209 SourceLocation Loc;
Ted Kremenek9c728dc2007-12-12 22:39:36 +0000210 SourceManager* SrcMgr;
Ted Kremeneka9793ed2007-12-12 18:16:46 +0000211public:
Ted Kremenek1b924fd2007-12-12 18:54:21 +0000212 // Creates a FullSourceLoc where isValid() returns false.
Ted Kremenek21584fe2007-12-12 19:39:40 +0000213 explicit FullSourceLoc()
214 : Loc(SourceLocation()), SrcMgr((SourceManager*) 0) {}
Ted Kremeneka9793ed2007-12-12 18:16:46 +0000215
Ted Kremenek9c728dc2007-12-12 22:39:36 +0000216 explicit FullSourceLoc(SourceLocation loc, SourceManager& smgr)
217 : Loc(loc), SrcMgr(&smgr) {}
Ted Kremenek1b924fd2007-12-12 18:54:21 +0000218
Ted Kremenek25bb23a2007-12-12 18:18:05 +0000219 bool isValid() const { return Loc.isValid(); }
Ted Kremenek9c728dc2007-12-12 22:39:36 +0000220 bool isInvalid() const { return Loc.isInvalid(); }
Ted Kremeneka9793ed2007-12-12 18:16:46 +0000221
Ted Kremenek9c728dc2007-12-12 22:39:36 +0000222 SourceLocation getLocation() const { return Loc; }
223
224 SourceManager& getManager() {
225 assert (SrcMgr && "SourceManager is NULL.");
226 return *SrcMgr;
227 }
Ted Kremeneka9793ed2007-12-12 18:16:46 +0000228
Ted Kremenek1b924fd2007-12-12 18:54:21 +0000229 const SourceManager& getManager() const {
Ted Kremeneka9793ed2007-12-12 18:16:46 +0000230 assert (SrcMgr && "SourceManager is NULL.");
231 return *SrcMgr;
232 }
Ted Kremenek9c728dc2007-12-12 22:39:36 +0000233
234 FullSourceLoc getLogicalLoc();
235 FullSourceLoc getIncludeLoc();
236
237 unsigned getLineNumber();
238 unsigned getColumnNumber();
239
240 const char *getCharacterData() const;
241
242 const llvm::MemoryBuffer* getBuffer() const;
243
244 const char* getSourceName() const;
245 const FileEntry* getFileEntryForLoc() const;
246
Ted Kremenekec5d81b2008-04-03 07:11:38 +0000247 bool isFileID() const { return Loc.isFileID(); }
248
Ted Kremenek9c728dc2007-12-12 22:39:36 +0000249 bool operator==(const FullSourceLoc& RHS) const {
250 return SrcMgr == RHS.SrcMgr && Loc == RHS.Loc;
251 }
252
253 bool operator!=(const FullSourceLoc& RHS) const {
254 return SrcMgr != RHS.SrcMgr || Loc != RHS.Loc;
255 }
Ted Kremeneka9793ed2007-12-12 18:16:46 +0000256};
257
Reid Spencer5f016e22007-07-11 17:01:13 +0000258} // end namespace clang
259
Reid Spencer5f016e22007-07-11 17:01:13 +0000260#endif