svf-tools 1.0.321 → 1.0.322

package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html

@@ -63,6 +63,7 @@ $(function() {
 </div><!-- top -->
 <div class="header">
   <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
 <a href="#pri-methods">Private Member Functions</a> &#124;
 <a href="#pri-attribs">Private Attributes</a> &#124;
 <a href="classSVF_1_1CmpStmt-members.html">List of all members</a>  </div>
@@ -71,79 +72,229 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 
-<p><code>#include &lt;<a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>&gt;</code></p>
+<p><code>#include &lt;<a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>&gt;</code></p>
 <div class="dynheader">
 Inheritance diagram for SVF::CmpStmt:</div>
 <div class="dyncontent">
  <div class="center">
   <img src="classSVF_1_1CmpStmt.png" usemap="#SVF::CmpStmt_map" alt=""/>
   <map id="SVF::CmpStmt_map" name="SVF::CmpStmt_map">
-<area href="classSVF_1_1SVFStmt.html" alt="SVF::SVFStmt" shape="rect" coords="0,0,91,24"/>
+<area href="classSVF_1_1MultiOpndStmt.html" alt="SVF::MultiOpndStmt" shape="rect" coords="0,112,187,136"/>
+<area href="classSVF_1_1SVFStmt.html" alt="SVF::SVFStmt" shape="rect" coords="0,56,187,80"/>
+<area href="classSVF_1_1GenericEdge.html" alt="SVF::GenericEdge&lt; NodeTy &gt;" shape="rect" coords="0,0,187,24"/>
 </map>
  </div></div>
 <table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
-Private Member Functions</h2></td></tr>
-<tr class="memitem:a662ed248ea398423e0e22604d7fec2dc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a662ed248ea398423e0e22604d7fec2dc">CmpStmt</a> (<a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> res, <a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> op1, <a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> op2)</td></tr>
-<tr class="separator:a662ed248ea398423e0e22604d7fec2dc"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa617fb28a81447d7e800e0cb1b1c1a35"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#aa617fb28a81447d7e800e0cb1b1c1a35">toString</a> () const</td></tr>
-<tr class="separator:aa617fb28a81447d7e800e0cb1b1c1a35"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:a22ecfaf110adeb99f028de9261d045f7"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a22ecfaf110adeb99f028de9261d045f7">CmpStmt</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, const <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> &amp;opnds, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> oc)</td></tr>
+<tr class="memdesc:a22ecfaf110adeb99f028de9261d045f7"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="#a22ecfaf110adeb99f028de9261d045f7">More...</a><br /></td></tr>
+<tr class="separator:a22ecfaf110adeb99f028de9261d045f7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acd623f69c5c32c881c1fba108f90c5ed"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#acd623f69c5c32c881c1fba108f90c5ed">getOpcode</a> () const</td></tr>
+<tr class="separator:acd623f69c5c32c881c1fba108f90c5ed"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2f050b8af64dbe5e6bace2a82167a439"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439">toString</a> () const override</td></tr>
+<tr class="separator:a2f050b8af64dbe5e6bace2a82167a439"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1MultiOpndStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MultiOpndStmt')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td></tr>
+<tr class="memitem:aad0c81aeb48e5d94dd8c60d87b41714c inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *r, const <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> &amp;opnds, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
+<tr class="memdesc:aad0c81aeb48e5d94dd8c60d87b41714c inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor, only used by subclassess but not external users.  <a href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">More...</a><br /></td></tr>
+<tr class="separator:aad0c81aeb48e5d94dd8c60d87b41714c inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a18f9d9ea87def35d4eaa707a339316b8 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">getOpVar</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos) const</td></tr>
+<tr class="memdesc:a18f9d9ea87def35d4eaa707a339316b8 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Operands and result at a BinaryNode e.g., p = q + r, <code>p</code> is resVar and <code>r</code> is OpVar.  <a href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">More...</a><br /></td></tr>
+<tr class="separator:a18f9d9ea87def35d4eaa707a339316b8 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a00a14ad8f49912b876fd9d729fea4601 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">getRes</a> () const</td></tr>
+<tr class="memdesc:a00a14ad8f49912b876fd9d729fea4601 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Result <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>.  <a href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">More...</a><br /></td></tr>
+<tr class="separator:a00a14ad8f49912b876fd9d729fea4601 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5c6efcc023e90ef2e618586091958c59 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos) const</td></tr>
+<tr class="separator:a5c6efcc023e90ef2e618586091958c59 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a71a530eb9fa9f7e273e471b4a75a039e inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a> () const</td></tr>
+<tr class="separator:a71a530eb9fa9f7e273e471b4a75a039e inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af300571886b7aa2d84b0a70851c99bc3 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">getOpVarNum</a> () const</td></tr>
+<tr class="separator:af300571886b7aa2d84b0a70851c99bc3 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0441f2646fed28830439c41a0704ed4b inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">getOpndVars</a> () const</td></tr>
+<tr class="separator:a0441f2646fed28830439c41a0704ed4b inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abebed8985cb4d4d1361c42e5454c90b9 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">OPVars::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">opVarBegin</a> () const</td></tr>
+<tr class="separator:abebed8985cb4d4d1361c42e5454c90b9 inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad53097d07487d564e7d13f9d7d9ab10c inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">OPVars::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c">opVerEnd</a> () const</td></tr>
+<tr class="separator:ad53097d07487d564e7d13f9d7d9ab10c inherit pub_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1SVFStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1SVFStmt')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td></tr>
+<tr class="memitem:a47102f72115d41bff899b1b2ffec75b1 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">SVFStmt</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
+<tr class="memdesc:a47102f72115d41bff899b1b2ffec75b1 inherit pub_methods_classSVF_1_1SVFStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">More...</a><br /></td></tr>
+<tr class="separator:a47102f72115d41bff899b1b2ffec75b1 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aac79c7e8d390f297002782afb0ba3ff0 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">~SVFStmt</a> ()</td></tr>
+<tr class="memdesc:aac79c7e8d390f297002782afb0ba3ff0 inherit pub_methods_classSVF_1_1SVFStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">More...</a><br /></td></tr>
+<tr class="separator:aac79c7e8d390f297002782afb0ba3ff0 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af7bb0d687fc61cae1de639c88e472491 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">EdgeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491">getEdgeID</a> () const</td></tr>
+<tr class="memdesc:af7bb0d687fc61cae1de639c88e472491 inherit pub_methods_classSVF_1_1SVFStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return Edge ID.  <a href="classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491">More...</a><br /></td></tr>
+<tr class="separator:af7bb0d687fc61cae1de639c88e472491 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0b6c03af568b70903da6b200ac86c951 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a> () const</td></tr>
+<tr class="memdesc:a0b6c03af568b70903da6b200ac86c951 inherit pub_methods_classSVF_1_1SVFStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether src and dst nodes are both of pointer type.  <a href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">More...</a><br /></td></tr>
+<tr class="separator:a0b6c03af568b70903da6b200ac86c951 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a86628ea173dec4934322f5d1caf2e1db inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">getInst</a> () const</td></tr>
+<tr class="memdesc:a86628ea173dec4934322f5d1caf2e1db inherit pub_methods_classSVF_1_1SVFStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get/set methods for llvm instruction.  <a href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">More...</a><br /></td></tr>
+<tr class="separator:a86628ea173dec4934322f5d1caf2e1db inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a24dddb4e346a6e569908e3efe8a6ecc0 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a24dddb4e346a6e569908e3efe8a6ecc0">setValue</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val)</td></tr>
+<tr class="separator:a24dddb4e346a6e569908e3efe8a6ecc0 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a65ee8b43a3a4999eb112a197d1a9f882 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a> () const</td></tr>
+<tr class="separator:a65ee8b43a3a4999eb112a197d1a9f882 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a852730edf374d18a3fb3985211ed7623 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623">setBB</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bb)</td></tr>
+<tr class="separator:a852730edf374d18a3fb3985211ed7623 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a793c53e0b4f9a58099c096f0a0856495 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a793c53e0b4f9a58099c096f0a0856495">getBB</a> () const</td></tr>
+<tr class="separator:a793c53e0b4f9a58099c096f0a0856495 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adb92a92f5c878576dff26cb38eab8c8c inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c">setICFGNode</a> (<a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *node)</td></tr>
+<tr class="separator:adb92a92f5c878576dff26cb38eab8c8c inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa809a57c8cdaaa35dfc3cc0f3b33b52b inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b">getICFGNode</a> () const</td></tr>
+<tr class="separator:aa809a57c8cdaaa35dfc3cc0f3b33b52b inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
+<tr class="memitem:a6764973569c281d483afab17a75cb4dc inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a> (NodeTy *s, NodeTy *d, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
+<tr class="memdesc:a6764973569c281d483afab17a75cb4dc inherit pub_methods_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">More...</a><br /></td></tr>
+<tr class="separator:a6764973569c281d483afab17a75cb4dc inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a548daea0cac6491de91d4840b7297741 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a> ()</td></tr>
+<tr class="memdesc:a548daea0cac6491de91d4840b7297741 inherit pub_methods_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">More...</a><br /></td></tr>
+<tr class="separator:a548daea0cac6491de91d4840b7297741 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae6792506a0150a9400d635eceab7f9e7 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a> () const</td></tr>
+<tr class="memdesc:ae6792506a0150a9400d635eceab7f9e7 inherit pub_methods_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">get methods of the components  <a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">More...</a><br /></td></tr>
+<tr class="separator:ae6792506a0150a9400d635eceab7f9e7 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad9edb45e74ae675d9da82f5acf02d56e inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a> () const</td></tr>
+<tr class="separator:ad9edb45e74ae675d9da82f5acf02d56e inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abe8525c542def8162b094c169a01993b inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a> () const</td></tr>
+<tr class="separator:abe8525c542def8162b094c169a01993b inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab47ca533c415841ef75456cbad439589 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a> () const</td></tr>
+<tr class="separator:ab47ca533c415841ef75456cbad439589 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aeaa31a2c8479e831b36ce2e2582ceb86 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a> () const</td></tr>
+<tr class="separator:aeaa31a2c8479e831b36ce2e2582ceb86 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0e461644bf9a4e50099b38f09222e858 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a> (const <a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a>&lt; <a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> &gt; *rhs) const</td></tr>
+<tr class="separator:a0e461644bf9a4e50099b38f09222e858 inherit pub_methods_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-static-methods"></a>
-Static Private Member Functions</h2></td></tr>
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
+Static Public Member Functions</h2></td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
 <tr class="memitem:adec661dd23b7806b35abba2d44aebc61"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#adec661dd23b7806b35abba2d44aebc61">classof</a> (const <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> *)</td></tr>
 <tr class="memdesc:adec661dd23b7806b35abba2d44aebc61"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast:  <a href="#adec661dd23b7806b35abba2d44aebc61">More...</a><br /></td></tr>
 <tr class="separator:adec661dd23b7806b35abba2d44aebc61"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad334ba958d053588334376f14540d40c"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#ad334ba958d053588334376f14540d40c">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *stmt)</td></tr>
