blob: 0227b9c2190477b367e6ad25dc4db908eb52a055 [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"
Kaelyn Uhrain01d53ec2012-02-15 22:13:07 +000013#include "llvm/ADT/edit_distance.h"
Benjamin Kramer250eb002010-08-23 18:16:08 +000014#include <bitset>
Douglas Gregorad6b6da2010-01-07 00:51:54 +000015
Daniel Dunbare6551282009-09-16 22:38:48 +000016using namespace llvm;
17
Daniel Dunbar77696be2009-09-22 03:34:40 +000018// MSVC emits references to this into the translation units which reference it.
19#ifndef _MSC_VER
Daniel Dunbare6551282009-09-16 22:38:48 +000020const size_t StringRef::npos;
Daniel Dunbar77696be2009-09-22 03:34:40 +000021#endif
Chris Lattnercea14382009-09-19 19:47:14 +000022
Benjamin Kramer05872ea2009-11-12 20:36:59 +000023static char ascii_tolower(char x) {
24 if (x >= 'A' && x <= 'Z')
25 return x - 'A' + 'a';
26 return x;
27}
28
Daniel Dunbar589fbb12011-11-06 18:04:43 +000029static char ascii_toupper(char x) {
30 if (x >= 'a' && x <= 'z')
31 return x - 'a' + 'A';
32 return x;
33}
34
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000035static bool ascii_isdigit(char x) {
36 return x >= '0' && x <= '9';
37}
38
Benjamin Kramer05872ea2009-11-12 20:36:59 +000039/// compare_lower - Compare strings, ignoring case.
40int StringRef::compare_lower(StringRef RHS) const {
Daniel Dunbar58ce7ac2009-11-19 18:53:18 +000041 for (size_t I = 0, E = min(Length, RHS.Length); I != E; ++I) {
Benjamin Kramer0043e352010-08-26 14:21:08 +000042 unsigned char LHC = ascii_tolower(Data[I]);
43 unsigned char RHC = ascii_tolower(RHS.Data[I]);
Benjamin Kramer05872ea2009-11-12 20:36:59 +000044 if (LHC != RHC)
45 return LHC < RHC ? -1 : 1;
46 }
47
48 if (Length == RHS.Length)
Benjamin Kramer0043e352010-08-26 14:21:08 +000049 return 0;
Benjamin Kramer05872ea2009-11-12 20:36:59 +000050 return Length < RHS.Length ? -1 : 1;
51}
52
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000053/// compare_numeric - Compare strings, handle embedded numbers.
54int StringRef::compare_numeric(StringRef RHS) const {
55 for (size_t I = 0, E = min(Length, RHS.Length); I != E; ++I) {
Jakob Stoklund Olesen7850dd02011-09-30 17:03:55 +000056 // Check for sequences of digits.
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000057 if (ascii_isdigit(Data[I]) && ascii_isdigit(RHS.Data[I])) {
Jakob Stoklund Olesen7850dd02011-09-30 17:03:55 +000058 // The longer sequence of numbers is considered larger.
59 // This doesn't really handle prefixed zeros well.
60 size_t J;
61 for (J = I + 1; J != E + 1; ++J) {
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000062 bool ld = J < Length && ascii_isdigit(Data[J]);
63 bool rd = J < RHS.Length && ascii_isdigit(RHS.Data[J]);
64 if (ld != rd)
65 return rd ? -1 : 1;
66 if (!rd)
67 break;
68 }
Jakob Stoklund Olesen7850dd02011-09-30 17:03:55 +000069 // The two number sequences have the same length (J-I), just memcmp them.
70 if (int Res = compareMemory(Data + I, RHS.Data + I, J - I))
71 return Res < 0 ? -1 : 1;
72 // Identical number sequences, continue search after the numbers.
73 I = J - 1;
74 continue;
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000075 }
Jakob Stoklund Olesen7850dd02011-09-30 17:03:55 +000076 if (Data[I] != RHS.Data[I])
77 return (unsigned char)Data[I] < (unsigned char)RHS.Data[I] ? -1 : 1;
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000078 }
79 if (Length == RHS.Length)
Benjamin Kramer0043e352010-08-26 14:21:08 +000080 return 0;
Jakob Stoklund Olesen160a3bf2010-05-26 21:47:28 +000081 return Length < RHS.Length ? -1 : 1;
82}
83
Douglas Gregor7e54d5b2009-12-31 04:24:34 +000084// Compute the edit distance between the two given strings.
Michael J. Spencer326990f2010-11-26 04:16:08 +000085unsigned StringRef::edit_distance(llvm::StringRef Other,
Douglas Gregor5ee568a2010-10-19 22:13:48 +000086 bool AllowReplacements,
87 unsigned MaxEditDistance) {
Kaelyn Uhrain01d53ec2012-02-15 22:13:07 +000088 return llvm::ComputeEditDistance(
89 llvm::ArrayRef<char>(data(), size()),
90 llvm::ArrayRef<char>(Other.data(), Other.size()),
91 AllowReplacements, MaxEditDistance);
Douglas Gregor441c8b42009-12-30 17:23:44 +000092}
93
Chris Lattner05a32c82009-09-20 01:22:16 +000094//===----------------------------------------------------------------------===//
Daniel Dunbar589fbb12011-11-06 18:04:43 +000095// String Operations
96//===----------------------------------------------------------------------===//
97
98std::string StringRef::lower() const {
99 std::string Result(size(), char());
100 for (size_type i = 0, e = size(); i != e; ++i) {
101 Result[i] = ascii_tolower(Data[i]);
102 }
103 return Result;
104}
105
106std::string StringRef::upper() const {
107 std::string Result(size(), char());
108 for (size_type i = 0, e = size(); i != e; ++i) {
Benjamin Kramera7b966f2011-11-06 20:36:50 +0000109 Result[i] = ascii_toupper(Data[i]);
Daniel Dunbar589fbb12011-11-06 18:04:43 +0000110 }
111 return Result;
112}
113
114//===----------------------------------------------------------------------===//
Chris Lattner05a32c82009-09-20 01:22:16 +0000115// String Searching
116//===----------------------------------------------------------------------===//
117
118
119/// find - Search for the first string \arg Str in the string.
120///
Chris Lattner7a2bdde2011-04-15 05:18:47 +0000121/// \return - The index of the first occurrence of \arg Str, or npos if not
Chris Lattner05a32c82009-09-20 01:22:16 +0000122/// found.
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000123size_t StringRef::find(StringRef Str, size_t From) const {
Chris Lattner05a32c82009-09-20 01:22:16 +0000124 size_t N = Str.size();
125 if (N > Length)
126 return npos;
Benjamin Kramer6e6a5582011-10-15 10:08:31 +0000127
128 // For short haystacks or unsupported needles fall back to the naive algorithm
129 if (Length < 16 || N > 255 || N == 0) {
130 for (size_t e = Length - N + 1, i = min(From, e); i != e; ++i)
131 if (substr(i, N).equals(Str))
132 return i;
133 return npos;
134 }
135
Benjamin Kramere7a07192011-10-17 20:49:40 +0000136 if (From >= Length)
137 return npos;
138
Benjamin Kramer6e6a5582011-10-15 10:08:31 +0000139 // Build the bad char heuristic table, with uint8_t to reduce cache thrashing.
140 uint8_t BadCharSkip[256];
141 std::memset(BadCharSkip, N, 256);
142 for (unsigned i = 0; i != N-1; ++i)
143 BadCharSkip[(uint8_t)Str[i]] = N-1-i;
144
Benjamin Kramere7a07192011-10-17 20:49:40 +0000145 unsigned Len = Length-From, Pos = From;
Benjamin Kramer6e6a5582011-10-15 10:08:31 +0000146 while (Len >= N) {
147 if (substr(Pos, N).equals(Str)) // See if this is the correct substring.
148 return Pos;
149
150 // Otherwise skip the appropriate number of bytes.
Benjamin Kramere7a07192011-10-17 20:49:40 +0000151 uint8_t Skip = BadCharSkip[(uint8_t)(*this)[Pos+N-1]];
Benjamin Kramer6e6a5582011-10-15 10:08:31 +0000152 Len -= Skip;
153 Pos += Skip;
154 }
155
Chris Lattner05a32c82009-09-20 01:22:16 +0000156 return npos;
157}
158
159/// rfind - Search for the last string \arg Str in the string.
160///
Chris Lattner7a2bdde2011-04-15 05:18:47 +0000161/// \return - The index of the last occurrence of \arg Str, or npos if not
Chris Lattner05a32c82009-09-20 01:22:16 +0000162/// found.
Daniel Dunbar2928c832009-11-06 10:58:06 +0000163size_t StringRef::rfind(StringRef Str) const {
Chris Lattner05a32c82009-09-20 01:22:16 +0000164 size_t N = Str.size();
165 if (N > Length)
166 return npos;
167 for (size_t i = Length - N + 1, e = 0; i != e;) {
168 --i;
169 if (substr(i, N).equals(Str))
170 return i;
171 }
172 return npos;
173}
174
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000175/// find_first_of - Find the first character in the string that is in \arg
176/// Chars, or npos if not found.
177///
Benjamin Kramer250eb002010-08-23 18:16:08 +0000178/// Note: O(size() + Chars.size())
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000179StringRef::size_type StringRef::find_first_of(StringRef Chars,
180 size_t From) const {
Benjamin Kramer250eb002010-08-23 18:16:08 +0000181 std::bitset<1 << CHAR_BIT> CharBits;
182 for (size_type i = 0; i != Chars.size(); ++i)
183 CharBits.set((unsigned char)Chars[i]);
184
Daniel Dunbar58ce7ac2009-11-19 18:53:18 +0000185 for (size_type i = min(From, Length), e = Length; i != e; ++i)
Benjamin Kramer250eb002010-08-23 18:16:08 +0000186 if (CharBits.test((unsigned char)Data[i]))
Chris Lattner05a32c82009-09-20 01:22:16 +0000187 return i;
188 return npos;
189}
190
191/// find_first_not_of - Find the first character in the string that is not
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000192/// \arg C or npos if not found.
193StringRef::size_type StringRef::find_first_not_of(char C, size_t From) const {
Daniel Dunbar58ce7ac2009-11-19 18:53:18 +0000194 for (size_type i = min(From, Length), e = Length; i != e; ++i)
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000195 if (Data[i] != C)
196 return i;
197 return npos;
198}
199
200/// find_first_not_of - Find the first character in the string that is not
201/// in the string \arg Chars, or npos if not found.
202///
Benjamin Kramer250eb002010-08-23 18:16:08 +0000203/// Note: O(size() + Chars.size())
Daniel Dunbar64066bd2009-11-11 00:28:53 +0000204StringRef::size_type StringRef::find_first_not_of(StringRef Chars,
205 size_t From) const {
Benjamin Kramer250eb002010-08-23 18:16:08 +0000206 std::bitset<1 << CHAR_BIT> CharBits;
207 for (size_type i = 0; i != Chars.size(); ++i)
208 CharBits.set((unsigned char)Chars[i]);
209
Daniel Dunbar58ce7ac2009-11-19 18:53:18 +0000210 for (size_type i = min(From, Length), e = Length; i != e; ++i)
Benjamin Kramer250eb002010-08-23 18:16:08 +0000211 if (!CharBits.test((unsigned char)Data[i]))
Chris Lattner05a32c82009-09-20 01:22:16 +0000212 return i;
213 return npos;
214}
215
Michael J. Spencer63c133b2010-11-30 23:27:35 +0000216/// find_last_of - Find the last character in the string that is in \arg C,
217/// or npos if not found.
218///
219/// Note: O(size() + Chars.size())
220StringRef::size_type StringRef::find_last_of(StringRef Chars,
221 size_t From) const {
222 std::bitset<1 << CHAR_BIT> CharBits;
223 for (size_type i = 0; i != Chars.size(); ++i)
224 CharBits.set((unsigned char)Chars[i]);
225
226 for (size_type i = min(From, Length) - 1, e = -1; i != e; --i)
227 if (CharBits.test((unsigned char)Data[i]))
228 return i;
229 return npos;
230}
Chris Lattner05a32c82009-09-20 01:22:16 +0000231
Duncan Sandsbf8653f2012-02-21 12:00:25 +0000232void StringRef::split(SmallVectorImpl<StringRef> &A,
233 StringRef Separators, int MaxSplit,
234 bool KeepEmpty) const {
235 StringRef rest = *this;
236
237 // rest.data() is used to distinguish cases like "a," that splits into
238 // "a" + "" and "a" that splits into "a" + 0.
239 for (int splits = 0;
240 rest.data() != NULL && (MaxSplit < 0 || splits < MaxSplit);
241 ++splits) {
242 std::pair<StringRef, StringRef> p = rest.split(Separators);
243
244 if (p.first.size() != 0 || KeepEmpty)
245 A.push_back(p.first);
246 rest = p.second;
247 }
248 // If we have a tail left, add it.
249 if (rest.data() != NULL && (rest.size() != 0 || KeepEmpty))
250 A.push_back(rest);
251}
252
Chris Lattner05a32c82009-09-20 01:22:16 +0000253//===----------------------------------------------------------------------===//
254// Helpful Algorithms
255//===----------------------------------------------------------------------===//
256
257/// count - Return the number of non-overlapped occurrences of \arg Str in
258/// the string.
Daniel Dunbar2928c832009-11-06 10:58:06 +0000259size_t StringRef::count(StringRef Str) const {
Chris Lattner05a32c82009-09-20 01:22:16 +0000260 size_t Count = 0;
261 size_t N = Str.size();
262 if (N > Length)
263 return 0;
264 for (size_t i = 0, e = Length - N + 1; i != e; ++i)
265 if (substr(i, N).equals(Str))
266 ++Count;
267 return Count;
268}
269
John McCall1e7ad392010-02-28 09:55:58 +0000270static unsigned GetAutoSenseRadix(StringRef &Str) {
271 if (Str.startswith("0x")) {
272 Str = Str.substr(2);
273 return 16;
274 } else if (Str.startswith("0b")) {
275 Str = Str.substr(2);
276 return 2;
277 } else if (Str.startswith("0")) {
278 return 8;
279 } else {
280 return 10;
281 }
282}
283
284
Chris Lattner63c6b7d2009-09-19 23:58:48 +0000285/// GetAsUnsignedInteger - Workhorse method that converts a integer character
286/// sequence of radix up to 36 to an unsigned long long value.
Chris Lattnercea14382009-09-19 19:47:14 +0000287static bool GetAsUnsignedInteger(StringRef Str, unsigned Radix,
288 unsigned long long &Result) {
289 // Autosense radix if not specified.
John McCall1e7ad392010-02-28 09:55:58 +0000290 if (Radix == 0)
291 Radix = GetAutoSenseRadix(Str);
Michael J. Spencer326990f2010-11-26 04:16:08 +0000292
Chris Lattnercea14382009-09-19 19:47:14 +0000293 // Empty strings (after the radix autosense) are invalid.
294 if (Str.empty()) return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000295
Chris Lattnercea14382009-09-19 19:47:14 +0000296 // Parse all the bytes of the string given this radix. Watch for overflow.
297 Result = 0;
298 while (!Str.empty()) {
299 unsigned CharVal;
300 if (Str[0] >= '0' && Str[0] <= '9')
301 CharVal = Str[0]-'0';
302 else if (Str[0] >= 'a' && Str[0] <= 'z')
303 CharVal = Str[0]-'a'+10;
304 else if (Str[0] >= 'A' && Str[0] <= 'Z')
305 CharVal = Str[0]-'A'+10;
306 else
307 return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000308
Chris Lattnercea14382009-09-19 19:47:14 +0000309 // If the parsed value is larger than the integer radix, the string is
310 // invalid.
311 if (CharVal >= Radix)
312 return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000313
Chris Lattnercea14382009-09-19 19:47:14 +0000314 // Add in this character.
315 unsigned long long PrevResult = Result;
316 Result = Result*Radix+CharVal;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000317
Chris Lattnercea14382009-09-19 19:47:14 +0000318 // Check for overflow.
319 if (Result < PrevResult)
320 return true;
321
322 Str = Str.substr(1);
323 }
Michael J. Spencer326990f2010-11-26 04:16:08 +0000324
Chris Lattnercea14382009-09-19 19:47:14 +0000325 return false;
326}
327
328bool StringRef::getAsInteger(unsigned Radix, unsigned long long &Result) const {
329 return GetAsUnsignedInteger(*this, Radix, Result);
330}
331
Chris Lattner63c6b7d2009-09-19 23:58:48 +0000332
333bool StringRef::getAsInteger(unsigned Radix, long long &Result) const {
334 unsigned long long ULLVal;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000335
Chris Lattner63c6b7d2009-09-19 23:58:48 +0000336 // Handle positive strings first.
337 if (empty() || front() != '-') {
338 if (GetAsUnsignedInteger(*this, Radix, ULLVal) ||
339 // Check for value so large it overflows a signed value.
340 (long long)ULLVal < 0)
341 return true;
342 Result = ULLVal;
343 return false;
344 }
Michael J. Spencer326990f2010-11-26 04:16:08 +0000345
Chris Lattner63c6b7d2009-09-19 23:58:48 +0000346 // Get the positive part of the value.
347 if (GetAsUnsignedInteger(substr(1), Radix, ULLVal) ||
348 // Reject values so large they'd overflow as negative signed, but allow
349 // "-0". This negates the unsigned so that the negative isn't undefined
350 // on signed overflow.
351 (long long)-ULLVal > 0)
352 return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000353
Chris Lattner63c6b7d2009-09-19 23:58:48 +0000354 Result = -ULLVal;
355 return false;
356}
357
358bool StringRef::getAsInteger(unsigned Radix, int &Result) const {
359 long long Val;
360 if (getAsInteger(Radix, Val) ||
361 (int)Val != Val)
362 return true;
363 Result = Val;
364 return false;
365}
366
367bool StringRef::getAsInteger(unsigned Radix, unsigned &Result) const {
368 unsigned long long Val;
369 if (getAsInteger(Radix, Val) ||
370 (unsigned)Val != Val)
371 return true;
372 Result = Val;
373 return false;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000374}
John McCall1e7ad392010-02-28 09:55:58 +0000375
376bool StringRef::getAsInteger(unsigned Radix, APInt &Result) const {
377 StringRef Str = *this;
378
379 // Autosense radix if not specified.
380 if (Radix == 0)
381 Radix = GetAutoSenseRadix(Str);
382
383 assert(Radix > 1 && Radix <= 36);
Michael J. Spencer326990f2010-11-26 04:16:08 +0000384
John McCall1e7ad392010-02-28 09:55:58 +0000385 // Empty strings (after the radix autosense) are invalid.
386 if (Str.empty()) return true;
387
388 // Skip leading zeroes. This can be a significant improvement if
389 // it means we don't need > 64 bits.
390 while (!Str.empty() && Str.front() == '0')
391 Str = Str.substr(1);
392
393 // If it was nothing but zeroes....
394 if (Str.empty()) {
395 Result = APInt(64, 0);
396 return false;
397 }
398
399 // (Over-)estimate the required number of bits.
400 unsigned Log2Radix = 0;
401 while ((1U << Log2Radix) < Radix) Log2Radix++;
402 bool IsPowerOf2Radix = ((1U << Log2Radix) == Radix);
403
404 unsigned BitWidth = Log2Radix * Str.size();
405 if (BitWidth < Result.getBitWidth())
406 BitWidth = Result.getBitWidth(); // don't shrink the result
407 else
Jay Foad40f8f622010-12-07 08:25:19 +0000408 Result = Result.zext(BitWidth);
John McCall1e7ad392010-02-28 09:55:58 +0000409
410 APInt RadixAP, CharAP; // unused unless !IsPowerOf2Radix
411 if (!IsPowerOf2Radix) {
412 // These must have the same bit-width as Result.
413 RadixAP = APInt(BitWidth, Radix);
414 CharAP = APInt(BitWidth, 0);
415 }
416
417 // Parse all the bytes of the string given this radix.
418 Result = 0;
419 while (!Str.empty()) {
420 unsigned CharVal;
421 if (Str[0] >= '0' && Str[0] <= '9')
422 CharVal = Str[0]-'0';
423 else if (Str[0] >= 'a' && Str[0] <= 'z')
424 CharVal = Str[0]-'a'+10;
425 else if (Str[0] >= 'A' && Str[0] <= 'Z')
426 CharVal = Str[0]-'A'+10;
427 else
428 return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000429
John McCall1e7ad392010-02-28 09:55:58 +0000430 // If the parsed value is larger than the integer radix, the string is
431 // invalid.
432 if (CharVal >= Radix)
433 return true;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000434
John McCall1e7ad392010-02-28 09:55:58 +0000435 // Add in this character.
436 if (IsPowerOf2Radix) {
437 Result <<= Log2Radix;
438 Result |= CharVal;
439 } else {
440 Result *= RadixAP;
441 CharAP = CharVal;
442 Result += CharAP;
443 }
444
445 Str = Str.substr(1);
446 }
Michael J. Spencer326990f2010-11-26 04:16:08 +0000447
John McCall1e7ad392010-02-28 09:55:58 +0000448 return false;
449}