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
|
@@ -139,7 +139,7 @@ Protected Attributes</h2></td></tr>
|
|
|
139
139
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
140
140
|
<div class="textblock"><p>Indirect Memory Definition 1) <a class="el" href="classSVF_1_1MSSACHI.html">MSSACHI</a> indirect memory object is modified a) <a class="el" href="classSVF_1_1StoreCHI.html">StoreCHI</a> definition at store b) <a class="el" href="classSVF_1_1EntryCHI.html">EntryCHI</a> definition at function entry 2) <a class="el" href="classSVF_1_1MSSAPHI.html">MSSAPHI</a> memory object is defined at joint points of a control flow </p>
|
|
141
141
|
|
|
142
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
142
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00325">325</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
143
143
|
</div><h2 class="groupheader">Member Enumeration Documentation</h2>
|
|
144
144
|
<a id="a32682e20c9c08d2bdd5abc62ea17af18"></a>
|
|
145
145
|
<h2 class="memtitle"><span class="permalink"><a href="#a32682e20c9c08d2bdd5abc62ea17af18">◆ </a></span>DEFTYPE</h2>
|
|
@@ -160,12 +160,12 @@ Protected Attributes</h2></td></tr>
|
|
|
160
160
|
<tr><td class="fieldname"><a id="a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736"></a>SSAPHI </td><td class="fielddoc"></td></tr>
|
|
161
161
|
</table>
|
|
162
162
|
|
|
163
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
164
|
-
<div class="fragment"><div class="line"><a name="
|
|
165
|
-
<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#
|
|
166
|
-
<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#
|
|
167
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4">SVF::MSSADEF::CallMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
168
|
-
<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#
|
|
163
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00329">329</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
164
|
+
<div class="fragment"><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  {</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18aeebaf47309ac06cd04ae69979f4c2580">SSACHI</a>,</div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43">StoreMSSACHI</a>,</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4">CallMSSACHI</a>,</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3">EntryMSSACHI</a>,</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <a class="code" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736">SSAPHI</a></div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  };</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736">SVF::MSSADEF::SSAPHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00335">MSSAMuChi.h:335</a></div></div>
|
|
165
|
+
<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>
|
|
166
|
+
<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>
|
|
167
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4">SVF::MSSADEF::CallMSSACHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00333">MSSAMuChi.h:333</a></div></div>
|
|
168
|
+
<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>
|
|
169
169
|
</div><!-- fragment -->
|
|
170
170
|
</div>
|
|
171
171
|
</div>
|
|
@@ -206,10 +206,10 @@ Protected Attributes</h2></td></tr>
|
|
|
206
206
|
|
|
207
207
|
<p>Constructor/Destructer for <a class="el" href="classSVF_1_1MSSADEF.html">MSSADEF</a>. </p>
|
|
208
208
|
|
|
209
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
210
|
-
<div class="fragment"><div class="line"><a name="
|
|
211
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a01bc47f779d20fa8e3be182ceab12780"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">SVF::MSSADEF::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
212
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a9e8a03dc2c2f76ef6bc095f21911f5b6"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF::type</a></div><div class="ttdeci">DEFTYPE type</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
209
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00346">346</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
210
|
+
<div class="fragment"><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  : <a class="code" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">type</a>(t), <a class="code" href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">mr</a>(m), <a class="code" href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">resVer</a>(<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  {</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span> </div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a72560a998968ae2dbc6e5aa8a7e9f813"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">SVF::MSSADEF::resVer</a></div><div class="ttdeci">MRVer * resVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00341">MSSAMuChi.h:341</a></div></div>
|
|
211
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a01bc47f779d20fa8e3be182ceab12780"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">SVF::MSSADEF::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00340">MSSAMuChi.h:340</a></div></div>
|
|
212
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a9e8a03dc2c2f76ef6bc095f21911f5b6"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF::type</a></div><div class="ttdeci">DEFTYPE type</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00339">MSSAMuChi.h:339</a></div></div>
|
|
213
213
|
</div><!-- fragment -->
|
|
214
214
|
</div>
|
|
215
215
|
</div>
|
|
@@ -236,8 +236,8 @@ Protected Attributes</h2></td></tr>
|
|
|
236
236
|
</table>
|
|
237
237
|
</div><div class="memdoc">
|
|
238
238
|
|
|
239
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
240
|
-
<div class="fragment"><div class="line"><a name="
|
|
239
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00350">350</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
240
|
+
<div class="fragment"><div class="line"><a name="l00350"></a><span class="lineno"> 350</span> {}</div></div><!-- fragment -->
|
|
241
241
|
</div>
|
|
242
242
|
</div>
|
|
243
243
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -268,10 +268,10 @@ Protected Attributes</h2></td></tr>
|
|
|
268
268
|
|
|
269
269
|
<p>Reimplemented in <a class="el" href="classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a">SVF::MSSAPHI< Cond ></a>, <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>, <a class="el" href="classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8">SVF::StoreCHI< Cond ></a>, and <a class="el" href="classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca">SVF::MSSACHI< Cond ></a>.</p>
|
|
270
270
|
|
|
271
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
272
|
-
<div class="fragment"><div class="line"><a name="
|
|
273
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a72560a998968ae2dbc6e5aa8a7e9f813"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">SVF::MSSADEF::resVer</a></div><div class="ttdeci">MRVer * resVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
274
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a01bc47f779d20fa8e3be182ceab12780"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">SVF::MSSADEF::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
271
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00386">386</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
272
|
+
<div class="fragment"><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  {</div><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() << <span class="stringliteral">"DEF(MR_"</span> << <a class="code" href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">mr</a>-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << <a class="code" href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">resVer</a>-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() << <span class="stringliteral">")\n"</span>;</div><div class="line"><a name="l00389"></a><span class="lineno"> 389</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>
|
|
273
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a72560a998968ae2dbc6e5aa8a7e9f813"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">SVF::MSSADEF::resVer</a></div><div class="ttdeci">MRVer * resVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00341">MSSAMuChi.h:341</a></div></div>
|
|
274
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a01bc47f779d20fa8e3be182ceab12780"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">SVF::MSSADEF::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00340">MSSAMuChi.h:340</a></div></div>
|
|
275
275
|
<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>
|
|
276
276
|
<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>
|
|
277
277
|
</div><!-- fragment -->
|
|
@@ -302,8 +302,8 @@ Protected Attributes</h2></td></tr>
|
|
|
302
302
|
|
|
303
303
|
<p>Return memory region. </p>
|
|
304
304
|
|
|
305
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
306
|
-
<div class="fragment"><div class="line"><a name="
|
|
305
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00354">354</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
306
|
+
<div class="fragment"><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  {</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">mr</a>;</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a01bc47f779d20fa8e3be182ceab12780"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">SVF::MSSADEF::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00340">MSSAMuChi.h:340</a></div></div>
|
|
307
307
|
</div><!-- fragment -->
|
|
308
308
|
</div>
|
|
309
309
|
</div>
|
|
@@ -332,8 +332,8 @@ Protected Attributes</h2></td></tr>
|
|
|
332
332
|
|
|
333
333
|
<p>Set operand vers. </p>
|
|
334
334
|
|
|
335
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
336
|
-
<div class="fragment"><div class="line"><a name="
|
|
335
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00373">373</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
336
|
+
<div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  {</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">resVer</a>!=<span class="keyword">nullptr</span> && <span class="stringliteral">"version is nullptr, did not rename?"</span>);</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">resVer</a>;</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a72560a998968ae2dbc6e5aa8a7e9f813"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">SVF::MSSADEF::resVer</a></div><div class="ttdeci">MRVer * resVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00341">MSSAMuChi.h:341</a></div></div>
|
|
337
337
|
<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>
|
|
338
338
|
</div><!-- fragment -->
|
|
339
339
|
</div>
|
|
@@ -363,8 +363,8 @@ Protected Attributes</h2></td></tr>
|
|
|
363
363
|
|
|
364
364
|
<p>Return type of this CHI. </p>
|
|
365
365
|
|
|
366
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
367
|
-
<div class="fragment"><div class="line"><a name="
|
|
366
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00360">360</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
367
|
+
<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  {</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">type</a>;</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a9e8a03dc2c2f76ef6bc095f21911f5b6"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF::type</a></div><div class="ttdeci">DEFTYPE type</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00339">MSSAMuChi.h:339</a></div></div>
|
|
368
368
|
</div><!-- fragment -->
|
|
369
369
|
</div>
|
|
370
370
|
</div>
|
|
@@ -394,8 +394,8 @@ Protected Attributes</h2></td></tr>
|
|
|
394
394
|
|
|
395
395
|
<p>Avoid adding duplicated chis and phis. </p>
|
|
396
396
|
|
|
397
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
398
|
-
<div class="fragment"><div class="line"><a name="
|
|
397
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00380">380</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
398
|
+
<div class="fragment"><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  {</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">mr</a> > rhs.getMR();</div><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a01bc47f779d20fa8e3be182ceab12780"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">SVF::MSSADEF::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00340">MSSAMuChi.h:340</a></div></div>
|
|
399
399
|
</div><!-- fragment -->
|
|
400
400
|
</div>
|
|
401
401
|
</div>
|
|
@@ -425,10 +425,10 @@ Protected Attributes</h2></td></tr>
|
|
|
425
425
|
|
|
426
426
|
<p>Set result operand ver. </p>
|
|
427
427
|
|
|
428
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
429
|
-
<div class="fragment"><div class="line"><a name="
|
|
428
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00366">366</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
429
|
+
<div class="fragment"><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  {</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(v->getMR() == <a class="code" href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">mr</a> && <span class="stringliteral">"inserting different memory region?"</span>);</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  <a class="code" href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">resVer</a> = v;</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  }</div><div class="ttc" id="classSVF_1_1MSSADEF_html_a72560a998968ae2dbc6e5aa8a7e9f813"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">SVF::MSSADEF::resVer</a></div><div class="ttdeci">MRVer * resVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00341">MSSAMuChi.h:341</a></div></div>
|
|
430
430
|
<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>
|
|
431
|
-
<div class="ttc" id="classSVF_1_1MSSADEF_html_a01bc47f779d20fa8e3be182ceab12780"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">SVF::MSSADEF::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
431
|
+
<div class="ttc" id="classSVF_1_1MSSADEF_html_a01bc47f779d20fa8e3be182ceab12780"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">SVF::MSSADEF::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00340">MSSAMuChi.h:340</a></div></div>
|
|
432
432
|
</div><!-- fragment -->
|
|
433
433
|
</div>
|
|
434
434
|
</div>
|
|
@@ -453,7 +453,7 @@ Protected Attributes</h2></td></tr>
|
|
|
453
453
|
</table>
|
|
454
454
|
</div><div class="memdoc">
|
|
455
455
|
|
|
456
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
456
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00340">340</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
457
457
|
|
|
458
458
|
</div>
|
|
459
459
|
</div>
|
|
@@ -477,7 +477,7 @@ Protected Attributes</h2></td></tr>
|
|
|
477
477
|
</table>
|
|
478
478
|
</div><div class="memdoc">
|
|
479
479
|
|
|
480
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
480
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00341">341</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
481
481
|
|
|
482
482
|
</div>
|
|
483
483
|
</div>
|
|
@@ -501,7 +501,7 @@ Protected Attributes</h2></td></tr>
|
|
|
501
501
|
</table>
|
|
502
502
|
</div><div class="memdoc">
|
|
503
503
|
|
|
504
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
504
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00339">339</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
505
505
|
|
|
506
506
|
</div>
|
|
507
507
|
</div>
|
|
@@ -74,8 +74,8 @@ $(function() {
|
|
|
74
74
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5">dump</a>()</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><span class="mlabel">virtual</span></td></tr>
|
|
75
75
|
<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>
|
|
76
76
|
<tr class="even"><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>
|
|
77
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#
|
|
77
|
+
<tr><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>
|
|
78
|
+
<tr class="even"><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>
|
|
79
79
|
<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>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">mr</a></td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU< Cond ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
81
81
|
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f">MSSAMU</a>(MUTYPE t, const MemRegion *m, Cond c)</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>
|
|
@@ -104,9 +104,9 @@ Public Member Functions</h2></td></tr>
|
|
|
104
104
|
<tr class="memitem:a2af1e639aabbc5997aa4e6526f6595fb"><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>
|
|
105
105
|
<tr class="memdesc:a2af1e639aabbc5997aa4e6526f6595fb"><td class="mdescLeft"> </td><td class="mdescRight">Set Ver. <a href="#a2af1e639aabbc5997aa4e6526f6595fb">More...</a><br /></td></tr>
|
|
106
106
|
<tr class="separator:a2af1e639aabbc5997aa4e6526f6595fb"><td class="memSeparator" colspan="2"> </td></tr>
|
|
107
|
-
<tr class="memitem:
|
|
108
|
-
<tr class="memdesc:
|
|
109
|
-
<tr class="separator:
|
|
107
|
+
<tr class="memitem:ad120dfc87b90b26649bcd8d0c0d3ca80"><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>
|
|
108
|
+
<tr class="memdesc:ad120dfc87b90b26649bcd8d0c0d3ca80"><td class="mdescLeft"> </td><td class="mdescRight">Get Ver. <a href="#ad120dfc87b90b26649bcd8d0c0d3ca80">More...</a><br /></td></tr>
|
|
109
|
+
<tr class="separator:ad120dfc87b90b26649bcd8d0c0d3ca80"><td class="memSeparator" colspan="2"> </td></tr>
|
|
110
110
|
<tr class="memitem:ac51263250da06fd63b923a6771744f97"><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>
|
|
111
111
|
<tr class="memdesc:ac51263250da06fd63b923a6771744f97"><td class="mdescLeft"> </td><td class="mdescRight">Return condition. <a href="#ac51263250da06fd63b923a6771744f97">More...</a><br /></td></tr>
|
|
112
112
|
<tr class="separator:ac51263250da06fd63b923a6771744f97"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -140,7 +140,7 @@ class SVF::MSSAMU< Cond ></h3>
|
|
|
140
140
|
|
|
141
141
|
<p>Indirect Memory Read 1) <a class="el" href="classSVF_1_1LoadMU.html">LoadMU</a> at each store instruction 2) <a class="el" href="classSVF_1_1CallMU.html">CallMU</a> at callsite 3) <a class="el" href="classSVF_1_1RetMU.html">RetMU</a> at function return </p>
|
|
142
142
|
|
|
143
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
143
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00095">95</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
144
144
|
</div><h2 class="groupheader">Member Enumeration Documentation</h2>
|
|
145
145
|
<a id="a82c66f3e2b7d2d9dd391a947719bda9b"></a>
|
|
146
146
|
<h2 class="memtitle"><span class="permalink"><a href="#a82c66f3e2b7d2d9dd391a947719bda9b">◆ </a></span>MUTYPE</h2>
|
|
@@ -161,10 +161,10 @@ template<class Cond> </div>
|
|
|
161
161
|
<tr><td class="fieldname"><a id="a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594"></a>RetMSSAMU </td><td class="fielddoc"></td></tr>
|
|
162
162
|
</table>
|
|
163
163
|
|
|
164
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
165
|
-
<div class="fragment"><div class="line"><a name="
|
|
166
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">SVF::MSSAMU::CallMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
167
|
-
<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#
|
|
164
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00099">99</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
165
|
+
<div class="fragment"><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  {</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019">LoadMSSAMU</a>, <a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">CallMSSAMU</a>, <a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594">RetMSSAMU</a></div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  };</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594">SVF::MSSAMU::RetMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
|
|
166
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">SVF::MSSAMU::CallMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
|
|
167
|
+
<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>
|
|
168
168
|
</div><!-- fragment -->
|
|
169
169
|
</div>
|
|
170
170
|
</div>
|
|
@@ -213,11 +213,11 @@ template<class Cond> </div>
|
|
|
213
213
|
|
|
214
214
|
<p>Constructor/Destructor for MU. </p>
|
|
215
215
|
|
|
216
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
217
|
-
<div class="fragment"><div class="line"><a name="
|
|
218
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a3cbe5ca0cb91090ef0e8b331e2f15f7c"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU::type</a></div><div class="ttdeci">MUTYPE type</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
219
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a9c84b55a34025c6742f5a02c07cd4a36"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">SVF::MSSAMU::ver</a></div><div class="ttdeci">MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
220
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a8e828af79da08528166b1f53165bc5b2"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2">SVF::MSSAMU::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
216
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00112">112</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
217
|
+
<div class="fragment"><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  : <a class="code" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">type</a>(t), <a class="code" href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">mr</a>(m), <a class="code" href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">ver</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2">cond</a>(c)</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  {</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a51b89fa50c39d864cc9ca63508ea94f4"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">SVF::MSSAMU::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00106">MSSAMuChi.h:106</a></div></div>
|
|
218
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a3cbe5ca0cb91090ef0e8b331e2f15f7c"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU::type</a></div><div class="ttdeci">MUTYPE type</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00105">MSSAMuChi.h:105</a></div></div>
|
|
219
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a9c84b55a34025c6742f5a02c07cd4a36"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">SVF::MSSAMU::ver</a></div><div class="ttdeci">MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00107">MSSAMuChi.h:107</a></div></div>
|
|
220
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a8e828af79da08528166b1f53165bc5b2"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2">SVF::MSSAMU::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00108">MSSAMuChi.h:108</a></div></div>
|
|
221
221
|
</div><!-- fragment -->
|
|
222
222
|
</div>
|
|
223
223
|
</div>
|
|
@@ -246,8 +246,8 @@ template<class Cond> </div>
|
|
|
246
246
|
</table>
|
|
247
247
|
</div><div class="memdoc">
|
|
248
248
|
|
|
249
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
250
|
-
<div class="fragment"><div class="line"><a name="
|
|
249
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00115">115</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
250
|
+
<div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  {</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  }</div></div><!-- fragment -->
|
|
251
251
|
</div>
|
|
252
252
|
</div>
|
|
253
253
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -280,11 +280,11 @@ template<class Cond> </div>
|
|
|
280
280
|
|
|
281
281
|
<p>Reimplemented in <a class="el" href="classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0">SVF::RetMU< Cond ></a>, <a class="el" href="classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57">SVF::CallMU< Cond ></a>, and <a class="el" href="classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329">SVF::LoadMU< Cond ></a>.</p>
|
|
282
282
|
|
|
283
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
284
|
-
<div class="fragment"><div class="line"><a name="
|
|
285
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a51b89fa50c39d864cc9ca63508ea94f4"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">SVF::MSSAMU::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
286
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a9c84b55a34025c6742f5a02c07cd4a36"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">SVF::MSSAMU::ver</a></div><div class="ttdeci">MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
287
|
-
<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#
|
|
283
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00154">154</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
284
|
+
<div class="fragment"><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  {</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVFUtil::outs</a>() << <span class="stringliteral">"MU(MR_"</span> << <a class="code" href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">mr</a>-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << <a class="code" href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">ver</a>-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() << <span class="stringliteral">") \t"</span> <<</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</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="l00158"></a><span class="lineno"> 158</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>
|
|
285
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a51b89fa50c39d864cc9ca63508ea94f4"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">SVF::MSSAMU::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00106">MSSAMuChi.h:106</a></div></div>
|
|
286
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a9c84b55a34025c6742f5a02c07cd4a36"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">SVF::MSSAMU::ver</a></div><div class="ttdeci">MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00107">MSSAMuChi.h:107</a></div></div>
|
|
287
|
+
<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>
|
|
288
288
|
<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>
|
|
289
289
|
<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>
|
|
290
290
|
<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>
|
|
@@ -318,8 +318,8 @@ template<class Cond> </div>
|
|
|
318
318
|
|
|
319
319
|
<p>Return condition. </p>
|
|
320
320
|
|
|
321
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
322
|
-
<div class="fragment"><div class="line"><a name="
|
|
321
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00143">143</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
322
|
+
<div class="fragment"><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  {</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2">cond</a>;</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a8e828af79da08528166b1f53165bc5b2"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2">SVF::MSSAMU::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00108">MSSAMuChi.h:108</a></div></div>
|
|
323
323
|
</div><!-- fragment -->
|
|
324
324
|
</div>
|
|
325
325
|
</div>
|
|
@@ -350,13 +350,13 @@ template<class Cond> </div>
|
|
|
350
350
|
|
|
351
351
|
<p>Return MR. </p>
|
|
352
352
|
|
|
353
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
354
|
-
<div class="fragment"><div class="line"><a name="
|
|
353
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00121">121</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
354
|
+
<div class="fragment"><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  {</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">mr</a>;</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a51b89fa50c39d864cc9ca63508ea94f4"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">SVF::MSSAMU::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00106">MSSAMuChi.h:106</a></div></div>
|
|
355
355
|
</div><!-- fragment -->
|
|
356
356
|
</div>
|
|
357
357
|
</div>
|
|
358
|
-
<a id="
|
|
359
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
358
|
+
<a id="ad120dfc87b90b26649bcd8d0c0d3ca80"></a>
|
|
359
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ad120dfc87b90b26649bcd8d0c0d3ca80">◆ </a></span>getMRVer()</h2>
|
|
360
360
|
|
|
361
361
|
<div class="memitem">
|
|
362
362
|
<div class="memproto">
|
|
@@ -367,7 +367,7 @@ template<class Cond> </div>
|
|
|
367
367
|
<td class="mlabels-left">
|
|
368
368
|
<table class="memname">
|
|
369
369
|
<tr>
|
|
370
|
-
<td class="memname"><a class="el" href="
|
|
370
|
+
<td class="memname"><a class="el" href="classSVF_1_1MRVer.html">MRVer</a>* <a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU</a>< Cond >::getMRVer </td>
|
|
371
371
|
<td>(</td>
|
|
372
372
|
<td class="paramname"></td><td>)</td>
|
|
373
373
|
<td> const</td>
|
|
@@ -380,15 +380,16 @@ template<class Cond> </div>
|
|
|
380
380
|
</table>
|
|
381
381
|
</div><div class="memdoc">
|
|
382
382
|
|
|
383
|
-
<p>
|
|
383
|
+
<p>Get Ver. </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#l00137">137</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
386
|
+
<div class="fragment"><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  {</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">ver</a>!=<span class="keyword">nullptr</span> && <span class="stringliteral">"version is nullptr, did not rename?"</span>);</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">ver</a>;</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</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>
|
|
387
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a9c84b55a34025c6742f5a02c07cd4a36"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">SVF::MSSAMU::ver</a></div><div class="ttdeci">MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00107">MSSAMuChi.h:107</a></div></div>
|
|
387
388
|
</div><!-- fragment -->
|
|
388
389
|
</div>
|
|
389
390
|
</div>
|
|
390
|
-
<a id="
|
|
391
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
391
|
+
<a id="a9a542febe746d1389d34e5e31a3253c9"></a>
|
|
392
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a9a542febe746d1389d34e5e31a3253c9">◆ </a></span>getType()</h2>
|
|
392
393
|
|
|
393
394
|
<div class="memitem">
|
|
394
395
|
<div class="memproto">
|
|
@@ -399,7 +400,7 @@ template<class Cond> </div>
|
|
|
399
400
|
<td class="mlabels-left">
|
|
400
401
|
<table class="memname">
|
|
401
402
|
<tr>
|
|
402
|
-
<td class="memname"><a class="el" href="
|
|
403
|
+
<td class="memname"><a class="el" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b">MUTYPE</a> <a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU</a>< Cond >::getType </td>
|
|
403
404
|
<td>(</td>
|
|
404
405
|
<td class="paramname"></td><td>)</td>
|
|
405
406
|
<td> const</td>
|
|
@@ -412,11 +413,10 @@ template<class Cond> </div>
|
|
|
412
413
|
</table>
|
|
413
414
|
</div><div class="memdoc">
|
|
414
415
|
|
|
415
|
-
<p>
|
|
416
|
+
<p>Return type. </p>
|
|
416
417
|
|
|
417
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
418
|
-
<div class="fragment"><div class="line"><a name="
|
|
419
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a9c84b55a34025c6742f5a02c07cd4a36"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">SVF::MSSAMU::ver</a></div><div class="ttdeci">MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
|
|
418
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00126">126</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
419
|
+
<div class="fragment"><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  {</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">type</a>;</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a3cbe5ca0cb91090ef0e8b331e2f15f7c"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU::type</a></div><div class="ttdeci">MUTYPE type</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00105">MSSAMuChi.h:105</a></div></div>
|
|
420
420
|
</div><!-- fragment -->
|
|
421
421
|
</div>
|
|
422
422
|
</div>
|
|
@@ -448,8 +448,8 @@ template<class Cond> </div>
|
|
|
448
448
|
|
|
449
449
|
<p>Avoid adding duplicated mus. </p>
|
|
450
450
|
|
|
451
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
452
|
-
<div class="fragment"><div class="line"><a name="
|
|
451
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00149">149</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
452
|
+
<div class="fragment"><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  {</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">mr</a> > rhs.getMR();</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a51b89fa50c39d864cc9ca63508ea94f4"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">SVF::MSSAMU::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00106">MSSAMuChi.h:106</a></div></div>
|
|
453
453
|
</div><!-- fragment -->
|
|
454
454
|
</div>
|
|
455
455
|
</div>
|
|
@@ -481,10 +481,10 @@ template<class Cond> </div>
|
|
|
481
481
|
|
|
482
482
|
<p>Set Ver. </p>
|
|
483
483
|
|
|
484
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
485
|
-
<div class="fragment"><div class="line"><a name="
|
|
486
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a51b89fa50c39d864cc9ca63508ea94f4"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">SVF::MSSAMU::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
487
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a9c84b55a34025c6742f5a02c07cd4a36"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">SVF::MSSAMU::ver</a></div><div class="ttdeci">MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#
|
|
484
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00131">131</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
485
|
+
<div class="fragment"><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  {</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(v->getMR() == <a class="code" href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">mr</a> && <span class="stringliteral">"inserting different memory region?"</span>);</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <a class="code" href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">ver</a> = v;</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</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>
|
|
486
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a51b89fa50c39d864cc9ca63508ea94f4"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4">SVF::MSSAMU::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00106">MSSAMuChi.h:106</a></div></div>
|
|
487
|
+
<div class="ttc" id="classSVF_1_1MSSAMU_html_a9c84b55a34025c6742f5a02c07cd4a36"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36">SVF::MSSAMU::ver</a></div><div class="ttdeci">MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00107">MSSAMuChi.h:107</a></div></div>
|
|
488
488
|
</div><!-- fragment -->
|
|
489
489
|
</div>
|
|
490
490
|
</div>
|
|
@@ -511,7 +511,7 @@ template<class Cond> </div>
|
|
|
511
511
|
</table>
|
|
512
512
|
</div><div class="memdoc">
|
|
513
513
|
|
|
514
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
514
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00108">108</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
515
515
|
|
|
516
516
|
</div>
|
|
517
517
|
</div>
|
|
@@ -537,7 +537,7 @@ template<class Cond> </div>
|
|
|
537
537
|
</table>
|
|
538
538
|
</div><div class="memdoc">
|
|
539
539
|
|
|
540
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
540
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00106">106</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
541
541
|
|
|
542
542
|
</div>
|
|
543
543
|
</div>
|
|
@@ -563,7 +563,7 @@ template<class Cond> </div>
|
|
|
563
563
|
</table>
|
|
564
564
|
</div><div class="memdoc">
|
|
565
565
|
|
|
566
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
566
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00105">105</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
567
567
|
|
|
568
568
|
</div>
|
|
569
569
|
</div>
|
|
@@ -589,7 +589,7 @@ template<class Cond> </div>
|
|
|
589
589
|
</table>
|
|
590
590
|
</div><div class="memdoc">
|
|
591
591
|
|
|
592
|
-
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#
|
|
592
|
+
<p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00107">107</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
|
|
593
593
|
|
|
594
594
|
</div>
|
|
595
595
|
</div>
|