-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCFGRewrite_8h_source.html
297 lines (297 loc) · 44.1 KB
/
CFGRewrite_8h_source.html
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en-US">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=11"/>
<meta name="generator" content="Doxygen 1.9.8"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>ROSE: CFGRewrite.h Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<link rel="search" href="search_opensearch.php?v=opensearch.xml" type="application/opensearchdescription+xml" title="ROSE"/>
<link href="roseDoxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr id="projectrow">
<td id="projectalign">
<div id="projectname">ROSE<span id="projectnumber"> 0.11.145.141</span>
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.9.8 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
var searchBox = new SearchBox("searchBox", "search/",'.html');
/* @license-end */
</script>
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
$(function() {
initMenu('',true,true,'search.html','Search');
$(document).ready(function() {
if ($('.searchresults').length > 0) { searchBox.DOMSearchField().focus(); }
});
});
/* @license-end */
</script>
<div id="main-nav"></div>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
$(document).ready(function() { init_codefold(0); });
/* @license-end */
</script>
<div id="nav-path" class="navpath">
<ul>
<li class="navelem"><a class="el" href="dir_68267d1309a1af8e8297ef4c3efbcdba.html">src</a></li><li class="navelem"><a class="el" href="dir_ab44dd72236d16e0efa23643a9299efc.html">midend</a></li><li class="navelem"><a class="el" href="dir_3031fe5c1916cbc97c47638b2519d932.html">programAnalysis</a></li><li class="navelem"><a class="el" href="dir_2867cc4b41b861c1905fa00d28f5661d.html">genericDataflow</a></li><li class="navelem"><a class="el" href="dir_0ad97ed22ee3a63b522cd9816e2bc523.html">cfgUtils</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="headertitle"><div class="title">CFGRewrite.h</div></div>
</div><!--header-->
<div class="contents">
<div class="fragment"><div class="line"><a id="l00001" name="l00001"></a><span class="lineno"> 1</span><span class="preprocessor">#include <featureTests.h></span></div>
<div class="line"><a id="l00002" name="l00002"></a><span class="lineno"> 2</span><span class="preprocessor">#ifdef ROSE_ENABLE_SOURCE_ANALYSIS</span></div>
<div class="line"><a id="l00003" name="l00003"></a><span class="lineno"> 3</span> </div>
<div class="line"><a id="l00004" name="l00004"></a><span class="lineno"> 4</span><span class="preprocessor">#ifndef CFG_REWRITE_H</span></div>
<div class="line"><a id="l00005" name="l00005"></a><span class="lineno"> 5</span><span class="preprocessor">#define CFG_REWRITE_H</span></div>
<div class="line"><a id="l00006" name="l00006"></a><span class="lineno"> 6</span> </div>
<div class="line"><a id="l00007" name="l00007"></a><span class="lineno"> 7</span><span class="preprocessor">#include "DataflowCFG.h"</span></div>
<div class="line"><a id="l00008" name="l00008"></a><span class="lineno"> 8</span><span class="preprocessor">#include <string></span></div>
<div class="line"><a id="l00009" name="l00009"></a><span class="lineno"> 9</span><span class="preprocessor">#include <iostream></span></div>
<div class="line"><a id="l00010" name="l00010"></a><span class="lineno"> 10</span><span class="preprocessor">#include <sstream></span></div>
<div class="line"><a id="l00011" name="l00011"></a><span class="lineno"> 11</span><span class="preprocessor">#include <list></span></div>
<div class="line"><a id="l00012" name="l00012"></a><span class="lineno"> 12</span> </div>
<div class="line"><a id="l00013" name="l00013"></a><span class="lineno"> 13</span><span class="keyword">namespace </span>VirtualCFG{</div>
<div class="line"><a id="l00014" name="l00014"></a><span class="lineno"> 14</span> </div>
<div class="line"><a id="l00016" name="l00016"></a><span class="lineno"> 16</span><span class="comment">//SgStatement* getParentStmt(SgNode* node);*/</span></div>
<div class="line"><a id="l00017" name="l00017"></a><span class="lineno"> 17</span><span class="comment">//</span></div>
<div class="line"><a id="l00018" name="l00018"></a><span class="lineno"> 18</span><span class="comment">//void insertAfterCFG(DataflowNode& cfgNode);</span></div>
<div class="line"><a id="l00019" name="l00019"></a><span class="lineno"> 19</span><span class="comment">//</span></div>
<div class="line"><a id="l00020" name="l00020"></a><span class="lineno"> 20</span><span class="comment">//void placeInserts(SgProject *project);</span></div>
<div class="line"><a id="l00021" name="l00021"></a><span class="lineno"> 21</span> </div>
<div class="line"><a id="l00022" name="l00022"></a><span class="lineno"> 22</span><span class="keywordtype">void</span> initCFGRewrite(<a class="code hl_class" href="classSgProject.html">SgProject</a>* project);</div>
<div class="line"><a id="l00023" name="l00023"></a><span class="lineno"> 23</span> </div>
<div class="line"><a id="l00024" name="l00024"></a><span class="lineno"> 24</span><span class="comment">// returns true if the given SgNode is a value expression or a computational expression with no side-effects</span></div>
<div class="line"><a id="l00025" name="l00025"></a><span class="lineno"> 25</span><span class="keywordtype">bool</span> isNonMutatingOperator(<a class="code hl_class" href="classSgNode.html">SgNode</a>* n);</div>
<div class="line"><a id="l00026" name="l00026"></a><span class="lineno"> 26</span> </div>
<div class="line"><a id="l00027" name="l00027"></a><span class="lineno"> 27</span><span class="comment">// returns true if the given SgNode's sub-tree has no side-effects</span></div>
<div class="line"><a id="l00028" name="l00028"></a><span class="lineno"> 28</span><span class="keywordtype">bool</span> isNonMutatingSubTree(<a class="code hl_class" href="classSgNode.html">SgNode</a>* n);</div>
<div class="line"><a id="l00029" name="l00029"></a><span class="lineno"> 29</span> </div>
<div class="line"><a id="l00030" name="l00030"></a><span class="lineno"> 30</span><span class="comment">// if the given SgNode is an SgStatement, returns that SgStatement. Otherwise, if it is an</span></div>
<div class="line"><a id="l00031" name="l00031"></a><span class="lineno"> 31</span><span class="comment">// gExpression or SgInitializedName, wraps it in an SgStatement and returns that.</span></div>
<div class="line"><a id="l00032" name="l00032"></a><span class="lineno"> 32</span><span class="comment">//static SgStatement* convertToStatement(SgNode* n);</span></div>
<div class="line"><a id="l00033" name="l00033"></a><span class="lineno"> 33</span> </div>
<div class="line"><a id="l00034" name="l00034"></a><span class="lineno"> 34</span><span class="comment">// Replace the expression from with the expression to in the SgNode parent, which</span></div>
<div class="line"><a id="l00035" name="l00035"></a><span class="lineno"> 35</span><span class="comment">// must be from's parent. Function checks to ensure that it is used properly.</span></div>
<div class="line"><a id="l00036" name="l00036"></a><span class="lineno"> 36</span><span class="comment">// Note that if parent is an SgInitializedName, to must be SgInitializer in order </span></div>
<div class="line"><a id="l00037" name="l00037"></a><span class="lineno"> 37</span><span class="comment">// for the replacement to work properly.</span></div>
<div class="line"><a id="l00038" name="l00038"></a><span class="lineno"> 38</span><span class="keywordtype">void</span> replaceExpressionChecked(<a class="code hl_class" href="classSgNode.html">SgNode</a>* parent, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* from, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* to);</div>
<div class="line"><a id="l00039" name="l00039"></a><span class="lineno"> 39</span> </div>
<div class="line"><a id="l00040" name="l00040"></a><span class="lineno"> 40</span><span class="comment">// replace the from statement with the to statement in the parent SgNode</span></div>
<div class="line"><a id="l00041" name="l00041"></a><span class="lineno"> 41</span><span class="comment">// Note: Only parent = SgBasicBlock</span></div>
<div class="line"><a id="l00042" name="l00042"></a><span class="lineno"> 42</span><span class="keywordtype">void</span> <a class="code hl_function" href="namespaceSageInterface.html#a69827cb64e737fdc661a48871c92ec96">replaceStatement</a>(<a class="code hl_class" href="classSgNode.html">SgNode</a>* parent, <a class="code hl_class" href="classSgStatement.html">SgStatement</a>* from, <a class="code hl_class" href="classSgStatement.html">SgStatement</a>* to);</div>
<div class="line"><a id="l00043" name="l00043"></a><span class="lineno"> 43</span> </div>
<div class="line"><a id="l00044" name="l00044"></a><span class="lineno"> 44</span><a class="code hl_class" href="classSg__File__Info.html">Sg_File_Info</a>* getFileInfo(<a class="code hl_class" href="classSgNode.html">SgNode</a>* n);</div>
<div class="line"><a id="l00045" name="l00045"></a><span class="lineno"> 45</span> </div>
<div class="line"><a id="l00046" name="l00046"></a><span class="lineno"> 46</span> std::string getFileInfoString(<a class="code hl_class" href="classSgNode.html">SgNode</a>* n);</div>
<div class="line"><a id="l00047" name="l00047"></a><span class="lineno"> 47</span> </div>
<div class="line"><a id="l00048" name="l00048"></a><span class="lineno"> 48</span> std::string getFileInfoString(<a class="code hl_class" href="classVirtualCFG_1_1CFGNode.html">CFGNode</a> n);</div>
<div class="line"><a id="l00049" name="l00049"></a><span class="lineno"> 49</span> </div>
<div class="line"><a id="l00050" name="l00050"></a><span class="lineno"> 50</span><span class="comment">// Returns the source of n's only in-edge. Yells if n has multiple in-edges.</span></div>
<div class="line"><a id="l00051" name="l00051"></a><span class="lineno"> 51</span><a class="code hl_class" href="classVirtualCFG_1_1CFGNode.html">CFGNode</a> theInEdge(<a class="code hl_class" href="classVirtualCFG_1_1CFGNode.html">CFGNode</a> n);</div>
<div class="line"><a id="l00052" name="l00052"></a><span class="lineno"> 52</span> </div>
<div class="line"><a id="l00053" name="l00053"></a><span class="lineno"> 53</span><span class="comment">// Returns the target of n's only out-edge. Yells if n has multiple out-edges.</span></div>
<div class="line"><a id="l00054" name="l00054"></a><span class="lineno"> 54</span><a class="code hl_class" href="classVirtualCFG_1_1CFGNode.html">CFGNode</a> theOutEdge(<a class="code hl_class" href="classVirtualCFG_1_1CFGNode.html">CFGNode</a> n);</div>
<div class="line"><a id="l00055" name="l00055"></a><span class="lineno"> 55</span> </div>
<div class="line"><a id="l00056" name="l00056"></a><span class="lineno"> 56</span><span class="comment">// FIXME -- these functions need to split subexpressions, since the expression</span></div>
<div class="line"><a id="l00057" name="l00057"></a><span class="lineno"> 57</span><span class="comment">// evaluation order in the CFG and the one used by the compiler may be</span></div>
<div class="line"><a id="l00058" name="l00058"></a><span class="lineno"> 58</span><span class="comment">// different</span></div>
<div class="line"><a id="l00059" name="l00059"></a><span class="lineno"> 59</span> </div>
<div class="line"><a id="l00060" name="l00060"></a><span class="lineno"> 60</span><span class="comment">// replace expr with (newNode, expr)</span></div>
<div class="line"><a id="l00061" name="l00061"></a><span class="lineno"> 61</span><a class="code hl_class" href="classSgExpression.html">SgExpression</a>* insertBeforeExpression(<a class="code hl_class" href="classSgExpression.html">SgExpression</a>* expr, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00062" name="l00062"></a><span class="lineno"> 62</span> </div>
<div class="line"><a id="l00063" name="l00063"></a><span class="lineno"> 63</span><span class="comment">// replace expr with (expr, newNode)</span></div>
<div class="line"><a id="l00064" name="l00064"></a><span class="lineno"> 64</span><a class="code hl_class" href="classSgExpression.html">SgExpression</a>* insertAfterExpression(<a class="code hl_class" href="classSgExpression.html">SgExpression</a>* expr, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00065" name="l00065"></a><span class="lineno"> 65</span> </div>
<div class="line"><a id="l00066" name="l00066"></a><span class="lineno"> 66</span><span class="comment">// replace stmt; with {newNode; stmt;}</span></div>
<div class="line"><a id="l00067" name="l00067"></a><span class="lineno"> 67</span><span class="keywordtype">void</span> replaceStatementByBlockBefore(<a class="code hl_class" href="classSgStatement.html">SgStatement</a>* stmt, <a class="code hl_class" href="classSgStatement.html">SgStatement</a>* newNode) ;</div>
<div class="line"><a id="l00068" name="l00068"></a><span class="lineno"> 68</span> </div>
<div class="line"><a id="l00069" name="l00069"></a><span class="lineno"> 69</span><span class="comment">// replace stmt; with {stmt; newNode;}</span></div>
<div class="line"><a id="l00070" name="l00070"></a><span class="lineno"> 70</span><span class="keywordtype">void</span> replaceStatementByBlockAfter(<a class="code hl_class" href="classSgStatement.html">SgStatement</a>* stmt, <a class="code hl_class" href="classSgStatement.html">SgStatement</a>* newNode);</div>
<div class="line"><a id="l00071" name="l00071"></a><span class="lineno"> 71</span> </div>
<div class="line"><a id="l00072" name="l00072"></a><span class="lineno"> 72</span><span class="comment">// creates a new variable declaration for a temporary variable</span></div>
<div class="line"><a id="l00073" name="l00073"></a><span class="lineno"> 73</span><span class="comment">// newName: the name of the temporary variable. If newName=="", a random name is generated.</span></div>
<div class="line"><a id="l00074" name="l00074"></a><span class="lineno"> 74</span><span class="comment">// varType: the type of the temporary variable, if byReference==true, the new variable's type is a reference type of varType</span></div>
<div class="line"><a id="l00075" name="l00075"></a><span class="lineno"> 75</span><span class="comment">// </span></div>
<div class="line"><a id="l00076" name="l00076"></a><span class="lineno"> 76</span><span class="comment">// sets varname to the new variable's SgName</span></div>
<div class="line"><a id="l00077" name="l00077"></a><span class="lineno"> 77</span><span class="comment">// sets initName to the new variable's SgInitializedName </span></div>
<div class="line"><a id="l00078" name="l00078"></a><span class="lineno"> 78</span><span class="comment">// sets newType to the new variable's type</span></div>
<div class="line"><a id="l00079" name="l00079"></a><span class="lineno"> 79</span><span class="comment">// sets newType to the new variable's declaration</span></div>
<div class="line"><a id="l00080" name="l00080"></a><span class="lineno"> 80</span> <span class="keywordtype">void</span> createTmpVarInit(<a class="code hl_class" href="classSgType.html">SgType</a>* varType, std::string newName, <span class="keywordtype">bool</span> byReference, </div>
<div class="line"><a id="l00081" name="l00081"></a><span class="lineno"> 81</span> <a class="code hl_class" href="classSgName.html">SgName</a>& varName, <a class="code hl_class" href="classSgInitializedName.html">SgInitializedName</a> *& initName, <a class="code hl_class" href="classSgType.html">SgType</a>*& newType, <a class="code hl_class" href="classSgVariableDeclaration.html">SgVariableDeclaration</a>*& varDecl);</div>
<div class="line"><a id="l00082" name="l00082"></a><span class="lineno"> 82</span> </div>
<div class="line"><a id="l00083" name="l00083"></a><span class="lineno"> 83</span><span class="comment">// creates and returns a statement contains a call to the given function with no arguments</span></div>
<div class="line"><a id="l00084" name="l00084"></a><span class="lineno"> 84</span><a class="code hl_class" href="classSgStatement.html">SgStatement</a>* createFuncCallStmt(<a class="code hl_class" href="classSgFunctionDeclaration.html">SgFunctionDeclaration</a>* funcDecl);</div>
<div class="line"><a id="l00085" name="l00085"></a><span class="lineno"> 85</span> </div>
<div class="line"><a id="l00086" name="l00086"></a><span class="lineno"> 86</span><span class="comment">// given a SgInitializedName, returns a SgVariableSymbol for the variable declared in the SgInitializedName</span></div>
<div class="line"><a id="l00087" name="l00087"></a><span class="lineno"> 87</span><a class="code hl_class" href="classSgVariableSymbol.html">SgVariableSymbol</a>* varSymFromInitName(<a class="code hl_class" href="classSgInitializedName.html">SgInitializedName</a>* initName);</div>
<div class="line"><a id="l00088" name="l00088"></a><span class="lineno"> 88</span> </div>
<div class="line"><a id="l00089" name="l00089"></a><span class="lineno"> 89</span><span class="comment">// given a SgInitializedName, returns a SgVarRefExp to the variable declared in the SgInitializedName</span></div>
<div class="line"><a id="l00090" name="l00090"></a><span class="lineno"> 90</span><a class="code hl_class" href="classSgVarRefExp.html">SgVarRefExp</a>* varRefFromInitName(<a class="code hl_class" href="classSgInitializedName.html">SgInitializedName</a>* initName);</div>
<div class="line"><a id="l00091" name="l00091"></a><span class="lineno"> 91</span> </div>
<div class="line"><a id="l00092" name="l00092"></a><span class="lineno"> 92</span><span class="comment">// replaces the given SgExpression with a SgAssignOp (lhsVar = orig)</span></div>
<div class="line"><a id="l00093" name="l00093"></a><span class="lineno"> 93</span><span class="comment">// returns the SgAssignOp</span></div>
<div class="line"><a id="l00094" name="l00094"></a><span class="lineno"> 94</span><a class="code hl_class" href="classSgAssignOp.html">SgAssignOp</a> * replaceExprWithAssignOp(<a class="code hl_class" href="classSgExpression.html">SgExpression</a>* orig, <a class="code hl_class" href="classSgVarRefExp.html">SgVarRefExp</a>* lhsVar);</div>
<div class="line"><a id="l00095" name="l00095"></a><span class="lineno"> 95</span> </div>
<div class="line"><a id="l00096" name="l00096"></a><span class="lineno"> 96</span><span class="comment">// Creates a declaration of a new temporary variable of type varType and inserts it before anchor</span></div>
<div class="line"><a id="l00097" name="l00097"></a><span class="lineno"> 97</span><span class="comment">// if before=true, the temporary variable in inserted before anchor and otherwise, after anchor</span></div>
<div class="line"><a id="l00098" name="l00098"></a><span class="lineno"> 98</span><span class="comment">// sets initName to the SgInitializedName of the declaration</span></div>
<div class="line"><a id="l00099" name="l00099"></a><span class="lineno"> 99</span><span class="keywordtype">void</span> insertVarDecl(<a class="code hl_class" href="classSgStatement.html">SgStatement</a> *anchor, <a class="code hl_class" href="classSgType.html">SgType</a> *varType, <span class="keywordtype">bool</span> before, <a class="code hl_class" href="classSgInitializedName.html">SgInitializedName</a>*& initName);</div>
<div class="line"><a id="l00100" name="l00100"></a><span class="lineno"> 100</span> </div>
<div class="line"><a id="l00101" name="l00101"></a><span class="lineno"> 101</span><span class="comment">// inserts the given expression before or after a given SgDeclaration that appears inside a SgForStatement</span></div>
<div class="line"><a id="l00102" name="l00102"></a><span class="lineno"> 102</span><span class="keywordtype">void</span> insertAroundForInit(<a class="code hl_class" href="classSgVariableDeclaration.html">SgVariableDeclaration</a>* n, <a class="code hl_class" href="classSgExpression.html">SgExpression</a> *newNode, <span class="keywordtype">bool</span> before);</div>
<div class="line"><a id="l00103" name="l00103"></a><span class="lineno"> 103</span> </div>
<div class="line"><a id="l00104" name="l00104"></a><span class="lineno"> 104</span><span class="keyword">typedef</span> void (*CFGTransform)(<a class="code hl_class" href="classSgNode.html">SgNode</a> *target, <a class="code hl_class" href="classSgNode.html">SgNode</a>* newNode, <span class="keywordtype">void</span>* data);</div>
<div class="line"><a id="l00105" name="l00105"></a><span class="lineno"> 105</span> </div>
<div class="foldopen" id="foldopen00106" data-start="{" data-end="};">
<div class="line"><a id="l00106" name="l00106"></a><span class="lineno"><a class="line" href="classVirtualCFG_1_1cfgRWTransaction.html"> 106</a></span><span class="keyword">class </span><a class="code hl_class" href="classVirtualCFG_1_1cfgRWTransaction.html">cfgRWTransaction</a></div>
<div class="line"><a id="l00107" name="l00107"></a><span class="lineno"> 107</span>{</div>
<div class="line"><a id="l00108" name="l00108"></a><span class="lineno"> 108</span> <span class="keyword">typedef</span> <span class="keyword">enum</span> {insBef, insAft, callback} modType;</div>
<div class="line"><a id="l00109" name="l00109"></a><span class="lineno"> 109</span> <span class="keyword">class </span>modRequest{</div>
<div class="line"><a id="l00110" name="l00110"></a><span class="lineno"> 110</span> <span class="keyword">protected</span>:</div>
<div class="line"><a id="l00111" name="l00111"></a><span class="lineno"> 111</span> modType type;</div>
<div class="line"><a id="l00112" name="l00112"></a><span class="lineno"> 112</span> </div>
<div class="line"><a id="l00113" name="l00113"></a><span class="lineno"> 113</span> <span class="keyword">public</span>:</div>
<div class="line"><a id="l00114" name="l00114"></a><span class="lineno"> 114</span> modRequest()</div>
<div class="line"><a id="l00115" name="l00115"></a><span class="lineno"> 115</span> {}</div>
<div class="line"><a id="l00116" name="l00116"></a><span class="lineno"> 116</span> <span class="comment">/*modRequest(modType type_arg)</span></div>
<div class="line"><a id="l00117" name="l00117"></a><span class="lineno"> 117</span><span class="comment"> {</span></div>
<div class="line"><a id="l00118" name="l00118"></a><span class="lineno"> 118</span><span class="comment"> type = type_arg;</span></div>
<div class="line"><a id="l00119" name="l00119"></a><span class="lineno"> 119</span><span class="comment"> }*/</span></div>
<div class="line"><a id="l00120" name="l00120"></a><span class="lineno"> 120</span> </div>
<div class="line"><a id="l00121" name="l00121"></a><span class="lineno"> 121</span> modType getType()</div>
<div class="line"><a id="l00122" name="l00122"></a><span class="lineno"> 122</span> { <span class="keywordflow">return</span> type; }</div>
<div class="line"><a id="l00123" name="l00123"></a><span class="lineno"> 123</span> </div>
<div class="line"><a id="l00124" name="l00124"></a><span class="lineno"> 124</span> std::string str() { <span class="keywordflow">return</span> <span class="stringliteral">""</span>; }</div>
<div class="line"><a id="l00125" name="l00125"></a><span class="lineno"> 125</span> };</div>
<div class="line"><a id="l00126" name="l00126"></a><span class="lineno"> 126</span> </div>
<div class="line"><a id="l00127" name="l00127"></a><span class="lineno"> 127</span> <span class="keyword">class </span>insertRequest: <span class="keyword">public</span> modRequest{</div>
<div class="line"><a id="l00128" name="l00128"></a><span class="lineno"> 128</span> <span class="keyword">protected</span>:</div>
<div class="line"><a id="l00129" name="l00129"></a><span class="lineno"> 129</span> <a class="code hl_class" href="classSgExpression.html">SgExpression</a> *newNode;</div>
<div class="line"><a id="l00130" name="l00130"></a><span class="lineno"> 130</span> <a class="code hl_class" href="classSgNode.html">SgNode</a>* origNode;</div>
<div class="line"><a id="l00131" name="l00131"></a><span class="lineno"> 131</span> </div>
<div class="line"><a id="l00132" name="l00132"></a><span class="lineno"> 132</span> <span class="keyword">public</span>:</div>
<div class="line"><a id="l00133" name="l00133"></a><span class="lineno"> 133</span> insertRequest(modType type_arg, <a class="code hl_class" href="classSgNode.html">SgNode</a>* origNode, <a class="code hl_class" href="classSgExpression.html">SgExpression</a> *&newNode)</div>
<div class="line"><a id="l00134" name="l00134"></a><span class="lineno"> 134</span> {</div>
<div class="line"><a id="l00135" name="l00135"></a><span class="lineno"> 135</span> this->type = type_arg;</div>
<div class="line"><a id="l00136" name="l00136"></a><span class="lineno"> 136</span> this->newNode = newNode;</div>
<div class="line"><a id="l00137" name="l00137"></a><span class="lineno"> 137</span> this->origNode = origNode;</div>
<div class="line"><a id="l00138" name="l00138"></a><span class="lineno"> 138</span> }</div>
<div class="line"><a id="l00139" name="l00139"></a><span class="lineno"> 139</span> </div>
<div class="line"><a id="l00140" name="l00140"></a><span class="lineno"> 140</span> <a class="code hl_class" href="classSgNode.html">SgNode</a>* getTgtNode() { <span class="keywordflow">return</span> origNode; }</div>
<div class="line"><a id="l00141" name="l00141"></a><span class="lineno"> 141</span> </div>
<div class="line"><a id="l00142" name="l00142"></a><span class="lineno"> 142</span> std::string str();</div>
<div class="line"><a id="l00143" name="l00143"></a><span class="lineno"> 143</span> <span class="keyword">friend</span> <span class="keyword">class </span><a class="code hl_class" href="classVirtualCFG_1_1cfgRWTransaction.html">cfgRWTransaction</a>;</div>
<div class="line"><a id="l00144" name="l00144"></a><span class="lineno"> 144</span> };</div>
<div class="line"><a id="l00145" name="l00145"></a><span class="lineno"> 145</span> </div>
<div class="line"><a id="l00146" name="l00146"></a><span class="lineno"> 146</span> <span class="keyword">class </span>transformRequest: <span class="keyword">public</span> modRequest{</div>
<div class="line"><a id="l00147" name="l00147"></a><span class="lineno"> 147</span> CFGTransform callbackFunc;</div>
<div class="line"><a id="l00148" name="l00148"></a><span class="lineno"> 148</span> <a class="code hl_class" href="classSgNode.html">SgNode</a>* target;</div>
<div class="line"><a id="l00149" name="l00149"></a><span class="lineno"> 149</span> <a class="code hl_class" href="classSgNode.html">SgNode</a>* newNode;</div>
<div class="line"><a id="l00150" name="l00150"></a><span class="lineno"> 150</span> <span class="keywordtype">void</span>* data;</div>
<div class="line"><a id="l00151" name="l00151"></a><span class="lineno"> 151</span> </div>
<div class="line"><a id="l00152" name="l00152"></a><span class="lineno"> 152</span> <span class="keyword">public</span>:</div>
<div class="line"><a id="l00153" name="l00153"></a><span class="lineno"> 153</span> transformRequest(CFGTransform callbackFunc, <a class="code hl_class" href="classSgNode.html">SgNode</a> *&target, <a class="code hl_class" href="classSgNode.html">SgNode</a>* newNode, <span class="keywordtype">void</span>* data)<span class="comment">//: modRequest(callback)</span></div>
<div class="line"><a id="l00154" name="l00154"></a><span class="lineno"> 154</span> {</div>
<div class="line"><a id="l00155" name="l00155"></a><span class="lineno"> 155</span> this->type = callback;</div>
<div class="line"><a id="l00156" name="l00156"></a><span class="lineno"> 156</span> this->target = target;</div>
<div class="line"><a id="l00157" name="l00157"></a><span class="lineno"> 157</span> this->newNode = newNode;</div>
<div class="line"><a id="l00158" name="l00158"></a><span class="lineno"> 158</span> this->callbackFunc = callbackFunc;</div>
<div class="line"><a id="l00159" name="l00159"></a><span class="lineno"> 159</span> this->data = data;</div>
<div class="line"><a id="l00160" name="l00160"></a><span class="lineno"> 160</span> }</div>
<div class="line"><a id="l00161" name="l00161"></a><span class="lineno"> 161</span> </div>
<div class="line"><a id="l00162" name="l00162"></a><span class="lineno"> 162</span> std::string str();</div>
<div class="line"><a id="l00163" name="l00163"></a><span class="lineno"> 163</span> <span class="keyword">friend</span> <span class="keyword">class </span><a class="code hl_class" href="classVirtualCFG_1_1cfgRWTransaction.html">cfgRWTransaction</a>;</div>
<div class="line"><a id="l00164" name="l00164"></a><span class="lineno"> 164</span> };</div>
<div class="line"><a id="l00165" name="l00165"></a><span class="lineno"> 165</span> </div>
<div class="line"><a id="l00166" name="l00166"></a><span class="lineno"> 166</span> <span class="keyword">public</span>: </div>
<div class="line"><a id="l00167" name="l00167"></a><span class="lineno"> 167</span> std::list<modRequest*> requests;</div>
<div class="line"><a id="l00168" name="l00168"></a><span class="lineno"> 168</span> <span class="comment">//list<void*> requests;</span></div>
<div class="line"><a id="l00169" name="l00169"></a><span class="lineno"> 169</span> </div>
<div class="line"><a id="l00170" name="l00170"></a><span class="lineno"> 170</span> </div>
<div class="line"><a id="l00171" name="l00171"></a><span class="lineno"> 171</span> <a class="code hl_class" href="classVirtualCFG_1_1cfgRWTransaction.html">cfgRWTransaction</a>();</div>
<div class="line"><a id="l00172" name="l00172"></a><span class="lineno"> 172</span> </div>
<div class="line"><a id="l00173" name="l00173"></a><span class="lineno"> 173</span> <span class="keywordtype">void</span> beginTransaction();</div>
<div class="line"><a id="l00174" name="l00174"></a><span class="lineno"> 174</span> </div>
<div class="line"><a id="l00175" name="l00175"></a><span class="lineno"> 175</span> <span class="keywordtype">void</span> insertBefore(<a class="code hl_class" href="classVirtualCFG_1_1DataflowNode.html">DataflowNode</a> n, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00176" name="l00176"></a><span class="lineno"> 176</span> <span class="keywordtype">void</span> insertBefore(<a class="code hl_class" href="classSgNode.html">SgNode</a>* n, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00177" name="l00177"></a><span class="lineno"> 177</span> </div>
<div class="line"><a id="l00178" name="l00178"></a><span class="lineno"> 178</span> <span class="keywordtype">void</span> insertAfter(<a class="code hl_class" href="classVirtualCFG_1_1DataflowNode.html">DataflowNode</a> n, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00179" name="l00179"></a><span class="lineno"> 179</span> <span class="keywordtype">void</span> insertAfter(<a class="code hl_class" href="classSgNode.html">SgNode</a>* n, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00180" name="l00180"></a><span class="lineno"> 180</span> </div>
<div class="line"><a id="l00181" name="l00181"></a><span class="lineno"> 181</span> <span class="keywordtype">void</span> transform(CFGTransform callbackFunc, <a class="code hl_class" href="classSgNode.html">SgNode</a>* n, <a class="code hl_class" href="classSgNode.html">SgNode</a>* newNode, <span class="keywordtype">void</span>* data);</div>
<div class="line"><a id="l00182" name="l00182"></a><span class="lineno"> 182</span> </div>
<div class="line"><a id="l00183" name="l00183"></a><span class="lineno"> 183</span> <span class="comment">// insert an SgNode along the given CFGEdge</span></div>
<div class="line"><a id="l00184" name="l00184"></a><span class="lineno"> 184</span> <span class="keywordtype">void</span> insertAlong(<a class="code hl_class" href="classVirtualCFG_1_1DataflowEdge.html">DataflowEdge</a> e, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00185" name="l00185"></a><span class="lineno"> 185</span> </div>
<div class="line"><a id="l00186" name="l00186"></a><span class="lineno"> 186</span> <span class="keywordtype">void</span> commitTransaction();</div>
<div class="line"><a id="l00187" name="l00187"></a><span class="lineno"> 187</span> </div>
<div class="line"><a id="l00188" name="l00188"></a><span class="lineno"> 188</span> <span class="keyword">protected</span>:</div>
<div class="line"><a id="l00189" name="l00189"></a><span class="lineno"> 189</span> <span class="keywordtype">void</span> do_insertBefore(<a class="code hl_class" href="classVirtualCFG_1_1DataflowNode.html">DataflowNode</a> n, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00190" name="l00190"></a><span class="lineno"> 190</span> <span class="keywordtype">void</span> do_insertBefore(<a class="code hl_class" href="classSgNode.html">SgNode</a>* n, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00191" name="l00191"></a><span class="lineno"> 191</span> <span class="keywordtype">void</span> do_insertAfter(<a class="code hl_class" href="classVirtualCFG_1_1DataflowNode.html">DataflowNode</a> n, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00192" name="l00192"></a><span class="lineno"> 192</span> <span class="keywordtype">void</span> do_insertAfter(<a class="code hl_class" href="classSgNode.html">SgNode</a>* n, <a class="code hl_class" href="classSgExpression.html">SgExpression</a>* newNode);</div>
<div class="line"><a id="l00193" name="l00193"></a><span class="lineno"> 193</span>};</div>
</div>
<div class="line"><a id="l00194" name="l00194"></a><span class="lineno"> 194</span> </div>
<div class="line"><a id="l00195" name="l00195"></a><span class="lineno"> 195</span><span class="comment">/*************************************************************</span></div>
<div class="line"><a id="l00196" name="l00196"></a><span class="lineno"> 196</span><span class="comment"> *** CALL-BACK FUNCTIONS FOR cfgRWTransaction::transform() ***</span></div>
<div class="line"><a id="l00197" name="l00197"></a><span class="lineno"> 197</span><span class="comment"> *************************************************************/</span></div>
<div class="line"><a id="l00198" name="l00198"></a><span class="lineno"> 198</span> </div>
<div class="line"><a id="l00199" name="l00199"></a><span class="lineno"> 199</span><span class="comment">// places newNode as thh first statement in the given SgScopeStmt</span></div>
<div class="line"><a id="l00200" name="l00200"></a><span class="lineno"> 200</span><span class="keywordtype">void</span> prependToScopeStmt(<a class="code hl_class" href="classSgNode.html">SgNode</a> *target, <a class="code hl_class" href="classSgNode.html">SgNode</a> *newNode, <span class="keywordtype">void</span>* data);</div>
<div class="line"><a id="l00201" name="l00201"></a><span class="lineno"> 201</span> </div>
<div class="line"><a id="l00202" name="l00202"></a><span class="lineno"> 202</span><span class="comment">// places newNode as thh last statement in the given SgBasicBlock</span></div>
<div class="line"><a id="l00203" name="l00203"></a><span class="lineno"> 203</span><span class="keywordtype">void</span> appendToScopeStmt(<a class="code hl_class" href="classSgNode.html">SgNode</a> *target, <a class="code hl_class" href="classSgNode.html">SgNode</a> *newNode, <span class="keywordtype">void</span>* data);</div>
<div class="line"><a id="l00204" name="l00204"></a><span class="lineno"> 204</span> </div>
<div class="line"><a id="l00205" name="l00205"></a><span class="lineno"> 205</span>}</div>
<div class="line"><a id="l00206" name="l00206"></a><span class="lineno"> 206</span><span class="preprocessor">#endif</span></div>
<div class="line"><a id="l00207" name="l00207"></a><span class="lineno"> 207</span><span class="preprocessor">#endif</span></div>
<div class="ttc" id="aclassSgAssignOp_html"><div class="ttname"><a href="classSgAssignOp.html">SgAssignOp</a></div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l522314">Cxx_Grammar.h:522315</a></div></div>
<div class="ttc" id="aclassSgExpression_html"><div class="ttname"><a href="classSgExpression.html">SgExpression</a></div><div class="ttdoc">This class represents the notion of an expression. Expressions are derived from SgLocatedNodes,...</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l474495">Cxx_Grammar.h:474496</a></div></div>
<div class="ttc" id="aclassSgFunctionDeclaration_html"><div class="ttname"><a href="classSgFunctionDeclaration.html">SgFunctionDeclaration</a></div><div class="ttdoc">This class represents the concept of a function declaration statement.</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l312363">Cxx_Grammar.h:312364</a></div></div>
<div class="ttc" id="aclassSgInitializedName_html"><div class="ttname"><a href="classSgInitializedName.html">SgInitializedName</a></div><div class="ttdoc">This class represents the notion of a declared variable.</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l175008">Cxx_Grammar.h:175009</a></div></div>
<div class="ttc" id="aclassSgName_html"><div class="ttname"><a href="classSgName.html">SgName</a></div><div class="ttdoc">This class represents strings within the IR nodes.</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l20721">Cxx_Grammar.h:20722</a></div></div>
<div class="ttc" id="aclassSgNode_html"><div class="ttname"><a href="classSgNode.html">SgNode</a></div><div class="ttdoc">This class represents the base class for all IR nodes within Sage III.</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l00119">Cxx_Grammar.h:120</a></div></div>
<div class="ttc" id="aclassSgProject_html"><div class="ttname"><a href="classSgProject.html">SgProject</a></div><div class="ttdoc">This class represents a source project, with a list of SgFile objects and global information about th...</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l39186">Cxx_Grammar.h:39187</a></div></div>
<div class="ttc" id="aclassSgStatement_html"><div class="ttname"><a href="classSgStatement.html">SgStatement</a></div><div class="ttdoc">This class represents the notion of a statement.</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l224723">Cxx_Grammar.h:224724</a></div></div>
<div class="ttc" id="aclassSgType_html"><div class="ttname"><a href="classSgType.html">SgType</a></div><div class="ttdoc">This class represents the base class for all types.</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l85326">Cxx_Grammar.h:85327</a></div></div>
<div class="ttc" id="aclassSgVarRefExp_html"><div class="ttname"><a href="classSgVarRefExp.html">SgVarRefExp</a></div><div class="ttdoc">This class represents the variable refernece in expressions.</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l564044">Cxx_Grammar.h:564045</a></div></div>
<div class="ttc" id="aclassSgVariableDeclaration_html"><div class="ttname"><a href="classSgVariableDeclaration.html">SgVariableDeclaration</a></div><div class="ttdoc">This class represents the concept of a C or C++ variable declaration.</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l271300">Cxx_Grammar.h:271301</a></div></div>
<div class="ttc" id="aclassSgVariableSymbol_html"><div class="ttname"><a href="classSgVariableSymbol.html">SgVariableSymbol</a></div><div class="ttdoc">This class represents the concept of a variable name within the compiler (a shared container for the ...</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l692274">Cxx_Grammar.h:692275</a></div></div>
<div class="ttc" id="aclassSg__File__Info_html"><div class="ttname"><a href="classSg__File__Info.html">Sg_File_Info</a></div><div class="ttdoc">This class represents the location of the code associated with the IR node in the original source cod...</div><div class="ttdef"><b>Definition</b> <a href="Cxx__Grammar_8h_source.html#l28926">Cxx_Grammar.h:28927</a></div></div>
<div class="ttc" id="aclassVirtualCFG_1_1CFGNode_html"><div class="ttname"><a href="classVirtualCFG_1_1CFGNode.html">VirtualCFG::CFGNode</a></div><div class="ttdoc">A node in the control flow graph.</div><div class="ttdef"><b>Definition</b> <a href="virtualCFG_8h_source.html#l00070">virtualCFG.h:70</a></div></div>
<div class="ttc" id="aclassVirtualCFG_1_1DataflowEdge_html"><div class="ttname"><a href="classVirtualCFG_1_1DataflowEdge.html">VirtualCFG::DataflowEdge</a></div><div class="ttdef"><b>Definition</b> <a href="DataflowCFG_8h_source.html#l00055">DataflowCFG.h:55</a></div></div>
<div class="ttc" id="aclassVirtualCFG_1_1DataflowNode_html"><div class="ttname"><a href="classVirtualCFG_1_1DataflowNode.html">VirtualCFG::DataflowNode</a></div><div class="ttdef"><b>Definition</b> <a href="DataflowCFG_8h_source.html#l00019">DataflowCFG.h:19</a></div></div>
<div class="ttc" id="aclassVirtualCFG_1_1cfgRWTransaction_html"><div class="ttname"><a href="classVirtualCFG_1_1cfgRWTransaction.html">VirtualCFG::cfgRWTransaction</a></div><div class="ttdef"><b>Definition</b> <a href="CFGRewrite_8h_source.html#l00106">CFGRewrite.h:107</a></div></div>
<div class="ttc" id="anamespaceSageInterface_html_a69827cb64e737fdc661a48871c92ec96"><div class="ttname"><a href="namespaceSageInterface.html#a69827cb64e737fdc661a48871c92ec96">SageInterface::replaceStatement</a></div><div class="ttdeci">ROSE_DLL_API void replaceStatement(SgStatement *oldStmt, SgStatement *newStmt, bool movePreprocessinInfo=false)</div><div class="ttdoc">Replace a statement with another. Move preprocessing information from oldStmt to newStmt if requested...</div><div class="ttdef"><b>Definition</b> <a href="sageInterface_8C_source.html#l10571">sageInterface.C:10571</a></div></div>
</div><!-- fragment --></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Wed Oct 2 2024 00:08:23 for ROSE by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
</small></address>
</body>
</html>