svf-tools 1.0.321 → 1.0.322

package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html

@@ -63,87 +63,232 @@ $(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_1PhiStmt-members.html">List of all members</a>  </div>
   <div class="headertitle">
 <div class="title">SVF::PhiStmt Class Reference</div>  </div>
 </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::PhiStmt:</div>
 <div class="dyncontent">
  <div class="center">
   <img src="classSVF_1_1PhiStmt.png" usemap="#SVF::PhiStmt_map" alt=""/>
   <map id="SVF::PhiStmt_map" name="SVF::PhiStmt_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:a77baff1eaa71ccd09b547436be71e08b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a77baff1eaa71ccd09b547436be71e08b">PhiStmt</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:a77baff1eaa71ccd09b547436be71e08b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab099c7399cc1c21cf8f5de650e5af1c6"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#ab099c7399cc1c21cf8f5de650e5af1c6">toString</a> () const</td></tr>
-<tr class="separator:ab099c7399cc1c21cf8f5de650e5af1c6"><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:a7a5147246ce71f9863398abdd6ddcfc2"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a7a5147246ce71f9863398abdd6ddcfc2">PhiStmt</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)</td></tr>
+<tr class="memdesc:a7a5147246ce71f9863398abdd6ddcfc2"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="#a7a5147246ce71f9863398abdd6ddcfc2">More...</a><br /></td></tr>
+<tr class="separator:a7a5147246ce71f9863398abdd6ddcfc2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae20d273a8afe603395b6621f04e6cb65"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#ae20d273a8afe603395b6621f04e6cb65">addOpVar</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *op)</td></tr>
+<tr class="separator:ae20d273a8afe603395b6621f04e6cb65"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a09575a14aa359a0795b4d6c83bee487a"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a">toString</a> () const override</td></tr>
+<tr class="separator:a09575a14aa359a0795b4d6c83bee487a"><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:abb620d35e77989c2f7f9ed480e5fa1e9"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#abb620d35e77989c2f7f9ed480e5fa1e9">classof</a> (const <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> *)</td></tr>
 <tr class="memdesc:abb620d35e77989c2f7f9ed480e5fa1e9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast:  <a href="#abb620d35e77989c2f7f9ed480e5fa1e9">More...</a><br /></td></tr>
 <tr class="separator:abb620d35e77989c2f7f9ed480e5fa1e9"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa077dc3c9569bb201137551002cb9b25"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#aa077dc3c9569bb201137551002cb9b25">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *stmt)</td></tr>
