PandA-2024.02
OrderedInstructions.hpp
Go to the documentation of this file.
1 /*
2  *
3  * _/_/_/ _/_/ _/ _/ _/_/_/ _/_/
4  * _/ _/ _/ _/ _/_/ _/ _/ _/ _/ _/
5  * _/_/_/ _/_/_/_/ _/ _/_/ _/ _/ _/_/_/_/
6  * _/ _/ _/ _/ _/ _/ _/ _/ _/
7  * _/ _/ _/ _/ _/ _/_/_/ _/ _/
8  *
9  * ***********************************************
10  * PandA Project
11  * URL: http://panda.dei.polimi.it
12  * Politecnico di Milano - DEIB
13  * System Architectures Group
14  * ***********************************************
15  * Copyright (C) 2023-2024 Politecnico di Milano
16  *
17  * This file is part of the PandA framework.
18  *
19  * The PandA framework is free software; you can redistribute it and/or modify
20  * it under the terms of the GNU General Public License as published by
21  * the Free Software Foundation; either version 3 of the License, or
22  * (at your option) any later version.
23  *
24  * This program is distributed in the hope that it will be useful,
25  * but WITHOUT ANY WARRANTY; without even the implied warranty of
26  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
27  * GNU General Public License for more details.
28  *
29  * You should have received a copy of the GNU General Public License
30  * along with this program. If not, see <http://www.gnu.org/licenses/>.
31  *
32  */
43 #ifndef ORDERED_INSTRUCTIONS_HPP
44 #define ORDERED_INSTRUCTIONS_HPP
45 
46 #include "custom_map.hpp"
47 #include "refcount.hpp"
48 
49 #include <list>
50 #include <memory>
51 
55 struct gimple_node;
56 
58 {
61 
65  std::list<tree_nodeRef>::const_iterator LastInstFound;
66 
68  unsigned NextInstPos;
69 
71  const std::list<tree_nodeRef>& BBInst;
72 
74  const blocRef BB;
75 
78  bool instComesBefore(const struct gimple_node* A, const struct gimple_node* B);
79 
80  public:
81  explicit OrderedBasicBlock(const blocRef& BasicB);
82 
88  bool dominates(const struct gimple_node* A, const struct gimple_node* B);
89 };
90 
92 {
95 
98 
99  public:
101  explicit OrderedInstructions(BBGraphConstRef _DT);
102 
103  bool dominates(const unsigned int BBIA, const unsigned int BBIB) const;
104 
106  bool dominates(const struct gimple_node* InstA, const struct gimple_node* InstB) const;
107 
112  void invalidateBlock(unsigned int BBI);
113 
114  const BBGraphConstRef& getDT() const;
115 };
116 
117 #endif // ORDERED_INSTRUCTIONS_HPP
This struct specifies the field bloc (basic block).
CONSTREF_FORWARD_DECL(BBGraph)
const BBGraphConstRef DT
The dominator tree of the parent function.
const blocRef BB
The source BasicBlock to map.
bool instComesBefore(const struct gimple_node *A, const struct gimple_node *B)
Given no cached results, find if A comes before B in BB.
bool dominates(const struct gimple_node *A, const struct gimple_node *B)
Find out whether A dominates B, meaning whether A comes before B in BB.
CustomMap< unsigned int, std::unique_ptr< OrderedBasicBlock > > OBBMap
Used to check dominance for instructions in same basic block.
CustomOrderedMap< T, U > CustomMap
Definition: custom_map.hpp:167
redefinition of map to manage ordered/unordered structures
unsigned NextInstPos
The position/number to tag the next instruction to be found.
Abstract pure class for the tree structure.
Definition: tree_node.hpp:139
#define A
Definition: generate.c:13
std::list< tree_nodeRef >::const_iterator LastInstFound
Keep track of last instruction inserted into NumberedInsts.
Class used to describe a particular graph with basic blocks as nodes.
CustomMap< const struct gimple_node *, unsigned > NumberedInsts
Map a instruction to its position in a BasicBlock.
const std::list< tree_nodeRef > & BBInst
The source BasicBlock instruction list.
REF_FORWARD_DECL(bloc)
Template definition of refcount.
OrderedBasicBlock(const blocRef &BasicB)
struct definition of the common part of a gimple with virtual operands
Definition: tree_node.hpp:1078
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
Definition: refcount.hpp:94
#define B
Definition: generate.c:14

Generated on Mon Feb 12 2024 13:02:50 for PandA-2024.02 by doxygen 1.8.13