1 //===-- StringRef.cpp - Lightweight String References ---------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "llvm/ADT/StringRef.h"
11 #include "llvm/ADT/APInt.h"
12 #include "llvm/ADT/OwningPtr.h"
17 // MSVC emits references to this into the translation units which reference it.
19 const size_t StringRef::npos;
22 static char ascii_tolower(char x) {
23 if (x >= 'A' && x <= 'Z')
28 static bool ascii_isdigit(char x) {
29 return x >= '0' && x <= '9';
32 /// compare_lower - Compare strings, ignoring case.
33 int StringRef::compare_lower(StringRef RHS) const {
34 for (size_t I = 0, E = min(Length, RHS.Length); I != E; ++I) {
35 unsigned char LHC = ascii_tolower(Data[I]);
36 unsigned char RHC = ascii_tolower(RHS.Data[I]);
38 return LHC < RHC ? -1 : 1;
41 if (Length == RHS.Length)
43 return Length < RHS.Length ? -1 : 1;
46 /// compare_numeric - Compare strings, handle embedded numbers.
47 int StringRef::compare_numeric(StringRef RHS) const {
48 for (size_t I = 0, E = min(Length, RHS.Length); I != E; ++I) {
49 // Check for sequences of digits.
50 if (ascii_isdigit(Data[I]) && ascii_isdigit(RHS.Data[I])) {
51 // The longer sequence of numbers is considered larger.
52 // This doesn't really handle prefixed zeros well.
54 for (J = I + 1; J != E + 1; ++J) {
55 bool ld = J < Length && ascii_isdigit(Data[J]);
56 bool rd = J < RHS.Length && ascii_isdigit(RHS.Data[J]);
62 // 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.
69 if (Data[I] != RHS.Data[I])
70 return (unsigned char)Data[I] < (unsigned char)RHS.Data[I] ? -1 : 1;
72 if (Length == RHS.Length)
74 return Length < RHS.Length ? -1 : 1;
77 // Compute the edit distance between the two given strings.
78 unsigned StringRef::edit_distance(llvm::StringRef Other,
79 bool AllowReplacements,
80 unsigned MaxEditDistance) {
81 // The algorithm implemented below is the "classic"
82 // dynamic-programming algorithm for computing the Levenshtein
83 // distance, which is described here:
85 // http://en.wikipedia.org/wiki/Levenshtein_distance
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.
91 size_type n = Other.size();
93 const unsigned SmallBufferSize = 64;
94 unsigned SmallBuffer[SmallBufferSize];
95 llvm::OwningArrayPtr<unsigned> Allocated;
96 unsigned *previous = SmallBuffer;
97 if (2*(n + 1) > SmallBufferSize) {
98 previous = new unsigned [2*(n+1)];
99 Allocated.reset(previous);
101 unsigned *current = previous + (n + 1);
103 for (unsigned i = 0; i <= n; ++i)
106 for (size_type y = 1; y <= m; ++y) {
108 unsigned BestThisRow = current[0];
110 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);
116 if ((*this)[y-1] == Other[x-1]) current[x] = previous[x-1];
117 else current[x] = min(current[x-1], previous[x]) + 1;
119 BestThisRow = min(BestThisRow, current[x]);
122 if (MaxEditDistance && BestThisRow > MaxEditDistance)
123 return MaxEditDistance + 1;
125 unsigned *tmp = current;
130 unsigned Result = previous[n];
134 //===----------------------------------------------------------------------===//
136 //===----------------------------------------------------------------------===//
139 /// find - Search for the first string \arg Str in the string.
141 /// \return - The index of the first occurrence of \arg Str, or npos if not
143 size_t StringRef::find(StringRef Str, size_t From) const {
144 size_t N = Str.size();
147 for (size_t e = Length - N + 1, i = min(From, e); i != e; ++i)
148 if (substr(i, N).equals(Str))
153 /// rfind - Search for the last string \arg Str in the string.
155 /// \return - The index of the last occurrence of \arg Str, or npos if not
157 size_t StringRef::rfind(StringRef Str) const {
158 size_t N = Str.size();
161 for (size_t i = Length - N + 1, e = 0; i != e;) {
163 if (substr(i, N).equals(Str))
169 /// find_first_of - Find the first character in the string that is in \arg
170 /// Chars, or npos if not found.
172 /// Note: O(size() + Chars.size())
173 StringRef::size_type StringRef::find_first_of(StringRef Chars,
175 std::bitset<1 << CHAR_BIT> CharBits;
176 for (size_type i = 0; i != Chars.size(); ++i)
177 CharBits.set((unsigned char)Chars[i]);
179 for (size_type i = min(From, Length), e = Length; i != e; ++i)
180 if (CharBits.test((unsigned char)Data[i]))
185 /// find_first_not_of - Find the first character in the string that is not
186 /// \arg C or npos if not found.
187 StringRef::size_type StringRef::find_first_not_of(char C, size_t From) const {
188 for (size_type i = min(From, Length), e = Length; i != e; ++i)
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.
197 /// Note: O(size() + Chars.size())
198 StringRef::size_type StringRef::find_first_not_of(StringRef Chars,
200 std::bitset<1 << CHAR_BIT> CharBits;
201 for (size_type i = 0; i != Chars.size(); ++i)
202 CharBits.set((unsigned char)Chars[i]);
204 for (size_type i = min(From, Length), e = Length; i != e; ++i)
205 if (!CharBits.test((unsigned char)Data[i]))
210 /// find_last_of - Find the last character in the string that is in \arg C,
211 /// or npos if not found.
213 /// Note: O(size() + Chars.size())
214 StringRef::size_type StringRef::find_last_of(StringRef Chars,
216 std::bitset<1 << CHAR_BIT> CharBits;
217 for (size_type i = 0; i != Chars.size(); ++i)
218 CharBits.set((unsigned char)Chars[i]);
220 for (size_type i = min(From, Length) - 1, e = -1; i != e; --i)
221 if (CharBits.test((unsigned char)Data[i]))
226 //===----------------------------------------------------------------------===//
227 // Helpful Algorithms
228 //===----------------------------------------------------------------------===//
230 /// count - Return the number of non-overlapped occurrences of \arg Str in
232 size_t StringRef::count(StringRef Str) const {
234 size_t N = Str.size();
237 for (size_t i = 0, e = Length - N + 1; i != e; ++i)
238 if (substr(i, N).equals(Str))
243 static unsigned GetAutoSenseRadix(StringRef &Str) {
244 if (Str.startswith("0x")) {
247 } else if (Str.startswith("0b")) {
250 } else if (Str.startswith("0")) {
258 /// GetAsUnsignedInteger - Workhorse method that converts a integer character
259 /// sequence of radix up to 36 to an unsigned long long value.
260 static bool GetAsUnsignedInteger(StringRef Str, unsigned Radix,
261 unsigned long long &Result) {
262 // Autosense radix if not specified.
264 Radix = GetAutoSenseRadix(Str);
266 // Empty strings (after the radix autosense) are invalid.
267 if (Str.empty()) return true;
269 // Parse all the bytes of the string given this radix. Watch for overflow.
271 while (!Str.empty()) {
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;
282 // If the parsed value is larger than the integer radix, the string is
284 if (CharVal >= Radix)
287 // Add in this character.
288 unsigned long long PrevResult = Result;
289 Result = Result*Radix+CharVal;
291 // Check for overflow.
292 if (Result < PrevResult)
301 bool StringRef::getAsInteger(unsigned Radix, unsigned long long &Result) const {
302 return GetAsUnsignedInteger(*this, Radix, Result);
306 bool StringRef::getAsInteger(unsigned Radix, long long &Result) const {
307 unsigned long long ULLVal;
309 // 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)
319 // 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)
331 bool StringRef::getAsInteger(unsigned Radix, int &Result) const {
333 if (getAsInteger(Radix, Val) ||
340 bool StringRef::getAsInteger(unsigned Radix, unsigned &Result) const {
341 unsigned long long Val;
342 if (getAsInteger(Radix, Val) ||
343 (unsigned)Val != Val)
349 bool StringRef::getAsInteger(unsigned Radix, APInt &Result) const {
350 StringRef Str = *this;
352 // Autosense radix if not specified.
354 Radix = GetAutoSenseRadix(Str);
356 assert(Radix > 1 && Radix <= 36);
358 // Empty strings (after the radix autosense) are invalid.
359 if (Str.empty()) return true;
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')
366 // If it was nothing but zeroes....
368 Result = APInt(64, 0);
372 // (Over-)estimate the required number of bits.
373 unsigned Log2Radix = 0;
374 while ((1U << Log2Radix) < Radix) Log2Radix++;
375 bool IsPowerOf2Radix = ((1U << Log2Radix) == Radix);
377 unsigned BitWidth = Log2Radix * Str.size();
378 if (BitWidth < Result.getBitWidth())
379 BitWidth = Result.getBitWidth(); // don't shrink the result
381 Result = Result.zext(BitWidth);
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);
390 // Parse all the bytes of the string given this radix.
392 while (!Str.empty()) {
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;
403 // If the parsed value is larger than the integer radix, the string is
405 if (CharVal >= Radix)
408 // Add in this character.
409 if (IsPowerOf2Radix) {
410 Result <<= Log2Radix;