1 //===- llvm/unittest/ADT/StringRefTest.cpp - StringRef unit tests ---------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 #include "llvm/ADT/StringRef.h"
10 #include "llvm/ADT/Hashing.h"
11 #include "llvm/ADT/STLExtras.h"
12 #include "llvm/ADT/SmallVector.h"
13 #include "llvm/ADT/StringExtras.h"
14 #include "llvm/Support/Allocator.h"
15 #include "llvm/Support/raw_ostream.h"
16 #include "gtest/gtest.h"
21 std::ostream
&operator<<(std::ostream
&OS
, const StringRef
&S
) {
26 std::ostream
&operator<<(std::ostream
&OS
,
27 const std::pair
<StringRef
, StringRef
> &P
) {
28 OS
<< "(" << P
.first
<< ", " << P
.second
<< ")";
34 // Check that we can't accidentally assign a temporary std::string to a
35 // StringRef. (Unfortunately we can't make use of the same thing with
38 !std::is_assignable
<StringRef
&, std::string
>::value
,
39 "Assigning from prvalue std::string");
41 !std::is_assignable
<StringRef
&, std::string
&&>::value
,
42 "Assigning from xvalue std::string");
44 std::is_assignable
<StringRef
&, std::string
&>::value
,
45 "Assigning from lvalue std::string");
47 std::is_assignable
<StringRef
&, const char *>::value
,
48 "Assigning from prvalue C string");
50 std::is_assignable
<StringRef
&, const char * &&>::value
,
51 "Assigning from xvalue C string");
53 std::is_assignable
<StringRef
&, const char * &>::value
,
54 "Assigning from lvalue C string");
57 TEST(StringRefTest
, Construction
) {
58 EXPECT_EQ("", StringRef());
59 EXPECT_EQ("hello", StringRef("hello"));
60 EXPECT_EQ("hello", StringRef("hello world", 5));
61 EXPECT_EQ("hello", StringRef(std::string("hello")));
64 TEST(StringRefTest
, EmptyInitializerList
) {
66 EXPECT_TRUE(S
.empty());
69 EXPECT_TRUE(S
.empty());
72 TEST(StringRefTest
, Iteration
) {
74 const char *p
= "hello";
75 for (const char *it
= S
.begin(), *ie
= S
.end(); it
!= ie
; ++it
, ++p
)
79 TEST(StringRefTest
, StringOps
) {
80 const char *p
= "hello";
81 EXPECT_EQ(p
, StringRef(p
, 0).data());
82 EXPECT_TRUE(StringRef().empty());
83 EXPECT_EQ((size_t) 5, StringRef("hello").size());
84 EXPECT_EQ(-1, StringRef("aab").compare("aad"));
85 EXPECT_EQ( 0, StringRef("aab").compare("aab"));
86 EXPECT_EQ( 1, StringRef("aab").compare("aaa"));
87 EXPECT_EQ(-1, StringRef("aab").compare("aabb"));
88 EXPECT_EQ( 1, StringRef("aab").compare("aa"));
89 EXPECT_EQ( 1, StringRef("\xFF").compare("\1"));
91 EXPECT_EQ(-1, StringRef("AaB").compare_lower("aAd"));
92 EXPECT_EQ( 0, StringRef("AaB").compare_lower("aab"));
93 EXPECT_EQ( 1, StringRef("AaB").compare_lower("AAA"));
94 EXPECT_EQ(-1, StringRef("AaB").compare_lower("aaBb"));
95 EXPECT_EQ(-1, StringRef("AaB").compare_lower("bb"));
96 EXPECT_EQ( 1, StringRef("aaBb").compare_lower("AaB"));
97 EXPECT_EQ( 1, StringRef("bb").compare_lower("AaB"));
98 EXPECT_EQ( 1, StringRef("AaB").compare_lower("aA"));
99 EXPECT_EQ( 1, StringRef("\xFF").compare_lower("\1"));
101 EXPECT_EQ(-1, StringRef("aab").compare_numeric("aad"));
102 EXPECT_EQ( 0, StringRef("aab").compare_numeric("aab"));
103 EXPECT_EQ( 1, StringRef("aab").compare_numeric("aaa"));
104 EXPECT_EQ(-1, StringRef("aab").compare_numeric("aabb"));
105 EXPECT_EQ( 1, StringRef("aab").compare_numeric("aa"));
106 EXPECT_EQ(-1, StringRef("1").compare_numeric("10"));
107 EXPECT_EQ( 0, StringRef("10").compare_numeric("10"));
108 EXPECT_EQ( 0, StringRef("10a").compare_numeric("10a"));
109 EXPECT_EQ( 1, StringRef("2").compare_numeric("1"));
110 EXPECT_EQ( 0, StringRef("llvm_v1i64_ty").compare_numeric("llvm_v1i64_ty"));
111 EXPECT_EQ( 1, StringRef("\xFF").compare_numeric("\1"));
112 EXPECT_EQ( 1, StringRef("V16").compare_numeric("V1_q0"));
113 EXPECT_EQ(-1, StringRef("V1_q0").compare_numeric("V16"));
114 EXPECT_EQ(-1, StringRef("V8_q0").compare_numeric("V16"));
115 EXPECT_EQ( 1, StringRef("V16").compare_numeric("V8_q0"));
116 EXPECT_EQ(-1, StringRef("V1_q0").compare_numeric("V8_q0"));
117 EXPECT_EQ( 1, StringRef("V8_q0").compare_numeric("V1_q0"));
120 TEST(StringRefTest
, Operators
) {
121 EXPECT_EQ("", StringRef());
122 EXPECT_TRUE(StringRef("aab") < StringRef("aad"));
123 EXPECT_FALSE(StringRef("aab") < StringRef("aab"));
124 EXPECT_TRUE(StringRef("aab") <= StringRef("aab"));
125 EXPECT_FALSE(StringRef("aab") <= StringRef("aaa"));
126 EXPECT_TRUE(StringRef("aad") > StringRef("aab"));
127 EXPECT_FALSE(StringRef("aab") > StringRef("aab"));
128 EXPECT_TRUE(StringRef("aab") >= StringRef("aab"));
129 EXPECT_FALSE(StringRef("aaa") >= StringRef("aab"));
130 EXPECT_EQ(StringRef("aab"), StringRef("aab"));
131 EXPECT_FALSE(StringRef("aab") == StringRef("aac"));
132 EXPECT_FALSE(StringRef("aab") != StringRef("aab"));
133 EXPECT_TRUE(StringRef("aab") != StringRef("aac"));
134 EXPECT_EQ('a', StringRef("aab")[1]);
137 TEST(StringRefTest
, Substr
) {
138 StringRef
Str("hello");
139 EXPECT_EQ("lo", Str
.substr(3));
140 EXPECT_EQ("", Str
.substr(100));
141 EXPECT_EQ("hello", Str
.substr(0, 100));
142 EXPECT_EQ("o", Str
.substr(4, 10));
145 TEST(StringRefTest
, Slice
) {
146 StringRef
Str("hello");
147 EXPECT_EQ("l", Str
.slice(2, 3));
148 EXPECT_EQ("ell", Str
.slice(1, 4));
149 EXPECT_EQ("llo", Str
.slice(2, 100));
150 EXPECT_EQ("", Str
.slice(2, 1));
151 EXPECT_EQ("", Str
.slice(10, 20));
154 TEST(StringRefTest
, Split
) {
155 StringRef
Str("hello");
156 EXPECT_EQ(std::make_pair(StringRef("hello"), StringRef("")),
158 EXPECT_EQ(std::make_pair(StringRef("h"), StringRef("llo")),
160 EXPECT_EQ(std::make_pair(StringRef(""), StringRef("ello")),
162 EXPECT_EQ(std::make_pair(StringRef("he"), StringRef("lo")),
164 EXPECT_EQ(std::make_pair(StringRef("hell"), StringRef("")),
167 EXPECT_EQ(std::make_pair(StringRef("hello"), StringRef("")),
169 EXPECT_EQ(std::make_pair(StringRef("h"), StringRef("llo")),
171 EXPECT_EQ(std::make_pair(StringRef(""), StringRef("ello")),
173 EXPECT_EQ(std::make_pair(StringRef("hel"), StringRef("o")),
175 EXPECT_EQ(std::make_pair(StringRef("hell"), StringRef("")),
178 EXPECT_EQ(std::make_pair(StringRef("he"), StringRef("o")),
180 EXPECT_EQ(std::make_pair(StringRef(""), StringRef("ello")),
182 EXPECT_EQ(std::make_pair(StringRef("hell"), StringRef("")),
184 EXPECT_EQ(std::make_pair(StringRef("hello"), StringRef("")),
186 EXPECT_EQ(std::make_pair(StringRef("hel"), StringRef("o")),
190 TEST(StringRefTest
, Split2
) {
191 SmallVector
<StringRef
, 5> parts
;
192 SmallVector
<StringRef
, 5> expected
;
194 expected
.push_back("ab"); expected
.push_back("c");
195 StringRef(",ab,,c,").split(parts
, ",", -1, false);
196 EXPECT_TRUE(parts
== expected
);
198 expected
.clear(); parts
.clear();
199 expected
.push_back(""); expected
.push_back("ab"); expected
.push_back("");
200 expected
.push_back("c"); expected
.push_back("");
201 StringRef(",ab,,c,").split(parts
, ",", -1, true);
202 EXPECT_TRUE(parts
== expected
);
204 expected
.clear(); parts
.clear();
205 expected
.push_back("");
206 StringRef("").split(parts
, ",", -1, true);
207 EXPECT_TRUE(parts
== expected
);
209 expected
.clear(); parts
.clear();
210 StringRef("").split(parts
, ",", -1, false);
211 EXPECT_TRUE(parts
== expected
);
213 expected
.clear(); parts
.clear();
214 StringRef(",").split(parts
, ",", -1, false);
215 EXPECT_TRUE(parts
== expected
);
217 expected
.clear(); parts
.clear();
218 expected
.push_back(""); expected
.push_back("");
219 StringRef(",").split(parts
, ",", -1, true);
220 EXPECT_TRUE(parts
== expected
);
222 expected
.clear(); parts
.clear();
223 expected
.push_back("a"); expected
.push_back("b");
224 StringRef("a,b").split(parts
, ",", -1, true);
225 EXPECT_TRUE(parts
== expected
);
228 expected
.clear(); parts
.clear();
229 expected
.push_back("a,,b,c");
230 StringRef("a,,b,c").split(parts
, ",", 0, true);
231 EXPECT_TRUE(parts
== expected
);
233 expected
.clear(); parts
.clear();
234 expected
.push_back("a,,b,c");
235 StringRef("a,,b,c").split(parts
, ",", 0, false);
236 EXPECT_TRUE(parts
== expected
);
238 expected
.clear(); parts
.clear();
239 expected
.push_back("a"); expected
.push_back(",b,c");
240 StringRef("a,,b,c").split(parts
, ",", 1, true);
241 EXPECT_TRUE(parts
== expected
);
243 expected
.clear(); parts
.clear();
244 expected
.push_back("a"); expected
.push_back(",b,c");
245 StringRef("a,,b,c").split(parts
, ",", 1, false);
246 EXPECT_TRUE(parts
== expected
);
248 expected
.clear(); parts
.clear();
249 expected
.push_back("a"); expected
.push_back(""); expected
.push_back("b,c");
250 StringRef("a,,b,c").split(parts
, ",", 2, true);
251 EXPECT_TRUE(parts
== expected
);
253 expected
.clear(); parts
.clear();
254 expected
.push_back("a"); expected
.push_back("b,c");
255 StringRef("a,,b,c").split(parts
, ",", 2, false);
256 EXPECT_TRUE(parts
== expected
);
258 expected
.clear(); parts
.clear();
259 expected
.push_back("a"); expected
.push_back(""); expected
.push_back("b");
260 expected
.push_back("c");
261 StringRef("a,,b,c").split(parts
, ",", 3, true);
262 EXPECT_TRUE(parts
== expected
);
264 expected
.clear(); parts
.clear();
265 expected
.push_back("a"); expected
.push_back("b"); expected
.push_back("c");
266 StringRef("a,,b,c").split(parts
, ",", 3, false);
267 EXPECT_TRUE(parts
== expected
);
269 expected
.clear(); parts
.clear();
270 expected
.push_back("a"); expected
.push_back("b"); expected
.push_back("c");
271 StringRef("a,,b,c").split(parts
, ',', 3, false);
272 EXPECT_TRUE(parts
== expected
);
274 expected
.clear(); parts
.clear();
275 expected
.push_back("");
276 StringRef().split(parts
, ",", 0, true);
277 EXPECT_TRUE(parts
== expected
);
279 expected
.clear(); parts
.clear();
280 expected
.push_back(StringRef());
281 StringRef("").split(parts
, ",", 0, true);
282 EXPECT_TRUE(parts
== expected
);
284 expected
.clear(); parts
.clear();
285 StringRef("").split(parts
, ",", 0, false);
286 EXPECT_TRUE(parts
== expected
);
287 StringRef().split(parts
, ",", 0, false);
288 EXPECT_TRUE(parts
== expected
);
290 expected
.clear(); parts
.clear();
291 expected
.push_back("a");
292 expected
.push_back("");
293 expected
.push_back("b");
294 expected
.push_back("c,d");
295 StringRef("a,,b,c,d").split(parts
, ",", 3, true);
296 EXPECT_TRUE(parts
== expected
);
298 expected
.clear(); parts
.clear();
299 expected
.push_back("");
300 StringRef().split(parts
, ',', 0, true);
301 EXPECT_TRUE(parts
== expected
);
303 expected
.clear(); parts
.clear();
304 expected
.push_back(StringRef());
305 StringRef("").split(parts
, ',', 0, true);
306 EXPECT_TRUE(parts
== expected
);
308 expected
.clear(); parts
.clear();
309 StringRef("").split(parts
, ',', 0, false);
310 EXPECT_TRUE(parts
== expected
);
311 StringRef().split(parts
, ',', 0, false);
312 EXPECT_TRUE(parts
== expected
);
314 expected
.clear(); parts
.clear();
315 expected
.push_back("a");
316 expected
.push_back("");
317 expected
.push_back("b");
318 expected
.push_back("c,d");
319 StringRef("a,,b,c,d").split(parts
, ',', 3, true);
320 EXPECT_TRUE(parts
== expected
);
323 TEST(StringRefTest
, Trim
) {
324 StringRef
Str0("hello");
325 StringRef
Str1(" hello ");
326 StringRef
Str2(" hello ");
328 EXPECT_EQ(StringRef("hello"), Str0
.rtrim());
329 EXPECT_EQ(StringRef(" hello"), Str1
.rtrim());
330 EXPECT_EQ(StringRef(" hello"), Str2
.rtrim());
331 EXPECT_EQ(StringRef("hello"), Str0
.ltrim());
332 EXPECT_EQ(StringRef("hello "), Str1
.ltrim());
333 EXPECT_EQ(StringRef("hello "), Str2
.ltrim());
334 EXPECT_EQ(StringRef("hello"), Str0
.trim());
335 EXPECT_EQ(StringRef("hello"), Str1
.trim());
336 EXPECT_EQ(StringRef("hello"), Str2
.trim());
338 EXPECT_EQ(StringRef("ello"), Str0
.trim("hhhhhhhhhhh"));
340 EXPECT_EQ(StringRef(""), StringRef("").trim());
341 EXPECT_EQ(StringRef(""), StringRef(" ").trim());
342 EXPECT_EQ(StringRef("\0", 1), StringRef(" \0 ", 3).trim());
343 EXPECT_EQ(StringRef("\0\0", 2), StringRef("\0\0", 2).trim());
344 EXPECT_EQ(StringRef("x"), StringRef("\0\0x\0\0", 5).trim('\0'));
347 TEST(StringRefTest
, StartsWith
) {
348 StringRef
Str("hello");
349 EXPECT_TRUE(Str
.startswith(""));
350 EXPECT_TRUE(Str
.startswith("he"));
351 EXPECT_FALSE(Str
.startswith("helloworld"));
352 EXPECT_FALSE(Str
.startswith("hi"));
355 TEST(StringRefTest
, StartsWithLower
) {
356 StringRef
Str("heLLo");
357 EXPECT_TRUE(Str
.startswith_lower(""));
358 EXPECT_TRUE(Str
.startswith_lower("he"));
359 EXPECT_TRUE(Str
.startswith_lower("hell"));
360 EXPECT_TRUE(Str
.startswith_lower("HELlo"));
361 EXPECT_FALSE(Str
.startswith_lower("helloworld"));
362 EXPECT_FALSE(Str
.startswith_lower("hi"));
365 TEST(StringRefTest
, ConsumeFront
) {
366 StringRef
Str("hello");
367 EXPECT_TRUE(Str
.consume_front(""));
368 EXPECT_EQ("hello", Str
);
369 EXPECT_TRUE(Str
.consume_front("he"));
370 EXPECT_EQ("llo", Str
);
371 EXPECT_FALSE(Str
.consume_front("lloworld"));
372 EXPECT_EQ("llo", Str
);
373 EXPECT_FALSE(Str
.consume_front("lol"));
374 EXPECT_EQ("llo", Str
);
375 EXPECT_TRUE(Str
.consume_front("llo"));
377 EXPECT_FALSE(Str
.consume_front("o"));
378 EXPECT_TRUE(Str
.consume_front(""));
381 TEST(StringRefTest
, EndsWith
) {
382 StringRef
Str("hello");
383 EXPECT_TRUE(Str
.endswith(""));
384 EXPECT_TRUE(Str
.endswith("lo"));
385 EXPECT_FALSE(Str
.endswith("helloworld"));
386 EXPECT_FALSE(Str
.endswith("worldhello"));
387 EXPECT_FALSE(Str
.endswith("so"));
390 TEST(StringRefTest
, EndsWithLower
) {
391 StringRef
Str("heLLo");
392 EXPECT_TRUE(Str
.endswith_lower(""));
393 EXPECT_TRUE(Str
.endswith_lower("lo"));
394 EXPECT_TRUE(Str
.endswith_lower("LO"));
395 EXPECT_TRUE(Str
.endswith_lower("ELlo"));
396 EXPECT_FALSE(Str
.endswith_lower("helloworld"));
397 EXPECT_FALSE(Str
.endswith_lower("hi"));
400 TEST(StringRefTest
, ConsumeBack
) {
401 StringRef
Str("hello");
402 EXPECT_TRUE(Str
.consume_back(""));
403 EXPECT_EQ("hello", Str
);
404 EXPECT_TRUE(Str
.consume_back("lo"));
405 EXPECT_EQ("hel", Str
);
406 EXPECT_FALSE(Str
.consume_back("helhel"));
407 EXPECT_EQ("hel", Str
);
408 EXPECT_FALSE(Str
.consume_back("hle"));
409 EXPECT_EQ("hel", Str
);
410 EXPECT_TRUE(Str
.consume_back("hel"));
412 EXPECT_FALSE(Str
.consume_back("h"));
413 EXPECT_TRUE(Str
.consume_back(""));
416 TEST(StringRefTest
, Find
) {
417 StringRef
Str("helloHELLO");
418 StringRef
LongStr("hellx xello hell ello world foo bar hello HELLO");
425 std::size_t LowerPos
;
426 } CharExpectations
[] = {
427 {Str
, 'h', 0U, 0U, 0U},
428 {Str
, 'e', 0U, 1U, 1U},
429 {Str
, 'l', 0U, 2U, 2U},
430 {Str
, 'l', 3U, 3U, 3U},
431 {Str
, 'o', 0U, 4U, 4U},
432 {Str
, 'L', 0U, 7U, 2U},
433 {Str
, 'z', 0U, StringRef::npos
, StringRef::npos
},
441 std::size_t LowerPos
;
442 } StrExpectations
[] = {
443 {Str
, "helloword", 0, StringRef::npos
, StringRef::npos
},
444 {Str
, "hello", 0, 0U, 0U},
445 {Str
, "ello", 0, 1U, 1U},
446 {Str
, "zz", 0, StringRef::npos
, StringRef::npos
},
447 {Str
, "ll", 2U, 2U, 2U},
448 {Str
, "ll", 3U, StringRef::npos
, 7U},
449 {Str
, "LL", 2U, 7U, 2U},
450 {Str
, "LL", 3U, 7U, 7U},
451 {Str
, "", 0U, 0U, 0U},
452 {LongStr
, "hello", 0U, 36U, 36U},
453 {LongStr
, "foo", 0U, 28U, 28U},
454 {LongStr
, "hell", 2U, 12U, 12U},
455 {LongStr
, "HELL", 2U, 42U, 12U},
456 {LongStr
, "", 0U, 0U, 0U}};
458 for (auto &E
: CharExpectations
) {
459 EXPECT_EQ(E
.Pos
, E
.Str
.find(E
.C
, E
.From
));
460 EXPECT_EQ(E
.LowerPos
, E
.Str
.find_lower(E
.C
, E
.From
));
461 EXPECT_EQ(E
.LowerPos
, E
.Str
.find_lower(toupper(E
.C
), E
.From
));
464 for (auto &E
: StrExpectations
) {
465 EXPECT_EQ(E
.Pos
, E
.Str
.find(E
.S
, E
.From
));
466 EXPECT_EQ(E
.LowerPos
, E
.Str
.find_lower(E
.S
, E
.From
));
467 EXPECT_EQ(E
.LowerPos
, E
.Str
.find_lower(E
.S
.upper(), E
.From
));
470 EXPECT_EQ(3U, Str
.rfind('l'));
471 EXPECT_EQ(StringRef::npos
, Str
.rfind('z'));
472 EXPECT_EQ(StringRef::npos
, Str
.rfind("helloworld"));
473 EXPECT_EQ(0U, Str
.rfind("hello"));
474 EXPECT_EQ(1U, Str
.rfind("ello"));
475 EXPECT_EQ(StringRef::npos
, Str
.rfind("zz"));
477 EXPECT_EQ(8U, Str
.rfind_lower('l'));
478 EXPECT_EQ(8U, Str
.rfind_lower('L'));
479 EXPECT_EQ(StringRef::npos
, Str
.rfind_lower('z'));
480 EXPECT_EQ(StringRef::npos
, Str
.rfind_lower("HELLOWORLD"));
481 EXPECT_EQ(5U, Str
.rfind("HELLO"));
482 EXPECT_EQ(6U, Str
.rfind("ELLO"));
483 EXPECT_EQ(StringRef::npos
, Str
.rfind("ZZ"));
485 EXPECT_EQ(2U, Str
.find_first_of('l'));
486 EXPECT_EQ(1U, Str
.find_first_of("el"));
487 EXPECT_EQ(StringRef::npos
, Str
.find_first_of("xyz"));
490 EXPECT_EQ(1U, Str
.find_first_not_of('h'));
491 EXPECT_EQ(4U, Str
.find_first_not_of("hel"));
492 EXPECT_EQ(StringRef::npos
, Str
.find_first_not_of("hello"));
494 EXPECT_EQ(3U, Str
.find_last_not_of('o'));
495 EXPECT_EQ(1U, Str
.find_last_not_of("lo"));
496 EXPECT_EQ(StringRef::npos
, Str
.find_last_not_of("helo"));
499 TEST(StringRefTest
, Count
) {
500 StringRef
Str("hello");
501 EXPECT_EQ(2U, Str
.count('l'));
502 EXPECT_EQ(1U, Str
.count('o'));
503 EXPECT_EQ(0U, Str
.count('z'));
504 EXPECT_EQ(0U, Str
.count("helloworld"));
505 EXPECT_EQ(1U, Str
.count("hello"));
506 EXPECT_EQ(1U, Str
.count("ello"));
507 EXPECT_EQ(0U, Str
.count("zz"));
510 TEST(StringRefTest
, EditDistance
) {
511 StringRef
Hello("hello");
512 EXPECT_EQ(2U, Hello
.edit_distance("hill"));
514 StringRef
Industry("industry");
515 EXPECT_EQ(6U, Industry
.edit_distance("interest"));
517 StringRef
Soylent("soylent green is people");
518 EXPECT_EQ(19U, Soylent
.edit_distance("people soiled our green"));
519 EXPECT_EQ(26U, Soylent
.edit_distance("people soiled our green",
520 /* allow replacements = */ false));
521 EXPECT_EQ(9U, Soylent
.edit_distance("people soiled our green",
522 /* allow replacements = */ true,
523 /* max edit distance = */ 8));
524 EXPECT_EQ(53U, Soylent
.edit_distance("people soiled our green "
525 "people soiled our green "
526 "people soiled our green "));
529 TEST(StringRefTest
, Misc
) {
531 raw_string_ostream
OS(Storage
);
532 OS
<< StringRef("hello");
533 EXPECT_EQ("hello", OS
.str());
536 TEST(StringRefTest
, Hashing
) {
537 EXPECT_EQ(hash_value(std::string()), hash_value(StringRef()));
538 EXPECT_EQ(hash_value(std::string()), hash_value(StringRef("")));
539 std::string S
= "hello world";
540 hash_code H
= hash_value(S
);
541 EXPECT_EQ(H
, hash_value(StringRef("hello world")));
542 EXPECT_EQ(H
, hash_value(StringRef(S
)));
543 EXPECT_NE(H
, hash_value(StringRef("hello worl")));
544 EXPECT_EQ(hash_value(std::string("hello worl")),
545 hash_value(StringRef("hello worl")));
546 EXPECT_NE(H
, hash_value(StringRef("hello world ")));
547 EXPECT_EQ(hash_value(std::string("hello world ")),
548 hash_value(StringRef("hello world ")));
549 EXPECT_EQ(H
, hash_value(StringRef("hello world\0")));
550 EXPECT_NE(hash_value(std::string("ello worl")),
551 hash_value(StringRef("hello world").slice(1, -1)));
554 struct UnsignedPair
{
563 , {"4294967295", 4294967295ULL}
564 , {"4294967296", 4294967296ULL}
565 , {"18446744073709551615", 18446744073709551615ULL}
585 , {"2147483647", 2147483647LL}
586 , {"2147483648", 2147483648LL}
587 , {"-2147483648", -2147483648LL}
588 , {"-2147483649", -2147483649LL}
589 , {"-9223372036854775808", -(9223372036854775807LL) - 1}
598 TEST(StringRefTest
, getAsInteger
) {
604 for (size_t i
= 0; i
< array_lengthof(Unsigned
); ++i
) {
605 bool U8Success
= StringRef(Unsigned
[i
].Str
).getAsInteger(0, U8
);
606 if (static_cast<uint8_t>(Unsigned
[i
].Expected
) == Unsigned
[i
].Expected
) {
607 ASSERT_FALSE(U8Success
);
608 EXPECT_EQ(U8
, Unsigned
[i
].Expected
);
610 ASSERT_TRUE(U8Success
);
612 bool U16Success
= StringRef(Unsigned
[i
].Str
).getAsInteger(0, U16
);
613 if (static_cast<uint16_t>(Unsigned
[i
].Expected
) == Unsigned
[i
].Expected
) {
614 ASSERT_FALSE(U16Success
);
615 EXPECT_EQ(U16
, Unsigned
[i
].Expected
);
617 ASSERT_TRUE(U16Success
);
619 bool U32Success
= StringRef(Unsigned
[i
].Str
).getAsInteger(0, U32
);
620 if (static_cast<uint32_t>(Unsigned
[i
].Expected
) == Unsigned
[i
].Expected
) {
621 ASSERT_FALSE(U32Success
);
622 EXPECT_EQ(U32
, Unsigned
[i
].Expected
);
624 ASSERT_TRUE(U32Success
);
626 bool U64Success
= StringRef(Unsigned
[i
].Str
).getAsInteger(0, U64
);
627 if (static_cast<uint64_t>(Unsigned
[i
].Expected
) == Unsigned
[i
].Expected
) {
628 ASSERT_FALSE(U64Success
);
629 EXPECT_EQ(U64
, Unsigned
[i
].Expected
);
631 ASSERT_TRUE(U64Success
);
640 for (size_t i
= 0; i
< array_lengthof(Signed
); ++i
) {
641 bool S8Success
= StringRef(Signed
[i
].Str
).getAsInteger(0, S8
);
642 if (static_cast<int8_t>(Signed
[i
].Expected
) == Signed
[i
].Expected
) {
643 ASSERT_FALSE(S8Success
);
644 EXPECT_EQ(S8
, Signed
[i
].Expected
);
646 ASSERT_TRUE(S8Success
);
648 bool S16Success
= StringRef(Signed
[i
].Str
).getAsInteger(0, S16
);
649 if (static_cast<int16_t>(Signed
[i
].Expected
) == Signed
[i
].Expected
) {
650 ASSERT_FALSE(S16Success
);
651 EXPECT_EQ(S16
, Signed
[i
].Expected
);
653 ASSERT_TRUE(S16Success
);
655 bool S32Success
= StringRef(Signed
[i
].Str
).getAsInteger(0, S32
);
656 if (static_cast<int32_t>(Signed
[i
].Expected
) == Signed
[i
].Expected
) {
657 ASSERT_FALSE(S32Success
);
658 EXPECT_EQ(S32
, Signed
[i
].Expected
);
660 ASSERT_TRUE(S32Success
);
662 bool S64Success
= StringRef(Signed
[i
].Str
).getAsInteger(0, S64
);
663 if (static_cast<int64_t>(Signed
[i
].Expected
) == Signed
[i
].Expected
) {
664 ASSERT_FALSE(S64Success
);
665 EXPECT_EQ(S64
, Signed
[i
].Expected
);
667 ASSERT_TRUE(S64Success
);
673 static const char* BadStrings
[] = {
675 , "18446744073709551617" // value just over max
676 , "123456789012345678901" // value way too large
677 , "4t23v" // illegal decimal characters
678 , "0x123W56" // illegal hex characters
679 , "0b2" // illegal bin characters
680 , "08" // illegal oct characters
681 , "0o8" // illegal oct characters
682 , "-123" // negative unsigned value
688 TEST(StringRefTest
, getAsUnsignedIntegerBadStrings
) {
689 unsigned long long U64
;
690 for (size_t i
= 0; i
< array_lengthof(BadStrings
); ++i
) {
691 bool IsBadNumber
= StringRef(BadStrings
[i
]).getAsInteger(0, U64
);
692 ASSERT_TRUE(IsBadNumber
);
696 struct ConsumeUnsignedPair
{
699 const char *Leftover
;
700 } ConsumeUnsigned
[] = {
704 {"65535", 65535, ""},
705 {"65536", 65536, ""},
706 {"4294967295", 4294967295ULL, ""},
707 {"4294967296", 4294967296ULL, ""},
708 {"255A376", 255, "A376"},
709 {"18446744073709551615", 18446744073709551615ULL, ""},
710 {"18446744073709551615ABC", 18446744073709551615ULL, "ABC"},
713 {"0x42-0x34", 66, "-0x34"},
714 {"0b101010", 42, ""},
715 {"0429F", 042, "9F"}, // Auto-sensed octal radix, invalid digit
716 {"0x42G12", 0x42, "G12"}, // Auto-sensed hex radix, invalid digit
717 {"0b10101020101", 42, "20101"}}; // Auto-sensed binary radix, invalid digit.
719 struct ConsumeSignedPair
{
722 const char *Leftover
;
723 } ConsumeSigned
[] = {
730 {"127-1", 127, "-1"},
731 {"128-1", 128, "-1"},
734 {"-128-1", -128, "-1"},
735 {"-129-1", -129, "-1"},
736 {"32767", 32767, ""},
737 {"32768", 32768, ""},
738 {"32767-1", 32767, "-1"},
739 {"32768-1", 32768, "-1"},
740 {"-32768", -32768, ""},
741 {"-32769", -32769, ""},
742 {"-32768-1", -32768, "-1"},
743 {"-32769-1", -32769, "-1"},
744 {"2147483647", 2147483647LL, ""},
745 {"2147483648", 2147483648LL, ""},
746 {"2147483647-1", 2147483647LL, "-1"},
747 {"2147483648-1", 2147483648LL, "-1"},
748 {"-2147483648", -2147483648LL, ""},
749 {"-2147483649", -2147483649LL, ""},
750 {"-2147483648-1", -2147483648LL, "-1"},
751 {"-2147483649-1", -2147483649LL, "-1"},
752 {"-9223372036854775808", -(9223372036854775807LL) - 1, ""},
753 {"-9223372036854775808-1", -(9223372036854775807LL) - 1, "-1"},
757 {"0x42-1", 66, "-1"},
758 {"0b101010", 42, ""},
759 {"0b101010-1", 42, "-1"},
761 {"-042-1", -34, "-1"},
763 {"-0x42-1", -66, "-1"},
764 {"-0b101010", -42, ""},
765 {"-0b101010-1", -42, "-1"}};
767 TEST(StringRefTest
, consumeIntegerUnsigned
) {
773 for (size_t i
= 0; i
< array_lengthof(ConsumeUnsigned
); ++i
) {
774 StringRef Str
= ConsumeUnsigned
[i
].Str
;
775 bool U8Success
= Str
.consumeInteger(0, U8
);
776 if (static_cast<uint8_t>(ConsumeUnsigned
[i
].Expected
) ==
777 ConsumeUnsigned
[i
].Expected
) {
778 ASSERT_FALSE(U8Success
);
779 EXPECT_EQ(U8
, ConsumeUnsigned
[i
].Expected
);
780 EXPECT_EQ(Str
, ConsumeUnsigned
[i
].Leftover
);
782 ASSERT_TRUE(U8Success
);
785 Str
= ConsumeUnsigned
[i
].Str
;
786 bool U16Success
= Str
.consumeInteger(0, U16
);
787 if (static_cast<uint16_t>(ConsumeUnsigned
[i
].Expected
) ==
788 ConsumeUnsigned
[i
].Expected
) {
789 ASSERT_FALSE(U16Success
);
790 EXPECT_EQ(U16
, ConsumeUnsigned
[i
].Expected
);
791 EXPECT_EQ(Str
, ConsumeUnsigned
[i
].Leftover
);
793 ASSERT_TRUE(U16Success
);
796 Str
= ConsumeUnsigned
[i
].Str
;
797 bool U32Success
= Str
.consumeInteger(0, U32
);
798 if (static_cast<uint32_t>(ConsumeUnsigned
[i
].Expected
) ==
799 ConsumeUnsigned
[i
].Expected
) {
800 ASSERT_FALSE(U32Success
);
801 EXPECT_EQ(U32
, ConsumeUnsigned
[i
].Expected
);
802 EXPECT_EQ(Str
, ConsumeUnsigned
[i
].Leftover
);
804 ASSERT_TRUE(U32Success
);
807 Str
= ConsumeUnsigned
[i
].Str
;
808 bool U64Success
= Str
.consumeInteger(0, U64
);
809 if (static_cast<uint64_t>(ConsumeUnsigned
[i
].Expected
) ==
810 ConsumeUnsigned
[i
].Expected
) {
811 ASSERT_FALSE(U64Success
);
812 EXPECT_EQ(U64
, ConsumeUnsigned
[i
].Expected
);
813 EXPECT_EQ(Str
, ConsumeUnsigned
[i
].Leftover
);
815 ASSERT_TRUE(U64Success
);
820 TEST(StringRefTest
, consumeIntegerSigned
) {
826 for (size_t i
= 0; i
< array_lengthof(ConsumeSigned
); ++i
) {
827 StringRef Str
= ConsumeSigned
[i
].Str
;
828 bool S8Success
= Str
.consumeInteger(0, S8
);
829 if (static_cast<int8_t>(ConsumeSigned
[i
].Expected
) ==
830 ConsumeSigned
[i
].Expected
) {
831 ASSERT_FALSE(S8Success
);
832 EXPECT_EQ(S8
, ConsumeSigned
[i
].Expected
);
833 EXPECT_EQ(Str
, ConsumeSigned
[i
].Leftover
);
835 ASSERT_TRUE(S8Success
);
838 Str
= ConsumeSigned
[i
].Str
;
839 bool S16Success
= Str
.consumeInteger(0, S16
);
840 if (static_cast<int16_t>(ConsumeSigned
[i
].Expected
) ==
841 ConsumeSigned
[i
].Expected
) {
842 ASSERT_FALSE(S16Success
);
843 EXPECT_EQ(S16
, ConsumeSigned
[i
].Expected
);
844 EXPECT_EQ(Str
, ConsumeSigned
[i
].Leftover
);
846 ASSERT_TRUE(S16Success
);
849 Str
= ConsumeSigned
[i
].Str
;
850 bool S32Success
= Str
.consumeInteger(0, S32
);
851 if (static_cast<int32_t>(ConsumeSigned
[i
].Expected
) ==
852 ConsumeSigned
[i
].Expected
) {
853 ASSERT_FALSE(S32Success
);
854 EXPECT_EQ(S32
, ConsumeSigned
[i
].Expected
);
855 EXPECT_EQ(Str
, ConsumeSigned
[i
].Leftover
);
857 ASSERT_TRUE(S32Success
);
860 Str
= ConsumeSigned
[i
].Str
;
861 bool S64Success
= Str
.consumeInteger(0, S64
);
862 if (static_cast<int64_t>(ConsumeSigned
[i
].Expected
) ==
863 ConsumeSigned
[i
].Expected
) {
864 ASSERT_FALSE(S64Success
);
865 EXPECT_EQ(S64
, ConsumeSigned
[i
].Expected
);
866 EXPECT_EQ(Str
, ConsumeSigned
[i
].Leftover
);
868 ASSERT_TRUE(S64Success
);
873 struct GetDoubleStrings
{
878 } DoubleStrings
[] = {{"0", false, false, 0.0},
879 {"0.0", false, false, 0.0},
880 {"-0.0", false, false, -0.0},
881 {"123.45", false, true, 123.45},
882 {"123.45", true, false, 123.45},
883 {"1.8e308", true, false, std::numeric_limits
<double>::infinity()},
884 {"1.8e308", false, true, std::numeric_limits
<double>::infinity()},
885 {"0x0.0000000000001P-1023", false, true, 0.0},
886 {"0x0.0000000000001P-1023", true, false, 0.0},
889 TEST(StringRefTest
, getAsDouble
) {
890 for (const auto &Entry
: DoubleStrings
) {
892 StringRef
S(Entry
.Str
);
893 EXPECT_EQ(Entry
.ShouldFail
, S
.getAsDouble(Result
, Entry
.AllowInexact
));
894 if (!Entry
.ShouldFail
) {
895 EXPECT_EQ(Result
, Entry
.D
);
900 static const char *join_input
[] = { "a", "b", "c" };
901 static const char join_result1
[] = "a";
902 static const char join_result2
[] = "a:b:c";
903 static const char join_result3
[] = "a::b::c";
905 TEST(StringRefTest
, joinStrings
) {
906 std::vector
<StringRef
> v1
;
907 std::vector
<std::string
> v2
;
908 for (size_t i
= 0; i
< array_lengthof(join_input
); ++i
) {
909 v1
.push_back(join_input
[i
]);
910 v2
.push_back(join_input
[i
]);
913 bool v1_join1
= join(v1
.begin(), v1
.begin() + 1, ":") == join_result1
;
914 EXPECT_TRUE(v1_join1
);
915 bool v1_join2
= join(v1
.begin(), v1
.end(), ":") == join_result2
;
916 EXPECT_TRUE(v1_join2
);
917 bool v1_join3
= join(v1
.begin(), v1
.end(), "::") == join_result3
;
918 EXPECT_TRUE(v1_join3
);
920 bool v2_join1
= join(v2
.begin(), v2
.begin() + 1, ":") == join_result1
;
921 EXPECT_TRUE(v2_join1
);
922 bool v2_join2
= join(v2
.begin(), v2
.end(), ":") == join_result2
;
923 EXPECT_TRUE(v2_join2
);
924 bool v2_join3
= join(v2
.begin(), v2
.end(), "::") == join_result3
;
925 EXPECT_TRUE(v2_join3
);
926 v2_join3
= join(v2
, "::") == join_result3
;
927 EXPECT_TRUE(v2_join3
);
931 TEST(StringRefTest
, AllocatorCopy
) {
932 BumpPtrAllocator Alloc
;
933 // First test empty strings. We don't want these to allocate anything on the
935 StringRef StrEmpty
= "";
936 StringRef StrEmptyc
= StrEmpty
.copy(Alloc
);
937 EXPECT_TRUE(StrEmpty
.equals(StrEmptyc
));
938 EXPECT_EQ(StrEmptyc
.data(), nullptr);
939 EXPECT_EQ(StrEmptyc
.size(), 0u);
940 EXPECT_EQ(Alloc
.getTotalMemory(), 0u);
942 StringRef Str1
= "hello";
943 StringRef Str2
= "bye";
944 StringRef Str1c
= Str1
.copy(Alloc
);
945 StringRef Str2c
= Str2
.copy(Alloc
);
946 EXPECT_TRUE(Str1
.equals(Str1c
));
947 EXPECT_NE(Str1
.data(), Str1c
.data());
948 EXPECT_TRUE(Str2
.equals(Str2c
));
949 EXPECT_NE(Str2
.data(), Str2c
.data());
952 TEST(StringRefTest
, Drop
) {
953 StringRef
Test("StringRefTest::Drop");
955 StringRef Dropped
= Test
.drop_front(5);
956 EXPECT_EQ(Dropped
, "gRefTest::Drop");
958 Dropped
= Test
.drop_back(5);
959 EXPECT_EQ(Dropped
, "StringRefTest:");
961 Dropped
= Test
.drop_front(0);
962 EXPECT_EQ(Dropped
, Test
);
964 Dropped
= Test
.drop_back(0);
965 EXPECT_EQ(Dropped
, Test
);
967 Dropped
= Test
.drop_front(Test
.size());
968 EXPECT_TRUE(Dropped
.empty());
970 Dropped
= Test
.drop_back(Test
.size());
971 EXPECT_TRUE(Dropped
.empty());
974 TEST(StringRefTest
, Take
) {
975 StringRef
Test("StringRefTest::Take");
977 StringRef Taken
= Test
.take_front(5);
978 EXPECT_EQ(Taken
, "Strin");
980 Taken
= Test
.take_back(5);
981 EXPECT_EQ(Taken
, ":Take");
983 Taken
= Test
.take_front(Test
.size());
984 EXPECT_EQ(Taken
, Test
);
986 Taken
= Test
.take_back(Test
.size());
987 EXPECT_EQ(Taken
, Test
);
989 Taken
= Test
.take_front(0);
990 EXPECT_TRUE(Taken
.empty());
992 Taken
= Test
.take_back(0);
993 EXPECT_TRUE(Taken
.empty());
996 TEST(StringRefTest
, FindIf
) {
997 StringRef
Punct("Test.String");
998 StringRef
NoPunct("ABCDEFG");
1001 auto IsPunct
= [](char c
) { return ::ispunct(c
); };
1002 auto IsAlpha
= [](char c
) { return ::isalpha(c
); };
1003 EXPECT_EQ(4U, Punct
.find_if(IsPunct
));
1004 EXPECT_EQ(StringRef::npos
, NoPunct
.find_if(IsPunct
));
1005 EXPECT_EQ(StringRef::npos
, Empty
.find_if(IsPunct
));
1007 EXPECT_EQ(4U, Punct
.find_if_not(IsAlpha
));
1008 EXPECT_EQ(StringRef::npos
, NoPunct
.find_if_not(IsAlpha
));
1009 EXPECT_EQ(StringRef::npos
, Empty
.find_if_not(IsAlpha
));
1012 TEST(StringRefTest
, TakeWhileUntil
) {
1013 StringRef
Test("String With 1 Number");
1015 StringRef Taken
= Test
.take_while([](char c
) { return ::isdigit(c
); });
1016 EXPECT_EQ("", Taken
);
1018 Taken
= Test
.take_until([](char c
) { return ::isdigit(c
); });
1019 EXPECT_EQ("String With ", Taken
);
1021 Taken
= Test
.take_while([](char c
) { return true; });
1022 EXPECT_EQ(Test
, Taken
);
1024 Taken
= Test
.take_until([](char c
) { return true; });
1025 EXPECT_EQ("", Taken
);
1028 Taken
= Test
.take_while([](char c
) { return true; });
1029 EXPECT_EQ("", Taken
);
1032 TEST(StringRefTest
, DropWhileUntil
) {
1033 StringRef
Test("String With 1 Number");
1035 StringRef Taken
= Test
.drop_while([](char c
) { return ::isdigit(c
); });
1036 EXPECT_EQ(Test
, Taken
);
1038 Taken
= Test
.drop_until([](char c
) { return ::isdigit(c
); });
1039 EXPECT_EQ("1 Number", Taken
);
1041 Taken
= Test
.drop_while([](char c
) { return true; });
1042 EXPECT_EQ("", Taken
);
1044 Taken
= Test
.drop_until([](char c
) { return true; });
1045 EXPECT_EQ(Test
, Taken
);
1047 StringRef EmptyString
= "";
1048 Taken
= EmptyString
.drop_while([](char c
) { return true; });
1049 EXPECT_EQ("", Taken
);
1052 TEST(StringRefTest
, StringLiteral
) {
1053 constexpr StringRef StringRefs
[] = {"Foo", "Bar"};
1054 EXPECT_EQ(StringRef("Foo"), StringRefs
[0]);
1055 EXPECT_EQ(StringRef("Bar"), StringRefs
[1]);
1057 constexpr StringLiteral Strings
[] = {"Foo", "Bar"};
1058 EXPECT_EQ(StringRef("Foo"), Strings
[0]);
1059 EXPECT_EQ(StringRef("Bar"), Strings
[1]);
1062 // Check gtest prints StringRef as a string instead of a container of chars.
1063 // The code is in utils/unittest/googletest/internal/custom/gtest-printers.h
1064 TEST(StringRefTest
, GTestPrinter
) {
1065 EXPECT_EQ(R
"("foo
")", ::testing::PrintToString(StringRef("foo")));
1068 static_assert(is_trivially_copyable
<StringRef
>::value
, "trivially copyable");
1070 } // end anonymous namespace