]>
Commit | Line | Data |
---|---|---|
924326b3 AH |
1 | /* Header file for the context-aware pointer equivalence tracker. |
2 | Copyright (C) 2020-2021 Free Software Foundation, Inc. | |
3 | Contributed by Aldy Hernandez <aldyh@redhat.com> | |
4 | ||
5 | This file is part of GCC. | |
6 | ||
7 | GCC is free software; you can redistribute it and/or modify it under | |
8 | the terms of the GNU General Public License as published by the Free | |
9 | Software Foundation; either version 3, or (at your option) any later | |
10 | version. | |
11 | ||
12 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
13 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
14 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
15 | for more details. | |
16 | ||
17 | You should have received a copy of the GNU General Public License | |
18 | along with GCC; see the file COPYING3. If not see | |
19 | <http://www.gnu.org/licenses/>. */ | |
20 | ||
21 | #ifndef GCC_VALUE_POINTER_EQUIV_H | |
22 | #define GCC_VALUE_POINTER_EQUIV_H | |
23 | ||
24 | // Simple context-aware pointer equivalency analyzer that returns what | |
25 | // a pointer SSA name is equivalent to at a given point during a walk | |
26 | // of the IL. | |
27 | // | |
28 | // Note that global equivalency take priority over conditional | |
29 | // equivalency. That is, p = &q takes priority over a later p == &t. | |
30 | // | |
31 | // This class is meant to be called during a DOM walk. | |
32 | ||
33 | class pointer_equiv_analyzer | |
34 | { | |
35 | public: | |
36 | pointer_equiv_analyzer (gimple_ranger *r); | |
37 | ~pointer_equiv_analyzer (); | |
38 | void enter (basic_block); | |
39 | void leave (basic_block); | |
40 | void visit_stmt (gimple *stmt); | |
41 | tree get_equiv (tree ssa) const; | |
42 | ||
43 | private: | |
44 | void visit_edge (edge e); | |
45 | tree get_equiv_expr (tree_code code, tree expr) const; | |
46 | void set_global_equiv (tree ssa, tree pointee); | |
47 | void set_cond_equiv (tree ssa, tree pointee); | |
48 | ||
49 | gimple_ranger *m_ranger; | |
50 | // Global pointer equivalency indexed by SSA_NAME_VERSION. | |
51 | tree *m_global_points; | |
52 | // Conditional pointer equivalency. | |
53 | class ssa_equiv_stack *m_cond_points; | |
54 | }; | |
55 | ||
56 | inline bool | |
57 | supported_pointer_equiv_p (tree expr) | |
58 | { | |
59 | return TREE_CODE (expr) == SSA_NAME && POINTER_TYPE_P (TREE_TYPE (expr)); | |
60 | } | |
61 | ||
62 | #endif // GCC_VALUE_POINTER_EQUIV_H |