blob: b5b4f9476026ee9a4e48eb2d1dd7212ee2d2e2ee [file] [log] [blame]
Daniel Dunbare6551282009-09-16 22:38:48 +00001//===-- StringRef.cpp - Lightweight String References ---------------------===//
2//
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//===----------------------------------------------------------------------===//
9
10#include "llvm/ADT/StringRef.h"
John McCall1e7ad392010-02-28 09:55:58 +000011#include "llvm/ADT/APInt.h"
Ted Kremenek13302ec2010-11-07 06:09:02 +000012#include "llvm/ADT/OwningPtr.h"
Benjamin Kramer250eb002010-08-23 18:16:08 +000013#include <bitset>
Douglas Gregorad6b6da2010-01-07 00:51:54 +000014
Daniel Dunbare6551282009-09-16 22:38:48 +000015using namespace llvm;
16
Daniel Dunbar77696be2009-09-22 03:34:40 +000017// MSVC emits references to this into the translation units which reference it.
18#ifndef _MSC_VER
Daniel Dunbare6551282009-09-16 22:38:48 +000019const size_t StringRef::npos;
Daniel Dunbar77696be2009-09-22 03:34:40 +000020#endif
Chris Lattnercea14382009-09-19 19:47:14 +000021
Benjamin Kramer05872ea2009-11-12 20:36:59 +000022static char ascii_tolower(char x) {
23 if (x >= 'A' && x <= 'Z')
24 return x - 'A' + 'a';
25 return x;
26}
27
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000028static bool ascii_isdigit(char x) {
29 return x >= '0' && x <= '9';
30}
31
Benjamin Kramer05872ea2009-11-12 20:36:59 +000032/// compare_lower - Compare strings, ignoring case.
33int StringRef::compare_lower(StringRef RHS) const {
Daniel Dunbar58ce7ac2009-11-19 18:53:18 +000034 for (size_t I = 0, E = min(Length, RHS.Length); I != E; ++I) {
Benjamin Kramer0043e352010-08-26 14:21:08 +000035 unsigned char LHC = ascii_tolower(Data[I]);
36 unsigned char RHC = ascii_tolower(RHS.Data[I]);
Benjamin Kramer05872ea2009-11-12 20:36:59 +000037 if (LHC != RHC)
38 return LHC < RHC ? -1 : 1;
39 }
40
41 if (Length == RHS.Length)
Benjamin Kramer0043e352010-08-26 14:21:08 +000042 return 0;
Benjamin Kramer05872ea2009-11-12 20:36:59 +000043 return Length < RHS.Length ? -1 : 1;
44}
45
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000046/// compare_numeric - Compare strings, handle embedded numbers.
47int StringRef::compare_numeric(StringRef RHS) const {
48 for (size_t I = 0, E = min(Length, RHS.Length); I != E; ++I) {
Jakob Stoklund Olesen7850dd02011-09-30 17:03:55 +000049 // Check for sequences of digits.
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000050 if (ascii_isdigit(Data[I]) && ascii_isdigit(RHS.Data[I])) {
Jakob Stoklund Olesen7850dd02011-09-30 17:03:55 +000051 // The longer sequence of numbers is considered larger.
52 // This doesn't really handle prefixed zeros well.
53 size_t J;
54 for (J = I + 1; J != E + 1; ++J) {
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000055 bool ld = J < Length && ascii_isdigit(Data[J]);
56 bool rd = J < RHS.Length && ascii_isdigit(RHS.Data[J]);
57 if (ld != rd)
58 return rd ? -1 : 1;
59 if (!rd)
60 break;
61 }
Jakob Stoklund Olesen7850dd02011-09-30 17:03:55 +000062 // The two number sequences have the same length (J-I), just memcmp them.
63 if (int Res = compareMemory(Data + I, RHS.Data + I, J - I))
64 return Res < 0 ? -1 : 1;
65 // Identical number sequences, continue search after the numbers.
66 I = J - 1;
67 continue;
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000068 }
Jakob Stoklund Olesen7850dd02011-09-30 17:03:55 +000069 if (Data[I] != RHS.Data[I])
70 return (unsigned char)Data[I] < (unsigned char)RHS.Data[I] ? -1 : 1;
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000071 }
72 if (Length == RHS.Length)
Benjamin Kramer0043e352010-08-26 14:21:08 +000073 return 0;
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000074 return Length < RHS.Length ? -1 : 1;
75}
76
Douglas Gregor7e54d5b2009-12-31 04:24:34 +000077// Compute the edit distance between the two given strings.
Michael J. Spencer326990f2010-11-26 04:16:08 +000078unsigned StringRef::edit_distance(llvm::StringRef Other,
Douglas Gregor5ee568a2010-10-19 22:13:48 +000079 bool AllowReplacements,
80 unsigned MaxEditDistance) {
Douglas Gregor7e54d5b2009-12-31 04:24:34 +000081 // The algorithm implemented below is the "classic"
82 // dynamic-programming algorithm for computing the Levenshtein
83 // distance, which is described here:
84 //
85 // http://en.wikipedia.org/wiki/Levenshtein_distance
86 //
87 // Although the algorithm is typically described using an m x n
88 // array, only two rows are used at a time, so this implemenation
89 // just keeps two separate vectors for those two rows.
Douglas Gregor441c8b42009-12-30 17:23:44 +000090 size_type m = size();
91 size_type n = Other.size();
92
Douglas Gregor2772ea82010-01-07 02:24:06 +000093 const unsigned SmallBufferSize = 64;
94 unsigned SmallBuffer[SmallBufferSize];
Ted Kremenek13302ec2010-11-07 06:09:02 +000095 llvm::OwningArrayPtr<unsigned> Allocated;
Douglas Gregor2772ea82010-01-07 02:24:06 +000096 unsigned *previous = SmallBuffer;
Ted Kremenek13302ec2010-11-07 06:09:02 +000097 if (2*(n + 1) > SmallBufferSize) {
98 previous = new unsigned [2*(n+1)];
99 Allocated.reset(previous);
100 }
Douglas Gregor2772ea82010-01-07 02:24:06 +0000101 unsigned *current = previous + (n + 1);
Michael J. Spencer326990f2010-11-26 04:16:08 +0000102
103 for (unsigned i = 0; i <= n; ++i)
Douglas Gregor441c8b42009-12-30 17:23:44 +0000104 previous[i] = i;
105
Douglas Gregor441c8b42009-12-30 17:23:44 +0000106 for (size_type y = 1; y <= m; ++y) {
Douglas Gregor441c8b42009-12-30 17:23:44 +0000107 current[0] = y;
Douglas Gregor5ee568a2010-10-19 22:13:48 +0000108 unsigned BestThisRow = current[0];
Michael J. Spencer326990f2010-11-26 04:16:08 +0000109
Douglas Gregor441c8b42009-12-30 17:23:44 +0000110 for (size_type x = 1; x <= n; ++x) {
111 if (AllowReplacements) {
112 current[x] = min(previous[x-1] + ((*this)[y-1] == Other[x-1]? 0u:1u),
113 min(current[x-1], previous[x])+1);
114 }
115 else {
116 if ((*this)[y-1] == Other[x-1]) current[x] = previous[x-1];
117 else current[x] = min(current[x-1], previous[x]) + 1;
118 }
Douglas Gregor5ee568a2010-10-19 22:13:48 +0000119 BestThisRow = min(BestThisRow, current[x]);
Douglas Gregor441c8b42009-12-30 17:23:44 +0000120 }
Michael J. Spencer326990f2010-11-26 04:16:08 +0000121
Douglas Gregor5ee568a2010-10-19 22:13:48 +0000122 if (MaxEditDistance && BestThisRow > MaxEditDistance)
123 return MaxEditDistance + 1;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000124
Douglas Gregorad6b6da2010-01-07 00:51:54 +0000125 unsigned *tmp = current;
126 current = previous;
127 previous = tmp;
Douglas Gregor441c8b42009-12-30 17:23:44 +0000128 }
129
Douglas Gregorad6b6da2010-01-07 00:51:54 +0000130 unsigned Result = previous[n];
Douglas Gregorad6b6da2010-01-07 00:51:54 +0000131 return Result;
Douglas Gregor441c8b42009-12-30 17:23:44 +0000132}
133
Chris Lattner05a32c82009-09-20 01:22:16 +0000134//===----------------------------------------------------------------------===//
135// String Searching
136//===----------------------------------------------------------------------===//
137
138
139/// find - Search for the first string \arg Str in the string.
140///
Chris Lattner7a2bdde2011-04-15 05:18:47 +0000141/// \return - The index of the first occurrence of \arg Str, or npos if not
Chris Lattner05a32c82009-09-20 01:22:16 +0000142/// found.
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000143size_t StringRef::find(StringRef Str, size_t From) const {
Chris Lattner05a32c82009-09-20 01:22:16 +0000144 size_t N = Str.size();
145 if (N > Length)
146 return npos;
Daniel Dunbar58ce7ac2009-11-19 18:53:18 +0000147 for (size_t e = Length - N + 1, i = min(From, e); i != e; ++i)
Chris Lattner05a32c82009-09-20 01:22:16 +0000148 if (substr(i, N).equals(Str))
149 return i;
150 return npos;
151}
152
153/// rfind - Search for the last string \arg Str in the string.
154///
Chris Lattner7a2bdde2011-04-15 05:18:47 +0000155/// \return - The index of the last occurrence of \arg Str, or npos if not
Chris Lattner05a32c82009-09-20 01:22:16 +0000156/// found.
Daniel Dunbar2928c832009-11-06 10:58:06 +0000157size_t StringRef::rfind(StringRef Str) const {
Chris Lattner05a32c82009-09-20 01:22:16 +0000158 size_t N = Str.size();
159 if (N > Length)
160 return npos;
161 for (size_t i = Length - N + 1, e = 0; i != e;) {
162 --i;
163 if (substr(i, N).equals(Str))
164 return i;
165 }
166 return npos;
167}
168
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000169/// find_first_of - Find the first character in the string that is in \arg
170/// Chars, or npos if not found.
171///
Benjamin Kramer250eb002010-08-23 18:16:08 +0000172/// Note: O(size() + Chars.size())
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000173StringRef::size_type StringRef::find_first_of(StringRef Chars,
174 size_t From) const {
Benjamin Kramer250eb002010-08-23 18:16:08 +0000175 std::bitset<1 << CHAR_BIT> CharBits;
176 for (size_type i = 0; i != Chars.size(); ++i)
177 CharBits.set((unsigned char)Chars[i]);
178
Daniel Dunbar58ce7ac2009-11-19 18:53:18 +0000179 for (size_type i = min(From, Length), e = Length; i != e; ++i)
Benjamin Kramer250eb002010-08-23 18:16:08 +0000180 if (CharBits.test((unsigned char)Data[i]))
Chris Lattner05a32c82009-09-20 01:22:16 +0000181 return i;
182 return npos;
183}
184
185/// find_first_not_of - Find the first character in the string that is not
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000186/// \arg C or npos if not found.
187StringRef::size_type StringRef::find_first_not_of(char C, size_t From) const {
Daniel Dunbar58ce7ac2009-11-19 18:53:18 +0000188 for (size_type i = min(From, Length), e = Length; i != e; ++i)
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000189 if (Data[i] != C)
190 return i;
191 return npos;
192}
193
194/// find_first_not_of - Find the first character in the string that is not
195/// in the string \arg Chars, or npos if not found.
196///
Benjamin Kramer250eb002010-08-23 18:16:08 +0000197/// Note: O(size() + Chars.size())
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000198StringRef::size_type StringRef::find_first_not_of(StringRef Chars,
199 size_t From) const {
Benjamin Kramer250eb002010-08-23 18:16:08 +0000200 std::bitset<1 << CHAR_BIT> CharBits;
201 for (size_type i = 0; i != Chars.size(); ++i)
202 CharBits.set((unsigned char)Chars[i]);
203
Daniel Dunbar58ce7ac2009-11-19 18:53:18 +0000204 for (size_type i = min(From, Length), e = Length; i != e; ++i)
Benjamin Kramer250eb002010-08-23 18:16:08 +0000205 if (!CharBits.test((unsigned char)Data[i]))
Chris Lattner05a32c82009-09-20 01:22:16 +0000206 return i;
207 return npos;
208}
209
Michael J. Spencer63c133b2010-11-30 23:27:35 +0000210/// find_last_of - Find the last character in the string that is in \arg C,
211/// or npos if not found.
212///
213/// Note: O(size() + Chars.size())
214StringRef::size_type StringRef::find_last_of(StringRef Chars,
215 size_t From) const {
216 std::bitset<1 << CHAR_BIT> CharBits;
217 for (size_type i = 0; i != Chars.size(); ++i)
218 CharBits.set((unsigned char)Chars[i]);
219
220 for (size_type i = min(From, Length) - 1, e = -1; i != e; --i)
221 if (CharBits.test((unsigned char)Data[i]))
222 return i;
223 return npos;
224}
Chris Lattner05a32c82009-09-20 01:22:16 +0000225
226//===----------------------------------------------------------------------===//
227// Helpful Algorithms
228//===----------------------------------------------------------------------===//
229
230/// count - Return the number of non-overlapped occurrences of \arg Str in
231/// the string.
Daniel Dunbar2928c832009-11-06 10:58:06 +0000232size_t StringRef::count(StringRef Str) const {
Chris Lattner05a32c82009-09-20 01:22:16 +0000233 size_t Count = 0;
234 size_t N = Str.size();
235 if (N > Length)
236 return 0;
237 for (size_t i = 0, e = Length - N + 1; i != e; ++i)
238 if (substr(i, N).equals(Str))
239 ++Count;
240 return Count;
241}
242
John McCall1e7ad392010-02-28 09:55:58 +0000243static unsigned GetAutoSenseRadix(StringRef &Str) {
244 if (Str.startswith("0x")) {
245 Str = Str.substr(2);
246 return 16;
247 } else if (Str.startswith("0b")) {
248 Str = Str.substr(2);
249 return 2;
250 } else if (Str.startswith("0")) {
251 return 8;
252 } else {
253 return 10;
254 }
255}
256
257
Chris Lattner63c6b7d2009-09-19 23:58:48 +0000258/// GetAsUnsignedInteger - Workhorse method that converts a integer character
259/// sequence of radix up to 36 to an unsigned long long value.
Chris Lattnercea14382009-09-19 19:47:14 +0000260static bool GetAsUnsignedInteger(StringRef Str, unsigned Radix,
261 unsigned long long &Result) {
262 // Autosense radix if not specified.
John McCall1e7ad392010-02-28 09:55:58 +0000263 if (Radix == 0)
264 Radix = GetAutoSenseRadix(Str);
Michael J. Spencer326990f2010-11-26 04:16:08 +0000265
Chris Lattnercea14382009-09-19 19:47:14 +0000266 // Empty strings (after the radix autosense) are invalid.
267 if (Str.empty()) return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000268
Chris Lattnercea14382009-09-19 19:47:14 +0000269 // Parse all the bytes of the string given this radix. Watch for overflow.
270 Result = 0;
271 while (!Str.empty()) {
272 unsigned CharVal;
273 if (Str[0] >= '0' && Str[0] <= '9')
274 CharVal = Str[0]-'0';
275 else if (Str[0] >= 'a' && Str[0] <= 'z')
276 CharVal = Str[0]-'a'+10;
277 else if (Str[0] >= 'A' && Str[0] <= 'Z')
278 CharVal = Str[0]-'A'+10;
279 else
280 return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000281
Chris Lattnercea14382009-09-19 19:47:14 +0000282 // If the parsed value is larger than the integer radix, the string is
283 // invalid.
284 if (CharVal >= Radix)
285 return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000286
Chris Lattnercea14382009-09-19 19:47:14 +0000287 // Add in this character.
288 unsigned long long PrevResult = Result;
289 Result = Result*Radix+CharVal;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000290
Chris Lattnercea14382009-09-19 19:47:14 +0000291 // Check for overflow.
292 if (Result < PrevResult)
293 return true;
294
295 Str = Str.substr(1);
296 }
Michael J. Spencer326990f2010-11-26 04:16:08 +0000297
Chris Lattnercea14382009-09-19 19:47:14 +0000298 return false;
299}
300
301bool StringRef::getAsInteger(unsigned Radix, unsigned long long &Result) const {
302 return GetAsUnsignedInteger(*this, Radix, Result);
303}
304
Chris Lattner63c6b7d2009-09-19 23:58:48 +0000305
306bool StringRef::getAsInteger(unsigned Radix, long long &Result) const {
307 unsigned long long ULLVal;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000308
Chris Lattner63c6b7d2009-09-19 23:58:48 +0000309 // Handle positive strings first.
310 if (empty() || front() != '-') {
311 if (GetAsUnsignedInteger(*this, Radix, ULLVal) ||
312 // Check for value so large it overflows a signed value.
313 (long long)ULLVal < 0)
314 return true;
315 Result = ULLVal;
316 return false;
317 }
Michael J. Spencer326990f2010-11-26 04:16:08 +0000318
Chris Lattner63c6b7d2009-09-19 23:58:48 +0000319 // Get the positive part of the value.
320 if (GetAsUnsignedInteger(substr(1), Radix, ULLVal) ||
321 // Reject values so large they'd overflow as negative signed, but allow
322 // "-0". This negates the unsigned so that the negative isn't undefined
323 // on signed overflow.
324 (long long)-ULLVal > 0)
325 return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000326
Chris Lattner63c6b7d2009-09-19 23:58:48 +0000327 Result = -ULLVal;
328 return false;
329}
330
331bool StringRef::getAsInteger(unsigned Radix, int &Result) const {
332 long long Val;
333 if (getAsInteger(Radix, Val) ||
334 (int)Val != Val)
335 return true;
336 Result = Val;
337 return false;
338}
339
340bool StringRef::getAsInteger(unsigned Radix, unsigned &Result) const {
341 unsigned long long Val;
342 if (getAsInteger(Radix, Val) ||
343 (unsigned)Val != Val)
344 return true;
345 Result = Val;
346 return false;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000347}
John McCall1e7ad392010-02-28 09:55:58 +0000348
349bool StringRef::getAsInteger(unsigned Radix, APInt &Result) const {
350 StringRef Str = *this;
351
352 // Autosense radix if not specified.
353 if (Radix == 0)
354 Radix = GetAutoSenseRadix(Str);
355
356 assert(Radix > 1 && Radix <= 36);
Michael J. Spencer326990f2010-11-26 04:16:08 +0000357
John McCall1e7ad392010-02-28 09:55:58 +0000358 // Empty strings (after the radix autosense) are invalid.
359 if (Str.empty()) return true;
360
361 // Skip leading zeroes. This can be a significant improvement if
362 // it means we don't need > 64 bits.
363 while (!Str.empty() && Str.front() == '0')
364 Str = Str.substr(1);
365
366 // If it was nothing but zeroes....
367 if (Str.empty()) {
368 Result = APInt(64, 0);
369 return false;
370 }
371
372 // (Over-)estimate the required number of bits.
373 unsigned Log2Radix = 0;
374 while ((1U << Log2Radix) < Radix) Log2Radix++;
375 bool IsPowerOf2Radix = ((1U << Log2Radix) == Radix);
376
377 unsigned BitWidth = Log2Radix * Str.size();
378 if (BitWidth < Result.getBitWidth())
379 BitWidth = Result.getBitWidth(); // don't shrink the result
380 else
Jay Foad40f8f622010-12-07 08:25:19 +0000381 Result = Result.zext(BitWidth);
John McCall1e7ad392010-02-28 09:55:58 +0000382
383 APInt RadixAP, CharAP; // unused unless !IsPowerOf2Radix
384 if (!IsPowerOf2Radix) {
385 // These must have the same bit-width as Result.
386 RadixAP = APInt(BitWidth, Radix);
387 CharAP = APInt(BitWidth, 0);
388 }
389
390 // Parse all the bytes of the string given this radix.
391 Result = 0;
392 while (!Str.empty()) {
393 unsigned CharVal;
394 if (Str[0] >= '0' && Str[0] <= '9')
395 CharVal = Str[0]-'0';
396 else if (Str[0] >= 'a' && Str[0] <= 'z')
397 CharVal = Str[0]-'a'+10;
398 else if (Str[0] >= 'A' && Str[0] <= 'Z')
399 CharVal = Str[0]-'A'+10;
400 else
401 return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000402
John McCall1e7ad392010-02-28 09:55:58 +0000403 // If the parsed value is larger than the integer radix, the string is
404 // invalid.
405 if (CharVal >= Radix)
406 return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000407
John McCall1e7ad392010-02-28 09:55:58 +0000408 // Add in this character.
409 if (IsPowerOf2Radix) {
410 Result <<= Log2Radix;
411 Result |= CharVal;
412 } else {
413 Result *= RadixAP;
414 CharAP = CharVal;
415 Result += CharAP;
416 }
417
418 Str = Str.substr(1);
419 }
Michael J. Spencer326990f2010-11-26 04:16:08 +0000420
John McCall1e7ad392010-02-28 09:55:58 +0000421 return false;
422}