-<tr class="separator:ad334ba958d053588334376f14540d40c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a16a5fddf61f6a13ee34dde0c4267d0e5"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a16a5fddf61f6a13ee34dde0c4267d0e5">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *edge)</td></tr>
+<tr class="separator:a16a5fddf61f6a13ee34dde0c4267d0e5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a679ec89e3fa17a17dcc8fafeb30d3a61"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a679ec89e3fa17a17dcc8fafeb30d3a61">classof</a> (const <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> *edge)</td></tr>
+<tr class="separator:a679ec89e3fa17a17dcc8fafeb30d3a61"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af9f7fe4aa92bb443cd517f06a8fb94cd"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#af9f7fe4aa92bb443cd517f06a8fb94cd">classof</a> (const <a class="el" href="namespaceSVF.html#ab502ff5e204678640c1081d104f60971">GenericPAGEdgeTy</a> *edge)</td></tr>
+<tr class="separator:af9f7fe4aa92bb443cd517f06a8fb94cd"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_static_methods_classSVF_1_1MultiOpndStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1MultiOpndStmt')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td></tr>
+<tr class="memitem:aa0d9a26d3ad17432505b1f5bb36368d9 inherit pub_static_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#aa0d9a26d3ad17432505b1f5bb36368d9">classof</a> (const <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> *)</td></tr>
+<tr class="memdesc:aa0d9a26d3ad17432505b1f5bb36368d9 inherit pub_static_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast:  <a href="classSVF_1_1MultiOpndStmt.html#aa0d9a26d3ad17432505b1f5bb36368d9">More...</a><br /></td></tr>
+<tr class="separator:aa0d9a26d3ad17432505b1f5bb36368d9 inherit pub_static_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5de8ff8363cb3f0b1427b69aa1058470 inherit pub_static_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a5de8ff8363cb3f0b1427b69aa1058470">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *node)</td></tr>
+<tr class="separator:a5de8ff8363cb3f0b1427b69aa1058470 inherit pub_static_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad20128715a7aaf173d60fe8f14575678 inherit pub_static_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#ad20128715a7aaf173d60fe8f14575678">classof</a> (const <a class="el" href="namespaceSVF.html#ab502ff5e204678640c1081d104f60971">GenericPAGEdgeTy</a> *node)</td></tr>
+<tr class="separator:ad20128715a7aaf173d60fe8f14575678 inherit pub_static_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_static_methods_classSVF_1_1SVFStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1SVFStmt')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td></tr>
+<tr class="memitem:a3b20523aed66ac8943d7d00ff777137b inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a> (<a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> k, const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *var)</td></tr>
+<tr class="memdesc:a3b20523aed66ac8943d7d00ff777137b inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Compute the unique edgeFlag value from edge kind and second variable operand for <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a>.  <a href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">More...</a><br /></td></tr>
+<tr class="separator:a3b20523aed66ac8943d7d00ff777137b inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4513c6e66b46c36219ba6d7403f3eb00 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a> (<a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> k, const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *cs)</td></tr>
+<tr class="memdesc:a4513c6e66b46c36219ba6d7403f3eb00 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Compute the unique edgeFlag value from edge kind and call site Instruction.  <a href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">More...</a><br /></td></tr>
+<tr class="separator:a4513c6e66b46c36219ba6d7403f3eb00 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad61722f886afaaee722ac55a4eed4d18 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18">makeEdgeFlagWithStoreInst</a> (<a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> k, const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *store)</td></tr>
+<tr class="separator:ad61722f886afaaee722ac55a4eed4d18 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac517a3166a3afe45d04480534ac3bb50 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#ac517a3166a3afe45d04480534ac3bb50">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *)</td></tr>
+<tr class="memdesc:ac517a3166a3afe45d04480534ac3bb50 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">ClassOf.  <a href="classSVF_1_1SVFStmt.html#ac517a3166a3afe45d04480534ac3bb50">More...</a><br /></td></tr>
+<tr class="separator:ac517a3166a3afe45d04480534ac3bb50 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a00339663741d9f581d2f3ecae5a3e7e3 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a00339663741d9f581d2f3ecae5a3e7e3">classof</a> (const <a class="el" href="namespaceSVF.html#ab502ff5e204678640c1081d104f60971">GenericPAGEdgeTy</a> *edge)</td></tr>
+<tr class="separator:a00339663741d9f581d2f3ecae5a3e7e3 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
+Private Member Functions</h2></td></tr>
+<tr class="memitem:a6e11c486468a8fe0f7aa38a0546b8328"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">CmpStmt</a> ()</td></tr>
+<tr class="memdesc:a6e11c486468a8fe0f7aa38a0546b8328"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="#a6e11c486468a8fe0f7aa38a0546b8328">More...</a><br /></td></tr>
+<tr class="separator:a6e11c486468a8fe0f7aa38a0546b8328"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abab82b7193ac1a9811d0177cedd329dc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#abab82b7193ac1a9811d0177cedd329dc">CmpStmt</a> (const <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> &amp;)</td></tr>
+<tr class="memdesc:abab82b7193ac1a9811d0177cedd329dc"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="#abab82b7193ac1a9811d0177cedd329dc">More...</a><br /></td></tr>
+<tr class="separator:abab82b7193ac1a9811d0177cedd329dc"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a73b976659b9437c33297fc14c55a3034"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034">operator=</a> (const <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> &amp;)</td></tr>
+<tr class="memdesc:a73b976659b9437c33297fc14c55a3034"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="#a73b976659b9437c33297fc14c55a3034">More...</a><br /></td></tr>
+<tr class="separator:a73b976659b9437c33297fc14c55a3034"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a342ba9fd88195b90e2419fd44afef23d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a342ba9fd88195b90e2419fd44afef23d">getSrcNode</a> ()</td></tr>
+<tr class="memdesc:a342ba9fd88195b90e2419fd44afef23d"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder, not allowed since this <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> has multiple operands but not a single source  <a href="#a342ba9fd88195b90e2419fd44afef23d">More...</a><br /></td></tr>
+<tr class="separator:a342ba9fd88195b90e2419fd44afef23d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1f2f847bbff70e43f65cf06b1b41f99d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a1f2f847bbff70e43f65cf06b1b41f99d">getDstNode</a> ()</td></tr>
+<tr class="memdesc:a1f2f847bbff70e43f65cf06b1b41f99d"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder, use <a class="el" href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601" title="Result SVFVar. ">getRes()</a> instead  <a href="#a1f2f847bbff70e43f65cf06b1b41f99d">More...</a><br /></td></tr>
+<tr class="separator:a1f2f847bbff70e43f65cf06b1b41f99d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9c725b7a6c7386b2892d82b70f1bec05"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a9c725b7a6c7386b2892d82b70f1bec05">getSrcID</a> ()</td></tr>
+<tr class="memdesc:a9c725b7a6c7386b2892d82b70f1bec05"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder, use getOpVarID(pos) instead  <a href="#a9c725b7a6c7386b2892d82b70f1bec05">More...</a><br /></td></tr>
+<tr class="separator:a9c725b7a6c7386b2892d82b70f1bec05"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4849faf9aff64d966ef2303389e43d31"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a4849faf9aff64d966ef2303389e43d31">getDstID</a> ()</td></tr>
+<tr class="memdesc:a4849faf9aff64d966ef2303389e43d31"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder, use <a class="el" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID()</a> instead  <a href="#a4849faf9aff64d966ef2303389e43d31">More...</a><br /></td></tr>
+<tr class="separator:a4849faf9aff64d966ef2303389e43d31"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
 Private Attributes</h2></td></tr>
