1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
+
-
-
-
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
+
-
-
-
+
|
#include "eir.h"
namespace goose::eir
{
bool operator==( const Term& lhs, const Term& rhs )
{
if( lhs.index() != rhs.index() )
return false;
return visit(
return visit( [&]< typename T >( const T& l )
{
const auto& r = get< T >( rhs );
[&]< typename T >( const T& l )
{
const auto& r = get< T >( rhs );
if constexpr( is_same_v< pvec, T > )
return *l == *r;
else if constexpr( is_same_v< LocationId, T > )
return true;
else if constexpr( is_same_v< ptr< void >, T > )
return true;
else if constexpr( is_same_v< void*, T > )
return true;
else if constexpr( is_same_v< APSInt, T >)
return l.isSigned() == r.isSigned() && l.getBitWidth() == r.getBitWidth() && l == r;
else
return l == r;
}, lhs );
if constexpr( is_same_v< pvec, T > )
return *l == *r;
else if constexpr( is_same_v< LocationId, T > )
return true;
else if constexpr( is_same_v< ptr< void >, T > )
return true;
else if constexpr( is_same_v< void*, T > )
return true;
else if constexpr( is_same_v< APSInt, T > )
return l.isSigned() == r.isSigned() && l.getBitWidth() == r.getBitWidth()
&& l == r;
else
return l == r;
},
lhs );
}
bool operator!=( const Term& lhs, const Term& rhs )
{
return !( lhs == rhs );
}
bool Vector::operator==( const Vector& rhs ) const
{
return m_repetitionTerm == rhs.m_repetitionTerm
return m_repetitionTerm == rhs.m_repetitionTerm && m_terms == rhs.m_terms;
&& m_terms == rhs.m_terms;
return name() == rhs.name()
return name() == rhs.name() && behavior() == rhs.behavior() && kind() == rhs.kind();
&& behavior() == rhs.behavior()
&& kind() == rhs.kind();
}
|