-<tr class="separator:aa077dc3c9569bb201137551002cb9b25"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac214292370d79324f6da8624fe2c7139"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#ac214292370d79324f6da8624fe2c7139">classof</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *edge)</td></tr>
+<tr class="separator:ac214292370d79324f6da8624fe2c7139"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae547394a731d29b44565d3e56a326354"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#ae547394a731d29b44565d3e56a326354">classof</a> (const <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> *edge)</td></tr>
+<tr class="separator:ae547394a731d29b44565d3e56a326354"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a904591799ce401e8d3ee6aa634325ba3"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a904591799ce401e8d3ee6aa634325ba3">classof</a> (const <a class="el" href="namespaceSVF.html#ab502ff5e204678640c1081d104f60971">GenericPAGEdgeTy</a> *edge)</td></tr>
+<tr class="separator:a904591799ce401e8d3ee6aa634325ba3"><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-attribs"></a>
-Private Attributes</h2></td></tr>
-<tr class="memitem:abfee1ca02e47d099894139b7793f11ff"><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_1PhiStmt.html#abfee1ca02e47d099894139b7793f11ff">resVar</a></td></tr>
-<tr class="separator:abfee1ca02e47d099894139b7793f11ff"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0aeaaf1b15b82e7557f36e05d0abab36"><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_1PhiStmt.html#a0aeaaf1b15b82e7557f36e05d0abab36">op1Var</a></td></tr>
-<tr class="separator:a0aeaaf1b15b82e7557f36e05d0abab36"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a50bf0cb41721bfe13550b0237730c21e"><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_1PhiStmt.html#a50bf0cb41721bfe13550b0237730c21e">op2Var</a></td></tr>
-<tr class="separator:a50bf0cb41721bfe13550b0237730c21e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
+Private Member Functions</h2></td></tr>
+<tr class="memitem:a74e4c9a108d70aff8acaf3f32a16335f"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f">PhiStmt</a> ()</td></tr>
+<tr class="memdesc:a74e4c9a108d70aff8acaf3f32a16335f"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="#a74e4c9a108d70aff8acaf3f32a16335f">More...</a><br /></td></tr>
+<tr class="separator:a74e4c9a108d70aff8acaf3f32a16335f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7ac7cc8a4fd0c692b45df02fc5166b3b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b">PhiStmt</a> (const <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> &amp;)</td></tr>
+<tr class="memdesc:a7ac7cc8a4fd0c692b45df02fc5166b3b"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="#a7ac7cc8a4fd0c692b45df02fc5166b3b">More...</a><br /></td></tr>
+<tr class="separator:a7ac7cc8a4fd0c692b45df02fc5166b3b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a331c7e14409b2d78881a0ec8932c1170"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">operator=</a> (const <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> &amp;)</td></tr>
+<tr class="memdesc:a331c7e14409b2d78881a0ec8932c1170"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="#a331c7e14409b2d78881a0ec8932c1170">More...</a><br /></td></tr>
+<tr class="separator:a331c7e14409b2d78881a0ec8932c1170"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6d45d49e58717c72b9cc8cb4f36133c0"><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_1PhiStmt.html#a6d45d49e58717c72b9cc8cb4f36133c0">getSrcNode</a> ()</td></tr>
+<tr class="memdesc:a6d45d49e58717c72b9cc8cb4f36133c0"><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="#a6d45d49e58717c72b9cc8cb4f36133c0">More...</a><br /></td></tr>
+<tr class="separator:a6d45d49e58717c72b9cc8cb4f36133c0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aabae1e97422bd9b6c861e45b3153946e"><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_1PhiStmt.html#aabae1e97422bd9b6c861e45b3153946e">getDstNode</a> ()</td></tr>
+<tr class="memdesc:aabae1e97422bd9b6c861e45b3153946e"><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="#aabae1e97422bd9b6c861e45b3153946e">More...</a><br /></td></tr>
+<tr class="separator:aabae1e97422bd9b6c861e45b3153946e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a723bca50c50179c17c6ce53b738c3414"><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_1PhiStmt.html#a723bca50c50179c17c6ce53b738c3414">getSrcID</a> ()</td></tr>
+<tr class="memdesc:a723bca50c50179c17c6ce53b738c3414"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder, use getOpVarID(pos) instead  <a href="#a723bca50c50179c17c6ce53b738c3414">More...</a><br /></td></tr>
+<tr class="separator:a723bca50c50179c17c6ce53b738c3414"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a54ca12e0375a19a655f57f91bf899593"><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_1PhiStmt.html#a54ca12e0375a19a655f57f91bf899593">getDstID</a> ()</td></tr>
+<tr class="memdesc:a54ca12e0375a19a655f57f91bf899593"><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="#a54ca12e0375a19a655f57f91bf899593">More...</a><br /></td></tr>
+<tr class="separator:a54ca12e0375a19a655f57f91bf899593"><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#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#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#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#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#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#l00129">129</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
+<div class="textblock"><p>Phi instruction edge </p>
+
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00328">328</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="a77baff1eaa71ccd09b547436be71e08b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a77baff1eaa71ccd09b547436be71e08b">&#9670;&nbsp;</a></span>PhiStmt()</h2>
+<a id="a74e4c9a108d70aff8acaf3f32a16335f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a74e4c9a108d70aff8acaf3f32a16335f">&#9670;&nbsp;</a></span>PhiStmt() <span class="overload">[1/3]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -154,20 +299,69 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">SVF::PhiStmt::PhiStmt </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="a7ac7cc8a4fd0c692b45df02fc5166b3b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7ac7cc8a4fd0c692b45df02fc5166b3b">&#9670;&nbsp;</a></span>PhiStmt() <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="paramkey"></td>
+          <td class="memname">SVF::PhiStmt::PhiStmt </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> &amp;&#160;</td>
+          <td class="paramname"></td><td>)</td>
           <td></td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>&#160;</td>
-          <td class="paramname"><em>op1</em>, </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="a7a5147246ce71f9863398abdd6ddcfc2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7a5147246ce71f9863398abdd6ddcfc2">&#9670;&nbsp;</a></span>PhiStmt() <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::PhiStmt::PhiStmt </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>op2</em>&#160;</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>&#160;</td>
         </tr>
         <tr>
           <td></td>