-<tr class="memitem:a117cbcd7dc7f922c44fa7c52e9c58078"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a117cbcd7dc7f922c44fa7c52e9c58078">resVar</a></td></tr>
-<tr class="separator:a117cbcd7dc7f922c44fa7c52e9c58078"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2c5cfa60d8a8841f7f093ed90ae93ffb"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a2c5cfa60d8a8841f7f093ed90ae93ffb">op1Var</a></td></tr>
-<tr class="separator:a2c5cfa60d8a8841f7f093ed90ae93ffb"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a645d4c4c319493bbf24113fb01afb44c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a645d4c4c319493bbf24113fb01afb44c">op2Var</a></td></tr>
-<tr class="separator:a645d4c4c319493bbf24113fb01afb44c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a87452e597e1cdb3c6db976b5c27035fd"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a87452e597e1cdb3c6db976b5c27035fd">opcode</a></td></tr>
+<tr class="separator:a87452e597e1cdb3c6db976b5c27035fd"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
 Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1MultiOpndStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1MultiOpndStmt')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td></tr>
+<tr class="memitem:acf8c7cfbf1c8baab672040635bb9a007 inherit pub_types_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a></td></tr>
+<tr class="separator:acf8c7cfbf1c8baab672040635bb9a007 inherit pub_types_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_types_classSVF_1_1SVFStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1SVFStmt')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td></tr>
-<tr class="memitem:a38855244bb9af2407eda6dbd33140487 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487">SVFSTMTK</a> { <br />
-&#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a46f338c32b6d575490c06ee48f53b3bf">Alloc</a>, 
-<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487ad3469cdfb64f05163b5310b731b221da">Copy</a>, 
-<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a>, 
-<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487aa0f700b514c431ec5329aec49df56dcc">Store</a>, 
+<tr class="memitem:a0ab8621e75e75f03425c323b3ed62ce9 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PEDGEK</a> { <br />
+&#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197">Addr</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da">Copy</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">Store</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a>, 
+<br />
+&#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">Call</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">Ret</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ac2089ffeab3f27354b2094758c805746">NormalGep</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">VariantGep</a>, 
 <br />
-&#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a62ac8480c43fcc657c631ec0003b15d5">Load</a>, 
-<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a97ca16eba4c5f92e16388f0cdbcfcc00">Call</a>, 
-<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a6d968bd70a0184214204aac3329c6221">FunRet</a>, 
-<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a20d960c19118d1ed319e0dbea94405e8">Gep</a>, 
+&#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">Cmp</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a>, 
 <br />
-&#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a610d6662d1814cffbf23db29e7e620c0">Cmp</a>, 
-<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487af78eeaf10e5bc6c4d446c030c859c868">Binary</a>, 
-<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487ac913852e284a7bf1ffc257b11d891326">Unary</a>, 
-<a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487ad52703e3ec09b6a4f565e5d82279b6a3">Branch</a>
+&#160;&#160;<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">Branch</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a>, 
+<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">ThreadJoin</a>
 <br />
  }</td></tr>
