svf-tools 1.0.270 → 1.0.274
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +118 -117
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +17 -17
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +88 -87
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -11
- package/SVF-doxygen/html/html/SVFG_8cpp.html +2 -0
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +87 -70
- package/SVF-doxygen/html/html/SVFG_8h_source.html +48 -54
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +47 -48
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +66 -66
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +50 -52
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +64 -62
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +94 -37
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +29 -27
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +94 -39
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +50 -49
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +49 -47
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +145 -30
- package/SVF-doxygen/html/html/classSVF_1_1LoadMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRVer-members.html +9 -8
- package/SVF-doxygen/html/html/classSVF_1_1MRVer.html +33 -0
- package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +31 -31
- package/SVF-doxygen/html/html/classSVF_1_1MSSAMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +47 -47
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +38 -38
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +53 -51
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +237 -136
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
- package/SVF-doxygen/html/html/functions_a.html +7 -7
- package/SVF-doxygen/html/html/functions_c.html +21 -25
- package/SVF-doxygen/html/html/functions_f.html +17 -11
- package/SVF-doxygen/html/html/functions_func.html +7 -7
- package/SVF-doxygen/html/html/functions_func_f.html +2 -2
- package/SVF-doxygen/html/html/functions_func_g.html +25 -25
- package/SVF-doxygen/html/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/html/functions_func_m.html +1 -1
- package/SVF-doxygen/html/html/functions_func_o.html +4 -2
- package/SVF-doxygen/html/html/functions_g.html +22 -22
- package/SVF-doxygen/html/html/functions_i.html +4 -4
- package/SVF-doxygen/html/html/functions_m.html +1 -5
- package/SVF-doxygen/html/html/functions_o.html +12 -12
- package/SVF-doxygen/html/html/functions_p.html +12 -14
- package/SVF-doxygen/html/html/functions_r.html +5 -9
- package/SVF-doxygen/html/html/functions_s.html +9 -7
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_u.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +9 -4
- package/SVF-doxygen/html/html/functions_vars_c.html +0 -4
- package/SVF-doxygen/html/html/functions_vars_f.html +6 -0
- package/SVF-doxygen/html/html/functions_vars_m.html +0 -4
- package/SVF-doxygen/html/html/functions_vars_r.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_v.html +6 -1
- package/SVF-doxygen/html/html/search/all_1.js +7 -7
- package/SVF-doxygen/html/html/search/all_10.js +8 -8
- package/SVF-doxygen/html/html/search/all_12.js +4 -4
- package/SVF-doxygen/html/html/search/all_13.js +5 -5
- package/SVF-doxygen/html/html/search/all_14.js +2 -2
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +5 -3
- package/SVF-doxygen/html/html/search/all_7.js +6 -9
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_d.js +4 -4
- package/SVF-doxygen/html/html/search/all_e.js +2 -2
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/functions_0.js +7 -7
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_5.js +2 -2
- package/SVF-doxygen/html/html/search/functions_6.js +6 -9
- package/SVF-doxygen/html/html/search/functions_8.js +1 -1
- package/SVF-doxygen/html/html/search/functions_b.js +1 -1
- package/SVF-doxygen/html/html/search/functions_d.js +2 -2
- package/SVF-doxygen/html/html/search/variables_12.js +2 -2
- package/SVF-doxygen/html/html/search/variables_16.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +0 -1
- package/SVF-doxygen/html/html/search/variables_6.js +2 -0
- package/SVF-doxygen/html/html/search/variables_d.js +2 -3
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +28 -28
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
- package/include/Graphs/SVFG.h +28 -23
- package/include/Graphs/SVFGNode.h +69 -36
- package/include/Graphs/SVFGOPT.h +2 -2
- package/include/MSSA/MSSAMuChi.h +10 -4
- package/lib/Graphs/SVFG.cpp +52 -35
- package/package.json +1 -1
|
@@ -79,8 +79,8 @@ $(function() {
|
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">getCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LoadMU.html#abd883317106589b17e4a824dc44721c0">getLoadInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LoadMU.html">SVF::LoadMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
81
81
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#
|
|
83
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#
|
|
82
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">getMRVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
84
84
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a">inst</a></td><td class="entry"><a class="el" href="classSVF_1_1LoadMU.html">SVF::LoadMU< Cond ></a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
85
85
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019">LoadMSSAMU</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"></td></tr>
|
|
86
86
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LoadMU.html#a2288f957cbd10892eb6f3a4d3d0e39ee">LoadMU</a>(const BasicBlock *b, const LoadPE *i, const MemRegion *m, Cond c=true)</td><td class="entry"><a class="el" href="classSVF_1_1LoadMU.html">SVF::LoadMU< Cond ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
@@ -109,9 +109,9 @@ Public Member Functions</h2></td></tr>
|
|
|
109
109
|
<tr class="memitem:a2af1e639aabbc5997aa4e6526f6595fb inherit pub_methods_classSVF_1_1MSSAMU"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb">setVer</a> (<a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *v)</td></tr>
|
|
110
110
|
<tr class="memdesc:a2af1e639aabbc5997aa4e6526f6595fb inherit pub_methods_classSVF_1_1MSSAMU"><td class="mdescLeft"> </td><td class="mdescRight">Set Ver. <a href="classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb">More...</a><br /></td></tr>
|
|
111
111
|
<tr class="separator:a2af1e639aabbc5997aa4e6526f6595fb inherit pub_methods_classSVF_1_1MSSAMU"><td class="memSeparator" colspan="2"> </td></tr>
|
|
112
|
-
<tr class="memitem:
|
|
113
|
-
<tr class="memdesc:
|
|
114
|
-
<tr class="separator:
|
|
112
|
+
<tr class="memitem:ad120dfc87b90b26649bcd8d0c0d3ca80 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">getMRVer</a> () const</td></tr>
|
|
113
|
+
<tr class="memdesc:ad120dfc87b90b26649bcd8d0c0d3ca80 inherit pub_methods_classSVF_1_1MSSAMU"><td class="mdescLeft"> </td><td class="mdescRight">Get Ver. <a href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">More...</a><br /></td></tr>
|
|
114
|
+
<tr class="separator:ad120dfc87b90b26649bcd8d0c0d3ca80 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memSeparator" colspan="2"> </td></tr>
|
|
115
115
|
<tr class="memitem:ac51263250da06fd63b923a6771744f97 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memItemLeft" align="right" valign="top">Cond </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">getCond</a> () const</td></tr>
|
|
116
116
|
<tr class="memdesc:ac51263250da06fd63b923a6771744f97 inherit pub_methods_classSVF_1_1MSSAMU"><td class="mdescLeft"> </td><td class="mdescRight">Return condition. <a href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">More...</a><br /></td></tr>
|
|
117
117
|
<tr class="separator:ac51263250da06fd63b923a6771744f97 inherit pub_methods_classSVF_1_1MSSAMU"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -164,7 +164,7 @@ class SVF::LoadMU< Cond ></h3>
|
|
|
164
164
|
|
|
165
165
|
<p><a class="el" href="classSVF_1_1LoadMU.html">LoadMU</a> is annotated at each load instruction, representing a memory object is read here </p>
|
|
166
166
|
|
|
167
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
167
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00165">165</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
168
168
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
169
169
|
<a id="a2288f957cbd10892eb6f3a4d3d0e39ee"></a>
|
|
170
170
|
<h2 class="memtitle"><span class="permalink"><a href="#a2288f957cbd10892eb6f3a4d3d0e39ee">◆ </a></span>LoadMU()</h2>
|
|
@@ -216,10 +216,10 @@ template<class Cond > </div>
|
|
|
216
216
|
|
|
217
217
|
<p>Constructor/Destructor for MU. </p>
|
|
218
218
|
|
|
219
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
220
|
-
<div class="fragment"><div class="line"><a name="
|
|
221
|
-
<div class="ttc" id="classSVF_1_1LoadMU_html_aea021fa025a51b1ee663ea3a6dfbae2a"><div class="ttname"><a href="classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a">SVF::LoadMU::inst</a></div><div class="ttdeci">const LoadPE * inst</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
222
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019">SVF::MSSAMU::LoadMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
219
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00175">175</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
220
|
+
<div class="fragment"><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  :</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  MSSAMU<Cond>(<a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019">MSSAMU<Cond>::LoadMSSAMU</a>,m,c), <a class="code" href="classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a">inst</a>(i), <a class="code" href="classSVF_1_1LoadMU.html#ad5b6ecaf016a136c982291256687d4d2">bb</a>(b)</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  {</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  }</div><div class="ttc" id="classSVF_1_1LoadMU_html_ad5b6ecaf016a136c982291256687d4d2"><div class="ttname"><a href="classSVF_1_1LoadMU.html#ad5b6ecaf016a136c982291256687d4d2">SVF::LoadMU::bb</a></div><div class="ttdeci">const BasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00170">MSSAMuChi.h:170</a></div></div>
|
|
221
|
+
<div class="ttc" id="classSVF_1_1LoadMU_html_aea021fa025a51b1ee663ea3a6dfbae2a"><div class="ttname"><a href="classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a">SVF::LoadMU::inst</a></div><div class="ttdeci">const LoadPE * inst</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00169">MSSAMuChi.h:169</a></div></div>
|
|
222
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019">SVF::MSSAMU::LoadMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
|
|
223
223
|
</div><!-- fragment -->
|
|
224
224
|
</div>
|
|
225
225
|
</div>
|
|
@@ -248,8 +248,8 @@ template<class Cond > </div>
|
|
|
248
248
|
</table>
|
|
249
249
|
</div><div class="memdoc">
|
|
250
250
|
|
|
251
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
252
|
-
<div class="fragment"><div class="line"><a name="
|
|
251
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00179">179</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
252
|
+
<div class="fragment"><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  {</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span> </div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  }</div></div><!-- fragment -->
|
|
253
253
|
</div>
|
|
254
254
|
</div>
|
|
255
255
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -281,8 +281,8 @@ template<class Cond > </div>
|
|
|
281
281
|
|
|
282
282
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
283
283
|
|
|
284
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
285
|
-
<div class="fragment"><div class="line"><a name="
|
|
284
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00199">199</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
285
|
+
<div class="fragment"><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  {</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  }</div></div><!-- fragment -->
|
|
286
286
|
</div>
|
|
287
287
|
</div>
|
|
288
288
|
<a id="a2b3f73c38c479e05984e01710227e50f"></a>
|
|
@@ -311,8 +311,8 @@ template<class Cond > </div>
|
|
|
311
311
|
</table>
|
|
312
312
|
</div><div class="memdoc">
|
|
313
313
|
|
|
314
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
315
|
-
<div class="fragment"><div class="line"><a name="
|
|
314
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00203">203</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
315
|
+
<div class="fragment"><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  {</div><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  <span class="keywordflow">return</span> mu->getType() == <a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019">MSSAMU<Cond>::LoadMSSAMU</a>;</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019">SVF::MSSAMU::LoadMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
|
|
316
316
|
</div><!-- fragment -->
|
|
317
317
|
</div>
|
|
318
318
|
</div>
|
|
@@ -345,10 +345,10 @@ template<class Cond > </div>
|
|
|
345
345
|
|
|
346
346
|
<p>Reimplemented from <a class="el" href="classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5">SVF::MSSAMU< Cond ></a>.</p>
|
|
347
347
|
|
|
348
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
349
|
-
<div class="fragment"><div class="line"><a name="
|
|
350
|
-
<div class="ttc" id="
|
|
351
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a6bd671839ec0376439ccd81d5b2eff30"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">SVF::MSSAMU::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return MR. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
348
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00210">210</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
349
|
+
<div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  {</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() << <span class="stringliteral">"LDMU(MR_"</span> << this-><a class="code" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << this-><a class="code" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">getMRVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() << <span class="stringliteral">") \t"</span> <<</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  this-><a class="code" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00071">MemRegion.h:71</a></div></div>
|
|
350
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_ad120dfc87b90b26649bcd8d0c0d3ca80"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">SVF::MSSAMU::getMRVer</a></div><div class="ttdeci">MRVer * getMRVer() const</div><div class="ttdoc">Get Ver. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00137">MSSAMuChi.h:137</a></div></div>
|
|
351
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a6bd671839ec0376439ccd81d5b2eff30"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">SVF::MSSAMU::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return MR. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00121">MSSAMuChi.h:121</a></div></div>
|
|
352
352
|
<div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
|
|
353
353
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00047">SVFUtil.h:47</a></div></div>
|
|
354
354
|
<div class="ttc" id="classSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00086">MemRegion.h:86</a></div></div>
|
|
@@ -382,8 +382,8 @@ template<class Cond > </div>
|
|
|
382
382
|
|
|
383
383
|
<p>Return basic block. </p>
|
|
384
384
|
|
|
385
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
386
|
-
<div class="fragment"><div class="line"><a name="
|
|
385
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00192">192</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
386
|
+
<div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  {</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LoadMU.html#ad5b6ecaf016a136c982291256687d4d2">bb</a>;</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  }</div><div class="ttc" id="classSVF_1_1LoadMU_html_ad5b6ecaf016a136c982291256687d4d2"><div class="ttname"><a href="classSVF_1_1LoadMU.html#ad5b6ecaf016a136c982291256687d4d2">SVF::LoadMU::bb</a></div><div class="ttdeci">const BasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00170">MSSAMuChi.h:170</a></div></div>
|
|
387
387
|
</div><!-- fragment -->
|
|
388
388
|
</div>
|
|
389
389
|
</div>
|
|
@@ -414,8 +414,8 @@ template<class Cond > </div>
|
|
|
414
414
|
|
|
415
415
|
<p>Return load instruction. </p>
|
|
416
416
|
|
|
417
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
418
|
-
<div class="fragment"><div class="line"><a name="
|
|
417
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00186">186</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
418
|
+
<div class="fragment"><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  {</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a">inst</a>;</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  }</div><div class="ttc" id="classSVF_1_1LoadMU_html_aea021fa025a51b1ee663ea3a6dfbae2a"><div class="ttname"><a href="classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a">SVF::LoadMU::inst</a></div><div class="ttdeci">const LoadPE * inst</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00169">MSSAMuChi.h:169</a></div></div>
|
|
419
419
|
</div><!-- fragment -->
|
|
420
420
|
</div>
|
|
421
421
|
</div>
|
|
@@ -442,7 +442,7 @@ template<class Cond > </div>
|
|
|
442
442
|
</table>
|
|
443
443
|
</div><div class="memdoc">
|
|
444
444
|
|
|
445
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
445
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00170">170</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
446
446
|
|
|
447
447
|
</div>
|
|
448
448
|
</div>
|
|
@@ -468,7 +468,7 @@ template<class Cond > </div>
|
|
|
468
468
|
</table>
|
|
469
469
|
</div><div class="memdoc">
|
|
470
470
|
|
|
471
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
471
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00169">169</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
472
472
|
|
|
473
473
|
</div>
|
|
474
474
|
</div>
|
|
@@ -472,8 +472,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
472
472
|
|
|
473
473
|
<p>Reimplemented in <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688">SVF::InterMSSAPHISVFGNode</a>, <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47">SVF::IntraMSSAPHISVFGNode</a>, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode</a>, <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c">SVF::ActualOUTSVFGNode</a>, <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5">SVF::ActualINSVFGNode</a>, <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a">SVF::FormalOUTSVFGNode</a>, and <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745">SVF::FormalINSVFGNode</a>.</p>
|
|
474
474
|
|
|
475
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
476
|
-
<div class="fragment"><div class="line"><a name="
|
|
475
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00043">43</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
476
|
+
<div class="fragment"><div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  {</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  std::string str;</div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  rawstr << <span class="stringliteral">"MRSVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span> }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
477
477
|
<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
|
|
478
478
|
</div><!-- fragment -->
|
|
479
479
|
</div>
|
|
@@ -71,14 +71,15 @@ $(function() {
|
|
|
71
71
|
<table class="directory">
|
|
72
72
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4">def</a></td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
73
73
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#a492211105abe8af8ed9ad7b30eabb852">getDef</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
74
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#
|
|
75
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#
|
|
76
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#
|
|
77
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#
|
|
79
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#
|
|
80
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#
|
|
81
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#
|
|
74
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc">getID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
75
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
76
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
77
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#aafe30801672cd436216386ad6ff479e6">mr</a></td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
78
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028">MRVer</a>(const MemRegion *m, MRVERSION v, MSSADef *d)</td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
79
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f">MSSADef</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"></td></tr>
|
|
80
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#aa89979685cbca9279d32c7512c9d3c16">totalVERNum</a></td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
|
|
81
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151">version</a></td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
82
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab">vid</a></td><td class="entry"><a class="el" href="classSVF_1_1MRVer.html">SVF::MRVer</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
82
83
|
</table></div><!-- contents -->
|
|
83
84
|
<!-- start footer part -->
|
|
84
85
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -94,6 +94,9 @@ Public Member Functions</h2></td></tr>
|
|
|
94
94
|
<tr class="memitem:a492211105abe8af8ed9ad7b30eabb852"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f">MSSADef</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRVer.html#a492211105abe8af8ed9ad7b30eabb852">getDef</a> () const</td></tr>
|
|
95
95
|
<tr class="memdesc:a492211105abe8af8ed9ad7b30eabb852"><td class="mdescLeft"> </td><td class="mdescRight">Get MSSADef. <a href="#a492211105abe8af8ed9ad7b30eabb852">More...</a><br /></td></tr>
|
|
96
96
|
<tr class="separator:a492211105abe8af8ed9ad7b30eabb852"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
|
+
<tr class="memitem:a45b70add039a7f134e8d44bfc6b8f0bc"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a0039280e908258b8e73779de51e9f63b">MRVERID</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc">getID</a> () const</td></tr>
|
|
98
|
+
<tr class="memdesc:a45b70add039a7f134e8d44bfc6b8f0bc"><td class="mdescLeft"> </td><td class="mdescRight">Get MRVERID. <a href="#a45b70add039a7f134e8d44bfc6b8f0bc">More...</a><br /></td></tr>
|
|
99
|
+
<tr class="separator:a45b70add039a7f134e8d44bfc6b8f0bc"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
100
|
</table><table class="memberdecls">
|
|
98
101
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
|
|
99
102
|
Private Attributes</h2></td></tr>
|
|
@@ -216,6 +219,36 @@ Static Private Attributes</h2></td></tr>
|
|
|
216
219
|
</div><!-- fragment -->
|
|
217
220
|
</div>
|
|
218
221
|
</div>
|
|
222
|
+
<a id="a45b70add039a7f134e8d44bfc6b8f0bc"></a>
|
|
223
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a45b70add039a7f134e8d44bfc6b8f0bc">◆ </a></span>getID()</h2>
|
|
224
|
+
|
|
225
|
+
<div class="memitem">
|
|
226
|
+
<div class="memproto">
|
|
227
|
+
<table class="mlabels">
|
|
228
|
+
<tr>
|
|
229
|
+
<td class="mlabels-left">
|
|
230
|
+
<table class="memname">
|
|
231
|
+
<tr>
|
|
232
|
+
<td class="memname"><a class="el" href="namespaceSVF.html#a0039280e908258b8e73779de51e9f63b">MRVERID</a> SVF::MRVer::getID </td>
|
|
233
|
+
<td>(</td>
|
|
234
|
+
<td class="paramname"></td><td>)</td>
|
|
235
|
+
<td> const</td>
|
|
236
|
+
</tr>
|
|
237
|
+
</table>
|
|
238
|
+
</td>
|
|
239
|
+
<td class="mlabels-right">
|
|
240
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
241
|
+
</tr>
|
|
242
|
+
</table>
|
|
243
|
+
</div><div class="memdoc">
|
|
244
|
+
|
|
245
|
+
<p>Get MRVERID. </p>
|
|
246
|
+
|
|
247
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00081">81</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
248
|
+
<div class="fragment"><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  {</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab">vid</a>;</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  }</div><div class="ttc" id="classSVF_1_1MRVer_html_a394b8c115d01dcf212d453a93a812aab"><div class="ttname"><a href="classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab">SVF::MRVer::vid</a></div><div class="ttdeci">MRVERID vid</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00053">MSSAMuChi.h:53</a></div></div>
|
|
249
|
+
</div><!-- fragment -->
|
|
250
|
+
</div>
|
|
251
|
+
</div>
|
|
219
252
|
<a id="a63bd0641be553860cc5f517634b65825"></a>
|
|
220
253
|
<h2 class="memtitle"><span class="permalink"><a href="#a63bd0641be553860cc5f517634b65825">◆ </a></span>getMR()</h2>
|
|
221
254
|
|
|
@@ -176,7 +176,7 @@ class SVF::MSSACHI< Cond ></h3>
|
|
|
176
176
|
|
|
177
177
|
<p>Indirect Memory Write </p>
|
|
178
178
|
|
|
179
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
179
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00396">396</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
180
180
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
181
181
|
<a id="a21d9218e105987a1f807633ea824e5d3"></a>
|
|
182
182
|
<h2 class="memtitle"><span class="permalink"><a href="#a21d9218e105987a1f807633ea824e5d3">◆ </a></span>CHITYPE</h2>
|
|
@@ -192,7 +192,7 @@ template<class Cond> </div>
|
|
|
192
192
|
</table>
|
|
193
193
|
</div><div class="memdoc">
|
|
194
194
|
|
|
195
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
195
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00403">403</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
196
196
|
|
|
197
197
|
</div>
|
|
198
198
|
</div>
|
|
@@ -241,10 +241,10 @@ template<class Cond> </div>
|
|
|
241
241
|
|
|
242
242
|
<p>Constructor/Destructer for <a class="el" href="classSVF_1_1MSSACHI.html">MSSACHI</a>. </p>
|
|
243
243
|
|
|
244
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
245
|
-
<div class="fragment"><div class="line"><a name="
|
|
246
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a1b1c7cbc293182a5ded43efa522990de"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">SVF::MSSADEF::MSSADEF</a></div><div class="ttdeci">MSSADEF(DEFTYPE t, const MemRegion *m)</div><div class="ttdoc">Constructor/Destructer for MSSADEF. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
247
|
-
<div class="ttc" id="classSVF_1_1MSSACHI_html_addeee3fb0c5e6b1c68c30da111c26759"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759">SVF::MSSACHI::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
244
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00406">406</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
245
|
+
<div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  : <a class="code" href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">MSSADEF</a>(t,m), <a class="code" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">opVer</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759">cond</a>(c)</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  {</div><div class="line"><a name="l00408"></a><span class="lineno"> 408</span> </div><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  }</div><div class="ttc" id="classSVF_1_1MSSACHI_html_a86f2f3f6e2215cdbe31caee048510757"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI::opVer</a></div><div class="ttdeci">MRVer * opVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00400">MSSAMuChi.h:400</a></div></div>
|
|
246
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a1b1c7cbc293182a5ded43efa522990de"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">SVF::MSSADEF::MSSADEF</a></div><div class="ttdeci">MSSADEF(DEFTYPE t, const MemRegion *m)</div><div class="ttdoc">Constructor/Destructer for MSSADEF. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00346">MSSAMuChi.h:346</a></div></div>
|
|
247
|
+
<div class="ttc" id="classSVF_1_1MSSACHI_html_addeee3fb0c5e6b1c68c30da111c26759"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759">SVF::MSSACHI::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00401">MSSAMuChi.h:401</a></div></div>
|
|
248
248
|
</div><!-- fragment -->
|
|
249
249
|
</div>
|
|
250
250
|
</div>
|
|
@@ -273,8 +273,8 @@ template<class Cond> </div>
|
|
|
273
273
|
</table>
|
|
274
274
|
</div><div class="memdoc">
|
|
275
275
|
|
|
276
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
277
|
-
<div class="fragment"><div class="line"><a name="
|
|
276
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00410">410</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
277
|
+
<div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span> {}</div></div><!-- fragment -->
|
|
278
278
|
</div>
|
|
279
279
|
</div>
|
|
280
280
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -306,8 +306,8 @@ template<class Cond> </div>
|
|
|
306
306
|
|
|
307
307
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
308
308
|
|
|
309
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
310
|
-
<div class="fragment"><div class="line"><a name="
|
|
309
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00435">435</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
310
|
+
<div class="fragment"><div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  {</div><div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  }</div></div><!-- fragment -->
|
|
311
311
|
</div>
|
|
312
312
|
</div>
|
|
313
313
|
<a id="a450055eb758896fb2e3e4f67febe7782"></a>
|
|
@@ -336,10 +336,10 @@ template<class Cond> </div>
|
|
|
336
336
|
</table>
|
|
337
337
|
</div><div class="memdoc">
|
|
338
338
|
|
|
339
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
340
|
-
<div class="fragment"><div class="line"><a name="
|
|
341
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43">SVF::MSSADEF::StoreMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
342
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">SVF::MSSADEF::EntryMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
339
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00439">439</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
340
|
+
<div class="fragment"><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  {</div><div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  <span class="keywordflow">return</span> chi->getType() == <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">MSSADEF::EntryMSSACHI</a> ||</div><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  chi->getType() == <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43">MSSADEF::StoreMSSACHI</a> ||</div><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  chi->getType() == <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18aeebaf47309ac06cd04ae69979f4c2580">MSSADEF::SSACHI</a> ;</div><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18aeebaf47309ac06cd04ae69979f4c2580"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18aeebaf47309ac06cd04ae69979f4c2580">SVF::MSSADEF::SSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00331">MSSAMuChi.h:331</a></div></div>
|
|
341
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43">SVF::MSSADEF::StoreMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00332">MSSAMuChi.h:332</a></div></div>
|
|
342
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">SVF::MSSADEF::EntryMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00334">MSSAMuChi.h:334</a></div></div>
|
|
343
343
|
</div><!-- fragment -->
|
|
344
344
|
</div>
|
|
345
345
|
</div>
|
|
@@ -374,11 +374,11 @@ template<class Cond> </div>
|
|
|
374
374
|
|
|
375
375
|
<p>Reimplemented in <a class="el" href="classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d">SVF::EntryCHI< Cond ></a>, <a class="el" href="classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41">SVF::CallCHI< Cond ></a>, and <a class="el" href="classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8">SVF::StoreCHI< Cond ></a>.</p>
|
|
376
376
|
|
|
377
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
378
|
-
<div class="fragment"><div class="line"><a name="
|
|
379
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
380
|
-
<div class="ttc" id="classSVF_1_1MSSACHI_html_a86f2f3f6e2215cdbe31caee048510757"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI::opVer</a></div><div class="ttdeci">MRVer * opVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
381
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
377
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00448">448</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
378
|
+
<div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  {</div><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() << <span class="stringliteral">"MR_"</span> << this-><a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << this-><a class="code" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">getResVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() <<</div><div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  <span class="stringliteral">" = CHI(MR_"</span> << this-><a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << <a class="code" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">opVer</a>-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() << <span class="stringliteral">") \t"</span> <<</div><div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  this-><a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00071">MemRegion.h:71</a></div></div>
|
|
379
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a21cb532396180e0b6bab515c52bec282"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF::getResVer</a></div><div class="ttdeci">MRVer * getResVer() const</div><div class="ttdoc">Set operand vers. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00373">MSSAMuChi.h:373</a></div></div>
|
|
380
|
+
<div class="ttc" id="classSVF_1_1MSSACHI_html_a86f2f3f6e2215cdbe31caee048510757"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI::opVer</a></div><div class="ttdeci">MRVer * opVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00400">MSSAMuChi.h:400</a></div></div>
|
|
381
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00354">MSSAMuChi.h:354</a></div></div>
|
|
382
382
|
<div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
|
|
383
383
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00047">SVFUtil.h:47</a></div></div>
|
|
384
384
|
<div class="ttc" id="classSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00086">MemRegion.h:86</a></div></div>
|
|
@@ -412,8 +412,8 @@ template<class Cond> </div>
|
|
|
412
412
|
|
|
413
413
|
<p>Get condition. </p>
|
|
414
414
|
|
|
415
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
416
|
-
<div class="fragment"><div class="line"><a name="
|
|
415
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00428">428</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
416
|
+
<div class="fragment"><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  {</div><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759">cond</a>;</div><div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  }</div><div class="ttc" id="classSVF_1_1MSSACHI_html_addeee3fb0c5e6b1c68c30da111c26759"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759">SVF::MSSACHI::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00401">MSSAMuChi.h:401</a></div></div>
|
|
417
417
|
</div><!-- fragment -->
|
|
418
418
|
</div>
|
|
419
419
|
</div>
|
|
@@ -444,9 +444,9 @@ template<class Cond> </div>
|
|
|
444
444
|
|
|
445
445
|
<p>Get operand ver. </p>
|
|
446
446
|
|
|
447
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
448
|
-
<div class="fragment"><div class="line"><a name="
|
|
449
|
-
<div class="ttc" id="classSVF_1_1MSSACHI_html_a86f2f3f6e2215cdbe31caee048510757"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI::opVer</a></div><div class="ttdeci">MRVer * opVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
447
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00421">421</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
448
|
+
<div class="fragment"><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  {</div><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">opVer</a>!=<span class="keyword">nullptr</span> && <span class="stringliteral">"version is nullptr, did not rename?"</span>);</div><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">opVer</a>;</div><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
449
|
+
<div class="ttc" id="classSVF_1_1MSSACHI_html_a86f2f3f6e2215cdbe31caee048510757"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI::opVer</a></div><div class="ttdeci">MRVer * opVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00400">MSSAMuChi.h:400</a></div></div>
|
|
450
450
|
</div><!-- fragment -->
|
|
451
451
|
</div>
|
|
452
452
|
</div>
|
|
@@ -478,10 +478,10 @@ template<class Cond> </div>
|
|
|
478
478
|
|
|
479
479
|
<p>Set operand ver. </p>
|
|
480
480
|
|
|
481
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
482
|
-
<div class="fragment"><div class="line"><a name="
|
|
483
|
-
<div class="ttc" id="classSVF_1_1MSSACHI_html_a86f2f3f6e2215cdbe31caee048510757"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI::opVer</a></div><div class="ttdeci">MRVer * opVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
484
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
481
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00414">414</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
482
|
+
<div class="fragment"><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  {</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(v->getMR() == this-><a class="code" href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">getMR</a>() && <span class="stringliteral">"inserting different memory region?"</span>);</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  <a class="code" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">opVer</a> = v;</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
483
|
+
<div class="ttc" id="classSVF_1_1MSSACHI_html_a86f2f3f6e2215cdbe31caee048510757"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI::opVer</a></div><div class="ttdeci">MRVer * opVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00400">MSSAMuChi.h:400</a></div></div>
|
|
484
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00354">MSSAMuChi.h:354</a></div></div>
|
|
485
485
|
</div><!-- fragment -->
|
|
486
486
|
</div>
|
|
487
487
|
</div>
|
|
@@ -508,7 +508,7 @@ template<class Cond> </div>
|
|
|
508
508
|
</table>
|
|
509
509
|
</div><div class="memdoc">
|
|
510
510
|
|
|
511
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
511
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00401">401</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
512
512
|
|
|
513
513
|
</div>
|
|
514
514
|
</div>
|
|
@@ -534,7 +534,7 @@ template<class Cond> </div>
|
|
|
534
534
|
</table>
|
|
535
535
|
</div><div class="memdoc">
|
|
536
536
|
|
|
537
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
537
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00400">400</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
538
538
|
|
|
539
539
|
</div>
|
|
540
540
|
</div>
|