@@ -177,22 +371,51 @@ 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#l00131">131</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;                                             : <a class="code" href="classSVF_1_1SVFStmt.html#ad5ab92b5eb294da9eb3422ebb067d301">SVFStmt</a>(SVFSTMTK::Phi), <a class="code" href="classSVF_1_1PhiStmt.html#abfee1ca02e47d099894139b7793f11ff">resVar</a>(res), <a class="code" href="classSVF_1_1PhiStmt.html#a0aeaaf1b15b82e7557f36e05d0abab36">op1Var</a>(op1), <a class="code" href="classSVF_1_1PhiStmt.html#a50bf0cb41721bfe13550b0237730c21e">op2Var</a>(op2){</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;    }</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_1PhiStmt_html_a50bf0cb41721bfe13550b0237730c21e"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a50bf0cb41721bfe13550b0237730c21e">SVF::PhiStmt::op2Var</a></div><div class="ttdeci">SymID op2Var</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00151">SVFIR.h:151</a></div></div>
-<div class="ttc" id="classSVF_1_1PhiStmt_html_abfee1ca02e47d099894139b7793f11ff"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#abfee1ca02e47d099894139b7793f11ff">SVF::PhiStmt::resVar</a></div><div class="ttdeci">SymID resVar</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00149">SVFIR.h:149</a></div></div>
-<div class="ttc" id="classSVF_1_1PhiStmt_html_a0aeaaf1b15b82e7557f36e05d0abab36"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a0aeaaf1b15b82e7557f36e05d0abab36">SVF::PhiStmt::op1Var</a></div><div class="ttdeci">SymID op1Var</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00150">SVFIR.h:150</a></div></div>
+<p>constructor </p>
+
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00361">361</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;                                            : <a class="code" href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">MultiOpndStmt</a>(s,opnds,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>)</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;    {</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt::Phi</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="ae20d273a8afe603395b6621f04e6cb65"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae20d273a8afe603395b6621f04e6cb65">&#9670;&nbsp;</a></span>addOpVar()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::PhiStmt::addOpVar </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td>
+          <td class="paramname"><em>op</em></td><td>)</td>
+          <td></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#l00364">364</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;                             {</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;        <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.push_back(op);</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a172025849492f4de8f87564ef08f5880"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt::opVars</a></div><div class="ttdeci">OPVars opVars</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00266">SVFStatements.h:266</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
 <a id="abb620d35e77989c2f7f9ed480e5fa1e9"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#abb620d35e77989c2f7f9ed480e5fa1e9">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/2]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#abb620d35e77989c2f7f9ed480e5fa1e9">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/4]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -210,19 +433,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#l00136">136</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    {</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00342">342</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;    {</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="aa077dc3c9569bb201137551002cb9b25"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aa077dc3c9569bb201137551002cb9b25">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/2]</span></h2>
+<a id="ac214292370d79324f6da8624fe2c7139"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac214292370d79324f6da8624fe2c7139">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/4]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -234,23 +457,24 @@ Additional Inherited Members</h2></td></tr>
           <td class="memname">static bool SVF::PhiStmt::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#l00140">140</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;    {</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="keywordflow">return</span> stmt-&gt;getKind() == SVFSTMTK::Phi;</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00346">346</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    {</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt::Phi</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="ab099c7399cc1c21cf8f5de650e5af1c6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab099c7399cc1c21cf8f5de650e5af1c6">&#9670;&nbsp;</a></span>toString()</h2>
