blob: 93221c0a86f2eb829f8cad52ff8b4d68723df6c2 (
plain)
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
|
#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "backend.h"
#include "tree.h"
#include "gimple-expr.h"
#include "predict.h"
#include "alloc-pool.h"
#include "tree-pass.h"
#include "cgraph.h"
#include "diagnostic.h"
#include "fold-const.h"
#include "gimple-fold.h"
#include "symbol-summary.h"
#include "tree-vrp.h"
#include "ipa-prop.h"
#include "tree-pretty-print.h"
#include "tree-inline.h"
#include "ipa-fnsummary.h"
#include "ipa-utils.h"
#include "tree-ssa-ccp.h"
#include "stringpool.h"
#include "attribs.h"
#include "tree-ssa-alias.h"
#include "tree-ssanames.h"
#include "gimple.h"
#include "cfg.h" // needed for gimple-iterator.h
#include "gimple-iterator.h"
#include "gimple-ssa.h"
#include <stdbool.h>
#include "types-inlines.h"
#include "type-structural-equality.hpp"
#include "type-structural-main-variant.hpp"
#include "type-canonical-equality.hpp"
#include "type-stringifier.hpp"
bool
TypeCanonicalEquality::_equal(const_tree l, const_tree r)
{
bool valid_inputs = l && r;
if (!valid_inputs) return l == r;
const_tree canonical_l = TYPE_CANONICAL(l);
const_tree canonical_r = TYPE_CANONICAL(r);
const bool can_compare_canonical = canonical_l && canonical_r;
if (!can_compare_canonical) return TypeStructuralEquality::_equal(l, r);
const bool different = canonical_l != canonical_r;
const std::string n_l = TypeStringifier::get_type_identifier(l);
const std::string n_r = TypeStringifier::get_type_identifier(r);
if (different) return false;
return TypeStructuralEqualityMainVariant::_equal(l, r);
}
|