-<tr class="separator:a38855244bb9af2407eda6dbd33140487 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pub_methods_classSVF_1_1SVFStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1SVFStmt')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td></tr>
-<tr class="memitem:ad5ab92b5eb294da9eb3422ebb067d301 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#ad5ab92b5eb294da9eb3422ebb067d301">SVFStmt</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> k)</td></tr>
-<tr class="separator:ad5ab92b5eb294da9eb3422ebb067d301 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a66f33c62bac865781c28517db92e3416 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a66f33c62bac865781c28517db92e3416">getKind</a> () const</td></tr>
-<tr class="separator:a66f33c62bac865781c28517db92e3416 inherit pub_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pub_static_methods_classSVF_1_1SVFStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1SVFStmt')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td></tr>
-<tr class="memitem:ac517a3166a3afe45d04480534ac3bb50 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#ac517a3166a3afe45d04480534ac3bb50">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *)</td></tr>
-<tr class="memdesc:ac517a3166a3afe45d04480534ac3bb50 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">ClassOf.  <a href="classSVF_1_1SVFStmt.html#ac517a3166a3afe45d04480534ac3bb50">More...</a><br /></td></tr>
-<tr class="separator:ac517a3166a3afe45d04480534ac3bb50 inherit pub_static_methods_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="separator:a0ab8621e75e75f03425c323b3ed62ce9 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af02857ff13e61f81d332d83eb376bdb4 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>, <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> &gt;::GEdgeSetTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">PAGEdgeSetTy</a></td></tr>
+<tr class="separator:af02857ff13e61f81d332d83eb376bdb4 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a79ef5ff6adebbbc13e5c8db6e622bc03 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">EdgeID</a>, <a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">PAGEdgeSetTy</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a79ef5ff6adebbbc13e5c8db6e622bc03">PAGEdgeToSetMapTy</a></td></tr>
+<tr class="separator:a79ef5ff6adebbbc13e5c8db6e622bc03 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a47a67e8aaae7059e353841a40b89e936 inherit pub_types_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SVFStmt.html#a79ef5ff6adebbbc13e5c8db6e622bc03">PAGEdgeToSetMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">PAGKindToEdgeSetMapTy</a></td></tr>
+<tr class="separator:a47a67e8aaae7059e353841a40b89e936 inherit pub_types_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
+<tr class="memitem:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a></td></tr>
+<tr class="memdesc:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node type.  <a href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">More...</a><br /></td></tr>
+<tr class="separator:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a></td></tr>
+<tr class="separator:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7eb93c9018c80057672a8ce71615dc0d inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a></td></tr>
+<tr class="separator:a7eb93c9018c80057672a8ce71615dc0d inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html">SVF::GenericEdge::equalGEdge</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">equalGEdge</a></td></tr>
+<tr class="memdesc:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add the hash function for std::set (we also can overload operator&lt; to implement this)  <a href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">More...</a><br /></td></tr>
+<tr class="separator:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_static_attribs_classSVF_1_1SVFStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_static_attribs_classSVF_1_1SVFStmt')"><img src="closed.png" alt="-"/>&#160;Static Public Attributes inherited from <a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td></tr>
+<tr class="memitem:aa306e817648ab5def47e83473e99b3d3 inherit pub_static_attribs_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">totalEdgeNum</a></td></tr>
+<tr class="memdesc:aa306e817648ab5def47e83473e99b3d3 inherit pub_static_attribs_classSVF_1_1SVFStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Total edge number.  <a href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">More...</a><br /></td></tr>
+<tr class="separator:aa306e817648ab5def47e83473e99b3d3 inherit pub_static_attribs_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_attribs_classSVF_1_1MultiOpndStmt"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1MultiOpndStmt')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td></tr>
+<tr class="memitem:a172025849492f4de8f87564ef08f5880 inherit pro_attribs_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a></td></tr>
+<tr class="separator:a172025849492f4de8f87564ef08f5880 inherit pro_attribs_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_static_attribs_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pro_static_attribs_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Static Protected Attributes inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
+<tr class="memitem:af1c2fd4b5ef1d7b7605572bf2489c298 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">static constexpr unsigned char&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a> = 8</td></tr>
+<tr class="memdesc:af1c2fd4b5ef1d7b7605572bf2489c298 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">We use the lower 8 bits to denote edge kind.  <a href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">More...</a><br /></td></tr>
+<tr class="separator:af1c2fd4b5ef1d7b7605572bf2489c298 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a93dec4c27088242a4b1b6aa82cea46b9 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">static constexpr <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a> = (~0ULL) &gt;&gt; (64 - EdgeKindMaskBits)</td></tr>
+<tr class="separator:a93dec4c27088242a4b1b6aa82cea46b9 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
-<div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00227">227</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
+<div class="textblock"><p>Compare instruction edge </p>
+
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00374">374</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="a662ed248ea398423e0e22604d7fec2dc"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a662ed248ea398423e0e22604d7fec2dc">&#9670;&nbsp;</a></span>CmpStmt()</h2>
+<a id="a6e11c486468a8fe0f7aa38a0546b8328"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6e11c486468a8fe0f7aa38a0546b8328">&#9670;&nbsp;</a></span>CmpStmt() <span class="overload">[1/3]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -154,20 +305,75 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">SVF::CmpStmt::CmpStmt </td>
           <td>(</td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>&#160;</td>
-          <td class="paramname"><em>res</em>, </td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p>place holder </p>
+
+</div>
+</div>
+<a id="abab82b7193ac1a9811d0177cedd329dc"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#abab82b7193ac1a9811d0177cedd329dc">&#9670;&nbsp;</a></span>CmpStmt() <span class="overload">[2/3]</span></h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::CmpStmt::CmpStmt </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> &amp;&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p>place holder </p>
+
+</div>
+</div>
+<a id="a22ecfaf110adeb99f028de9261d045f7"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a22ecfaf110adeb99f028de9261d045f7">&#9670;&nbsp;</a></span>CmpStmt() <span class="overload">[3/3]</span></h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::CmpStmt::CmpStmt </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td>
+          <td class="paramname"><em>s</em>, </td>
         </tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>&#160;</td>
-          <td class="paramname"><em>op1</em>, </td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> &amp;&#160;</td>
+          <td class="paramname"><em>opnds</em>, </td>
         </tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>&#160;</td>
-          <td class="paramname"><em>op2</em>&#160;</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
+          <td class="paramname"><em>oc</em>&#160;</td>
         </tr>
         <tr>
           <td></td>
@@ -177,22 +383,23 @@ Additional Inherited Members</h2></td></tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">private</span></span>  </td>
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00229">229</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;                                             : <a class="code" href="classSVF_1_1SVFStmt.html#ad5ab92b5eb294da9eb3422ebb067d301">SVFStmt</a>(SVFSTMTK::Cmp), <a class="code" href="classSVF_1_1CmpStmt.html#a117cbcd7dc7f922c44fa7c52e9c58078">resVar</a>(res), <a class="code" href="classSVF_1_1CmpStmt.html#a2c5cfa60d8a8841f7f093ed90ae93ffb">op1Var</a>(op1), <a class="code" href="classSVF_1_1CmpStmt.html#a645d4c4c319493bbf24113fb01afb44c">op2Var</a>(op2){</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CmpStmt_html_a117cbcd7dc7f922c44fa7c52e9c58078"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a117cbcd7dc7f922c44fa7c52e9c58078">SVF::CmpStmt::resVar</a></div><div class="ttdeci">SymID resVar</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00247">SVFIR.h:247</a></div></div>
-<div class="ttc" id="classSVF_1_1CmpStmt_html_a645d4c4c319493bbf24113fb01afb44c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a645d4c4c319493bbf24113fb01afb44c">SVF::CmpStmt::op2Var</a></div><div class="ttdeci">SymID op2Var</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00249">SVFIR.h:249</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFStmt_html_ad5ab92b5eb294da9eb3422ebb067d301"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#ad5ab92b5eb294da9eb3422ebb067d301">SVF::SVFStmt::SVFStmt</a></div><div class="ttdeci">SVFStmt(u32_t k)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00048">SVFIR.h:48</a></div></div>
-<div class="ttc" id="classSVF_1_1CmpStmt_html_a2c5cfa60d8a8841f7f093ed90ae93ffb"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a2c5cfa60d8a8841f7f093ed90ae93ffb">SVF::CmpStmt::op1Var</a></div><div class="ttdeci">SymID op1Var</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00248">SVFIR.h:248</a></div></div>
+<p>constructor </p>
+
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00408">408</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;                                                      : <a class="code" href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">MultiOpndStmt</a>(s,opnds,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>), <a class="code" href="classSVF_1_1CmpStmt.html#a87452e597e1cdb3c6db976b5c27035fd">opcode</a>(oc)</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    {</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CmpStmt_html_a87452e597e1cdb3c6db976b5c27035fd"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a87452e597e1cdb3c6db976b5c27035fd">SVF::CmpStmt::opcode</a></div><div class="ttdeci">u32_t opcode</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00385">SVFStatements.h:385</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt::Cmp</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
+<div class="ttc" id="classSVF_1_1MultiOpndStmt_html_aad0c81aeb48e5d94dd8c60d87b41714c"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">SVF::MultiOpndStmt::MultiOpndStmt</a></div><div class="ttdeci">MultiOpndStmt(SVFVar *r, const OPVars &amp;opnds, GEdgeFlag k)</div><div class="ttdoc">Constructor, only used by subclassess but not external users. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00269">SVFStatements.h:269</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
 <a id="adec661dd23b7806b35abba2d44aebc61"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#adec661dd23b7806b35abba2d44aebc61">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/2]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#adec661dd23b7806b35abba2d44aebc61">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/4]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -210,19 +417,19 @@ Additional Inherited Members</h2></td></tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span><span class="mlabel">private</span></span>  </td>
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
 
 <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00234">234</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    {</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00389">389</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    {</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="ad334ba958d053588334376f14540d40c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad334ba958d053588334376f14540d40c">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/2]</span></h2>
+<a id="a16a5fddf61f6a13ee34dde0c4267d0e5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a16a5fddf61f6a13ee34dde0c4267d0e5">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/4]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -234,23 +441,24 @@ Additional Inherited Members</h2></td></tr>
           <td class="memname">static bool SVF::CmpStmt::classof </td>
           <td>(</td>
           <td class="paramtype">const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *&#160;</td>
-          <td class="paramname"><em>stmt</em></td><td>)</td>
+          <td class="paramname"><em>edge</em></td><td>)</td>
           <td></td>
         </tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span><span class="mlabel">private</span></span>  </td>
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00238">238</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    {</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;        <span class="keywordflow">return</span> stmt-&gt;getKind() == SVFSTMTK::Cmp;</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00393">393</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    {</div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt::Cmp</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
+</div><!-- fragment -->
 </div>
 </div>
-<a id="aa617fb28a81447d7e800e0cb1b1c1a35"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aa617fb28a81447d7e800e0cb1b1c1a35">&#9670;&nbsp;</a></span>toString()</h2>
+<a id="a679ec89e3fa17a17dcc8fafeb30d3a61"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a679ec89e3fa17a17dcc8fafeb30d3a61">&#9670;&nbsp;</a></span>classof() <span class="overload">[3/4]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -259,32 +467,138 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const std::string CmpStmt::toString </td>
+          <td class="memname">static bool SVF::CmpStmt::classof </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> *&#160;</td>
+          <td class="paramname"><em>edge</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00397">397</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;    {</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt::Cmp</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="af9f7fe4aa92bb443cd517f06a8fb94cd"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af9f7fe4aa92bb443cd517f06a8fb94cd">&#9670;&nbsp;</a></span>classof() <span class="overload">[4/4]</span></h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static bool SVF::CmpStmt::classof </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#ab502ff5e204678640c1081d104f60971">GenericPAGEdgeTy</a> *&#160;</td>
+          <td class="paramname"><em>edge</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00401">401</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;    {</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>;</div><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt::Cmp</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a4849faf9aff64d966ef2303389e43d31"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4849faf9aff64d966ef2303389e43d31">&#9670;&nbsp;</a></span>getDstID()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::CmpStmt::getDstID </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
-          <td> const</td>
+          <td></td>
         </tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">private</span><span class="mlabel">virtual</span></span>  </td>
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">SVF::SVFStmt</a>.</p>
+<p>place holder, use <a class="el" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID()</a> instead </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFIR_8cpp_source.html#l00085">85</a> of file <a class="el" href="SVFIR_8cpp_source.html">SVFIR.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;                                       {</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    std::string str;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;CmpStmt : &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CmpStmt.html#a117cbcd7dc7f922c44fa7c52e9c58078">resVar</a> &lt;&lt; <span class="stringliteral">&quot;&lt;-&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CmpStmt.html#a2c5cfa60d8a8841f7f093ed90ae93ffb">op1Var</a> &lt;&lt; <span class="stringliteral">&quot; cmpoptor &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CmpStmt.html#a645d4c4c319493bbf24113fb01afb44c">op2Var</a> &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;}</div><div class="ttc" id="classSVF_1_1CmpStmt_html_a117cbcd7dc7f922c44fa7c52e9c58078"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a117cbcd7dc7f922c44fa7c52e9c58078">SVF::CmpStmt::resVar</a></div><div class="ttdeci">SymID resVar</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00247">SVFIR.h:247</a></div></div>
-<div class="ttc" id="classSVF_1_1CmpStmt_html_a645d4c4c319493bbf24113fb01afb44c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a645d4c4c319493bbf24113fb01afb44c">SVF::CmpStmt::op2Var</a></div><div class="ttdeci">SymID op2Var</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00249">SVFIR.h:249</a></div></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>
-<div class="ttc" id="classSVF_1_1CmpStmt_html_a2c5cfa60d8a8841f7f093ed90ae93ffb"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a2c5cfa60d8a8841f7f093ed90ae93ffb">SVF::CmpStmt::op1Var</a></div><div class="ttdeci">SymID op1Var</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00248">SVFIR.h:248</a></div></div>
+</div>
+</div>
+<a id="a1f2f847bbff70e43f65cf06b1b41f99d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1f2f847bbff70e43f65cf06b1b41f99d">&#9670;&nbsp;</a></span>getDstNode()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::CmpStmt::getDstNode </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p>place holder, use <a class="el" href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601" title="Result SVFVar. ">getRes()</a> instead </p>
+
+</div>
+</div>
+<a id="acd623f69c5c32c881c1fba108f90c5ed"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#acd623f69c5c32c881c1fba108f90c5ed">&#9670;&nbsp;</a></span>getOpcode()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::CmpStmt::getOpcode </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00412">412</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;    {</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CmpStmt.html#a87452e597e1cdb3c6db976b5c27035fd">opcode</a>;</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CmpStmt_html_a87452e597e1cdb3c6db976b5c27035fd"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a87452e597e1cdb3c6db976b5c27035fd">SVF::CmpStmt::opcode</a></div><div class="ttdeci">u32_t opcode</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00385">SVFStatements.h:385</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<h2 class="groupheader">Member Data Documentation</h2>
-<a id="a2c5cfa60d8a8841f7f093ed90ae93ffb"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2c5cfa60d8a8841f7f093ed90ae93ffb">&#9670;&nbsp;</a></span>op1Var</h2>
+<a id="a9c725b7a6c7386b2892d82b70f1bec05"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9c725b7a6c7386b2892d82b70f1bec05">&#9670;&nbsp;</a></span>getSrcID()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -293,7 +607,10 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> SVF::CmpStmt::op1Var</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::CmpStmt::getSrcID </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
         </tr>
       </table>
   </td>
@@ -303,12 +620,12 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00248">248</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
+<p>place holder, use getOpVarID(pos) instead </p>
 
 </div>
 </div>
-<a id="a645d4c4c319493bbf24113fb01afb44c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a645d4c4c319493bbf24113fb01afb44c">&#9670;&nbsp;</a></span>op2Var</h2>
+<a id="a342ba9fd88195b90e2419fd44afef23d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a342ba9fd88195b90e2419fd44afef23d">&#9670;&nbsp;</a></span>getSrcNode()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -317,7 +634,38 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> SVF::CmpStmt::op2Var</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::CmpStmt::getSrcNode </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p>place holder, not allowed since this <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> has multiple operands but not a single source </p>
+
+</div>
+</div>
+<a id="a73b976659b9437c33297fc14c55a3034"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a73b976659b9437c33297fc14c55a3034">&#9670;&nbsp;</a></span>operator=()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::CmpStmt::operator= </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> &amp;&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
         </tr>
       </table>
   </td>
@@ -327,12 +675,48 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00249">249</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
+<p>place holder </p>
 
 </div>
 </div>
-<a id="a117cbcd7dc7f922c44fa7c52e9c58078"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a117cbcd7dc7f922c44fa7c52e9c58078">&#9670;&nbsp;</a></span>resVar</h2>
+<a id="a2f050b8af64dbe5e6bace2a82167a439"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2f050b8af64dbe5e6bace2a82167a439">&#9670;&nbsp;</a></span>toString()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const std::string CmpStmt::toString </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p>Reimplemented from <a class="el" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">SVF::SVFStmt</a>.</p>
+
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00101">101</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;                                       {</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    std::string str;</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;CmpStmt: [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--(&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(0) &lt;&lt; <span class="stringliteral">&quot;,&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(1) &lt;&lt; <span class="stringliteral">&quot;)]\t&quot;</span>;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">Options::PAGDotGraphShorter</a>) {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></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>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
+<div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00254">SVFStatements.cpp:254</a></div></div>
+<div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a5c6efcc023e90ef2e618586091958c59"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID(u32_t pos) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00249">SVFStatements.cpp:249</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="a87452e597e1cdb3c6db976b5c27035fd"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a87452e597e1cdb3c6db976b5c27035fd">&#9670;&nbsp;</a></span>opcode</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -341,7 +725,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> SVF::CmpStmt::resVar</td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::CmpStmt::opcode</td>
         </tr>
       </table>
   </td>
@@ -351,13 +735,13 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00247">247</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00385">385</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 
 </div>
 </div>
 <hr/>The documentation for this class was generated from the following files:<ul>
-<li>/home/runner/work/SVF/SVF/include/MemoryModel/<a class="el" href="SVFIR_8h_source.html">SVFIR.h</a></li>
-<li>/home/runner/work/SVF/SVF/lib/MemoryModel/<a class="el" href="SVFIR_8cpp_source.html">SVFIR.cpp</a></li>
+<li>/home/runner/work/SVF/SVF/include/MemoryModel/<a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a></li>
+<li>/home/runner/work/SVF/SVF/lib/MemoryModel/<a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a></li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->