+<a id="ae547394a731d29b44565d3e56a326354"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae547394a731d29b44565d3e56a326354">&#9670;&nbsp;</a></span>classof() <span class="overload">[3/4]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -259,32 +483,110 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const std::string PhiStmt::toString </td>
+          <td class="memname">static bool SVF::PhiStmt::classof </td>
           <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td> const</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">private</span><span class="mlabel">virtual</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>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_8h_source.html#l00350">350</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;    {</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt::Phi</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="a904591799ce401e8d3ee6aa634325ba3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a904591799ce401e8d3ee6aa634325ba3">&#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::PhiStmt::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="SVFIR_8cpp_source.html#l00057">57</a> of file <a class="el" href="SVFIR_8cpp_source.html">SVFIR.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;                                       {</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    std::string str;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;PhiStmt : &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1PhiStmt.html#abfee1ca02e47d099894139b7793f11ff">resVar</a> &lt;&lt; <span class="stringliteral">&quot;&lt;-(&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1PhiStmt.html#a0aeaaf1b15b82e7557f36e05d0abab36">op1Var</a> &lt;&lt; <span class="stringliteral">&quot;,&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1PhiStmt.html#a50bf0cb41721bfe13550b0237730c21e">op2Var</a> &lt;&lt; <span class="stringliteral">&quot;)&quot;</span> &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;}</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_1PhiStmt_html_a50bf0cb41721bfe13550b0237730c21e"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a50bf0cb41721bfe13550b0237730c21e">SVF::PhiStmt::op2Var</a></div><div class="ttdeci">SymID op2Var</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00151">SVFIR.h:151</a></div></div>
-<div class="ttc" id="classSVF_1_1PhiStmt_html_abfee1ca02e47d099894139b7793f11ff"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#abfee1ca02e47d099894139b7793f11ff">SVF::PhiStmt::resVar</a></div><div class="ttdeci">SymID resVar</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00149">SVFIR.h:149</a></div></div>
-<div class="ttc" id="classSVF_1_1PhiStmt_html_a0aeaaf1b15b82e7557f36e05d0abab36"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a0aeaaf1b15b82e7557f36e05d0abab36">SVF::PhiStmt::op1Var</a></div><div class="ttdeci">SymID op1Var</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00150">SVFIR.h:150</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00354">354</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    {</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt::Phi</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>
-<h2 class="groupheader">Member Data Documentation</h2>
-<a id="a0aeaaf1b15b82e7557f36e05d0abab36"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0aeaaf1b15b82e7557f36e05d0abab36">&#9670;&nbsp;</a></span>op1Var</h2>
+<a id="a54ca12e0375a19a655f57f91bf899593"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a54ca12e0375a19a655f57f91bf899593">&#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::PhiStmt::getDstID </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#a71a530eb9fa9f7e273e471b4a75a039e">getResID()</a> instead </p>
+
+</div>
+</div>
+<a id="aabae1e97422bd9b6c861e45b3153946e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aabae1e97422bd9b6c861e45b3153946e">&#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::PhiStmt::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="a723bca50c50179c17c6ce53b738c3414"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a723bca50c50179c17c6ce53b738c3414">&#9670;&nbsp;</a></span>getSrcID()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -293,7 +595,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::PhiStmt::op1Var</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::PhiStmt::getSrcID </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
         </tr>
       </table>
   </td>
@@ -303,12 +608,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#l00150">150</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="a50bf0cb41721bfe13550b0237730c21e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a50bf0cb41721bfe13550b0237730c21e">&#9670;&nbsp;</a></span>op2Var</h2>
+<a id="a6d45d49e58717c72b9cc8cb4f36133c0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6d45d49e58717c72b9cc8cb4f36133c0">&#9670;&nbsp;</a></span>getSrcNode()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -317,7 +622,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::PhiStmt::op2Var</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::PhiStmt::getSrcNode </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
         </tr>
       </table>
   </td>
@@ -327,12 +635,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#l00151">151</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
+<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="abfee1ca02e47d099894139b7793f11ff"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#abfee1ca02e47d099894139b7793f11ff">&#9670;&nbsp;</a></span>resVar</h2>
+<a id="a331c7e14409b2d78881a0ec8932c1170"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a331c7e14409b2d78881a0ec8932c1170">&#9670;&nbsp;</a></span>operator=()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -341,7 +649,11 @@ 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::PhiStmt::resVar</td>
+          <td class="memname">void SVF::PhiStmt::operator= </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> &amp;&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
         </tr>
       </table>
   </td>
@@ -351,13 +663,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#l00149">149</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
+<p>place holder </p>
+
+</div>
+</div>
+<a id="a09575a14aa359a0795b4d6c83bee487a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a09575a14aa359a0795b4d6c83bee487a">&#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 PhiStmt::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#l00090">90</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;                                       {</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    std::string str;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;PhiStmt: [&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="l00094"></a><span class="lineno">   94</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="l00095"></a><span class="lineno">   95</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    }</div><div class="line"><a name="l00097"></a><span class="lineno">   97</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="l00098"></a><span class="lineno">   98</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00099"></a><span class="lineno">   99</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>
 <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 -->