1 //===- llvm/unittest/Support/RegexTest.cpp - Regex tests --===//
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/Support/Regex.h"
11 #include "llvm/ADT/SmallVector.h"
12 #include "gtest/gtest.h"
18 class RegexTest : public ::testing::Test {
21 TEST_F(RegexTest, Basics) {
23 EXPECT_TRUE(r1.match("916"));
24 EXPECT_TRUE(r1.match("9"));
25 EXPECT_FALSE(r1.match("9a"));
27 SmallVector<StringRef, 1> Matches;
29 EXPECT_TRUE(r2.match("aa216b", &Matches));
30 EXPECT_EQ(1u, Matches.size());
31 EXPECT_EQ("216", Matches[0].str());
33 Regex r3("[0-9]+([a-f])?:([0-9]+)");
34 EXPECT_TRUE(r3.match("9a:513b", &Matches));
35 EXPECT_EQ(3u, Matches.size());
36 EXPECT_EQ("9a:513", Matches[0].str());
37 EXPECT_EQ("a", Matches[1].str());
38 EXPECT_EQ("513", Matches[2].str());
40 EXPECT_TRUE(r3.match("9:513b", &Matches));
41 EXPECT_EQ(3u, Matches.size());
42 EXPECT_EQ("9:513", Matches[0].str());
43 EXPECT_EQ("", Matches[1].str());
44 EXPECT_EQ("513", Matches[2].str());
47 std::string String="axxb";
49 EXPECT_FALSE(r4.match("abb"));
50 EXPECT_TRUE(r4.match(String, &Matches));
51 EXPECT_EQ(1u, Matches.size());
52 EXPECT_EQ(String, Matches[0].str());
54 std::string NulPattern="X[0-9]+X([a-f])?:([0-9]+)";
58 EXPECT_FALSE(r5.match(String));
59 EXPECT_FALSE(r5.match("X9"));
61 EXPECT_TRUE(r5.match(String));
64 TEST_F(RegexTest, Backreferences) {
65 Regex r1("([a-z]+)_\\1");
66 SmallVector<StringRef, 4> Matches;
67 EXPECT_TRUE(r1.match("abc_abc", &Matches));
68 EXPECT_EQ(2u, Matches.size());
69 EXPECT_FALSE(r1.match("abc_ab", &Matches));
71 Regex r2("a([0-9])b\\1c\\1");
72 EXPECT_TRUE(r2.match("a4b4c4", &Matches));
73 EXPECT_EQ(2u, Matches.size());
74 EXPECT_EQ("4", Matches[1].str());
75 EXPECT_FALSE(r2.match("a2b2c3"));
77 Regex r3("a([0-9])([a-z])b\\1\\2");
78 EXPECT_TRUE(r3.match("a6zb6z", &Matches));
79 EXPECT_EQ(3u, Matches.size());
80 EXPECT_EQ("6", Matches[1].str());
81 EXPECT_EQ("z", Matches[2].str());
82 EXPECT_FALSE(r3.match("a6zb6y"));
83 EXPECT_FALSE(r3.match("a6zb7z"));
86 TEST_F(RegexTest, Substitution) {
89 EXPECT_EQ("aNUMber", Regex("[0-9]+").sub("NUM", "a1234ber"));
92 EXPECT_EQ("a\\ber", Regex("[0-9]+").sub("\\\\", "a1234ber", &Error));
94 EXPECT_EQ("a\nber", Regex("[0-9]+").sub("\\n", "a1234ber", &Error));
96 EXPECT_EQ("a\tber", Regex("[0-9]+").sub("\\t", "a1234ber", &Error));
98 EXPECT_EQ("ajber", Regex("[0-9]+").sub("\\j", "a1234ber", &Error));
101 EXPECT_EQ("aber", Regex("[0-9]+").sub("\\", "a1234ber", &Error));
102 EXPECT_EQ(Error, "replacement string contained trailing backslash");
105 EXPECT_EQ("aa1234bber", Regex("a[0-9]+b").sub("a\\0b", "a1234ber", &Error));
106 EXPECT_EQ("", Error);
108 EXPECT_EQ("a1234ber", Regex("a([0-9]+)b").sub("a\\1b", "a1234ber", &Error));
109 EXPECT_EQ("", Error);
111 EXPECT_EQ("aber", Regex("a[0-9]+b").sub("a\\100b", "a1234ber", &Error));
112 EXPECT_EQ(Error, "invalid backreference string '100'");
115 TEST_F(RegexTest, IsLiteralERE) {
116 EXPECT_TRUE(Regex::isLiteralERE("abc"));
117 EXPECT_FALSE(Regex::isLiteralERE("a(bc)"));
118 EXPECT_FALSE(Regex::isLiteralERE("^abc"));
119 EXPECT_FALSE(Regex::isLiteralERE("abc$"));
120 EXPECT_FALSE(Regex::isLiteralERE("a|bc"));
121 EXPECT_FALSE(Regex::isLiteralERE("abc*"));
122 EXPECT_FALSE(Regex::isLiteralERE("abc+"));
123 EXPECT_FALSE(Regex::isLiteralERE("abc?"));
124 EXPECT_FALSE(Regex::isLiteralERE("abc."));
125 EXPECT_FALSE(Regex::isLiteralERE("a[bc]"));
126 EXPECT_FALSE(Regex::isLiteralERE("abc\\1"));
127 EXPECT_FALSE(Regex::isLiteralERE("abc{1,2}"));
130 TEST_F(RegexTest, Escape) {
131 EXPECT_EQ("a\\[bc\\]", Regex::escape("a[bc]"));
132 EXPECT_EQ("abc\\{1\\\\,2\\}", Regex::escape("abc{1\\,2}"));
135 TEST_F(RegexTest, IsValid) {
137 EXPECT_FALSE(Regex("(foo").isValid(Error));
138 EXPECT_EQ("parentheses not balanced", Error);
139 EXPECT_FALSE(Regex("a[b-").isValid(Error));
140 EXPECT_EQ("invalid character range", Error);
143 TEST_F(RegexTest, MoveConstruct) {
144 Regex r1("^[0-9]+$");
145 Regex r2(std::move(r1));
146 EXPECT_TRUE(r2.match("916"));
149 TEST_F(RegexTest, MoveAssign) {
150 Regex r1("^[0-9]+$");
153 EXPECT_TRUE(r2.match("916"));